MODULE main
 VAR
  box_nb : 1..232;
  prop1 : boolean;
  prop2 : boolean;
  prop3 : boolean;
  prop4 : boolean;
  prop5 : boolean;
  prop6 : boolean;
  prop7 : boolean;
  prop8 : boolean;
  prop9 : boolean;
  prop10 : boolean;
 DEFINE
  inB1 := box_nb= 1 & prop1= TRUE & prop2= TRUE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB2 := box_nb= 2 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB3 := box_nb= 3 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB4 := box_nb= 4 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB5 := box_nb= 5 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB6 := box_nb= 6 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB7 := box_nb= 7 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB8 := box_nb= 8 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB9 := box_nb= 9 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB10 := box_nb= 10 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB11 := box_nb= 11 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB12 := box_nb= 12 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB13 := box_nb= 13 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB14 := box_nb= 14 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB15 := box_nb= 15 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB16 := box_nb= 16 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB17 := box_nb= 17 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB18 := box_nb= 18 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB19 := box_nb= 19 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB20 := box_nb= 20 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB21 := box_nb= 21 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB22 := box_nb= 22 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB23 := box_nb= 23 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB24 := box_nb= 24 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB25 := box_nb= 25 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB26 := box_nb= 26 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB27 := box_nb= 27 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB28 := box_nb= 28 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB29 := box_nb= 29 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB30 := box_nb= 30 & prop1= TRUE & prop2= TRUE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB31 := box_nb= 31 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB32 := box_nb= 32 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB33 := box_nb= 33 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB34 := box_nb= 34 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB35 := box_nb= 35 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB36 := box_nb= 36 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB37 := box_nb= 37 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB38 := box_nb= 38 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB39 := box_nb= 39 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB40 := box_nb= 40 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB41 := box_nb= 41 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB42 := box_nb= 42 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB43 := box_nb= 43 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB44 := box_nb= 44 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB45 := box_nb= 45 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB46 := box_nb= 46 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB47 := box_nb= 47 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB48 := box_nb= 48 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB49 := box_nb= 49 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB50 := box_nb= 50 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB51 := box_nb= 51 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB52 := box_nb= 52 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB53 := box_nb= 53 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB54 := box_nb= 54 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB55 := box_nb= 55 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB56 := box_nb= 56 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB57 := box_nb= 57 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB58 := box_nb= 58 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB59 := box_nb= 59 & prop1= TRUE & prop2= TRUE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB60 := box_nb= 60 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB61 := box_nb= 61 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB62 := box_nb= 62 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB63 := box_nb= 63 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB64 := box_nb= 64 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB65 := box_nb= 65 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB66 := box_nb= 66 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB67 := box_nb= 67 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB68 := box_nb= 68 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB69 := box_nb= 69 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB70 := box_nb= 70 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB71 := box_nb= 71 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB72 := box_nb= 72 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB73 := box_nb= 73 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB74 := box_nb= 74 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB75 := box_nb= 75 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB76 := box_nb= 76 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB77 := box_nb= 77 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB78 := box_nb= 78 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB79 := box_nb= 79 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB80 := box_nb= 80 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB81 := box_nb= 81 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB82 := box_nb= 82 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB83 := box_nb= 83 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB84 := box_nb= 84 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB85 := box_nb= 85 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB86 := box_nb= 86 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB87 := box_nb= 87 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB88 := box_nb= 88 & prop1= TRUE & prop2= TRUE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB89 := box_nb= 89 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB90 := box_nb= 90 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB91 := box_nb= 91 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB92 := box_nb= 92 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB93 := box_nb= 93 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB94 := box_nb= 94 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB95 := box_nb= 95 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB96 := box_nb= 96 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB97 := box_nb= 97 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= FALSE & prop10= TRUE;
  inB98 := box_nb= 98 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB99 := box_nb= 99 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB100 := box_nb= 100 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB101 := box_nb= 101 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB102 := box_nb= 102 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= TRUE;
  inB103 := box_nb= 103 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB104 := box_nb= 104 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB105 := box_nb= 105 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB106 := box_nb= 106 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB107 := box_nb= 107 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB108 := box_nb= 108 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB109 := box_nb= 109 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB110 := box_nb= 110 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB111 := box_nb= 111 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB112 := box_nb= 112 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB113 := box_nb= 113 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB114 := box_nb= 114 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB115 := box_nb= 115 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB116 := box_nb= 116 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= TRUE & prop9= TRUE & prop10= FALSE;
  inB117 := box_nb= 117 & prop1= TRUE & prop2= TRUE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB118 := box_nb= 118 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB119 := box_nb= 119 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB120 := box_nb= 120 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB121 := box_nb= 121 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB122 := box_nb= 122 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB123 := box_nb= 123 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB124 := box_nb= 124 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB125 := box_nb= 125 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB126 := box_nb= 126 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB127 := box_nb= 127 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB128 := box_nb= 128 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB129 := box_nb= 129 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB130 := box_nb= 130 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB131 := box_nb= 131 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB132 := box_nb= 132 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB133 := box_nb= 133 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB134 := box_nb= 134 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB135 := box_nb= 135 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB136 := box_nb= 136 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB137 := box_nb= 137 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB138 := box_nb= 138 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB139 := box_nb= 139 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB140 := box_nb= 140 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB141 := box_nb= 141 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB142 := box_nb= 142 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB143 := box_nb= 143 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB144 := box_nb= 144 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB145 := box_nb= 145 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB146 := box_nb= 146 & prop1= TRUE & prop2= TRUE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB147 := box_nb= 147 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB148 := box_nb= 148 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB149 := box_nb= 149 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB150 := box_nb= 150 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB151 := box_nb= 151 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB152 := box_nb= 152 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB153 := box_nb= 153 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB154 := box_nb= 154 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB155 := box_nb= 155 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB156 := box_nb= 156 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB157 := box_nb= 157 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB158 := box_nb= 158 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB159 := box_nb= 159 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB160 := box_nb= 160 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB161 := box_nb= 161 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB162 := box_nb= 162 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB163 := box_nb= 163 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB164 := box_nb= 164 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB165 := box_nb= 165 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB166 := box_nb= 166 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB167 := box_nb= 167 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB168 := box_nb= 168 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB169 := box_nb= 169 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB170 := box_nb= 170 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB171 := box_nb= 171 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB172 := box_nb= 172 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB173 := box_nb= 173 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB174 := box_nb= 174 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= FALSE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB175 := box_nb= 175 & prop1= TRUE & prop2= TRUE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB176 := box_nb= 176 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB177 := box_nb= 177 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB178 := box_nb= 178 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB179 := box_nb= 179 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB180 := box_nb= 180 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB181 := box_nb= 181 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB182 := box_nb= 182 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB183 := box_nb= 183 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB184 := box_nb= 184 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB185 := box_nb= 185 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB186 := box_nb= 186 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB187 := box_nb= 187 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB188 := box_nb= 188 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB189 := box_nb= 189 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB190 := box_nb= 190 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB191 := box_nb= 191 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB192 := box_nb= 192 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB193 := box_nb= 193 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB194 := box_nb= 194 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB195 := box_nb= 195 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB196 := box_nb= 196 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB197 := box_nb= 197 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB198 := box_nb= 198 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB199 := box_nb= 199 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB200 := box_nb= 200 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB201 := box_nb= 201 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB202 := box_nb= 202 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB203 := box_nb= 203 & prop1= TRUE & prop2= FALSE & prop3= FALSE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB204 := box_nb= 204 & prop1= TRUE & prop2= TRUE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB205 := box_nb= 205 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB206 := box_nb= 206 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB207 := box_nb= 207 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB208 := box_nb= 208 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB209 := box_nb= 209 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB210 := box_nb= 210 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB211 := box_nb= 211 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB212 := box_nb= 212 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB213 := box_nb= 213 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= FALSE & prop10= TRUE;
  inB214 := box_nb= 214 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB215 := box_nb= 215 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB216 := box_nb= 216 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB217 := box_nb= 217 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB218 := box_nb= 218 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= TRUE;
  inB219 := box_nb= 219 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB220 := box_nb= 220 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB221 := box_nb= 221 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB222 := box_nb= 222 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB223 := box_nb= 223 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB224 := box_nb= 224 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB225 := box_nb= 225 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB226 := box_nb= 226 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB227 := box_nb= 227 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB228 := box_nb= 228 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB229 := box_nb= 229 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB230 := box_nb= 230 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB231 := box_nb= 231 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
  inB232 := box_nb= 232 & prop1= TRUE & prop2= FALSE & prop3= TRUE & prop4= TRUE & prop5= TRUE & prop6= TRUE & prop7= TRUE & prop8= FALSE & prop9= TRUE & prop10= FALSE;
 INIT
  (inB1 | inB2 | inB3 | inB4 | inB5 | inB6 | inB7 | inB8 | inB9 | inB10 | inB11 | inB12 | inB13 | inB14 | inB15 | inB16 | inB17 | inB18 | inB19 | inB20 | inB21 | inB22 | inB23 | inB24 | inB25 | inB26 | inB27 | inB28 | inB29 | inB30 | inB31 | inB32 | inB33 | inB34 | inB35 | inB36 | inB37 | inB38 | inB39 | inB40 | inB41 | inB42 | inB43 | inB44 | inB45 | inB46 | inB47 | inB48 | inB49 | inB50 | inB51 | inB52 | inB53 | inB54 | inB55 | inB56 | inB57 | inB58 | inB59 | inB60 | inB61 | inB62 | inB63 | inB64 | inB65 | inB66 | inB67 | inB68 | inB69 | inB70 | inB71 | inB72 | inB73 | inB74 | inB75 | inB76 | inB77 | inB78 | inB79 | inB80 | inB81 | inB82 | inB83 | inB84 | inB85 | inB86 | inB87 | inB88 | inB89 | inB90 | inB91 | inB92 | inB93 | inB94 | inB95 | inB96 | inB97 | inB98 | inB99 | inB100 | inB101 | inB102 | inB103 | inB104 | inB105 | inB106 | inB107 | inB108 | inB109 | inB110 | inB111 | inB112 | inB113 | inB114 | inB115 | inB116 | inB117 | inB118 | inB119 | inB120 | inB121 | inB122 | inB123 | inB124 | inB125 | inB126 | inB127 | inB128 | inB129 | inB130 | inB131 | inB132 | inB133 | inB134 | inB135 | inB136 | inB137 | inB138 | inB139 | inB140 | inB141 | inB142 | inB143 | inB144 | inB145 | inB146 | inB147 | inB148 | inB149 | inB150 | inB151 | inB152 | inB153 | inB154 | inB155 | inB156 | inB157 | inB158 | inB159 | inB160 | inB161 | inB162 | inB163 | inB164 | inB165 | inB166 | inB167 | inB168 | inB169 | inB170 | inB171 | inB172 | inB173 | inB174 | inB175 | inB176 | inB177 | inB178 | inB179 | inB180 | inB181 | inB182 | inB183 | inB184 | inB185 | inB186 | inB187 | inB188 | inB189 | inB190 | inB191 | inB192 | inB193 | inB194 | inB195 | inB196 | inB197 | inB198 | inB199 | inB200 | inB201 | inB202 | inB203 | inB204 | inB205 | inB206 | inB207 | inB208 | inB209 | inB210 | inB211 | inB212 | inB213 | inB214 | inB215 | inB216 | inB217 | inB218 | inB219 | inB220 | inB221 | inB222 | inB223 | inB224 | inB225 | inB226 | inB227 | inB228 | inB229 | inB230 | inB231 | inB232) & ((prop1 & prop2 & prop3 & prop4 & prop5 & prop6 & prop7 & prop8));
 TRANS
  case
   box_nb = 1 : next(inB1 | inB2 | inB30 | inB59 | inB117);
   box_nb = 2 : next(inB2 | inB3 | inB31 | inB60 | inB118);
   box_nb = 3 : next(inB3 | inB4 | inB32 | inB119);
   box_nb = 4 : next(inB4 | inB5 | inB120);
   box_nb = 5 : next(inB5 | inB6 | inB121);
   box_nb = 6 : next(inB6 | inB7 | inB122);
   box_nb = 7 : next(inB7 | inB8 | inB123);
   box_nb = 8 : next(inB8 | inB9 | inB124);
   box_nb = 9 : next(inB9 | inB10 | inB125);
   box_nb = 10 : next(inB10 | inB11 | inB126);
   box_nb = 11 : next(inB10 | inB11 | inB12 | inB127);
   box_nb = 12 : next(inB11 | inB12 | inB13 | inB128);
   box_nb = 13 : next(inB12 | inB13 | inB14 | inB129);
   box_nb = 14 : next(inB13 | inB14 | inB15 | inB130);
   box_nb = 15 : next(inB14 | inB15 | inB16 | inB131);
   box_nb = 16 : next(inB16 | inB17 | inB132);
   box_nb = 17 : next(inB17 | inB18 | inB133);
   box_nb = 18 : next(inB18 | inB19 | inB134);
   box_nb = 19 : next(inB19 | inB20 | inB135);
   box_nb = 20 : next(inB20 | inB21 | inB136);
   box_nb = 21 : next(inB21 | inB22 | inB137);
   box_nb = 22 : next(inB22 | inB23 | inB138);
   box_nb = 23 : next(inB23 | inB24 | inB139);
   box_nb = 24 : next(inB24 | inB25 | inB140);
   box_nb = 25 : next(inB25 | inB26 | inB141);
   box_nb = 26 : next(inB26 | inB27 | inB142);
   box_nb = 27 : next(inB27 | inB28 | inB143);
   box_nb = 28 : next(inB28 | inB29 | inB144);
   box_nb = 29 : next(inB29 | inB145);
   box_nb = 30 : next(inB30 | inB31 | inB88 | inB146);
   box_nb = 31 : next(inB31 | inB32 | inB89 | inB147);
   box_nb = 32 : next(inB3 | inB32 | inB33 | inB148);
   box_nb = 33 : next(inB4 | inB33 | inB34 | inB149);
   box_nb = 34 : next(inB5 | inB34 | inB35 | inB150);
   box_nb = 35 : next(inB6 | inB35 | inB36 | inB151);
   box_nb = 36 : next(inB7 | inB36 | inB37 | inB152);
   box_nb = 37 : next(inB8 | inB37 | inB38 | inB153);
   box_nb = 38 : next(inB9 | inB38 | inB39 | inB154);
   box_nb = 39 : next(inB10 | inB39 | inB40 | inB155);
   box_nb = 40 : next(inB11 | inB39 | inB40 | inB41 | inB156);
   box_nb = 41 : next(inB12 | inB40 | inB41 | inB42 | inB157);
   box_nb = 42 : next(inB13 | inB41 | inB42 | inB43 | inB158);
   box_nb = 43 : next(inB14 | inB42 | inB43 | inB44 | inB159);
   box_nb = 44 : next(inB15 | inB43 | inB44 | inB45 | inB160);
   box_nb = 45 : next(inB16 | inB45 | inB46 | inB161);
   box_nb = 46 : next(inB17 | inB46 | inB47 | inB162);
   box_nb = 47 : next(inB18 | inB47 | inB48 | inB163);
   box_nb = 48 : next(inB19 | inB48 | inB49 | inB164);
   box_nb = 49 : next(inB20 | inB49 | inB50 | inB165);
   box_nb = 50 : next(inB21 | inB50 | inB51 | inB166);
   box_nb = 51 : next(inB22 | inB51 | inB52 | inB167);
   box_nb = 52 : next(inB23 | inB52 | inB53 | inB168);
   box_nb = 53 : next(inB24 | inB53 | inB54 | inB169);
   box_nb = 54 : next(inB25 | inB54 | inB55 | inB170);
   box_nb = 55 : next(inB26 | inB55 | inB56 | inB171);
   box_nb = 56 : next(inB27 | inB56 | inB57 | inB172);
   box_nb = 57 : next(inB28 | inB57 | inB58 | inB173);
   box_nb = 58 : next(inB29 | inB58 | inB174);
   box_nb = 59 : next(inB59 | inB60 | inB88 | inB175);
   box_nb = 60 : next(inB2 | inB60 | inB61 | inB89 | inB176);
   box_nb = 61 : next(inB3 | inB61 | inB62 | inB90 | inB177);
   box_nb = 62 : next(inB4 | inB62 | inB63 | inB178);
   box_nb = 63 : next(inB5 | inB63 | inB64 | inB179);
   box_nb = 64 : next(inB6 | inB64 | inB65 | inB180);
   box_nb = 65 : next(inB7 | inB65 | inB66 | inB181);
   box_nb = 66 : next(inB8 | inB66 | inB67 | inB182);
   box_nb = 67 : next(inB9 | inB67 | inB68 | inB183);
   box_nb = 68 : next(inB10 | inB68 | inB69 | inB184);
   box_nb = 69 : next(inB11 | inB68 | inB69 | inB70 | inB185);
   box_nb = 70 : next(inB12 | inB69 | inB70 | inB71 | inB186);
   box_nb = 71 : next(inB13 | inB70 | inB71 | inB72 | inB187);
   box_nb = 72 : next(inB14 | inB71 | inB72 | inB73 | inB188);
   box_nb = 73 : next(inB15 | inB72 | inB73 | inB74 | inB189);
   box_nb = 74 : next(inB16 | inB74 | inB75 | inB190);
   box_nb = 75 : next(inB17 | inB75 | inB76 | inB191);
   box_nb = 76 : next(inB18 | inB76 | inB77 | inB192);
   box_nb = 77 : next(inB19 | inB77 | inB78 | inB193);
   box_nb = 78 : next(inB20 | inB78 | inB79 | inB194);
   box_nb = 79 : next(inB21 | inB79 | inB80 | inB195);
   box_nb = 80 : next(inB22 | inB80 | inB81 | inB196);
   box_nb = 81 : next(inB23 | inB81 | inB82 | inB197);
   box_nb = 82 : next(inB24 | inB82 | inB83 | inB198);
   box_nb = 83 : next(inB25 | inB83 | inB84 | inB199);
   box_nb = 84 : next(inB26 | inB84 | inB85 | inB200);
   box_nb = 85 : next(inB27 | inB85 | inB86 | inB201);
   box_nb = 86 : next(inB28 | inB86 | inB87 | inB202);
   box_nb = 87 : next(inB29 | inB87 | inB203);
   box_nb = 88 : next(inB88 | inB89 | inB204);
   box_nb = 89 : next(inB31 | inB89 | inB90 | inB205);
   box_nb = 90 : next(inB32 | inB61 | inB90 | inB91 | inB206);
   box_nb = 91 : next(inB33 | inB62 | inB91 | inB92 | inB207);
   box_nb = 92 : next(inB34 | inB63 | inB92 | inB93 | inB208);
   box_nb = 93 : next(inB35 | inB64 | inB93 | inB94 | inB209);
   box_nb = 94 : next(inB36 | inB65 | inB94 | inB95 | inB210);
   box_nb = 95 : next(inB37 | inB66 | inB95 | inB96 | inB211);
   box_nb = 96 : next(inB38 | inB67 | inB96 | inB97 | inB212);
   box_nb = 97 : next(inB39 | inB68 | inB97 | inB98 | inB213);
   box_nb = 98 : next(inB40 | inB69 | inB97 | inB98 | inB99 | inB214);
   box_nb = 99 : next(inB41 | inB70 | inB98 | inB99 | inB100 | inB215);
   box_nb = 100 : next(inB42 | inB71 | inB99 | inB100 | inB101 | inB216);
   box_nb = 101 : next(inB43 | inB72 | inB100 | inB101 | inB102 | inB217);
   box_nb = 102 : next(inB44 | inB73 | inB101 | inB102 | inB103 | inB218);
   box_nb = 103 : next(inB45 | inB74 | inB103 | inB104 | inB219);
   box_nb = 104 : next(inB46 | inB75 | inB104 | inB105 | inB220);
   box_nb = 105 : next(inB47 | inB76 | inB105 | inB106 | inB221);
   box_nb = 106 : next(inB48 | inB77 | inB106 | inB107 | inB222);
   box_nb = 107 : next(inB49 | inB78 | inB107 | inB108 | inB223);
   box_nb = 108 : next(inB50 | inB79 | inB108 | inB109 | inB224);
   box_nb = 109 : next(inB51 | inB80 | inB109 | inB110 | inB225);
   box_nb = 110 : next(inB52 | inB81 | inB110 | inB111 | inB226);
   box_nb = 111 : next(inB53 | inB82 | inB111 | inB112 | inB227);
   box_nb = 112 : next(inB54 | inB83 | inB112 | inB113 | inB228);
   box_nb = 113 : next(inB55 | inB84 | inB113 | inB114 | inB229);
   box_nb = 114 : next(inB56 | inB85 | inB114 | inB115 | inB230);
   box_nb = 115 : next(inB57 | inB86 | inB115 | inB116 | inB231);
   box_nb = 116 : next(inB58 | inB87 | inB116 | inB232);
   box_nb = 117 : next(inB117 | inB118 | inB146 | inB175);
   box_nb = 118 : next(inB118 | inB119 | inB147 | inB176);
   box_nb = 119 : next(inB119 | inB120 | inB148);
   box_nb = 120 : next(inB120 | inB121);
   box_nb = 121 : next(inB121 | inB122);
   box_nb = 122 : next(inB122 | inB123);
   box_nb = 123 : next(inB123 | inB124);
   box_nb = 124 : next(inB124 | inB125);
   box_nb = 125 : next(inB125 | inB126);
   box_nb = 126 : next(inB126 | inB127);
   box_nb = 127 : next(inB126 | inB127 | inB128);
   box_nb = 128 : next(inB127 | inB128 | inB129);
   box_nb = 129 : next(inB128 | inB129 | inB130);
   box_nb = 130 : next(inB129 | inB130 | inB131);
   box_nb = 131 : next(inB130 | inB131 | inB132);
   box_nb = 132 : next(inB132 | inB133);
   box_nb = 133 : next(inB133 | inB134);
   box_nb = 134 : next(inB134 | inB135);
   box_nb = 135 : next(inB135 | inB136);
   box_nb = 136 : next(inB136 | inB137);
   box_nb = 137 : next(inB137 | inB138);
   box_nb = 138 : next(inB138 | inB139);
   box_nb = 139 : next(inB139 | inB140);
   box_nb = 140 : next(inB140 | inB141);
   box_nb = 141 : next(inB141 | inB142);
   box_nb = 142 : next(inB142 | inB143);
   box_nb = 143 : next(inB143 | inB144);
   box_nb = 144 : next(inB144 | inB145);
   box_nb = 145 : next(inB145);
   box_nb = 146 : next(inB146 | inB147 | inB204);
   box_nb = 147 : next(inB147 | inB148 | inB205);
   box_nb = 148 : next(inB119 | inB148 | inB149);
   box_nb = 149 : next(inB120 | inB149 | inB150);
   box_nb = 150 : next(inB121 | inB150 | inB151);
   box_nb = 151 : next(inB122 | inB151 | inB152);
   box_nb = 152 : next(inB123 | inB152 | inB153);
   box_nb = 153 : next(inB124 | inB153 | inB154);
   box_nb = 154 : next(inB125 | inB154 | inB155);
   box_nb = 155 : next(inB126 | inB155 | inB156);
   box_nb = 156 : next(inB127 | inB155 | inB156 | inB157);
   box_nb = 157 : next(inB128 | inB156 | inB157 | inB158);
   box_nb = 158 : next(inB129 | inB157 | inB158 | inB159);
   box_nb = 159 : next(inB130 | inB158 | inB159 | inB160);
   box_nb = 160 : next(inB131 | inB159 | inB160 | inB161);
   box_nb = 161 : next(inB132 | inB161 | inB162);
   box_nb = 162 : next(inB133 | inB162 | inB163);
   box_nb = 163 : next(inB134 | inB163 | inB164);
   box_nb = 164 : next(inB135 | inB164 | inB165);
   box_nb = 165 : next(inB136 | inB165 | inB166);
   box_nb = 166 : next(inB137 | inB166 | inB167);
   box_nb = 167 : next(inB138 | inB167 | inB168);
   box_nb = 168 : next(inB139 | inB168 | inB169);
   box_nb = 169 : next(inB140 | inB169 | inB170);
   box_nb = 170 : next(inB141 | inB170 | inB171);
   box_nb = 171 : next(inB142 | inB171 | inB172);
   box_nb = 172 : next(inB143 | inB172 | inB173);
   box_nb = 173 : next(inB144 | inB173 | inB174);
   box_nb = 174 : next(inB145 | inB174);
   box_nb = 175 : next(inB175 | inB176 | inB204);
   box_nb = 176 : next(inB118 | inB176 | inB177 | inB205);
   box_nb = 177 : next(inB119 | inB177 | inB178 | inB206);
   box_nb = 178 : next(inB120 | inB178 | inB179);
   box_nb = 179 : next(inB121 | inB179 | inB180);
   box_nb = 180 : next(inB122 | inB180 | inB181);
   box_nb = 181 : next(inB123 | inB181 | inB182);
   box_nb = 182 : next(inB124 | inB182 | inB183);
   box_nb = 183 : next(inB125 | inB183 | inB184);
   box_nb = 184 : next(inB126 | inB184 | inB185);
   box_nb = 185 : next(inB127 | inB185 | inB186);
   box_nb = 186 : next(inB128 | inB186 | inB187);
   box_nb = 187 : next(inB129 | inB187 | inB188);
   box_nb = 188 : next(inB130 | inB188 | inB189);
   box_nb = 189 : next(inB131 | inB189 | inB190);
   box_nb = 190 : next(inB132 | inB190 | inB191);
   box_nb = 191 : next(inB133 | inB191 | inB192);
   box_nb = 192 : next(inB134 | inB192 | inB193);
   box_nb = 193 : next(inB135 | inB193 | inB194);
   box_nb = 194 : next(inB136 | inB194 | inB195);
   box_nb = 195 : next(inB137 | inB195 | inB196);
   box_nb = 196 : next(inB138 | inB196 | inB197);
   box_nb = 197 : next(inB139 | inB197 | inB198);
   box_nb = 198 : next(inB140 | inB198 | inB199);
   box_nb = 199 : next(inB141 | inB199 | inB200);
   box_nb = 200 : next(inB142 | inB200 | inB201);
   box_nb = 201 : next(inB143 | inB201 | inB202);
   box_nb = 202 : next(inB144 | inB202 | inB203);
   box_nb = 203 : next(inB145 | inB203);
   box_nb = 204 : next(inB204 | inB205);
   box_nb = 205 : next(inB147 | inB205 | inB206);
   box_nb = 206 : next(inB148 | inB177 | inB206 | inB207);
   box_nb = 207 : next(inB149 | inB178 | inB207 | inB208);
   box_nb = 208 : next(inB150 | inB179 | inB208 | inB209);
   box_nb = 209 : next(inB151 | inB180 | inB209 | inB210);
   box_nb = 210 : next(inB152 | inB181 | inB210 | inB211);
   box_nb = 211 : next(inB153 | inB182 | inB211 | inB212);
   box_nb = 212 : next(inB154 | inB183 | inB212 | inB213);
   box_nb = 213 : next(inB155 | inB184 | inB213 | inB214);
   box_nb = 214 : next(inB156 | inB185 | inB214 | inB215);
   box_nb = 215 : next(inB157 | inB186 | inB215 | inB216);
   box_nb = 216 : next(inB158 | inB187 | inB216 | inB217);
   box_nb = 217 : next(inB159 | inB188 | inB217 | inB218);
   box_nb = 218 : next(inB160 | inB189 | inB218 | inB219);
   box_nb = 219 : next(inB161 | inB190 | inB219 | inB220);
   box_nb = 220 : next(inB162 | inB191 | inB220 | inB221);
   box_nb = 221 : next(inB163 | inB192 | inB221 | inB222);
   box_nb = 222 : next(inB164 | inB193 | inB222 | inB223);
   box_nb = 223 : next(inB165 | inB194 | inB223 | inB224);
   box_nb = 224 : next(inB166 | inB195 | inB224 | inB225);
   box_nb = 225 : next(inB167 | inB196 | inB225 | inB226);
   box_nb = 226 : next(inB168 | inB197 | inB226 | inB227);
   box_nb = 227 : next(inB169 | inB198 | inB227 | inB228);
   box_nb = 228 : next(inB170 | inB199 | inB228 | inB229);
   box_nb = 229 : next(inB171 | inB200 | inB229 | inB230);
   box_nb = 230 : next(inB172 | inB201 | inB230 | inB231);
   box_nb = 231 : next(inB173 | inB202 | inB231 | inB232);
   box_nb = 232 : next(inB174 | inB203 | inB232);
  esac
 LTLSPEC
(G (prop10))