[Toss-devel-svn] SF.net SVN: toss:[1362] trunk/Toss
Status: Beta
Brought to you by:
lukaszkaiser
Menu
▾
▴
[Toss-devel-svn] SF.net SVN: toss:[1362] trunk/Toss
|
From: <luk...@us...> - 2011-03-15 14:53:49
|
Revision: 1362
http://toss.svn.sourceforge.net/toss/?rev=1362&view=rev
Author: lukstafi
Date: 2011-03-15 14:53:40 +0000 (Tue, 15 Mar 2011)
Log Message:
-----------
Folding over formulas and atoms. GameSimpl stage 2: pruning subsumed atoms; stage 4: removing unused relations.
Modified Paths:
--------------
trunk/Toss/Arena/Arena.ml
trunk/Toss/Arena/Arena.mli
trunk/Toss/Arena/ContinuousRule.ml
trunk/Toss/Arena/ContinuousRule.mli
trunk/Toss/Formula/FormulaOps.ml
trunk/Toss/Formula/FormulaOps.mli
trunk/Toss/GGP/GameSimpl.ml
trunk/Toss/GGP/GameSimplTest.ml
trunk/Toss/GGP/tests/breakthrough-simpl.toss
trunk/Toss/GGP/tests/connect5-simpl.toss
trunk/Toss/Solver/Solver.ml
Modified: trunk/Toss/Arena/Arena.ml
===================================================================
--- trunk/Toss/Arena/Arena.ml 2011-03-15 11:03:16 UTC (rev 1361)
+++ trunk/Toss/Arena/Arena.ml 2011-03-15 14:53:40 UTC (rev 1362)
@@ -392,6 +392,35 @@
drel, (args, f def)) game.defined_rels;
}
+let fold_over_formulas ~include_defined_rels f game acc =
+ let acc =
+ List.fold_right (fun (_, r) ->
+ ContinuousRule.fold_over_formulas f r
+ ) game.rules acc in
+ let acc =
+ Array.fold_right (fun loc ->
+ Array.fold_right (FormulaOps.fold_over_formulas_expr f) loc.payoffs
+ ) game.graph acc in
+ let acc =
+ if include_defined_rels then
+ List.fold_right (fun (_, (_, def)) -> f def)
+ game.defined_rels acc
+ else acc in
+ acc
+
+let map_to_structures f (game, state) =
+ {game with
+ rules = List.map (fun (rn, r) ->
+ rn, {r with ContinuousRule.discrete =
+ {r.ContinuousRule.discrete with
+ DiscreteRule.lhs_struc =
+ f r.ContinuousRule.discrete.DiscreteRule.lhs_struc;
+ DiscreteRule.rhs_struc =
+ f r.ContinuousRule.discrete.DiscreteRule.rhs_struc;
+ }}) game.rules},
+ {state with
+ struc = f state.struc}
+
(* Compare two (game, state) pairs and explain the first difference
met. Formulas and expressions are compared for syntactical
equality. Players need to be given in the same order. Data is ignored. *)
Modified: trunk/Toss/Arena/Arena.mli
===================================================================
--- trunk/Toss/Arena/Arena.mli 2011-03-15 11:03:16 UTC (rev 1361)
+++ trunk/Toss/Arena/Arena.mli 2011-03-15 14:53:40 UTC (rev 1362)
@@ -109,7 +109,12 @@
?extend_state:game * game_state -> definition list -> game * game_state
val map_to_formulas : (Formula.formula -> Formula.formula) -> game -> game
+val fold_over_formulas : include_defined_rels:bool ->
+ (Formula.formula -> 'a -> 'a) -> game -> 'a -> 'a
+val map_to_structures :
+ (Structure.structure -> Structure.structure) -> game * game_state ->
+ game * game_state
(** Compare two (game, state) pairs and explain the first difference
met. Formulas and expressions are compared for syntactical
Modified: trunk/Toss/Arena/ContinuousRule.ml
===================================================================
--- trunk/Toss/Arena/ContinuousRule.ml 2011-03-15 11:03:16 UTC (rev 1361)
+++ trunk/Toss/Arena/ContinuousRule.ml 2011-03-15 14:53:40 UTC (rev 1362)
@@ -69,6 +69,16 @@
post = f r.post;
}
+let fold_over_formulas f r acc =
+ let acc =
+ f r.discrete.DiscreteRule.pre acc in
+ let acc =
+ f r.compiled.DiscreteRule.lhs_form acc in
+ let acc = f r.inv acc in
+ let acc = f r.post acc in
+ acc
+
+
(* ---------------------- FINDING APPLICABLE MATCHES ------------------------ *)
(* Find all matches of [r] in [struc] which satisfy [r]'s precondition. *)
Modified: trunk/Toss/Arena/ContinuousRule.mli
===================================================================
--- trunk/Toss/Arena/ContinuousRule.mli 2011-03-15 11:03:16 UTC (rev 1361)
+++ trunk/Toss/Arena/ContinuousRule.mli 2011-03-15 14:53:40 UTC (rev 1362)
@@ -55,6 +55,8 @@
val lhs : rule -> Structure.structure
val rhs : rule -> Structure.structure
val map_to_formulas : (Formula.formula -> Formula.formula) -> rule -> rule
+val fold_over_formulas :
+ (Formula.formula -> 'a -> 'a) -> rule -> 'a -> 'a
(** {2 Finding applicable matches} *)
Modified: trunk/Toss/Formula/FormulaOps.ml
===================================================================
--- trunk/Toss/Formula/FormulaOps.ml 2011-03-15 11:03:16 UTC (rev 1361)
+++ trunk/Toss/Formula/FormulaOps.ml 2011-03-15 14:53:40 UTC (rev 1362)
@@ -158,7 +158,17 @@
| Sum (vs, phi, r) ->
Sum (vs, f phi, map_to_formulas_expr f r)
+let rec fold_over_formulas_expr f r acc =
+ match r with
+ | RVar _ | Const _ | Fun _ -> acc
+ | Times (r1, r2)
+ | Plus (r1, r2) ->
+ fold_over_formulas_expr f r1 (fold_over_formulas_expr f r2 acc)
+ | Char (phi) -> f phi acc
+ | Sum (vs, phi, r) ->
+ fold_over_formulas_expr f r (f phi acc)
+
(* Map [f] to all atoms in the given formula. *)
let map_to_atoms_full f g phi =
map_to_literals (function Not (x) -> Not (f x) | x -> f x) g phi
@@ -172,6 +182,25 @@
let map_to_atoms_expr f r =
map_to_literals_expr (function Not (x) -> Not (f x) | x -> f x) (fun x -> x) r
+
+let rec fold_over_literals f phi acc =
+ match phi with
+ Rel _ | Eq _ | In _ as x -> f x acc
+ | Not (Rel _) | Not (Eq _) | Not (In _) as x -> f x acc
+ | Not phi -> fold_over_literals f phi acc
+ | Or flist
+ | And flist -> List.fold_right (fold_over_literals f) flist acc
+ | Ex (vs, phi)
+ | All (vs, phi) -> fold_over_literals f phi acc
+ | RealExpr (r, _) -> fold_over_literals_expr f r acc
+
+and fold_over_literals_expr f =
+ fold_over_formulas_expr (fold_over_literals f)
+
+let fold_over_atoms f phi =
+ fold_over_literals
+ (function Not x -> f x | x -> f x) phi
+
(* Map [f] to all variables occurring in the formula. Preserves order
of subformulas. *)
let rec map_to_all_vars (f : var -> var) = function
Modified: trunk/Toss/Formula/FormulaOps.mli
===================================================================
--- trunk/Toss/Formula/FormulaOps.mli 2011-03-15 11:03:16 UTC (rev 1361)
+++ trunk/Toss/Formula/FormulaOps.mli 2011-03-15 14:53:40 UTC (rev 1362)
@@ -30,6 +30,9 @@
[Sum] guards). *)
val map_to_formulas_expr : (formula -> formula) -> real_expr -> real_expr
+val fold_over_formulas_expr :
+ (formula -> 'a -> 'a) -> real_expr -> 'a -> 'a
+
(** Map [f] to all atoms in the given formula. *)
val map_to_atoms_full : (formula -> formula) -> (real_expr -> real_expr) ->
formula -> formula
@@ -38,6 +41,11 @@
val map_to_atoms : (formula -> formula) -> formula -> formula
val map_to_atoms_expr : (formula -> formula) -> real_expr -> real_expr
+val fold_over_literals :
+ (formula -> 'a -> 'a) -> formula -> 'a -> 'a
+val fold_over_atoms :
+ (formula -> 'a -> 'a) -> formula -> 'a -> 'a
+
(** Map @param f to all variables occurring in the formula.
Preserves order of subformulas. @param phi The formula to substitute in. *)
val map_to_all_vars : (var -> var) -> formula -> formula
Modified: trunk/Toss/GGP/GameSimpl.ml
===================================================================
--- trunk/Toss/GGP/GameSimpl.ml 2011-03-15 11:03:16 UTC (rev 1361)
+++ trunk/Toss/GGP/GameSimpl.ml 2011-03-15 14:53:40 UTC (rev 1362)
@@ -45,6 +45,8 @@
over the same variables, with one of introduced predicates. For
several possibilities of replacement pick one arbitrarily
(currently, in the order of occurrence in the formula).
+
+ (4) Remove from the structure relations that are no longer used.
*)
open Formula
@@ -118,7 +120,7 @@
String.concat ", " (Aux.Strings.elements v)) subset_table "")
);
(* }}} *)
- let subsumed rel1 rel2 =
+ let included_in rel1 rel2 =
Aux.Strings.mem rel2 (Aux.StrMap.find rel1 subset_table) in
let compl_table =
List.fold_left (fun table (rel,arity) ->
@@ -152,7 +154,7 @@
not (List.mem rel2 fluents ||
List.mem_assoc rel2 game.Arena.defined_rels) &&
(complement rel1 rel2 ||
- (subsumed rel1 rel2 && subsumed rel2 rel1))
+ (included_in rel1 rel2 && included_in rel2 rel1))
) signat in
rel1, (rel2, complement rel1 rel2)
with Not_found -> rel1, (rel1, false)
@@ -314,7 +316,39 @@
}}) game.Arena.rules} in
(* 2 *)
- (*let game =
- Arena.map_to_formulas (FormulaOps.)*)
+ let implies phi1 phi2 =
+ match phi1, phi2 with
+ | _ when phi1 = phi2 -> true
+ | Rel (rel1, args1), Rel (rel2, args2) when args1 = args2 ->
+ not (List.mem rel1 fluents) &&
+ not (List.mem rel2 fluents) &&
+ included_in rel1 rel2
+ | _ -> false in
+ let game =
+ Arena.map_to_formulas (FormulaOps.remove_redundant ~implies) game in
- game, state
+ (* 4 *)
+ let add_rel rel acc =
+ match rel with
+ | Rel (rel,_) -> Aux.Strings.add rel acc
+ | _ -> acc in
+ let used_rels =
+ Arena.fold_over_formulas ~include_defined_rels:false
+ (FormulaOps.fold_over_atoms add_rel)
+ game Aux.Strings.empty in
+ let clear_rel rel =
+ let rel =
+ if DiscreteRule.special_rel_of rel = None then rel
+ else DiscreteRule.orig_rel_of rel in
+ let res =
+ not (List.mem_assoc rel game.Arena.defined_rels) &&
+ not (Aux.Strings.mem rel used_rels) in
+ (* {{{ log entry *)
+ if !debug_level > 2 && res then (
+ Printf.printf "GameSimpl: removing relation %s\n%!" rel
+ );
+ (* }}} *)
+ res in
+ Arena.map_to_structures
+ (fun struc -> Structure.clear_rels struc clear_rel)
+ (game, state)
Modified: trunk/Toss/GGP/GameSimplTest.ml
===================================================================
--- trunk/Toss/GGP/GameSimplTest.ml 2011-03-15 11:03:16 UTC (rev 1361)
+++ trunk/Toss/GGP/GameSimplTest.ml 2011-03-15 14:53:40 UTC (rev 1362)
@@ -69,3 +69,14 @@
output_string resf res_str;
close_out resf;
Printf.printf "\nRESULT:\n%s\n%!" res_str
+
+let a () =
+ let connect5 = state_of_file "./GGP/tests/connect5-raw.toss" in
+ Printf.printf "\nINPUT:\n%s\n%!" (Arena.state_str connect5);
+ GameSimpl.debug_level := 4;
+ let res = GameSimpl.simplify connect5 in
+ let resf = open_out "./GGP/tests/connect5-simpl.toss" in
+ let res_str = Arena.state_str res in
+ output_string resf res_str;
+ close_out resf;
+ Printf.printf "\nRESULT:\n%s\n%!" res_str
Modified: trunk/Toss/GGP/tests/breakthrough-simpl.toss
===================================================================
--- trunk/Toss/GGP/tests/breakthrough-simpl.toss 2011-03-15 11:03:16 UTC (rev 1361)
+++ trunk/Toss/GGP/tests/breakthrough-simpl.toss 2011-03-15 14:53:40 UTC (rev 1362)
@@ -27,25 +27,17 @@
(not
ex cellholds_x374_8__blank_
(cellholds_x2_8_MV1(cellholds_x374_8__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x374_8__blank_) and
cellholds_x2_y2_white(cellholds_x374_8__blank_)) and
- not
- not
- ex cellholds_x375_y368__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
- not
- ex cellholds_x376_1__blank_
- (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x376_1__blank_) and
- cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x375_y368__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
+ cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
not
- not
- ex cellholds_x377_y369__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
+ ex cellholds_x376_1__blank_
+ (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
+ cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x377_y369__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
+ cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
RULE move_x1_y1_x2_y2_00:
[cellholds_x1_y1__blank_, cellholds_x2_y2__blank_, control__blank_ |
_opt_cellholds_x2_y2_black {
@@ -74,25 +66,17 @@
(not
ex cellholds_x374_8__blank_
(cellholds_x2_8_MV1(cellholds_x374_8__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x374_8__blank_) and
cellholds_x2_y2_white(cellholds_x374_8__blank_)) and
- not
- not
- ex cellholds_x375_y368__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
- not
- ex cellholds_x376_1__blank_
- (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x376_1__blank_) and
- cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x375_y368__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
+ cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
not
- not
- ex cellholds_x377_y369__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
+ ex cellholds_x376_1__blank_
+ (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
+ cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x377_y369__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
+ cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
RULE move_x1_y1_x2_y2_1:
[cellholds_x1_y1__blank_, cellholds_x2_y2__blank_, control__blank_ |
_opt_cellholds_x2_y2_black (control__blank_);
@@ -121,25 +105,17 @@
(not
ex cellholds_x374_8__blank_
(cellholds_x2_8_MV1(cellholds_x374_8__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x374_8__blank_) and
cellholds_x2_y2_white(cellholds_x374_8__blank_)) and
- not
- not
- ex cellholds_x375_y368__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
- not
- ex cellholds_x376_1__blank_
- (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x376_1__blank_) and
- cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x375_y368__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
+ cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
not
- not
- ex cellholds_x377_y369__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
+ ex cellholds_x376_1__blank_
+ (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
+ cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x377_y369__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
+ cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
RULE move_x1_y1_x2_y2_10:
[cellholds_x1_y1__blank_, cellholds_x2_y2__blank_, control__blank_ |
_opt_cellholds_x2_y2_black (control__blank_);
@@ -168,25 +144,17 @@
(not
ex cellholds_x374_8__blank_
(cellholds_x2_8_MV1(cellholds_x374_8__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x374_8__blank_) and
cellholds_x2_y2_white(cellholds_x374_8__blank_)) and
- not
- not
- ex cellholds_x375_y368__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
- not
- ex cellholds_x376_1__blank_
- (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x376_1__blank_) and
- cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x375_y368__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
+ cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
not
- not
- ex cellholds_x377_y369__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
+ ex cellholds_x376_1__blank_
+ (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
+ cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x377_y369__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
+ cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
RULE move_x_y1_x_y2_0:
[cellholds_x_y1__blank_, cellholds_x_y2__blank_, control__blank_ |
EQ___cellholds_x2_y2_MV1_x2
@@ -214,25 +182,17 @@
(not
ex cellholds_x374_8__blank_
(cellholds_x2_8_MV1(cellholds_x374_8__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x374_8__blank_) and
cellholds_x2_y2_white(cellholds_x374_8__blank_)) and
- not
- not
- ex cellholds_x375_y368__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
- not
- ex cellholds_x376_1__blank_
- (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x376_1__blank_) and
- cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x375_y368__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
+ cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
not
- not
- ex cellholds_x377_y369__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
+ ex cellholds_x376_1__blank_
+ (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
+ cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x377_y369__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
+ cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
RULE move_x_y1_x_y2_1:
[cellholds_x_y1__blank_, cellholds_x_y2__blank_, control__blank_ |
EQ___cellholds_x2_y2_MV1_x2
@@ -260,25 +220,17 @@
(not
ex cellholds_x374_8__blank_
(cellholds_x2_8_MV1(cellholds_x374_8__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x374_8__blank_) and
cellholds_x2_y2_white(cellholds_x374_8__blank_)) and
- not
- not
- ex cellholds_x375_y368__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
- cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
- not
- ex cellholds_x376_1__blank_
- (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x376_1__blank_) and
- cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x375_y368__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x375_y368__blank_) and
+ cellholds_x2_y2_black(cellholds_x375_y368__blank_)) and
not
- not
- ex cellholds_x377_y369__blank_
- (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
- cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
+ ex cellholds_x376_1__blank_
+ (cellholds_x2_1_MV1(cellholds_x376_1__blank_) and
+ cellholds_x2_y2_black(cellholds_x376_1__blank_)) and
+ ex cellholds_x377_y369__blank_
+ (index__cellholds_x2_y2_MV1_y2(cellholds_x377_y369__blank_) and
+ cellholds_x2_y2_white(cellholds_x377_y369__blank_)))
LOC 0 {
PLAYER white
PAYOFF {
@@ -287,12 +239,10 @@
:(
ex cellholds_x26_8__blank_
(cellholds_x2_8_MV1(cellholds_x26_8__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x26_8__blank_) and
cellholds_x2_y2_white(cellholds_x26_8__blank_)) or
not
ex cellholds_x27_y26__blank_
(index__cellholds_x2_y2_MV1_y2(cellholds_x27_y26__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x27_y26__blank_) and
cellholds_x2_y2_black(cellholds_x27_y26__blank_))
);
black:
@@ -300,12 +250,10 @@
:(
ex cellholds_x30_1__blank_
(cellholds_x2_1_MV1(cellholds_x30_1__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x30_1__blank_) and
cellholds_x2_y2_black(cellholds_x30_1__blank_)) or
not
ex cellholds_x31_y28__blank_
(index__cellholds_x2_y2_MV1_y2(cellholds_x31_y28__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x31_y28__blank_) and
cellholds_x2_y2_white(cellholds_x31_y28__blank_))
)
}
@@ -320,12 +268,10 @@
:(
ex cellholds_x26_8__blank_
(cellholds_x2_8_MV1(cellholds_x26_8__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x26_8__blank_) and
cellholds_x2_y2_white(cellholds_x26_8__blank_)) or
not
ex cellholds_x27_y26__blank_
(index__cellholds_x2_y2_MV1_y2(cellholds_x27_y26__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x27_y26__blank_) and
cellholds_x2_y2_black(cellholds_x27_y26__blank_))
);
black:
@@ -333,12 +279,10 @@
:(
ex cellholds_x30_1__blank_
(cellholds_x2_1_MV1(cellholds_x30_1__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x30_1__blank_) and
cellholds_x2_y2_black(cellholds_x30_1__blank_)) or
not
ex cellholds_x31_y28__blank_
(index__cellholds_x2_y2_MV1_y2(cellholds_x31_y28__blank_) and
- index__cellholds_x2_y2_MV1_y2(cellholds_x31_y28__blank_) and
cellholds_x2_y2_white(cellholds_x31_y28__blank_))
)
}
@@ -882,595 +826,11 @@
(cellholds_1_1_MV1, cellholds_1_2_MV1);
(cellholds_1_1_MV1, cellholds_1_1_MV1)
};
- EQ___cellholds_x2_y2_MV1_y2 {
- (cellholds_8_8_MV1, cellholds_8_8_MV1);
- (cellholds_8_8_MV1, cellholds_7_8_MV1);
- (cellholds_8_8_MV1, cellholds_6_8_MV1);
- (cellholds_8_8_MV1, cellholds_5_8_MV1);
- (cellholds_8_8_MV1, cellholds_4_8_MV1);
- (cellholds_8_8_MV1, cellholds_3_8_MV1);
- (cellholds_8_8_MV1, cellholds_2_8_MV1);
- (cellholds_8_8_MV1, cellholds_1_8_MV1);
- (cellholds_8_7_MV1, cellholds_8_7_MV1);
- (cellholds_8_7_MV1, cellholds_7_7_MV1);
- (cellholds_8_7_MV1, cellholds_6_7_MV1);
- (cellholds_8_7_MV1, cellholds_5_7_MV1);
- (cellholds_8_7_MV1, cellholds_4_7_MV1);
- (cellholds_8_7_MV1, cellholds_3_7_MV1);
- (cellholds_8_7_MV1, cellholds_2_7_MV1);
- (cellholds_8_7_MV1, cellholds_1_7_MV1);
- (cellholds_8_6_MV1, cellholds_8_6_MV1);
- (cellholds_8_6_MV1, cellholds_7_6_MV1);
- (cellholds_8_6_MV1, cellholds_6_6_MV1);
- (cellholds_8_6_MV1, cellholds_5_6_MV1);
- (cellholds_8_6_MV1, cellholds_4_6_MV1);
- (cellholds_8_6_MV1, cellholds_3_6_MV1);
- (cellholds_8_6_MV1, cellholds_2_6_MV1);
- (cellholds_8_6_MV1, cellholds_1_6_MV1);
- (cellholds_8_5_MV1, cellholds_8_5_MV1);
- (cellholds_8_5_MV1, cellholds_7_5_MV1);
- (cellholds_8_5_MV1, cellholds_6_5_MV1);
- (cellholds_8_5_MV1, cellholds_5_5_MV1);
- (cellholds_8_5_MV1, cellholds_4_5_MV1);
- (cellholds_8_5_MV1, cellholds_3_5_MV1);
- (cellholds_8_5_MV1, cellholds_2_5_MV1);
- (cellholds_8_5_MV1, cellholds_1_5_MV1);
- (cellholds_8_4_MV1, cellholds_8_4_MV1);
- (cellholds_8_4_MV1, cellholds_7_4_MV1);
- (cellholds_8_4_MV1, cellholds_6_4_MV1);
- (cellholds_8_4_MV1, cellholds_5_4_MV1);
- (cellholds_8_4_MV1, cellholds_4_4_MV1);
- (cellholds_8_4_MV1, cellholds_3_4_MV1);
- (cellholds_8_4_MV1, cellholds_2_4_MV1);
- (cellholds_8_4_MV1, cellholds_1_4_MV1);
- (cellholds_8_3_MV1, cellholds_8_3_MV1);
- (cellholds_8_3_MV1, cellholds_7_3_MV1);
- (cellholds_8_3_MV1, cellholds_6_3_MV1);
- (cellholds_8_3_MV1, cellholds_5_3_MV1);
- (cellholds_8_3_MV1, cellholds_4_3_MV1);
- (cellholds_8_3_MV1, cellholds_3_3_MV1);
- (cellholds_8_3_MV1, cellholds_2_3_MV1);
- (cellholds_8_3_MV1, cellholds_1_3_MV1);
- (cellholds_8_2_MV1, cellholds_8_2_MV1);
- (cellholds_8_2_MV1, cellholds_7_2_MV1);
- (cellholds_8_2_MV1, cellholds_6_2_MV1);
- (cellholds_8_2_MV1, cellholds_5_2_MV1);
- (cellholds_8_2_MV1, cellholds_4_2_MV1);
- (cellholds_8_2_MV1, cellholds_3_2_MV1);
- (cellholds_8_2_MV1, cellholds_2_2_MV1);
- (cellholds_8_2_MV1, cellholds_1_2_MV1);
- (cellholds_8_1_MV1, cellholds_8_1_MV1);
- (cellholds_8_1_MV1, cellholds_7_1_MV1);
- (cellholds_8_1_MV1, cellholds_6_1_MV1);
- (cellholds_8_1_MV1, cellholds_5_1_MV1);
- (cellholds_8_1_MV1, cellholds_4_1_MV1);
- (cellholds_8_1_MV1, cellholds_3_1_MV1);
- (cellholds_8_1_MV1, cellholds_2_1_MV1);
- (cellholds_8_1_MV1, cellholds_1_1_MV1);
- (cellholds_7_8_MV1, cellholds_8_8_MV1);
- (cellholds_7_8_MV1, cellholds_7_8_MV1);
- (cellholds_7_8_MV1, cellholds_6_8_MV1);
- (cellholds_7_8_MV1, cellholds_5_8_MV1);
- (cellholds_7_8_MV1, cellholds_4_8_MV1);
- (cellholds_7_8_MV1, cellholds_3_8_MV1);
- (cellholds_7_8_MV1, cellholds_2_8_MV1);
- (cellholds_7_8_MV1, cellholds_1_8_MV1);
- (cellholds_7_7_MV1, cellholds_8_7_MV1);
- (cellholds_7_7_MV1, cellholds_7_7_MV1);
- (cellholds_7_7_MV1, cellholds_6_7_MV1);
- (cellholds_7_7_MV1, cellholds_5_7_MV1);
- (cellholds_7_7_MV1, cellholds_4_7_MV1);
- (cellholds_7_7_MV1, cellholds_3_7_MV1);
- (cellholds_7_7_MV1, cellholds_2_7_MV1);
- (cellholds_7_7_MV1, cellholds_1_7_MV1);
- (cellholds_7_6_MV1, cellholds_8_6_MV1);
- (cellholds_7_6_MV1, cellholds_7_6_MV1);
- (cellholds_7_6_MV1, cellholds_6_6_MV1);
- (cellholds_7_6_MV1, cellholds_5_6_MV1);
- (cellholds_7_6_MV1, cellholds_4_6_MV1);
- (cellholds_7_6_MV1, cellholds_3_6_MV1);
- (cellholds_7_6_MV1, cellholds_2_6_MV1);
- (cellholds_7_6_MV1, cellholds_1_6_MV1);
- (cellholds_7_5_MV1, cellholds_8_5_MV1);
- (cellholds_7_5_MV1, cellholds_7_5_MV1);
- (cellholds_7_5_MV1, cellholds_6_5_MV1);
- (cellholds_7_5_MV1, cellholds_5_5_MV1);
- (cellholds_7_5_MV1, cellholds_4_5_MV1);
- (cellholds_7_5_MV1, cellholds_3_5_MV1);
- (cellholds_7_5_MV1, cellholds_2_5_MV1);
- (cellholds_7_5_MV1, cellholds_1_5_MV1);
- (cellholds_7_4_MV1, cellholds_8_4_MV1);
- (cellholds_7_4_MV1, cellholds_7_4_MV1);
- (cellholds_7_4_MV1, cellholds_6_4_MV1);
- (cellholds_7_4_MV1, cellholds_5_4_MV1);
- (cellholds_7_4_MV1, cellholds_4_4_MV1);
- (cellholds_7_4_MV1, cellholds_3_4_MV1);
- (cellholds_7_4_MV1, cellholds_2_4_MV1);
- (cellholds_7_4_MV1, cellholds_1_4_MV1);
- (cellholds_7_3_MV1, cellholds_8_3_MV1);
- (cellholds_7_3_MV1, cellholds_7_3_MV1);
- (cellholds_7_3_MV1, cellholds_6_3_MV1);
- (cellholds_7_3_MV1, cellholds_5_3_MV1);
- (cellholds_7_3_MV1, cellholds_4_3_MV1);
- (cellholds_7_3_MV1, cellholds_3_3_MV1);
- (cellholds_7_3_MV1, cellholds_2_3_MV1);
- (cellholds_7_3_MV1, cellholds_1_3_MV1);
- (cellholds_7_2_MV1, cellholds_8_2_MV1);
- (cellholds_7_2_MV1, cellholds_7_2_MV1);
- (cellholds_7_2_MV1, cellholds_6_2_MV1);
- (cellholds_7_2_MV1, cellholds_5_2_MV1);
- (cellholds_7_2_MV1, cellholds_4_2_MV1);
- (cellholds_7_2_MV1, cellholds_3_2_MV1);
- (cellholds_7_2_MV1, cellholds_2_2_MV1);
- (cellholds_7_2_MV1, cellholds_1_2_MV1);
- (cellholds_7_1_MV1, cellholds_8_1_MV1);
- (cellholds_7_1_MV1, cellholds_7_1_MV1);
- (cellholds_7_1_MV1, cellholds_6_1_MV1);
- (cellholds_7_1_MV1, cellholds_5_1_MV1);
- (cellholds_7_1_MV1, cellholds_4_1_MV1);
- (cellholds_7_1_MV1, cellholds_3_1_MV1);
- (cellholds_7_1_MV1, cellholds_2_1_MV1);
- (cellholds_7_1_MV1, cellholds_1_1_MV1);
- (cellholds_6_8_MV1, cellholds_8_8_MV1);
- (cellholds_6_8_MV1, cellholds_7_8_MV1);
- (cellholds_6_8_MV1, cellholds_6_8_MV1);
- (cellholds_6_8_MV1, cellholds_5_8_MV1);
- (cellholds_6_8_MV1, cellholds_4_8_MV1);
- (cellholds_6_8_MV1, cellholds_3_8_MV1);
- (cellholds_6_8_MV1, cellholds_2_8_MV1);
- (cellholds_6_8_MV1, cellholds_1_8_MV1);
- (cellholds_6_7_MV1, cellholds_8_7_MV1);
- (cellholds_6_7_MV1, cellholds_7_7_MV1);
- (cellholds_6_7_MV1, cellholds_6_7_MV1);
- (cellholds_6_7_MV1, cellholds_5_7_MV1);
- (cellholds_6_7_MV1, cellholds_4_7_MV1);
- (cellholds_6_7_MV1, cellholds_3_7_MV1);
- (cellholds_6_7_MV1, cellholds_2_7_MV1);
- (cellholds_6_7_MV1, cellholds_1_7_MV1);
- (cellholds_6_6_MV1, cellholds_8_6_MV1);
- (cellholds_6_6_MV1, cellholds_7_6_MV1);
- (cellholds_6_6_MV1, cellholds_6_6_MV1);
- (cellholds_6_6_MV1, cellholds_5_6_MV1);
- (cellholds_6_6_MV1, cellholds_4_6_MV1);
- (cellholds_6_6_MV1, cellholds_3_6_MV1);
- (cellholds_6_6_MV1, cellholds_2_6_MV1);
- (cellholds_6_6_MV1, cellholds_1_6_MV1);
- (cellholds_6_5_MV1, cellholds_8_5_MV1);
- (cellholds_6_5_MV1, cellholds_7_5_MV1);
- (cellholds_6_5_MV1, cellholds_6_5_MV1);
- (cellholds_6_5_MV1, cellholds_5_5_MV1);
- (cellholds_6_5_MV1, cellholds_4_5_MV1);
- (cellholds_6_5_MV1, cellholds_3_5_MV1);
- (cellholds_6_5_MV1, cellholds_2_5_MV1);
- (cellholds_6_5_MV1, cellholds_1_5_MV1);
- (cellholds_6_4_MV1, cellholds_8_4_MV1);
- (cellholds_6_4_MV1, cellholds_7_4_MV1);
- (cellholds_6_4_MV1, cellholds_6_4_MV1);
- (cellholds_6_4_MV1, cellholds_5_4_MV1);
- (cellholds_6_4_MV1, cellholds_4_4_MV1);
- (cellholds_6_4_MV1, cellholds_3_4_MV1);
- (cellholds_6_4_MV1, cellholds_2_4_MV1);
- (cellholds_6_4_MV1, cellholds_1_4_MV1);
- (cellholds_6_3_MV1, cellholds_8_3_MV1);
- (cellholds_6_3_MV1, cellholds_7_3_MV1);
- (cellholds_6_3_MV1, cellholds_6_3_MV1);
- (cellholds_6_3_MV1, cellholds_5_3_MV1);
- (cellholds_6_3_MV1, cellholds_4_3_MV1);
- (cellholds_6_3_MV1, cellholds_3_3_MV1);
- (cellholds_6_3_MV1, cellholds_2_3_MV1);
- (cellholds_6_3_MV1, cellholds_1_3_MV1);
- (cellholds_6_2_MV1, cellholds_8_2_MV1);
- (cellholds_6_2_MV1, cellholds_7_2_MV1);
- (cellholds_6_2_MV1, cellholds_6_2_MV1);
- (cellholds_6_2_MV1, cellholds_5_2_MV1);
- (cellholds_6_2_MV1, cellholds_4_2_MV1);
- (cellholds_6_2_MV1, cellholds_3_2_MV1);
- (cellholds_6_2_MV1, cellholds_2_2_MV1);
- (cellholds_6_2_MV1, cellholds_1_2_MV1);
- (cellholds_6_1_MV1, cellholds_8_1_MV1);
- (cellholds_6_1_MV1, cellholds_7_1_MV1);
- (cellholds_6_1_MV1, cellholds_6_1_MV1);
- (cellholds_6_1_MV1, cellholds_5_1_MV1);
- (cellholds_6_1_MV1, cellholds_4_1_MV1);
- (cellholds_6_1_MV1, cellholds_3_1_MV1);
- (cellholds_6_1_MV1, cellholds_2_1_MV1);
- (cellholds_6_1_MV1, cellholds_1_1_MV1);
- (cellholds_5_8_MV1, cellholds_8_8_MV1);
- (cellholds_5_8_MV1, cellholds_7_8_MV1);
- (cellholds_5_8_MV1, cellholds_6_8_MV1);
- (cellholds_5_8_MV1, cellholds_5_8_MV1);
- (cellholds_5_8_MV1, cellholds_4_8_MV1);
- (cellholds_5_8_MV1, cellholds_3_8_MV1);
- (cellholds_5_8_MV1, cellholds_2_8_MV1);
- (cellholds_5_8_MV1, cellholds_1_8_MV1);
- (cellholds_5_7_MV1, cellholds_8_7_MV1);
- (cellholds_5_7_MV1, cellholds_7_7_MV1);
- (cellholds_5_7_MV1, cellholds_6_7_MV1);
- (cellholds_5_7_MV1, cellholds_5_7_MV1);
- (cellholds_5_7_MV1, cellholds_4_7_MV1);
- (cellholds_5_7_MV1, cellholds_3_7_MV1);
- (cellholds_5_7_MV1, cellholds_2_7_MV1);
- (cellholds_5_7_MV1, cellholds_1_7_MV1);
- (cellholds_5_6_MV1, cellholds_8_6_MV1);
- (cellholds_5_6_MV1, cellholds_7_6_MV1);
- (cellholds_5_6_MV1, cellholds_6_6_MV1);
- (cellholds_5_6_MV1, cellholds_5_6_MV1);
- (cellholds_5_6_MV1, cellholds_4_6_MV1);
- (cellholds_5_6_MV1, cellholds_3_6_MV1);
- (cellholds_5_6_MV1, cellholds_2_6_MV1);
- (cellholds_5_6_MV1, cellholds_1_6_MV1);
- (cellholds_5_5_MV1, cellholds_8_5_MV1);
- (cellholds_5_5_MV1, cellholds_7_5_MV1);
- (cellholds_5_5_MV1, cellholds_6_5_MV1);
- (cellholds_5_5_MV1, cellholds_5_5_MV1);
- (cellholds_5_5_MV1, cellholds_4_5_MV1);
- (cellholds_5_5_MV1, cellholds_3_5_MV1);
- (cellholds_5_5_MV1, cellholds_2_5_MV1);
- (cellholds_5_5_MV1, cellholds_1_5_MV1);
- (cellholds_5_4_MV1, cellholds_8_4_MV1);
- (cellholds_5_4_MV1, cellholds_7_4_MV1);
- (cellholds_5_4_MV1, cellholds_6_4_MV1);
- (cellholds_5_4_MV1, cellholds_5_4_MV1);
- (cellholds_5_4_MV1, cellholds_4_4_MV1);
- (cellholds_5_4_MV1, cellholds_3_4_MV1);
- (cellholds_5_4_MV1, cellholds_2_4_MV1);
- (cellholds_5_4_MV1, cellholds_1_4_MV1);
- (cellholds_5_3_MV1, cellholds_8_3_MV1);
- (cellholds_5_3_MV1, cellholds_7_3_MV1);
- (cellholds_5_3_MV1, cellholds_6_3_MV1);
- (cellholds_5_3_MV1, cellholds_5_3_MV1);
- (cellholds_5_3_MV1, cellholds_4_3_MV1);
- (cellholds_5_3_MV1, cellholds_3_3_MV1);
- (cellholds_5_3_MV1, cellholds_2_3_MV1);
- (cellholds_5_3_MV1, cellholds_1_3_MV1);
- (cellholds_5_2_MV1, cellholds_8_2_MV1);
- (cellholds_5_2_MV1, cellholds_7_2_MV1);
- (cellholds_5_2_MV1, cellholds_6_2_MV1);
- (cellholds_5_2_MV1, cellholds_5_2_MV1);
- (cellholds_5_2_MV1, cellholds_4_2_MV1);
- (cellholds_5_2_MV1, cellholds_3_2_MV1);
- (cellholds_5_2_MV1, cellholds_2_2_MV1);
- (cellholds_5_2_MV1, cellholds_1_2_MV1);
- (cellholds_5_1_MV1, cellholds_8_1_MV1);
- (cellholds_5_1_MV1, cellholds_7_1_MV1);
- (cellholds_5_1_MV1, cellholds_6_1_MV1);
- (cellholds_5_1_MV1, cellholds_5_1_MV1);
- (cellholds_5_1_MV1, cellholds_4_1_MV1);
- (cellholds_5_1_MV1, cellholds_3_1_MV1);
- (cellholds_5_1_MV1, cellholds_2_1_MV1);
- (cellholds_5_1_MV1, cellholds_1_1_MV1);
- (cellholds_4_8_MV1, cellholds_8_8_MV1);
- (cellholds_4_8_MV1, cellholds_7_8_MV1);
- (cellholds_4_8_MV1, cellholds_6_8_MV1);
- (cellholds_4_8_MV1, cellholds_5_8_MV1);
- (cellholds_4_8_MV1, cellholds_4_8_MV1);
- (cellholds_4_8_MV1, cellholds_3_8_MV1);
- (cellholds_4_8_MV1, cellholds_2_8_MV1);
- (cellholds_4_8_MV1, cellholds_1_8_MV1);
- (cellholds_4_7_MV1, cellholds_8_7_MV1);
- (cellholds_4_7_MV1, cellholds_7_7_MV1);
- (cellholds_4_7_MV1, cellholds_6_7_MV1);
- (cellholds_4_7_MV1, cellholds_5_7_MV1);
- (cellholds_4_7_MV1, cellholds_4_7_MV1);
- (cellholds_4_7_MV1, cellholds_3_7_MV1);
- (cellholds_4_7_MV1, cellholds_2_7_MV1);
- (cellholds_4_7_MV1, cellholds_1_7_MV1);
- (cellholds_4_6_MV1, cellholds_8_6_MV1);
- (cellholds_4_6_MV1, cellholds_7_6_MV1);
- (cellholds_4_6_MV1, cellholds_6_6_MV1);
- (cellholds_4_6_MV1, cellholds_5_6_MV1);
- (cellholds_4_6_MV1, cellholds_4_6_MV1);
- (cellholds_4_6_MV1, cellholds_3_6_MV1);
- (cellholds_4_6_MV1, cellholds_2_6_MV1);
- (cellholds_4_6_MV1, cellholds_1_6_MV1);
- (cellholds_4_5_MV1, cellholds_8_5_MV1);
- (cellholds_4_5_MV1, cellholds_7_5_MV1);
- (cellholds_4_5_MV1, cellholds_6_5_MV1);
- (cellholds_4_5_MV1, cellholds_5_5_MV1);
- (cellholds_4_5_MV1, cellholds_4_5_MV1);
- (cellholds_4_5_MV1, cellholds_3_5_MV1);
- (cellholds_4_5_MV1, cellholds_2_5_MV1);
- (cellholds_4_5_MV1, cellholds_1_5_MV1);
- (cellholds_4_4_MV1, cellholds_8_4_MV1);
- (cellholds_4_4_MV1, cellholds_7_4_MV1);
- (cellholds_4_4_MV1, cellholds_6_4_MV1);
- (cellholds_4_4_MV1, cellholds_5_4_MV1);
- (cellholds_4_4_MV1, cellholds_4_4_MV1);
- (cellholds_4_4_MV1, cellholds_3_4_MV1);
- (cellholds_4_4_MV1, cellholds_2_4_MV1);
- (cellholds_4_4_MV1, cellholds_1_4_MV1);
- (cellholds_4_3_MV1, cellholds_8_3_MV1);
- (cellholds_4_3_MV1, cellholds_7_3_MV1);
- (cellholds_4_3_MV1, cellholds_6_3_MV1);
- (cellholds_4_3_MV1, cellholds_5_3_MV1);
- (cellholds_4_3_MV1, cellholds_4_3_MV1);
- (cellholds_4_3_MV1, cellholds_3_3_MV1);
- (cellholds_4_3_MV1, cellholds_2_3_MV1);
- (cellholds_4_3_MV1, cellholds_1_3_MV1);
- (cellholds_4_2_MV1, cellholds_8_2_MV1);
- (cellholds_4_2_MV1, cellholds_7_2_MV1);
- (cellholds_4_2_MV1, cellholds_6_2_MV1);
- (cellholds_4_2_MV1, cellholds_5_2_MV1);
- (cellholds_4_2_MV1, cellholds_4_2_MV1);
- (cellholds_4_2_MV1, cellholds_3_2_MV1);
- (cellholds_4_2_MV1, cellholds_2_2_MV1);
- (cellholds_4_2_MV1, cellholds_1_2_MV1);
- (cellholds_4_1_MV1, cellholds_8_1_MV1);
- (cellholds_4_1_MV1, cellholds_7_1_MV1);
- (cellholds_4_1_MV1, cellholds_6_1_MV1);
- (cellholds_4_1_MV1, cellholds_5_1_MV1);
- (cellholds_4_1_MV1, cellholds_4_1_MV1);
- (cellholds_4_1_MV1, cellholds_3_1_MV1);
- (cellholds_4_1_MV1, cellholds_2_1_MV1);
- (cellholds_4_1_MV1, cellholds_1_1_MV1);
- (cellholds_3_8_MV1, cellholds_8_8_MV1);
- (cellholds_3_8_MV1, cellholds_7_8_MV1);
- (cellholds_3_8_MV1, cellholds_6_8_MV1);
- (cellholds_3_8_MV1, cellholds_5_8_MV1);
- (cellholds_3_8_MV1, cellholds_4_8_MV1);
- (cellholds_3_8_MV1, cellholds_3_8_MV1);
- (cellholds_3_8_MV1, cellholds_2_8_MV1);
- (cellholds_3_8_MV1, cellholds_1_8_MV1);
- (cellholds_3_7_MV1, cellholds_8_7_MV1);
- (cellholds_3_7_MV1, cellholds_7_7_MV1);
- (cellholds_3_7_MV1, cellholds_6_7_MV1);
- (cellholds_3_7_MV1, cellholds_5_7_MV1);
- (cellholds_3_7_MV1, cellholds_4_7_MV1);
- (cellholds_3_7_MV1, cellholds_3_7_MV1);
- (cellholds_3_7_MV1, cellholds_2_7_MV1);
- (cellholds_3_7_MV1, cellholds_1_7_MV1);
- (cellholds_3_6_MV1, cellholds_8_6_MV1);
- (cellholds_3_6_MV1, cellholds_7_6_MV1);
- (cellholds_3_6_MV1, cellholds_6_6_MV1);
- (cellholds_3_6_MV1, cellholds_5_6_MV1);
- (cellholds_3_6_MV1, cellholds_4_6_MV1);
- (cellholds_3_6_MV1, cellholds_3_6_MV1);
- (cellholds_3_6_MV1, cellholds_2_6_MV1);
- (cellholds_3_6_MV1, cellholds_1_6_MV1);
- (cellholds_3_5_MV1, cellholds_8_5_MV1);
- (cellholds_3_5_MV1, cellholds_7_5_MV1);
- (cellholds_3_5_MV1, cellholds_6_5_MV1);
- (cellholds_3_5_MV1, cellholds_5_5_MV1);
- (cellholds_3_5_MV1, cellholds_4_5_MV1);
- (cellholds_3_5_MV1, cellholds_3_5_MV1);
- (cellholds_3_5_MV1, cellholds_2_5_MV1);
- (cellholds_3_5_MV1, cellholds_1_5_MV1);
- (cellholds_3_4_MV1, cellholds_8_4_MV1);
- (cellholds_3_4_MV1, cellholds_7_4_MV1);
- (cellholds_3_4_MV1, cellholds_6_4_MV1);
- (cellholds_3_4_MV1, cellholds_5_4_MV1);
- (cellholds_3_4_MV1, cellholds_4_4_MV1);
- (cellholds_3_4_MV1, cellholds_3_4_MV1);
- (cellholds_3_4_MV1, cellholds_2_4_MV1);
- (cellholds_3_4_MV1, cellholds_1_4_MV1);
- (cellholds_3_3_MV1, cellholds_8_3_MV1);
- (cellholds_3_3_MV1, cellholds_7_3_MV1);
- (cellholds_3_3_MV1, cellholds_6_3_MV1);
- (cellholds_3_3_MV1, cellholds_5_3_MV1);
- (cellholds_3_3_MV1, cellholds_4_3_MV1);
- (cellholds_3_3_MV1, cellholds_3_3_MV1);
- (cellholds_3_3_MV1, cellholds_2_3_MV1);
- (cellholds_3_3_MV1, cellholds_1_3_MV1);
- (cellholds_3_2_MV1, cellholds_8_2_MV1);
- (cellholds_3_2_MV1, cellholds_7_2_MV1);
- (cellholds_3_2_MV1, cellholds_6_2_MV1);
- (cellholds_3_2_MV1, cellholds_5_2_MV1);
- (cellholds_3_2_MV1, cellholds_4_2_MV1);
- (cellholds_3_2_MV1, cellholds_3_2_MV1);
- (cellholds_3_2_MV1, cellholds_2_2_MV1);
- (cellholds_3_2_MV1, cellholds_1_2_MV1);
- (cellholds_3_1_MV1, cellholds_8_1_MV1);
- (cellholds_3_1_MV1, cellholds_7_1_MV1);
- (cellholds_3_1_MV1, cellholds_6_1_MV1);
- (cellholds_3_1_MV1, cellholds_5_1_MV1);
- (cellholds_3_1_MV1, cellholds_4_1_MV1);
- (cellholds_3_1_MV1, cellholds_3_1_MV1);
- (cellholds_3_1_MV1, cellholds_2_1_MV1);
- (cellholds_3_1_MV1, cellholds_1_1_MV1);
- (cellholds_2_8_MV1, cellholds_8_8_MV1);
- (cellholds_2_8_MV1, cellholds_7_8_MV1);
- (cellholds_2_8_MV1, cellholds_6_8_MV1);
- (cellholds_2_8_MV1, cellholds_5_8_MV1);
- (cellholds_2_8_MV1, cellholds_4_8_MV1);
- (cellholds_2_8_MV1, cellholds_3_8_MV1);
- (cellholds_2_8_MV1, cellholds_2_8_MV1);
- (cellholds_2_8_MV1, cellholds_1_8_MV1);
- (cellholds_2_7_MV1, cellholds_8_7_MV1);
- (cellholds_2_7_MV1, cellholds_7_7_MV1);
- (cellholds_2_7_MV1, cellholds_6_7_MV1);
- (cellholds_2_7_MV1, cellholds_5_7_MV1);
- (cellholds_2_7_MV1, cellholds_4_7_MV1);
- (cellholds_2_7_MV1, cellholds_3_7_MV1);
- (cellholds_2_7_MV1, cellholds_2_7_MV1);
- (cellholds_2_7_MV1, cellholds_1_7_MV1);
- (cellholds_2_6_MV1, cellholds_8_6_MV1);
- (cellholds_2_6_MV1, cellholds_7_6_MV1);
- (cellholds_2_6_MV1, cellholds_6_6_MV1);
- (cellholds_2_6_MV1, cellholds_5_6_MV1);
- (cellholds_2_6_MV1, cellholds_4_6_MV1);
- (cellholds_2_6_MV1, cellholds_3_6_MV1);
- (cellholds_2_6_MV1, cellholds_2_6_MV1);
- (cellholds_2_6_MV1, cellholds_1_6_MV1);
- (cellholds_2_5_MV1, cellholds_8_5_MV1);
- (cellholds_2_5_MV1, cellholds_7_5_MV1);
- (cellholds_2_5_MV1, cellholds_6_5_MV1);
- (cellholds_2_5_MV1, cellholds_5_5_MV1);
- (cellholds_2_5_MV1, cellholds_4_5_MV1);
- (cellholds_2_5_MV1, cellholds_3_5_MV1);
- (cellholds_2_5_MV1, cellholds_2_5_MV1);
- (cellholds_2_5_MV1, cellholds_1_5_MV1);
- (cellholds_2_4_MV1, cellholds_8_4_MV1);
- (cellholds_2_4_MV1, cellholds_7_4_MV1);
- (cellholds_2_4_MV1, cellholds_6_4_MV1);
- (cellholds_2_4_MV1, cellholds_5_4_MV1);
- (cellholds_2_4_MV1, cellholds_4_4_MV1);
- (cellholds_2_4_MV1, cellholds_3_4_MV1);
- (cellholds_2_4_MV1, cellholds_2_4_MV1);
- (cellholds_2_4_MV1, cellholds_1_4_MV1);
- (cellholds_2_3_MV1, cellholds_8_3_MV1);
- (cellholds_2_3_MV1, cellholds_7_3_MV1);
- (cellholds_2_3_MV1, cellholds_6_3_MV1);
- (cellholds_2_3_MV1, cellholds_5_3_MV1);
- (cellholds_2_3_MV1, cellholds_4_3_MV1);
- (cellholds_2_3_MV1, cellholds_3_3_MV1);
- (cellholds_2_3_MV1, cellholds_2_3_MV1);
- (cellholds_2_3_MV1, cellholds_1_3_MV1);
- (cellholds_2_2_MV1, cellholds_8_2_MV1);
- (cellholds_2_2_MV1, cellholds_7_2_MV1);
- (cellholds_2_2_MV1, cellholds_6_2_MV1);
- (cellholds_2_2_MV1, cellholds_5_2_MV1);
- (cellholds_2_2_MV1, cellholds_4_2_MV1);
- (cellholds_2_2_MV1, cellholds_3_2_MV1);
- (cellholds_2_2_MV1, cellholds_2_2_MV1);
- (cellholds_2_2_MV1, cellholds_1_2_MV1);
- (cellholds_2_1_MV1, cellholds_8_1_MV1);
- (cellholds_2_1_MV1, cellholds_7_1_MV1);
- (cellholds_2_1_MV1, cellholds_6_1_MV1);
- (cellholds_2_1_MV1, cellholds_5_1_MV1);
- (cellholds_2_1_MV1, cellholds_4_1_MV1);
- (cellholds_2_1_MV1, cellholds_3_1_MV1);
- (cellholds_2_1_MV1, cellholds_2_1_MV1);
- (cellholds_2_1_MV1, cellholds_1_1_MV1);
- (cellholds_1_8_MV1, cellholds_8_8_MV1);
- (cellholds_1_8_MV1, cellholds_7_8_MV1);
- (cellholds_1_8_MV1, cellholds_6_8_MV1);
- (cellholds_1_8_MV1, cellholds_5_8_MV1);
- (cellholds_1_8_MV1, cellholds_4_8_MV1);
- (cellholds_1_8_MV1, cellholds_3_8_MV1);
- (cellholds_1_8_MV1, cellholds_2_8_MV1);
- (cellholds_1_8_MV1, cellholds_1_8_MV1);
- (cellholds_1_7_MV1, cellholds_8_7_MV1);
- (cellholds_1_7_MV1, cellholds_7_7_MV1);
- (cellholds_1_7_MV1, cellholds_6_7_MV1);
- (cellholds_1_7_MV1, cellholds_5_7_MV1);
- (cellholds_1_7_MV1, cellholds_4_7_MV1);
- (cellholds_1_7_MV1, cellholds_3_7_MV1);
- (cellholds_1_7_MV1, cellholds_2_7_MV1);
- (cellholds_1_7_MV1, cellholds_1_7_MV1);
- (cellholds_1_6_MV1, cellholds_8_6_MV1);
- (cellholds_1_6_MV1, cellholds_7_6_MV1);
- (cellholds_1_6_MV1, cellholds_6_6_MV1);
- (cellholds_1_6_MV1, cellholds_5_6_MV1);
- (cellholds_1_6_MV1, cellholds_4_6_MV1);
- (cellholds_1_6_MV1, cellholds_3_6_MV1);
- (cellholds_1_6_MV1, cellholds_2_6_MV1);
- (cellholds_1_6_MV1, cellholds_1_6_MV1);
- (cellholds_1_5_MV1, cellholds_8_5_MV1);
- (cellholds_1_5_MV1, cellholds_7_5_MV1);
- (cellholds_1_5_MV1, cellholds_6_5_MV1);
- (cellholds_1_5_MV1, cellholds_5_5_MV1);
- (cellholds_1_5_MV1, cellholds_4_5_MV1);
- (cellholds_1_5_MV1, cellholds_3_5_MV1);
- (cellholds_1_5_MV1, cellholds_2_5_MV1);
- (cellholds_1_5_MV1, cellholds_1_5_MV1);
- (cellholds_1_4_MV1, cellholds_8_4_MV1);
- (cellholds_1_4_MV1, cellholds_7_4_MV1);
- (cellholds_1_4_MV1, cellholds_6_4_MV1);
- (cellholds_1_4_MV1, cellholds_5_4_MV1);
- (cellholds_1_4_MV1, cellholds_4_4_MV1);
- (cellholds_1_4_MV1, cellholds_3_4_MV1);
- (cellholds_1_4_MV1, cellholds_2_4_MV1);
- (cellholds_1_4_MV1, cellholds_1_4_MV1);
- (cellholds_1_3_MV1, cellholds_8_3_MV1);
- (cellholds_1_3_MV1, cellholds_7_3_MV1);
- (cellholds_1_3_MV1, cellholds_6_3_MV1);
- (cellholds_1_3_MV1, cellholds_5_3_MV1);
- (cellholds_1_3_MV1, cellholds_4_3_MV1);
- (cellholds_1_3_MV1, cellholds_3_3_MV1);
- (cellholds_1_3_MV1, cellholds_2_3_MV1);
- (cellholds_1_3_MV1, cellholds_1_3_MV1);
- (cellholds_1_2_MV1, cellholds_8_2_MV1);
- (cellholds_1_2_MV1, cellholds_7_2_MV1);
- (cellholds_1_2_MV1, cellholds_6_2_MV1);
- (cellholds_1_2_MV1, cellholds_5_2_MV1);
- (cellholds_1_2_MV1, cellholds_4_2_MV1);
- (cellholds_1_2_MV1, cellholds_3_2_MV1);
- (cellholds_1_2_MV1, cellholds_2_2_MV1);
- (cellholds_1_2_MV1, cellholds_1_2_MV1);
- (cellholds_1_1_MV1, cellholds_8_1_MV1);
- (cellholds_1_1_MV1, cellholds_7_1_MV1);
- (cellholds_1_1_MV1, cellholds_6_1_MV1);
- (cellholds_1_1_MV1, cellholds_5_1_MV1);
- (cellholds_1_1_MV1, cellholds_4_1_MV1);
- (cellholds_1_1_MV1, cellholds_3_1_MV1);
- (cellholds_1_1_MV1, cellholds_2_1_MV1);
- (cellholds_1_1_MV1, cellholds_1_1_MV1)
- };
- cellholds_1_y2_MV1 {
- cellholds_1_8_MV1; cellholds_1_7_MV1; cellholds_1_6_MV1;
- cellholds_1_5_MV1; cellholds_1_4_MV1; cellholds_1_3_MV1;
- cellholds_1_2_MV1; cellholds_1_1_MV1
- };
- cellholds_2_y2_MV1 {
- cellholds_2_8_MV1; cellholds_2_7_MV1; cellholds_2_6_MV1;
- cellholds_2_5_MV1; cellholds_2_4_MV1; cellholds_2_3_MV1;
- cellholds_2_2_MV1; cellholds_2_1_MV1
- };
- cellholds_3_y2_MV1 {
- cellholds_3_8_MV1; cellholds_3_7_MV1; cellholds_3_6_MV1;
- cellholds_3_5_MV1; cellholds_3_4_MV1; cellholds_3_3_MV1;
- cellholds_3_2_MV1; cellholds_3_1_MV1
- };
- cellholds_4_y2_MV1 {
- cellholds_4_8_MV1; cellholds_4_7_MV1; cellholds_4_6_MV1;
- cellholds_4_5_MV1; cellholds_4_4_MV1; cellholds_4_3_MV1;
- cellholds_4_2_MV1; cellholds_4_1_MV1
- };
- cellholds_5_y2_MV1 {
- cellholds_5_8_MV1; cellholds_5_7_MV1; cellholds_5_6_MV1;
- cellholds_5_5_MV1; cellholds_5_4_MV1; cellholds_5_3_MV1;
- cellholds_5_2_MV1; cellholds_5_1_MV1
- };
- cellholds_6_y2_MV1 {
- cellholds_6_8_MV1; cellholds_6_7_MV1; cellholds_6_6_MV1;
- cellholds_6_5_MV1; cellholds_6_4_MV1; cellholds_6_3_MV1;
- cellholds_6_2_MV1; cellholds_6_1_MV1
- };
- cellholds_7_y2_MV1 {
- cellholds_7_8_MV1; cellholds_7_7_MV1; cellholds_7_6_MV1;
- cellholds_7_5_MV1; cellholds_7_4_MV1; cellholds_7_3_MV1;
- cellholds_7_2_MV1; cellholds_7_1_MV1
- };
- cellholds_8_y2_MV1 {
- cellholds_8_8_MV1; cellholds_8_7_MV1; cellholds_8_6_MV1;
- cellholds_8_5_MV1; cellholds_8_4_MV1; cellholds_8_3_MV1;
- cellholds_8_2_MV1; cellholds_8_1_MV1
- };
cellholds_x2_1_MV1 {
cellholds_8_1_MV1; cellholds_7_1_MV1; cellholds_6_1_MV1;
cellholds_5_1_MV1; cellholds_4_1_MV1; cellholds_3_1_MV1;
cellholds_2_1_MV1; cellholds_1_1_MV1
};
- cellholds_x2_2_MV1 {
- cellholds_8_2_MV1; cellholds_7_2_MV1; cellholds_6_2_MV1;
- cellholds_5_2_MV1; cellholds_4_2_MV1; cellholds_3_2_MV1;
- cellholds_2_2_MV1; cellholds_1_2_MV1
- };
- cellholds_x2_3_MV1 {
- cellholds_8_3_MV1; cellholds_7_3_MV1; cellholds_6_3_MV1;
- cellholds_5_3_MV1; cellholds_4_3_MV1; cellholds_3_3_MV1;
- cellholds_2_3_MV1; cellholds_1_3_MV1
- };
- cellholds_x2_4_MV1 {
- cellholds_8_4_MV1; cellholds_7_4_MV1; cellholds_6_4_MV1;
- cellholds_5_4_MV1; cellholds_4_4_MV1; cellholds_3_4_MV1;
- cellholds_2_4_MV1; cellholds_1_4_MV1
- };
- cellholds_x2_5_MV1 {
- cellholds_8_5_MV1; cellholds_7_5_MV1; cellholds_6_5_MV1;
- cellholds_5_5_MV1; cellholds_4_5_MV1; cellholds_3_5_MV1;
- cellholds_2_5_MV1; cellholds_1_5_MV1
- };
- cellholds_x2_6_MV1 {
- cellholds_8_6_MV1; cellholds_7_6_MV1; cellholds_6_6_MV1;
- cellholds_5_6_MV1; cellholds_4_6_MV1; cellholds_3_6_MV1;
- cellholds_2_6_MV1; cellholds_1_6_MV1
- };
- cellholds_x2_7_MV1 {
- cellholds_8_7_MV1; cellholds_7_7_MV1; cellholds_6_7_MV1;
- cellholds_5_7_MV1; cellholds_4_7_MV1; cellholds_3_7_MV1;
- cellholds_2_7_MV1; cellholds_1_7_MV1
- };
cellholds_x2_8_MV1 {
cellholds_8_8_MV1; cellholds_7_8_MV1; cellholds_6_8_MV1;
cellholds_5_8_MV1; cellholds_4_8_MV1; cellholds_3_8_MV1;
@@ -1492,8 +852,7 @@
cellholds_2_2_MV1; cellholds_2_1_MV1; cellholds_1_2_MV1;
cellholds_1_1_MV1
};
- control_MV1 (control_MV1); control_black:1 {};
- control_white (control_MV1);
+ control_black:1 {}; control_white (control_MV1);
index__cellholds_x2_y2_MV1_y2 {
cellholds_8_8_MV1; cellholds_8_7_MV1; cellholds_8_6_MV1;
cellholds_8_5_MV1; cellholds_8_4_MV1; cellholds_8_3_MV1;
@@ -1518,7 +877,6 @@
cellholds_1_4_MV1; cellholds_1_3_MV1; cellholds_1_2_MV1;
cellholds_1_1_MV1
};
- role__cellholds_x2_y2_MV1_y2:1 {};
succ__cellholds_x2_y2_MV1_x2__cellholds_x2_y2_MV1_x2 {
(cellholds_7_8_MV1, cellholds_8_8_MV1);
(cellholds_7_8_MV1, cellholds_8_7_MV1);
@@ -1969,906 +1327,6 @@
(cellholds_1_1_MV1, cellholds_2_2_MV1);
(cellholds_1_1_MV1, cellholds_2_1_MV1)
};
- succ__cellholds_x2_y2_MV1_x2__cellholds_x2_y2_MV1_y2 {
- (cellholds_7_8_MV1, cellholds_8_8_MV1);
- (cellholds_7_8_MV1, cellholds_7_8_MV1);
- (cellholds_7_8_MV1, cellholds_6_8_MV1);
- (cellholds_7_8_MV1, cellholds_5_8_MV1);
- (cellholds_7_8_MV1, cellholds_4_8_MV1);
- (cellholds_7_8_MV1, cellholds_3_8_MV1);
- (cellholds_7_8_MV1, cellholds_2_8_MV1);
- (cellholds_7_8_MV1, cellholds_1_8_MV1);
- (cellholds_7_7_MV1, cellholds_8_8_MV1);
- (cellholds_7_7_MV1, cellholds_7_8_MV1);
- (cellholds_7_7_MV1, cellholds_6_8_MV1);
- (cellholds_7_7_MV1, cellholds_5_8_MV1);
- (cellholds_7_7_MV1, cellholds_4_8_MV1);
- (cellholds_7_7_MV1, cellholds_3_8_MV1);
- (cellholds_7_7_MV1, cellholds_2_8_MV1);
- (cellholds_7_7_MV1, cellholds_1_8_MV1);
- (cellholds_7_6_MV1, cellholds_8_8_MV1);
- (cellholds_7_6_MV1, cellholds_7_8_MV1);
- (cellholds_7_6_MV1, cellholds_6_8_MV1);
- (cellholds_7_6_MV1, cellholds_5_8_MV1);
- (cellholds_7_6_MV1, cellholds_4_8_MV1);
- (cellholds_7_6_MV1, cellholds_3_8_MV1);
- (cellholds_7_6_MV1, cellholds_2_8_MV1);
- (cellholds_7_6_MV1, cellholds_1_8_MV1);
- (cellholds_7_5_MV1, cellholds_8_8_MV1);
- (cellholds_7_5_MV1, cellholds_7_8_MV1);
- (cellholds_7_5_MV1, cellholds_6_8_MV1);
- (cellholds_7_5_MV1, cellholds_5_8_MV1);
- (cellholds_7_5_MV1, cellholds_4_8_MV1);
- (cellholds_7_5_MV1, cellholds_3_8_MV1);
- (cellholds_7_5_MV1, cellholds_2_8_MV1);
- (cellholds_7_5_MV1, cellholds_1_8_MV1);
- (cellholds_7_4_MV1, cellholds_8_8_MV1);
- (cellholds_7_4_MV1, cellholds_7_8_MV1);
- (cellholds_7_4_MV1, cellholds_6_8_MV1);
- (cellholds_7_4_MV1, cellholds_5_8_MV1);
- (cellholds_7_4_MV1, cellholds_4_8_MV1);
- (cellholds_7_4_MV1, cellholds_3_8_MV1);
- (cellholds_7_4_MV1, cellholds_2_8_MV1);
- (cellholds_7_4_MV1, cellholds_1_8_MV1);
- (cellholds_7_3_MV1, cellholds_8_8_MV1);
- (cellholds_7_3_MV1, cellholds_7_8_MV1);
- (cellholds_7_3_MV1, cellholds_6_8_MV1);
- (cellholds_7_3_MV1, cellholds_5_8_MV1);
- (cellholds_7_3_MV1, cellholds_4_8_MV1);
- (cellholds_7_3_MV1, cellholds_3_8_MV1);
- (cellholds_7_3_MV1, cellholds_2_8_MV1);
- (cellholds_7_3_MV1, cellholds_1_8_MV1);
- (cellholds_7_2_MV1, cellholds_8_8_MV1);
- (cellholds_7_2_MV1, cellholds_7_8_MV1);
- (cellholds_7_2_MV1, cellholds_6_8_MV1);
- (cellholds_7_2_MV1, cellholds_5_8_MV1);
- (cellholds_7_2_MV1, cellholds_4_8_MV1);
- (cellholds_7_2_MV1, cellholds_3_8_MV1);
- (cellholds_7_2_MV1, cellholds_2_8_MV1);
- (cellholds_7_2_MV1, cellholds_1_8_MV1);
- (cellholds_7_1_MV1, cellholds_8_8_MV1);
- (cellholds_7_1_MV1, cellholds_7_8_MV1);
- (cellholds_7_1_MV1, cellholds_6_8_MV1);
- (cellholds_7_1_MV1, cellholds_5_8_MV1);
- (cellholds_7_1_MV1, cellholds_4_8_MV1);
- (cellholds_7_1_MV1, cellholds_3_8_MV1);
- (cellholds_7_1_MV1, cellholds_2_8_MV1);
- (cellholds_7_1_MV1, cellholds_1_8_MV1);
- (cellholds_6_8_MV1, cellholds_8_7_MV1);
- (cellholds_6_8_MV1, cellholds_7_7_MV1);
- (cellholds_6_8_MV1, cellholds_6_7_MV1);
- (cellholds_6_8_MV1, cellholds_5_7_MV1);
- (cellholds_6_8_MV1, cellholds_4_7_MV1);
- (cellholds_6_8_MV1, cellholds_3_7_MV1);
- (cellholds_6_8_MV1, cellholds_2_7_MV1);
- (cellholds_6_8_MV1, cellholds_1_7_MV1);
- (cellholds_6_7_MV1, cellholds_8_7_MV1);
- (cellholds_6_7_MV1, cellholds_7_7_MV1);
- (cellholds_6_7_MV1, cellholds_6_7_MV1);
- (cellholds_6_7_MV1, cellholds_5_7_MV1);
- (cellholds_6_7_MV1, cellholds_4_7_MV1);
- (cellholds_6_7_MV1, cellholds_3_7_MV1);
- (cellholds_6_7_MV1, cellholds_2_7_MV1);
- (cellholds_6_7_MV1, cellholds_1_7_MV1);
- (cellholds_6_6_MV1, cellholds_8_7_MV1);
- (cellholds_6_6_MV1, cellholds_7_7_MV1);
- (cellholds_6_6_MV1, cellholds_6_7_MV1);
- (cellholds_6_6_MV1, cellholds_5_7_MV1);
- (cellholds_6_6_MV1, cellholds_4_7_MV1);
- (cellholds_6_6_MV1, cellholds_3_7_MV1);
- (cellholds_6_6_MV1, cellholds_2_7_MV1);
- (cellholds_6_6_MV1, cellholds_1_7_MV1);
- (cellholds_6_5_MV1, cellholds_8_7_MV1);
- (cellholds_6_5_MV1, cellholds_7_7_MV1);
- (cellholds_6_5_MV1, cellholds_6_7_MV1);
- (cellholds_6_5_MV1, cellholds_5_7_MV1);
- (cellholds_6_5_MV1, cellholds_4_7_MV1);
- (cellholds_6_5_MV1, cellholds_3_7_MV1);
- (cellholds_6_5_MV1, cellholds_2_7_MV1);
- (cellholds_6_5_MV1, cellholds_1_7_MV1);
- (cellholds_6_4_MV1, cellholds_8_7_MV1);
- (cellholds_6_4_MV1, cellholds_7_7_MV1);
- (cellholds_6_4_MV1, cellholds_6_7_MV1);
- (cellholds_6_4_MV1, cellholds_5_7_MV1);
- (cellholds_6_4_MV1, cellholds_4_7_MV1);
- (cellholds_6_4_MV1, cellholds_3_7_MV1);
- (cellholds_6_4_MV1, cellholds_2_7_MV1);
- (cellholds_6_4_MV1, cellholds_1_7_MV1);
- (cellholds_6_3_MV1, cellholds_8_7_MV1);
- (cellholds_6_3_MV1, cellholds_7_7_MV1);
- (cellholds_6_3_MV1, cellholds_6_7_MV1);
- (cellholds_6_3_MV1, cellholds_5_7_MV1);
- (cellholds_6_3_MV1, cellholds_4_7_MV1);
- (cellholds_6_3_MV1, cellholds_3_7_MV1);
- (cellholds_6_3_MV1, cellholds_2_7_MV1);
- (cellholds_6_3_MV1, cellholds_1_7_MV1);
- (cellholds_6_2_MV1, cellholds_8_7_MV1);
- (cellholds_6_2_MV1, cellholds_7_7_MV1);
- (cellholds_6_2_MV1, cellholds_6_7_MV1);
- (cellholds_6_2_MV1, cellholds_5_7_MV1);
- (cellholds_6_2_MV1, cellholds_4_7_MV1);
- (cellholds_6_2_MV1, cellholds_3_7_MV1);
- (cellholds_6_2_MV1, cellholds_2_7_MV1);
- (cellholds_6_2_MV1, cellholds_1_7_MV1);
- (cellholds_6_1_MV1, cellholds_8_7_MV1);
- (cellholds_6_1_MV1, cellholds_7_7_MV1);
- (cellholds_6_1_MV1, cellholds_6_7_MV1);
- (cellholds_6_1_MV1, cellholds_5_7_MV1);
- (cellholds_6_1_MV1, cellholds_4_7_MV1);
- (cellholds_6_1_MV1, cellholds_3_7_MV1);
- (cellholds_6_1_MV1, cellholds_2_7_MV1);
- (cellholds_6_1_MV1, cellholds_1_7_MV1);
- (cellholds_5_8_MV1, cellholds_8_6_MV1);
- (cellholds_5_8_MV1, cellholds_7_6_MV1);
- (cellholds_5_8_MV1, cellholds_6_6_MV1);
- (cellholds_5_8_MV1, cellholds_5_6_MV1);
- (cellholds_5_8_MV1, cellholds_4_6_MV1);
- (cellholds_5_8_MV1, cellholds_3_6_MV1);
- (cellholds_5_8_MV1, cellholds_2_6_MV1);
- (cellholds_5_8_MV1, cellholds_1_6_MV1);
- (cellholds_5_7_MV1, cellholds_8_6_MV1);
- (cellholds_5_7_MV1, cellholds_7_6_MV1);
- (cellholds_5_7_MV1, cellholds_6_6_MV1);
- (cellholds_5_7_MV1, cellholds_5_6_MV1);
- (cellholds_5_7_MV1, cellholds_4_6_MV1);
- (cellholds_5_7_MV1, cellholds_3_6_MV1);
- (cellholds_5_7_MV1, cellholds_2_6_MV1);
- (cellholds_5_7_MV1, cellholds_1_6_MV1);
- (cellholds_5_6_MV1, cellholds_8_6_MV1);
- (cellholds_5_6_MV1, cellholds_7_6_MV1);
- (cellholds_5_6_MV1, cellholds_6_6_MV1);
- (cellholds_5_6_MV1, cellholds_5_6_MV1);
- (cellholds_5_6_MV1, cellholds_4_6_MV1);
- (cellholds_5_6_MV1, cellholds_3_6_MV1);
- (cellholds_5_6_MV1, cellholds_2_6_MV1);
- (cellholds_5_6_MV1, cellholds_1_6_MV1);
- (cellholds_5_5_MV1, cellholds_8_6_MV1);
- (cellholds_5_5_MV1, cellholds_7_6_MV1);
- (cellholds_5_5_MV1, cellholds_6_6_MV1);
- (cellholds_5_5_MV1, cellholds_5_6_MV1);
- (cellholds_5_5_MV1, cellholds_4_6_MV1);
- (cellholds_5_5_MV1, cellholds_3_6_MV1);
- (cellholds_5_5_MV1, cellholds_2_6_MV1);
- (cellholds_5_5_MV1, cellholds_1_6_MV1);
- (cellholds_5_4_MV1, cellholds_8_6_MV1);
- (cellholds_5_4_MV1, cellholds_7_6_MV1);
- (cellholds_5_4_MV1, cellholds_6_6_MV1);
- (cellholds_5_4_MV1, cellholds_5_6_MV1);
- (cellholds_5_4_MV1, cellholds_4_6_MV1);
- (cellholds_5_4_MV1, cellholds_3_6_MV1);
- (cellholds_5_4_MV1, cellholds_2_6_MV1);
- (cellholds_5_4_MV1, cellholds_1_6_MV1);
- (cellholds_5_3_MV1, cellholds_8_6_MV1);
- (cellholds_5_3_MV1, cellholds_7_6_MV1);
- (cellholds_5_3_MV1, cellholds_6_6_MV1);
- (cellholds_5_3_MV1, cellholds_5_6_MV1);
- (cellholds_5_3_MV1, cellholds_4_6_MV1);
- (cellholds_5_3_MV1, cellholds_3_6_MV1);
- (cellholds_5_3_MV1, cellholds_2_6_MV1);
- (cellholds_5_3_MV1, cellholds_1_6_MV1);
- (cellholds_5_2_MV1, cellholds_8_6_MV1);
- (cellholds_5_2_MV1, cellholds_7_6_MV1);
- (cellholds_5_2_MV1, cellholds_6_6_MV1);
- (cellholds_5_2_MV1, cellholds_5_6_MV1);
- (cellholds_5_2_MV1, cellholds_4_6_MV1);
- (cellholds_5_2_MV1, cellholds_3_6_MV1);
- (cellholds_5_2_MV1, cellholds_2_6_MV1);
- (cellholds_5_2_MV1, cellholds_1_6_MV1);
- (cellholds_5_1_MV1, cellholds_8_6_MV1);
- (cellholds_5_1_MV1, cellholds_7_6_MV1);
- (cellholds_5_1_MV1, cellholds_6_6_MV1);
- (cellholds_5_1_MV1, cellholds_5_6_MV1);
- (cellholds_5_1_MV1, cellholds_4_6_MV1);
- (cellholds_5_1_MV1, cellholds_3_6_MV1);
- (cellholds_5_1_MV1, cellholds_2_6_MV1);
- (cellholds_5_1_MV1, cellholds_1_6_MV1);
- (cellholds_4_8_MV1, cellholds_8_5_MV1);
- (cellholds_4_8_MV1, cellholds_7_5_MV1);
- (cellholds_4_8_MV1, cellholds_6_5_MV1);
- (cellholds_4_8_MV1, cellholds_5_5_MV1);
- (cellholds_4_8_MV1, cellholds_4_5_MV1);
- (cellholds_4_8_MV1, cellholds_3_5_MV1);
- (cellholds_4_8_MV1, cellholds_2_5_MV1);
- (cellholds_4_8_MV1, cellholds_1_5_MV1);
- (cellholds_4_7_MV1, cellholds_8_5_MV1);
- (cellholds_4_7_MV1, cellholds_7_5_MV1);
- (cellholds_4_7_MV1, cellholds_6_5_MV1);
- (cellholds_4_7_MV1, cellholds_5_5_MV1);
- (cellholds_4_7_MV1, cellholds_4_5_MV1);
- (cellholds_4_7_MV1, cellholds_3_5_MV1);
- (cellhol...
[truncated message content] |
