[Toss-devel-svn] SF.net SVN: toss:[1576] trunk/Toss/GGP
Status: Beta
Brought to you by:
lukaszkaiser
Menu
▾
▴
[Toss-devel-svn] SF.net SVN: toss:[1576] trunk/Toss/GGP
|
From: <luk...@us...> - 2011-09-29 09:05:07
|
Revision: 1576
http://toss.svn.sourceforge.net/toss/?rev=1576&view=rev
Author: lukstafi
Date: 2011-09-29 09:04:55 +0000 (Thu, 29 Sep 2011)
Log Message:
-----------
GDL translation: remove redundant state terms introduced for passing arguments to relations.
Modified Paths:
--------------
trunk/Toss/GGP/GDL.ml
trunk/Toss/GGP/GDL.mli
trunk/Toss/GGP/TranslateGame.ml
trunk/Toss/GGP/tests/connect4-raw.toss
trunk/Toss/GGP/tests/connect4-simpl.toss
Modified: trunk/Toss/GGP/GDL.ml
===================================================================
--- trunk/Toss/GGP/GDL.ml 2011-09-27 23:53:22 UTC (rev 1575)
+++ trunk/Toss/GGP/GDL.ml 2011-09-29 09:04:55 UTC (rev 1576)
@@ -304,6 +304,20 @@
(List.map (subst_one sb1) terms2)
| _ -> raise Not_found
+(* Check for equality modulo ground terms on the right. *)
+let rec mask_blank terms1 terms2 =
+ match terms1, terms2 with
+ | [], [] -> true
+ | (Const a::terms1, Const b::terms2
+ | Var a::terms1, Var b::terms2) when a=b ->
+ mask_blank terms1 terms2
+ | Func (f,args1)::terms1, Func (g,args2)::terms2 when f=g ->
+ mask_blank (Array.to_list args1 @ terms1)
+ (Array.to_list args2 @ terms2)
+ | _::terms1, Const "_BLANK_"::terms2 ->
+ mask_blank terms1 terms2
+ | _ -> false
+
(* Yet another variant, for fast saturation. *)
let rec match_nonvar sb terms1 terms2 =
match terms1, terms2 with
Modified: trunk/Toss/GGP/GDL.mli
===================================================================
--- trunk/Toss/GGP/GDL.mli 2011-09-27 23:53:22 UTC (rev 1575)
+++ trunk/Toss/GGP/GDL.mli 2011-09-29 09:04:55 UTC (rev 1576)
@@ -71,6 +71,8 @@
(** Match terms on the left to ground terms on the right, ignoring
[Const "_BLANK_"] on the right. *)
val match_nonblank : substitution -> term list -> term list -> substitution
+(** Check for equality modulo ground terms on the right. *)
+val mask_blank : term list -> term list -> bool
val unify_all : substitution -> term list -> substitution
val rels_unify : rel_atom -> rel_atom -> bool
val subst : substitution -> term -> term
Modified: trunk/Toss/GGP/TranslateGame.ml
===================================================================
--- trunk/Toss/GGP/TranslateGame.ml 2011-09-27 23:53:22 UTC (rev 1575)
+++ trunk/Toss/GGP/TranslateGame.ml 2011-09-29 09:04:55 UTC (rev 1576)
@@ -644,7 +644,9 @@
| Disj d -> List.exists map d in
List.exists map lits
-(* Adding "true" atoms to clauses for missing argpath state terms *)
+(* Add "true" atoms to clauses for missing argpath state
+ terms. Remove "true" atoms that are "subsumed" by more specific
+ atoms (that have subterms instead of blanks). *)
let call_transform term_arities ground_at_c_paths
rel partition ((h_rel,h_args as h),body as cl) =
let r_atoms = if h_rel = rel then [h_args] else [] in
@@ -702,13 +704,18 @@
| Aux.Right partition ->
Aux.map_some (sterm_arg_for_atom_fact args) partition)
r_atoms in
+ let subsumed, body = List.partition
+ (function
+ | Pos (True s) ->
+ List.exists (fun t -> mask_blank [t] [s]) add_sterms
+ | _ -> false) body in
(* {{{ log entry *)
if !debug_level > 2 && add_sterms <> [] then (
Printf.printf
- "call_transform: rel=%s; add_sterms=%s; clause=\n%s\n\n%!"
+ "call_transform: rel=%s; add_sterms=%s; filtered sterms=%s\n\n%!"
rel
(String.concat ", " (List.map term_str add_sterms))
- (clause_str cl)
+ (literals_str subsumed)
);
(* }}} *)
h, Aux.map_rev_prepend body (fun s -> Pos (True s)) add_sterms
Modified: trunk/Toss/GGP/tests/connect4-raw.toss
===================================================================
--- trunk/Toss/GGP/tests/connect4-raw.toss 2011-09-27 23:53:22 UTC (rev 1575)
+++ trunk/Toss/GGP/tests/connect4-raw.toss 2011-09-29 09:04:55 UTC (rev 1576)
@@ -307,36 +307,26 @@
] emb cell_2b, cell_2dirt, cell_2r, cell_2w, control_0red, control_0white
pre
(not terminal() and
- ex cell_c11_y17__BLANK_, cell_c11_h3__BLANK_, cell__BLANK__y17__BLANK_,
- cell__BLANK__h3__BLANK_, cell_c11_y18__BLANK_
- (cell__BLANK___BLANK___BLANK_(cell__BLANK__h3__BLANK_) and
- cell__BLANK___BLANK___BLANK_(cell__BLANK__y17__BLANK_) and
- cell__BLANK___BLANK___BLANK_(cell_c11_h3__BLANK_) and
+ ex cell_c11_y17__BLANK_, cell_c11_h3__BLANK_, cell_c11_y18__BLANK_
+ (cell__BLANK___BLANK___BLANK_(cell_c11_h3__BLANK_) and
filled(cell_c11_h3__BLANK_) and
cell__BLANK___BLANK___BLANK_(cell_c11_y17__BLANK_) and
filled(cell_c11_y17__BLANK_) and cell_2b(cell_c11_y18__BLANK_) and
cell__BLANK___BLANK___BLANK_(cell_c11_y18__BLANK_) and
- EQ___cell_1__cell_1(cell__BLANK__h3__BLANK_, cell_c11_h3__BLANK_) and
- succ__cell_1__cell_1(cell__BLANK__h3__BLANK_, cell_c11_h4__BLANK_) and
- EQ___cell_1__cell_1(cell__BLANK__y17__BLANK_, cell_c11_y17__BLANK_) and
- succ__cell_1__cell_1(cell__BLANK__y17__BLANK_,
- cell_c11_y18__BLANK_) and EQ___cell_1__cell_1(cell_c11_h3__BLANK_,
- cell__BLANK__h3__BLANK_) and EQ___cell_0__cell_0(cell_c11_h3__BLANK_,
- cell_c11_h4__BLANK_) and succ__cell_1__cell_1(cell_c11_h3__BLANK_,
- cell_c11_h4__BLANK_) and EQ___cell_0__cell_0(cell_c11_h3__BLANK_,
- cell_c11_y17__BLANK_) and EQ___cell_0__cell_0(cell_c11_h3__BLANK_,
- cell_c11_y18__BLANK_) and EQ___cell_0__cell_0(cell_c11_h4__BLANK_,
- cell_c11_h3__BLANK_) and EQ___cell_0__cell_0(cell_c11_h4__BLANK_,
- cell_c11_y17__BLANK_) and EQ___cell_0__cell_0(cell_c11_h4__BLANK_,
- cell_c11_y18__BLANK_) and EQ___cell_1__cell_1(cell_c11_y17__BLANK_,
- cell__BLANK__y17__BLANK_) and EQ___cell_0__cell_0(cell_c11_y17__BLANK_,
- cell_c11_h3__BLANK_) and EQ___cell_0__cell_0(cell_c11_y17__BLANK_,
- cell_c11_h4__BLANK_) and EQ___cell_0__cell_0(cell_c11_y17__BLANK_,
- cell_c11_y18__BLANK_) and succ__cell_1__cell_1(cell_c11_y17__BLANK_,
- cell_c11_y18__BLANK_) and EQ___cell_0__cell_0(cell_c11_y18__BLANK_,
- cell_c11_h3__BLANK_) and EQ___cell_0__cell_0(cell_c11_y18__BLANK_,
- cell_c11_h4__BLANK_) and EQ___cell_0__cell_0(cell_c11_y18__BLANK_,
- cell_c11_y17__BLANK_)))
+ EQ___cell_0__cell_0(cell_c11_h3__BLANK_, cell_c11_h4__BLANK_) and
+ succ__cell_1__cell_1(cell_c11_h3__BLANK_, cell_c11_h4__BLANK_) and
+ EQ___cell_0__cell_0(cell_c11_h3__BLANK_, cell_c11_y17__BLANK_) and
+ EQ___cell_0__cell_0(cell_c11_h3__BLANK_, cell_c11_y18__BLANK_) and
+ EQ___cell_0__cell_0(cell_c11_h4__BLANK_, cell_c11_h3__BLANK_) and
+ EQ___cell_0__cell_0(cell_c11_h4__BLANK_, cell_c11_y17__BLANK_) and
+ EQ___cell_0__cell_0(cell_c11_h4__BLANK_, cell_c11_y18__BLANK_) and
+ EQ___cell_0__cell_0(cell_c11_y17__BLANK_, cell_c11_h3__BLANK_) and
+ EQ___cell_0__cell_0(cell_c11_y17__BLANK_, cell_c11_h4__BLANK_) and
+ EQ___cell_0__cell_0(cell_c11_y17__BLANK_, cell_c11_y18__BLANK_) and
+ succ__cell_1__cell_1(cell_c11_y17__BLANK_, cell_c11_y18__BLANK_) and
+ EQ___cell_0__cell_0(cell_c11_y18__BLANK_, cell_c11_h3__BLANK_) and
+ EQ___cell_0__cell_0(cell_c11_y18__BLANK_, cell_c11_h4__BLANK_) and
+ EQ___cell_0__cell_0(cell_c11_y18__BLANK_, cell_c11_y17__BLANK_)))
RULE noop_drop_c12:
[cell_c12_h6__BLANK_, control__BLANK_ |
_opt_cell_2b (control__BLANK_);
@@ -356,36 +346,26 @@
emb cell_2b, cell_2dirt, cell_2r, cell_2w, control_0red, control_0white
pre
(not terminal() and
- ex cell_c12_y19__BLANK_, cell_c12_h5__BLANK_, cell__BLANK__y19__BLANK_,
- cell__BLANK__h5__BLANK_, cell_c12_y20__BLANK_
- (cell__BLANK___BLANK___BLANK_(cell__BLANK__h5__BLANK_) and
- cell__BLANK___BLANK___BLANK_(cell__BLANK__y19__BLANK_) and
- cell__BLANK___BLANK___BLANK_(cell_c12_h5__BLANK_) and
+ ex cell_c12_y19__BLANK_, cell_c12_h5__BLANK_, cell_c12_y20__BLANK_
+ (cell__BLANK___BLANK___BLANK_(cell_c12_h5__BLANK_) and
filled(cell_c12_h5__BLANK_) and
cell__BLANK___BLANK___BLANK_(cell_c12_y19__BLANK_) and
filled(cell_c12_y19__BLANK_) and cell_2b(cell_c12_y20__BLANK_) and
cell__BLANK___BLANK___BLANK_(cell_c12_y20__BLANK_) and
- EQ___cell_1__cell_1(cell__BLANK__h5__BLANK_, cell_c12_h5__BLANK_) and
- succ__cell_1__cell_1(cell__BLANK__h5__BLANK_, cell_c12_h6__BLANK_) and
- EQ___cell_1__cell_1(cell__BLANK__y19__BLANK_, cell_c12_y19__BLANK_) and
- succ__cell_1__cell_1(cell__BLANK__y19__BLANK_,
- cell_c12_y20__BLANK_) and EQ___cell_1__cell_1(cell_c12_h5__BLANK_,
- cell__BLANK__h5__BLANK_) and EQ___cell_0__cell_0(cell_c12_h5__BLANK_,
- cell_c12_h6__BLANK_) and succ__cell_1__cell_1(cell_c12_h5__BLANK_,
- cell_c12_h6__BLANK_) and EQ___cell_0__cell_0(cell_c12_h5__BLANK_,
- cell_c12_y19__BLANK_) and EQ___cell_0__cell_0(cell_c12_h5__BLANK_,
- cell_c12_y20__BLANK_) and EQ___cell_0__cell_0(cell_c12_h6__BLANK_,
- cell_c12_h5__BLANK_) and EQ___cell_0__cell_0(cell_c12_h6__BLANK_,
- cell_c12_y19__BLANK_) and EQ___cell_0__cell_0(cell_c12_h6__BLANK_,
- cell_c12_y20__BLANK_) and EQ___cell_1__cell_1(cell_c12_y19__BLANK_,
- cell__BLANK__y19__BLANK_) and EQ___cell_0__cell_0(cell_c12_y19__BLANK_,
- cell_c12_h5__BLANK_) and EQ___cell_0__cell_0(cell_c12_y19__BLANK_,
- cell_c12_h6__BLANK_) and EQ___cell_0__cell_0(cell_c12_y19__BLANK_,
- cell_c12_y20__BLANK_) and succ__cell_1__cell_1(cell_c12_y19__BLANK_,
- cell_c12_y20__BLANK_) and EQ___cell_0__cell_0(cell_c12_y20__BLANK_,
- cell_c12_h5__BLANK_) and EQ___cell_0__cell_0(cell_c12_y20__BLANK_,
- cell_c12_h6__BLANK_) and EQ___cell_0__cell_0(cell_c12_y20__BLANK_,
- cell_c12_y19__BLANK_)))
+ EQ___cell_0__cell_0(cell_c12_h5__BLANK_, cell_c12_h6__BLANK_) and
+ succ__cell_1__cell_1(cell_c12_h5__BLANK_, cell_c12_h6__BLANK_) and
+ EQ___cell_0__cell_0(cell_c12_h5__BLANK_, cell_c12_y19__BLANK_) and
+ EQ___cell_0__cell_0(cell_c12_h5__BLANK_, cell_c12_y20__BLANK_) and
+ EQ___cell_0__cell_0(cell_c12_h6__BLANK_, cell_c12_h5__BLANK_) and
+ EQ___cell_0__cell_0(cell_c12_h6__BLANK_, cell_c12_y19__BLANK_) and
+ EQ___cell_0__cell_0(cell_c12_h6__BLANK_, cell_c12_y20__BLANK_) and
+ EQ___cell_0__cell_0(cell_c12_y19__BLANK_, cell_c12_h5__BLANK_) and
+ EQ___cell_0__cell_0(cell_c12_y19__BLANK_, cell_c12_h6__BLANK_) and
+ EQ___cell_0__cell_0(cell_c12_y19__BLANK_, cell_c12_y20__BLANK_) and
+ succ__cell_1__cell_1(cell_c12_y19__BLANK_, cell_c12_y20__BLANK_) and
+ EQ___cell_0__cell_0(cell_c12_y20__BLANK_, cell_c12_h5__BLANK_) and
+ EQ___cell_0__cell_0(cell_c12_y20__BLANK_, cell_c12_h6__BLANK_) and
+ EQ___cell_0__cell_0(cell_c12_y20__BLANK_, cell_c12_y19__BLANK_)))
LOC 0 {
PLAYER white {
Modified: trunk/Toss/GGP/tests/connect4-simpl.toss
===================================================================
--- trunk/Toss/GGP/tests/connect4-simpl.toss 2011-09-27 23:53:22 UTC (rev 1575)
+++ trunk/Toss/GGP/tests/connect4-simpl.toss 2011-09-29 09:04:55 UTC (rev 1576)
@@ -170,18 +170,12 @@
] emb cell_2b, cell_2dirt, cell_2r, cell_2w, control_0red, control_0white
pre
(not terminal() and
- ex cell_c11_y17__BLANK_, cell_c11_h3__BLANK_, cell__BLANK__y17__BLANK_,
- cell__BLANK__h3__BLANK_, cell_c11_y18__BLANK_
+ ex cell_c11_y17__BLANK_, cell_c11_h3__BLANK_, cell_c11_y18__BLANK_
(R(cell_c11_h3__BLANK_, cell_c11_h4__BLANK_) and R(cell_c11_y17__BLANK_,
cell_c11_y18__BLANK_) and EQ___cell_0__cell_0(cell_c11_h4__BLANK_,
cell_c11_y17__BLANK_) and EQ___cell_0__cell_0(cell_c11_h3__BLANK_,
- cell_c11_y17__BLANK_) and EQ___cell_1__cell_1(cell__BLANK__y17__BLANK_,
- cell_c11_y17__BLANK_) and EQ___cell_1__cell_1(cell__BLANK__h3__BLANK_,
- cell_c11_h3__BLANK_) and succ__cell_1__cell_1(cell__BLANK__h3__BLANK_,
- cell_c11_h4__BLANK_) and succ__cell_1__cell_1(cell__BLANK__y17__BLANK_,
- cell_c11_y18__BLANK_) and filled(cell_c11_h3__BLANK_) and
+ cell_c11_y17__BLANK_) and filled(cell_c11_h3__BLANK_) and
filled(cell_c11_y17__BLANK_) and cell_2b(cell_c11_y18__BLANK_) and
- not C(cell__BLANK__h3__BLANK_) and not C(cell__BLANK__y17__BLANK_) and
not C(cell_c11_h3__BLANK_) and not C(cell_c11_y17__BLANK_) and
not C(cell_c11_y18__BLANK_)))
RULE noop_drop_c12:
@@ -202,18 +196,12 @@
emb cell_2b, cell_2dirt, cell_2r, cell_2w, control_0red, control_0white
pre
(not terminal() and
- ex cell_c12_y19__BLANK_, cell_c12_h5__BLANK_, cell__BLANK__y19__BLANK_,
- cell__BLANK__h5__BLANK_, cell_c12_y20__BLANK_
+ ex cell_c12_y19__BLANK_, cell_c12_h5__BLANK_, cell_c12_y20__BLANK_
(R(cell_c12_h5__BLANK_, cell_c12_h6__BLANK_) and R(cell_c12_y19__BLANK_,
cell_c12_y20__BLANK_) and EQ___cell_0__cell_0(cell_c12_h6__BLANK_,
cell_c12_y19__BLANK_) and EQ___cell_0__cell_0(cell_c12_h5__BLANK_,
- cell_c12_y19__BLANK_) and EQ___cell_1__cell_1(cell__BLANK__y19__BLANK_,
- cell_c12_y19__BLANK_) and EQ___cell_1__cell_1(cell__BLANK__h5__BLANK_,
- cell_c12_h5__BLANK_) and succ__cell_1__cell_1(cell__BLANK__h5__BLANK_,
- cell_c12_h6__BLANK_) and succ__cell_1__cell_1(cell__BLANK__y19__BLANK_,
- cell_c12_y20__BLANK_) and filled(cell_c12_h5__BLANK_) and
+ cell_c12_y19__BLANK_) and filled(cell_c12_h5__BLANK_) and
filled(cell_c12_y19__BLANK_) and cell_2b(cell_c12_y20__BLANK_) and
- not C(cell__BLANK__h5__BLANK_) and not C(cell__BLANK__y19__BLANK_) and
not C(cell_c12_h5__BLANK_) and not C(cell_c12_y19__BLANK_) and
not C(cell_c12_y20__BLANK_)))
LOC 0 {
@@ -659,351 +647,6 @@
(cell_7_6__BLANK_, cell_7_5__BLANK_);
(cell_7_6__BLANK_, cell_7_6__BLANK_)
};
- EQ___cell_1__cell_1 {
- (cell_1_0__BLANK_, cell_1_0__BLANK_);
- (cell_1_0__BLANK_, cell_2_0__BLANK_);
- (cell_1_0__BLANK_, cell_3_0__BLANK_);
- (cell_1_0__BLANK_, cell_4_0__BLANK_);
- (cell_1_0__BLANK_, cell_5_0__BLANK_);
- (cell_1_0__BLANK_, cell_6_0__BLANK_);
- (cell_1_0__BLANK_, cell_7_0__BLANK_);
- (cell_1_1__BLANK_, cell_1_1__BLANK_);
- (cell_1_1__BLANK_, cell_2_1__BLANK_);
- (cell_1_1__BLANK_, cell_3_1__BLANK_);
- (cell_1_1__BLANK_, cell_4_1__BLANK_);
- (cell_1_1__BLANK_, cell_5_1__BLANK_);
- (cell_1_1__BLANK_, cell_6_1__BLANK_);
- (cell_1_1__BLANK_, cell_7_1__BLANK_);
- (cell_1_2__BLANK_, cell_1_2__BLANK_);
- (cell_1_2__BLANK_, cell_2_2__BLANK_);
- (cell_1_2__BLANK_, cell_3_2__BLANK_);
- (cell_1_2__BLANK_, cell_4_2__BLANK_);
- (cell_1_2__BLANK_, cell_5_2__BLANK_);
- (cell_1_2__BLANK_, cell_6_2__BLANK_);
- (cell_1_2__BLANK_, cell_7_2__BLANK_);
- (cell_1_3__BLANK_, cell_1_3__BLANK_);
- (cell_1_3__BLANK_, cell_2_3__BLANK_);
- (cell_1_3__BLANK_, cell_3_3__BLANK_);
- (cell_1_3__BLANK_, cell_4_3__BLANK_);
- (cell_1_3__BLANK_, cell_5_3__BLANK_);
- (cell_1_3__BLANK_, cell_6_3__BLANK_);
- (cell_1_3__BLANK_, cell_7_3__BLANK_);
- (cell_1_4__BLANK_, cell_1_4__BLANK_);
- (cell_1_4__BLANK_, cell_2_4__BLANK_);
- (cell_1_4__BLANK_, cell_3_4__BLANK_);
- (cell_1_4__BLANK_, cell_4_4__BLANK_);
- (cell_1_4__BLANK_, cell_5_4__BLANK_);
- (cell_1_4__BLANK_, cell_6_4__BLANK_);
- (cell_1_4__BLANK_, cell_7_4__BLANK_);
- (cell_1_5__BLANK_, cell_1_5__BLANK_);
- (cell_1_5__BLANK_, cell_2_5__BLANK_);
- (cell_1_5__BLANK_, cell_3_5__BLANK_);
- (cell_1_5__BLANK_, cell_4_5__BLANK_);
- (cell_1_5__BLANK_, cell_5_5__BLANK_);
- (cell_1_5__BLANK_, cell_6_5__BLANK_);
- (cell_1_5__BLANK_, cell_7_5__BLANK_);
- (cell_1_6__BLANK_, cell_1_6__BLANK_);
- (cell_1_6__BLANK_, cell_2_6__BLANK_);
- (cell_1_6__BLANK_, cell_3_6__BLANK_);
- (cell_1_6__BLANK_, cell_4_6__BLANK_);
- (cell_1_6__BLANK_, cell_5_6__BLANK_);
- (cell_1_6__BLANK_, cell_6_6__BLANK_);
- (cell_1_6__BLANK_, cell_7_6__BLANK_);
- (cell_2_0__BLANK_, cell_1_0__BLANK_);
- (cell_2_0__BLANK_, cell_2_0__BLANK_);
- (cell_2_0__BLANK_, cell_3_0__BLANK_);
- (cell_2_0__BLANK_, cell_4_0__BLANK_);
- (cell_2_0__BLANK_, cell_5_0__BLANK_);
- (cell_2_0__BLANK_, cell_6_0__BLANK_);
- (cell_2_0__BLANK_, cell_7_0__BLANK_);
- (cell_2_1__BLANK_, cell_1_1__BLANK_);
- (cell_2_1__BLANK_, cell_2_1__BLANK_);
- (cell_2_1__BLANK_, cell_3_1__BLANK_);
- (cell_2_1__BLANK_, cell_4_1__BLANK_);
- (cell_2_1__BLANK_, cell_5_1__BLANK_);
- (cell_2_1__BLANK_, cell_6_1__BLANK_);
- (cell_2_1__BLANK_, cell_7_1__BLANK_);
- (cell_2_2__BLANK_, cell_1_2__BLANK_);
- (cell_2_2__BLANK_, cell_2_2__BLANK_);
- (cell_2_2__BLANK_, cell_3_2__BLANK_);
- (cell_2_2__BLANK_, cell_4_2__BLANK_);
- (cell_2_2__BLANK_, cell_5_2__BLANK_);
- (cell_2_2__BLANK_, cell_6_2__BLANK_);
- (cell_2_2__BLANK_, cell_7_2__BLANK_);
- (cell_2_3__BLANK_, cell_1_3__BLANK_);
- (cell_2_3__BLANK_, cell_2_3__BLANK_);
- (cell_2_3__BLANK_, cell_3_3__BLANK_);
- (cell_2_3__BLANK_, cell_4_3__BLANK_);
- (cell_2_3__BLANK_, cell_5_3__BLANK_);
- (cell_2_3__BLANK_, cell_6_3__BLANK_);
- (cell_2_3__BLANK_, cell_7_3__BLANK_);
- (cell_2_4__BLANK_, cell_1_4__BLANK_);
- (cell_2_4__BLANK_, cell_2_4__BLANK_);
- (cell_2_4__BLANK_, cell_3_4__BLANK_);
- (cell_2_4__BLANK_, cell_4_4__BLANK_);
- (cell_2_4__BLANK_, cell_5_4__BLANK_);
- (cell_2_4__BLANK_, cell_6_4__BLANK_);
- (cell_2_4__BLANK_, cell_7_4__BLANK_);
- (cell_2_5__BLANK_, cell_1_5__BLANK_);
- (cell_2_5__BLANK_, cell_2_5__BLANK_);
- (cell_2_5__BLANK_, cell_3_5__BLANK_);
- (cell_2_5__BLANK_, cell_4_5__BLANK_);
- (cell_2_5__BLANK_, cell_5_5__BLANK_);
- (cell_2_5__BLANK_, cell_6_5__BLANK_);
- (cell_2_5__BLANK_, cell_7_5__BLANK_);
- (cell_2_6__BLANK_, cell_1_6__BLANK_);
- (cell_2_6__BLANK_, cell_2_6__BLANK_);
- (cell_2_6__BLANK_, cell_3_6__BLANK_);
- (cell_2_6__BLANK_, cell_4_6__BLANK_);
- (cell_2_6__BLANK_, cell_5_6__BLANK_);
- (cell_2_6__BLANK_, cell_6_6__BLANK_);
- (cell_2_6__BLANK_, cell_7_6__BLANK_);
- (cell_3_0__BLANK_, cell_1_0__BLANK_);
- (cell_3_0__BLANK_, cell_2_0__BLANK_);
- (cell_3_0__BLANK_, cell_3_0__BLANK_);
- (cell_3_0__BLANK_, cell_4_0__BLANK_);
- (cell_3_0__BLANK_, cell_5_0__BLANK_);
- (cell_3_0__BLANK_, cell_6_0__BLANK_);
- (cell_3_0__BLANK_, cell_7_0__BLANK_);
- (cell_3_1__BLANK_, cell_1_1__BLANK_);
- (cell_3_1__BLANK_, cell_2_1__BLANK_);
- (cell_3_1__BLANK_, cell_3_1__BLANK_);
- (cell_3_1__BLANK_, cell_4_1__BLANK_);
- (cell_3_1__BLANK_, cell_5_1__BLANK_);
- (cell_3_1__BLANK_, cell_6_1__BLANK_);
- (cell_3_1__BLANK_, cell_7_1__BLANK_);
- (cell_3_2__BLANK_, cell_1_2__BLANK_);
- (cell_3_2__BLANK_, cell_2_2__BLANK_);
- (cell_3_2__BLANK_, cell_3_2__BLANK_);
- (cell_3_2__BLANK_, cell_4_2__BLANK_);
- (cell_3_2__BLANK_, cell_5_2__BLANK_);
- (cell_3_2__BLANK_, cell_6_2__BLANK_);
- (cell_3_2__BLANK_, cell_7_2__BLANK_);
- (cell_3_3__BLANK_, cell_1_3__BLANK_);
- (cell_3_3__BLANK_, cell_2_3__BLANK_);
- (cell_3_3__BLANK_, cell_3_3__BLANK_);
- (cell_3_3__BLANK_, cell_4_3__BLANK_);
- (cell_3_3__BLANK_, cell_5_3__BLANK_);
- (cell_3_3__BLANK_, cell_6_3__BLANK_);
- (cell_3_3__BLANK_, cell_7_3__BLANK_);
- (cell_3_4__BLANK_, cell_1_4__BLANK_);
- (cell_3_4__BLANK_, cell_2_4__BLANK_);
- (cell_3_4__BLANK_, cell_3_4__BLANK_);
- (cell_3_4__BLANK_, cell_4_4__BLANK_);
- (cell_3_4__BLANK_, cell_5_4__BLANK_);
- (cell_3_4__BLANK_, cell_6_4__BLANK_);
- (cell_3_4__BLANK_, cell_7_4__BLANK_);
- (cell_3_5__BLANK_, cell_1_5__BLANK_);
- (cell_3_5__BLANK_, cell_2_5__BLANK_);
- (cell_3_5__BLANK_, cell_3_5__BLANK_);
- (cell_3_5__BLANK_, cell_4_5__BLANK_);
- (cell_3_5__BLANK_, cell_5_5__BLANK_);
- (cell_3_5__BLANK_, cell_6_5__BLANK_);
- (cell_3_5__BLANK_, cell_7_5__BLANK_);
- (cell_3_6__BLANK_, cell_1_6__BLANK_);
- (cell_3_6__BLANK_, cell_2_6__BLANK_);
- (cell_3_6__BLANK_, cell_3_6__BLANK_);
- (cell_3_6__BLANK_, cell_4_6__BLANK_);
- (cell_3_6__BLANK_, cell_5_6__BLANK_);
- (cell_3_6__BLANK_, cell_6_6__BLANK_);
- (cell_3_6__BLANK_, cell_7_6__BLANK_);
- (cell_4_0__BLANK_, cell_1_0__BLANK_);
- (cell_4_0__BLANK_, cell_2_0__BLANK_);
- (cell_4_0__BLANK_, cell_3_0__BLANK_);
- (cell_4_0__BLANK_, cell_4_0__BLANK_);
- (cell_4_0__BLANK_, cell_5_0__BLANK_);
- (cell_4_0__BLANK_, cell_6_0__BLANK_);
- (cell_4_0__BLANK_, cell_7_0__BLANK_);
- (cell_4_1__BLANK_, cell_1_1__BLANK_);
- (cell_4_1__BLANK_, cell_2_1__BLANK_);
- (cell_4_1__BLANK_, cell_3_1__BLANK_);
- (cell_4_1__BLANK_, cell_4_1__BLANK_);
- (cell_4_1__BLANK_, cell_5_1__BLANK_);
- (cell_4_1__BLANK_, cell_6_1__BLANK_);
- (cell_4_1__BLANK_, cell_7_1__BLANK_);
- (cell_4_2__BLANK_, cell_1_2__BLANK_);
- (cell_4_2__BLANK_, cell_2_2__BLANK_);
- (cell_4_2__BLANK_, cell_3_2__BLANK_);
- (cell_4_2__BLANK_, cell_4_2__BLANK_);
- (cell_4_2__BLANK_, cell_5_2__BLANK_);
- (cell_4_2__BLANK_, cell_6_2__BLANK_);
- (cell_4_2__BLANK_, cell_7_2__BLANK_);
- (cell_4_3__BLANK_, cell_1_3__BLANK_);
- (cell_4_3__BLANK_, cell_2_3__BLANK_);
- (cell_4_3__BLANK_, cell_3_3__BLANK_);
- (cell_4_3__BLANK_, cell_4_3__BLANK_);
- (cell_4_3__BLANK_, cell_5_3__BLANK_);
- (cell_4_3__BLANK_, cell_6_3__BLANK_);
- (cell_4_3__BLANK_, cell_7_3__BLANK_);
- (cell_4_4__BLANK_, cell_1_4__BLANK_);
- (cell_4_4__BLANK_, cell_2_4__BLANK_);
- (cell_4_4__BLANK_, cell_3_4__BLANK_);
- (cell_4_4__BLANK_, cell_4_4__BLANK_);
- (cell_4_4__BLANK_, cell_5_4__BLANK_);
- (cell_4_4__BLANK_, cell_6_4__BLANK_);
- (cell_4_4__BLANK_, cell_7_4__BLANK_);
- (cell_4_5__BLANK_, cell_1_5__BLANK_);
- (cell_4_5__BLANK_, cell_2_5__BLANK_);
- (cell_4_5__BLANK_, cell_3_5__BLANK_);
- (cell_4_5__BLANK_, cell_4_5__BLANK_);
- (cell_4_5__BLANK_, cell_5_5__BLANK_);
- (cell_4_5__BLANK_, cell_6_5__BLANK_);
- (cell_4_5__BLANK_, cell_7_5__BLANK_);
- (cell_4_6__BLANK_, cell_1_6__BLANK_);
- (cell_4_6__BLANK_, cell_2_6__BLANK_);
- (cell_4_6__BLANK_, cell_3_6__BLANK_);
- (cell_4_6__BLANK_, cell_4_6__BLANK_);
- (cell_4_6__BLANK_, cell_5_6__BLANK_);
- (cell_4_6__BLANK_, cell_6_6__BLANK_);
- (cell_4_6__BLANK_, cell_7_6__BLANK_);
- (cell_5_0__BLANK_, cell_1_0__BLANK_);
- (cell_5_0__BLANK_, cell_2_0__BLANK_);
- (cell_5_0__BLANK_, cell_3_0__BLANK_);
- (cell_5_0__BLANK_, cell_4_0__BLANK_);
- (cell_5_0__BLANK_, cell_5_0__BLANK_);
- (cell_5_0__BLANK_, cell_6_0__BLANK_);
- (cell_5_0__BLANK_, cell_7_0__BLANK_);
- (cell_5_1__BLANK_, cell_1_1__BLANK_);
- (cell_5_1__BLANK_, cell_2_1__BLANK_);
- (cell_5_1__BLANK_, cell_3_1__BLANK_);
- (cell_5_1__BLANK_, cell_4_1__BLANK_);
- (cell_5_1__BLANK_, cell_5_1__BLANK_);
- (cell_5_1__BLANK_, cell_6_1__BLANK_);
- (cell_5_1__BLANK_, cell_7_1__BLANK_);
- (cell_5_2__BLANK_, cell_1_2__BLANK_);
- (cell_5_2__BLANK_, cell_2_2__BLANK_);
- (cell_5_2__BLANK_, cell_3_2__BLANK_);
- (cell_5_2__BLANK_, cell_4_2__BLANK_);
- (cell_5_2__BLANK_, cell_5_2__BLANK_);
- (cell_5_2__BLANK_, cell_6_2__BLANK_);
- (cell_5_2__BLANK_, cell_7_2__BLANK_);
- (cell_5_3__BLANK_, cell_1_3__BLANK_);
- (cell_5_3__BLANK_, cell_2_3__BLANK_);
- (cell_5_3__BLANK_, cell_3_3__BLANK_);
- (cell_5_3__BLANK_, cell_4_3__BLANK_);
- (cell_5_3__BLANK_, cell_5_3__BLANK_);
- (cell_5_3__BLANK_, cell_6_3__BLANK_);
- (cell_5_3__BLANK_, cell_7_3__BLANK_);
- (cell_5_4__BLANK_, cell_1_4__BLANK_);
- (cell_5_4__BLANK_, cell_2_4__BLANK_);
- (cell_5_4__BLANK_, cell_3_4__BLANK_);
- (cell_5_4__BLANK_, cell_4_4__BLANK_);
- (cell_5_4__BLANK_, cell_5_4__BLANK_);
- (cell_5_4__BLANK_, cell_6_4__BLANK_);
- (cell_5_4__BLANK_, cell_7_4__BLANK_);
- (cell_5_5__BLANK_, cell_1_5__BLANK_);
- (cell_5_5__BLANK_, cell_2_5__BLANK_);
- (cell_5_5__BLANK_, cell_3_5__BLANK_);
- (cell_5_5__BLANK_, cell_4_5__BLANK_);
- (cell_5_5__BLANK_, cell_5_5__BLANK_);
- (cell_5_5__BLANK_, cell_6_5__BLANK_);
- (cell_5_5__BLANK_, cell_7_5__BLANK_);
- (cell_5_6__BLANK_, cell_1_6__BLANK_);
- (cell_5_6__BLANK_, cell_2_6__BLANK_);
- (cell_5_6__BLANK_, cell_3_6__BLANK_);
- (cell_5_6__BLANK_, cell_4_6__BLANK_);
- (cell_5_6__BLANK_, cell_5_6__BLANK_);
- (cell_5_6__BLANK_, cell_6_6__BLANK_);
- (cell_5_6__BLANK_, cell_7_6__BLANK_);
- (cell_6_0__BLANK_, cell_1_0__BLANK_);
- (cell_6_0__BLANK_, cell_2_0__BLANK_);
- (cell_6_0__BLANK_, cell_3_0__BLANK_);
- (cell_6_0__BLANK_, cell_4_0__BLANK_);
- (cell_6_0__BLANK_, cell_5_0__BLANK_);
- (cell_6_0__BLANK_, cell_6_0__BLANK_);
- (cell_6_0__BLANK_, cell_7_0__BLANK_);
- (cell_6_1__BLANK_, cell_1_1__BLANK_);
- (cell_6_1__BLANK_, cell_2_1__BLANK_);
- (cell_6_1__BLANK_, cell_3_1__BLANK_);
- (cell_6_1__BLANK_, cell_4_1__BLANK_);
- (cell_6_1__BLANK_, cell_5_1__BLANK_);
- (cell_6_1__BLANK_, cell_6_1__BLANK_);
- (cell_6_1__BLANK_, cell_7_1__BLANK_);
- (cell_6_2__BLANK_, cell_1_2__BLANK_);
- (cell_6_2__BLANK_, cell_2_2__BLANK_);
- (cell_6_2__BLANK_, cell_3_2__BLANK_);
- (cell_6_2__BLANK_, cell_4_2__BLANK_);
- (cell_6_2__BLANK_, cell_5_2__BLANK_);
- (cell_6_2__BLANK_, cell_6_2__BLANK_);
- (cell_6_2__BLANK_, cell_7_2__BLANK_);
- (cell_6_3__BLANK_, cell_1_3__BLANK_);
- (cell_6_3__BLANK_, cell_2_3__BLANK_);
- (cell_6_3__BLANK_, cell_3_3__BLANK_);
- (cell_6_3__BLANK_, cell_4_3__BLANK_);
- (cell_6_3__BLANK_, cell_5_3__BLANK_);
- (cell_6_3__BLANK_, cell_6_3__BLANK_);
- (cell_6_3__BLANK_, cell_7_3__BLANK_);
- (cell_6_4__BLANK_, cell_1_4__BLANK_);
- (cell_6_4__BLANK_, cell_2_4__BLANK_);
- (cell_6_4__BLANK_, cell_3_4__BLANK_);
- (cell_6_4__BLANK_, cell_4_4__BLANK_);
- (cell_6_4__BLANK_, cell_5_4__BLANK_);
- (cell_6_4__BLANK_, cell_6_4__BLANK_);
- (cell_6_4__BLANK_, cell_7_4__BLANK_);
- (cell_6_5__BLANK_, cell_1_5__BLANK_);
- (cell_6_5__BLANK_, cell_2_5__BLANK_);
- (cell_6_5__BLANK_, cell_3_5__BLANK_);
- (cell_6_5__BLANK_, cell_4_5__BLANK_);
- (cell_6_5__BLANK_, cell_5_5__BLANK_);
- (cell_6_5__BLANK_, cell_6_5__BLANK_);
- (cell_6_5__BLANK_, cell_7_5__BLANK_);
- (cell_6_6__BLANK_, cell_1_6__BLANK_);
- (cell_6_6__BLANK_, cell_2_6__BLANK_);
- (cell_6_6__BLANK_, cell_3_6__BLANK_);
- (cell_6_6__BLANK_, cell_4_6__BLANK_);
- (cell_6_6__BLANK_, cell_5_6__BLANK_);
- (cell_6_6__BLANK_, cell_6_6__BLANK_);
- (cell_6_6__BLANK_, cell_7_6__BLANK_);
- (cell_7_0__BLANK_, cell_1_0__BLANK_);
- (cell_7_0__BLANK_, cell_2_0__BLANK_);
- (cell_7_0__BLANK_, cell_3_0__BLANK_);
- (cell_7_0__BLANK_, cell_4_0__BLANK_);
- (cell_7_0__BLANK_, cell_5_0__BLANK_);
- (cell_7_0__BLANK_, cell_6_0__BLANK_);
- (cell_7_0__BLANK_, cell_7_0__BLANK_);
- (cell_7_1__BLANK_, cell_1_1__BLANK_);
- (cell_7_1__BLANK_, cell_2_1__BLANK_);
- (cell_7_1__BLANK_, cell_3_1__BLANK_);
- (cell_7_1__BLANK_, cell_4_1__BLANK_);
- (cell_7_1__BLANK_, cell_5_1__BLANK_);
- (cell_7_1__BLANK_, cell_6_1__BLANK_);
- (cell_7_1__BLANK_, cell_7_1__BLANK_);
- (cell_7_2__BLANK_, cell_1_2__BLANK_);
- (cell_7_2__BLANK_, cell_2_2__BLANK_);
- (cell_7_2__BLANK_, cell_3_2__BLANK_);
- (cell_7_2__BLANK_, cell_4_2__BLANK_);
- (cell_7_2__BLANK_, cell_5_2__BLANK_);
- (cell_7_2__BLANK_, cell_6_2__BLANK_);
- (cell_7_2__BLANK_, cell_7_2__BLANK_);
- (cell_7_3__BLANK_, cell_1_3__BLANK_);
- (cell_7_3__BLANK_, cell_2_3__BLANK_);
- (cell_7_3__BLANK_, cell_3_3__BLANK_);
- (cell_7_3__BLANK_, cell_4_3__BLANK_);
- (cell_7_3__BLANK_, cell_5_3__BLANK_);
- (cell_7_3__BLANK_, cell_6_3__BLANK_);
- (cell_7_3__BLANK_, cell_7_3__BLANK_);
- (cell_7_4__BLANK_, cell_1_4__BLANK_);
- (cell_7_4__BLANK_, cell_2_4__BLANK_);
- (cell_7_4__BLANK_, cell_3_4__BLANK_);
- (cell_7_4__BLANK_, cell_4_4__BLANK_);
- (cell_7_4__BLANK_, cell_5_4__BLANK_);
- (cell_7_4__BLANK_, cell_6_4__BLANK_);
- (cell_7_4__BLANK_, cell_7_4__BLANK_);
- (cell_7_5__BLANK_, cell_1_5__BLANK_);
- (cell_7_5__BLANK_, cell_2_5__BLANK_);
- (cell_7_5__BLANK_, cell_3_5__BLANK_);
- (cell_7_5__BLANK_, cell_4_5__BLANK_);
- (cell_7_5__BLANK_, cell_5_5__BLANK_);
- (cell_7_5__BLANK_, cell_6_5__BLANK_);
- (cell_7_5__BLANK_, cell_7_5__BLANK_);
- (cell_7_6__BLANK_, cell_1_6__BLANK_);
- (cell_7_6__BLANK_, cell_2_6__BLANK_);
- (cell_7_6__BLANK_, cell_3_6__BLANK_);
- (cell_7_6__BLANK_, cell_4_6__BLANK_);
- (cell_7_6__BLANK_, cell_5_6__BLANK_);
- (cell_7_6__BLANK_, cell_6_6__BLANK_);
- (cell_7_6__BLANK_, cell_7_6__BLANK_)
- };
R {
(cell_1_0__BLANK_, cell_1_1__BLANK_);
(cell_1_1__BLANK_, cell_1_2__BLANK_);
@@ -1243,306 +886,9 @@
};
cell_2r:1 {}; cell_2w:1 {}; control_0red:1 {};
control_0white (control__BLANK_); control__BLANK_ (control__BLANK_);
- role {val__red; val__white};
- succ__cell_1__cell_1 {
- (cell_1_0__BLANK_, cell_1_1__BLANK_);
- (cell_1_0__BLANK_, cell_2_1__BLANK_);
- (cell_1_0__BLANK_, cell_3_1__BLANK_);
- (cell_1_0__BLANK_, cell_4_1__BLANK_);
- (cell_1_0__BLANK_, cell_5_1__BLANK_);
- (cell_1_0__BLANK_, cell_6_1__BLANK_);
- (cell_1_0__BLANK_, cell_7_1__BLANK_);
- (cell_1_1__BLANK_, cell_1_2__BLANK_);
- (cell_1_1__BLANK_, cell_2_2__BLANK_);
- (cell_1_1__BLANK_, cell_3_2__BLANK_);
- (cell_1_1__BLANK_, cell_4_2__BLANK_);
- (cell_1_1__BLANK_, cell_5_2__BLANK_);
- (cell_1_1__BLANK_, cell_6_2__BLANK_);
- (cell_1_1__BLANK_, cell_7_2__BLANK_);
- (cell_1_2__BLANK_, cell_1_3__BLANK_);
- (cell_1_2__BLANK_, cell_2_3__BLANK_);
- (cell_1_2__BLANK_, cell_3_3__BLANK_);
- (cell_1_2__BLANK_, cell_4_3__BLANK_);
- (cell_1_2__BLANK_, cell_5_3__BLANK_);
- (cell_1_2__BLANK_, cell_6_3__BLANK_);
- (cell_1_2__BLANK_, cell_7_3__BLANK_);
- (cell_1_3__BLANK_, cell_1_4__BLANK_);
- (cell_1_3__BLANK_, cell_2_4__BLANK_);
- (cell_1_3__BLANK_, cell_3_4__BLANK_);
- (cell_1_3__BLANK_, cell_4_4__BLANK_);
- (cell_1_3__BLANK_, cell_5_4__BLANK_);
- (cell_1_3__BLANK_, cell_6_4__BLANK_);
- (cell_1_3__BLANK_, cell_7_4__BLANK_);
- (cell_1_4__BLANK_, cell_1_5__BLANK_);
- (cell_1_4__BLANK_, cell_2_5__BLANK_);
- (cell_1_4__BLANK_, cell_3_5__BLANK_);
- (cell_1_4__BLANK_, cell_4_5__BLANK_);
- (cell_1_4__BLANK_, cell_5_5__BLANK_);
- (cell_1_4__BLANK_, cell_6_5__BLANK_);
- (cell_1_4__BLANK_, cell_7_5__BLANK_);
- (cell_1_5__BLANK_, cell_1_6__BLANK_);
- (cell_1_5__BLANK_, cell_2_6__BLANK_);
- (cell_1_5__BLANK_, cell_3_6__BLANK_);
- (cell_1_5__BLANK_, cell_4_6__BLANK_);
- (cell_1_5__BLANK_, cell_5_6__BLANK_);
- (cell_1_5__BLANK_, cell_6_6__BLANK_);
- (cell_1_5__BLANK_, cell_7_6__BLANK_);
- (cell_2_0__BLANK_, cell_1_1__BLANK_);
- (cell_2_0__BLANK_, cell_2_1__BLANK_);
- (cell_2_0__BLANK_, cell_3_1__BLANK_);
- (cell_2_0__BLANK_, cell_4_1__BLANK_);
- (cell_2_0__BLANK_, cell_5_1__BLANK_);
- (cell_2_0__BLANK_, cell_6_1__BLANK_);
- (cell_2_0__BLANK_, cell_7_1__BLANK_);
- (cell_2_1__BLANK_, cell_1_2__BLANK_);
- (cell_2_1__BLANK_, cell_2_2__BLANK_);
- (cell_2_1__BLANK_, cell_3_2__BLANK_);
- (cell_2_1__BLANK_, cell_4_2__BLANK_);
- (cell_2_1__BLANK_, cell_5_2__BLANK_);
- (cell_2_1__BLANK_, cell_6_2__BLANK_);
- (cell_2_1__BLANK_, cell_7_2__BLANK_);
- (cell_2_2__BLANK_, cell_1_3__BLANK_);
- (cell_2_2__BLANK_, cell_2_3__BLANK_);
- (cell_2_2__BLANK_, cell_3_3__BLANK_);
- (cell_2_2__BLANK_, cell_4_3__BLANK_);
- (cell_2_2__BLANK_, cell_5_3__BLANK_);
- (cell_2_2__BLANK_, cell_6_3__BLANK_);
- (cell_2_2__BLANK_, cell_7_3__BLANK_);
- (cell_2_3__BLANK_, cell_1_4__BLANK_);
- (cell_2_3__BLANK_, cell_2_4__BLANK_);
- (cell_2_3__BLANK_, cell_3_4__BLANK_);
- (cell_2_3__BLANK_, cell_4_4__BLANK_);
- (cell_2_3__BLANK_, cell_5_4__BLANK_);
- (cell_2_3__BLANK_, cell_6_4__BLANK_);
- (cell_2_3__BLANK_, cell_7_4__BLANK_);
- (cell_2_4__BLANK_, cell_1_5__BLANK_);
- (cell_2_4__BLANK_, cell_2_5__BLANK_);
- (cell_2_4__BLANK_, cell_3_5__BLANK_);
- (cell_2_4__BLANK_, cell_4_5__BLANK_);
- (cell_2_4__BLANK_, cell_5_5__BLANK_);
- (cell_2_4__BLANK_, cell_6_5__BLANK_);
- (cell_2_4__BLANK_, cell_7_5__BLANK_);
- (cell_2_5__BLANK_, cell_1_6__BLANK_);
- (cell_2_5__BLANK_, cell_2_6__BLANK_);
- (cell_2_5__BLANK_, cell_3_6__BLANK_);
- (cell_2_5__BLANK_, cell_4_6__BLANK_);
- (cell_2_5__BLANK_, cell_5_6__BLANK_);
- (cell_2_5__BLANK_, cell_6_6__BLANK_);
- (cell_2_5__BLANK_, cell_7_6__BLANK_);
- (cell_3_0__BLANK_, cell_1_1__BLANK_);
- (cell_3_0__BLANK_, cell_2_1__BLANK_);
- (cell_3_0__BLANK_, cell_3_1__BLANK_);
- (cell_3_0__BLANK_, cell_4_1__BLANK_);
- (cell_3_0__BLANK_, cell_5_1__BLANK_);
- (cell_3_0__BLANK_, cell_6_1__BLANK_);
- (cell_3_0__BLANK_, cell_7_1__BLANK_);
- (cell_3_1__BLANK_, cell_1_2__BLANK_);
- (cell_3_1__BLANK_, cell_2_2__BLANK_);
- (cell_3_1__BLANK_, cell_3_2__BLANK_);
- (cell_3_1__BLANK_, cell_4_2__BLANK_);
- (cell_3_1__BLANK_, cell_5_2__BLANK_);
- (cell_3_1__BLANK_, cell_6_2__BLANK_);
- (cell_3_1__BLANK_, cell_7_2__BLANK_);
- (cell_3_2__BLANK_, cell_1_3__BLANK_);
- (cell_3_2__BLANK_, cell_2_3__BLANK_);
- (cell_3_2__BLANK_, cell_3_3__BLANK_);
- (cell_3_2__BLANK_, cell_4_3__BLANK_);
- (cell_3_2__BLANK_, cell_5_3__BLANK_);
- (cell_3_2__BLANK_, cell_6_3__BLANK_);
- (cell_3_2__BLANK_, cell_7_3__BLANK_);
- (cell_3_3__BLANK_, cell_1_4__BLANK_);
- (cell_3_3__BLANK_, cell_2_4__BLANK_);
- (cell_3_3__BLANK_, cell_3_4__BLANK_);
- (cell_3_3__BLANK_, cell_4_4__BLANK_);
- (cell_3_3__BLANK_, cell_5_4__BLANK_);
- (cell_3_3__BLANK_, cell_6_4__BLANK_);
- (cell_3_3__BLANK_, cell_7_4__BLANK_);
- (cell_3_4__BLANK_, cell_1_5__BLANK_);
- (cell_3_4__BLANK_, cell_2_5__BLANK_);
- (cell_3_4__BLANK_, cell_3_5__BLANK_);
- (cell_3_4__BLANK_, cell_4_5__BLANK_);
- (cell_3_4__BLANK_, cell_5_5__BLANK_);
- (cell_3_4__BLANK_, cell_6_5__BLANK_);
- (cell_3_4__BLANK_, cell_7_5__BLANK_);
- (cell_3_5__BLANK_, cell_1_6__BLANK_);
- (cell_3_5__BLANK_, cell_2_6__BLANK_);
- (cell_3_5__BLANK_, cell_3_6__BLANK_);
- (cell_3_5__BLANK_, cell_4_6__BLANK_);
- (cell_3_5__BLANK_, cell_5_6__BLANK_);
- (cell_3_5__BLANK_, cell_6_6__BLANK_);
- (cell_3_5__BLANK_, cell_7_6__BLANK_);
- (cell_4_0__BLANK_, cell_1_1__BLANK_);
- (cell_4_0__BLANK_, cell_2_1__BLANK_);
- (cell_4_0__BLANK_, cell_3_1__BLANK_);
- (cell_4_0__BLANK_, cell_4_1__BLANK_);
- (cell_4_0__BLANK_, cell_5_1__BLANK_);
- (cell_4_0__BLANK_, cell_6_1__BLANK_);
- (cell_4_0__BLANK_, cell_7_1__BLANK_);
- (cell_4_1__BLANK_, cell_1_2__BLANK_);
- (cell_4_1__BLANK_, cell_2_2__BLANK_);
- (cell_4_1__BLANK_, cell_3_2__BLANK_);
- (cell_4_1__BLANK_, cell_4_2__BLANK_);
- (cell_4_1__BLANK_, cell_5_2__BLANK_);
- (cell_4_1__BLANK_, cell_6_2__BLANK_);
- (cell_4_1__BLANK_, cell_7_2__BLANK_);
- (cell_4_2__BLANK_, cell_1_3__BLANK_);
- (cell_4_2__BLANK_, cell_2_3__BLANK_);
- (cell_4_2__BLANK_, cell_3_3__BLANK_);
- (cell_4_2__BLANK_, cell_4_3__BLANK_);
- (cell_4_2__BLANK_, cell_5_3__BLANK_);
- (cell_4_2__BLANK_, cell_6_3__BLANK_);
- (cell_4_2__BLANK_, cell_7_3__BLANK_);
- (cell_4_3__BLANK_, cell_1_4__BLANK_);
- (cell_4_3__BLANK_, cell_2_4__BLANK_);
- (cell_4_3__BLANK_, cell_3_4__BLANK_);
- (cell_4_3__BLANK_, cell_4_4__BLANK_);
- (cell_4_3__BLANK_, cell_5_4__BLANK_);
- (cell_4_3__BLANK_, cell_6_4__BLANK_);
- (cell_4_3__BLANK_, cell_7_4__BLANK_);
- (cell_4_4__BLANK_, cell_1_5__BLANK_);
- (cell_4_4__BLANK_, cell_2_5__BLANK_);
- (cell_4_4__BLANK_, cell_3_5__BLANK_);
- (cell_4_4__BLANK_, cell_4_5__BLANK_);
- (cell_4_4__BLANK_, cell_5_5__BLANK_);
- (cell_4_4__BLANK_, cell_6_5__BLANK_);
- (cell_4_4__BLANK_, cell_7_5__BLANK_);
- (cell_4_5__BLANK_, cell_1_6__BLANK_);
- (cell_4_5__BLANK_, cell_2_6__BLANK_);
- (cell_4_5__BLANK_, cell_3_6__BLANK_);
- (cell_4_5__BLANK_, cell_4_6__BLANK_);
- (cell_4_5__BLANK_, cell_5_6__BLANK_);
- (cell_4_5__BLANK_, cell_6_6__BLANK_);
- (cell_4_5__BLANK_, cell_7_6__BLANK_);
- (cell_5_0__BLANK_, cell_1_1__BLANK_);
- (cell_5_0__BLANK_, cell_2_1__BLANK_);
- (cell_5_0__BLANK_, cell_3_1__BLANK_);
- (cell_5_0__BLANK_, cell_4_1__BLANK_);
- (cell_5_0__BLANK_, cell_5_1__BLANK_);
- (cell_5_0__BLANK_, cell_6_1__BLANK_);
- (cell_5_0__BLANK_, cell_7_1__BLANK_);
- (cell_5_1__BLANK_, cell_1_2__BLANK_);
- (cell_5_1__BLANK_, cell_2_2__BLANK_);
- (cell_5_1__BLANK_, cell_3_2__BLANK_);
- (cell_5_1__BLANK_, cell_4_2__BLANK_);
- (cell_5_1__BLANK_, cell_5_2__BLANK_);
- (cell_5_1__BLANK_, cell_6_2__BLANK_);
- (cell_5_1__BLANK_, cell_7_2__BLANK_);
- (cell_5_2__BLANK_, cell_1_3__BLANK_);
- (cell_5_2__BLANK_, cell_2_3__BLANK_);
- (cell_5_2__BLANK_, cell_3_3__BLANK_);
- (cell_5_2__BLANK_, cell_4_3__BLANK_);
- (cell_5_2__BLANK_, cell_5_3__BLANK_);
- (cell_5_2__BLANK_, cell_6_3__BLANK_);
- (cell_5_2__BLANK_, cell_7_3__BLANK_);
- (cell_5_3__BLANK_, cell_1_4__BLANK_);
- (cell_5_3__BLANK_, cell_2_4__BLANK_);
- (cell_5_3__BLANK_, cell_3_4__BLANK_);
- (cell_5_3__BLANK_, cell_4_4__BLANK_);
- (cell_5_3__BLANK_, cell_5_4__BLANK_);
- (cell_5_3__BLANK_, cell_6_4__BLANK_);
- (cell_5_3__BLANK_, cell_7_4__BLANK_);
- (cell_5_4__BLANK_, cell_1_5__BLANK_);
- (cell_5_4__BLANK_, cell_2_5__BLANK_);
- (cell_5_4__BLANK_, cell_3_5__BLANK_);
- (cell_5_4__BLANK_, cell_4_5__BLANK_);
- (cell_5_4__BLANK_, cell_5_5__BLANK_);
- (cell_5_4__BLANK_, cell_6_5__BLANK_);
- (cell_5_4__BLANK_, cell_7_5__BLANK_);
- (cell_5_5__BLANK_, cell_1_6__BLANK_);
- (cell_5_5__BLANK_, cell_2_6__BLANK_);
- (cell_5_5__BLANK_, cell_3_6__BLANK_);
- (cell_5_5__BLANK_, cell_4_6__BLANK_);
- (cell_5_5__BLANK_, cell_5_6__BLANK_);
- (cell_5_5__BLANK_, cell_6_6__BLANK_);
- (cell_5_5__BLANK_, cell_7_6__BLANK_);
- (cell_6_0__BLANK_, cell_1_1__BLANK_);
- (cell_6_0__BLANK_, cell_2_1__BLANK_);
- (cell_6_0__BLANK_, cell_3_1__BLANK_);
- (cell_6_0__BLANK_, cell_4_1__BLANK_);
- (cell_6_0__BLANK_, cell_5_1__BLANK_);
- (cell_6_0__BLANK_, cell_6_1__BLANK_);
- (cell_6_0__BLANK_, cell_7_1__BLANK_);
- (cell_6_1__BLANK_, cell_1_2__BLANK_);
- (cell_6_1__BLANK_, cell_2_2__BLANK_);
- (cell_6_1__BLANK_, cell_3_2__BLANK_);
- (cell_6_1__BLANK_, cell_4_2__BLANK_);
- (cell_6_1__BLANK_, cell_5_2__BLANK_);
- (cell_6_1__BLANK_, cell_6_2__BLANK_);
- (cell_6_1__BLANK_, cell_7_2__BLANK_);
- (cell_6_2__BLANK_, cell_1_3__BLANK_);
- (cell_6_2__BLANK_, cell_2_3__BLANK_);
- (cell_6_2__BLANK_, cell_3_3__BLANK_);
- (cell_6_2__BLANK_, cell_4_3__BLANK_);
- (cell_6_2__BLANK_, cell_5_3__BLANK_);
- (cell_6_2__BLANK_, cell_6_3__BLANK_);
- (cell_6_2__BLANK_, cell_7_3__BLANK_);
- (cell_6_3__BLANK_, cell_1_4__BLANK_);
- (cell_6_3__BLANK_, cell_2_4__BLANK_);
- (cell_6_3__BLANK_, cell_3_4__BLANK_);
- (cell_6_3__BLANK_, cell_4_4__BLANK_);
- (cell_6_3__BLANK_, cell_5_4__BLANK_);
- (cell_6_3__BLANK_, cell_6_4__BLANK_);
- (cell_6_3__BLANK_, cell_7_4__BLANK_);
- (cell_6_4__BLANK_, cell_1_5__BLANK_);
- (cell_6_4__BLANK_, cell_2_5__BLANK_);
- (cell_6_4__BLANK_, cell_3_5__BLANK_);
- (cell_6_4__BLANK_, cell_4_5__BLANK_);
- (cell_6_4__BLANK_, cell_5_5__BLANK_);
- (cell_6_4__BLANK_, cell_6_5__BLANK_);
- (cell_6_4__BLANK_, cell_7_5__BLANK_);
- (cell_6_5__BLANK_, cell_1_6__BLANK_);
- (cell_6_5__BLANK_, cell_2_6__BLANK_);
- (cell_6_5__BLANK_, cell_3_6__BLANK_);
- (cell_6_5__BLANK_, cell_4_6__BLANK_);
- (cell_6_5__BLANK_, cell_5_6__BLANK_);
- (cell_6_5__BLANK_, cell_6_6__BLANK_);
- (cell_6_5__BLANK_, cell_7_6__BLANK_);
- (cell_7_0__BLANK_, cell_1_1__BLANK_);
- (cell_7_0__BLANK_, cell_2_1__BLANK_);
- (cell_7_0__BLANK_, cell_3_1__BLANK_);
- (cell_7_0__BLANK_, cell_4_1__BLANK_);
- (cell_7_0__BLANK_, cell_5_1__BLANK_);
- (cell_7_0__BLANK_, cell_6_1__BLANK_);
- (cell_7_0__BLANK_, cell_7_1__BLANK_);
- (cell_7_1__BLANK_, cell_1_2__BLANK_);
- (cell_7_1__BLANK_, cell_2_2__BLANK_);
- (cell_7_1__BLANK_, cell_3_2__BLANK_);
- (cell_7_1__BLANK_, cell_4_2__BLANK_);
- (cell_7_1__BLANK_, cell_5_2__BLANK_);
- (cell_7_1__BLANK_, cell_6_2__BLANK_);
- (cell_7_1__BLANK_, cell_7_2__BLANK_);
- (cell_7_2__BLANK_, cell_1_3__BLANK_);
- (cell_7_2__BLANK_, cell_2_3__BLANK_);
- (cell_7_2__BLANK_, cell_3_3__BLANK_);
- (cell_7_2__BLANK_, cell_4_3__BLANK_);
- (cell_7_2__BLANK_, cell_5_3__BLANK_);
- (cell_7_2__BLANK_, cell_6_3__BLANK_);
- (cell_7_2__BLANK_, cell_7_3__BLANK_);
- (cell_7_3__BLANK_, cell_1_4__BLANK_);
- (cell_7_3__BLANK_, cell_2_4__BLANK_);
- (cell_7_3__BLANK_, cell_3_4__BLANK_);
- (cell_7_3__BLANK_, cell_4_4__BLANK_);
- (cell_7_3__BLANK_, cell_5_4__BLANK_);
- (cell_7_3__BLANK_, cell_6_4__BLANK_);
- (cell_7_3__BLANK_, cell_7_4__BLANK_);
- (cell_7_4__BLANK_, cell_1_5__BLANK_);
- (cell_7_4__BLANK_, cell_2_5__BLANK_);
- (cell_7_4__BLANK_, cell_3_5__BLANK_);
- (cell_7_4__BLANK_, cell_4_5__BLANK_);
- (cell_7_4__BLANK_, cell_5_5__BLANK_);
- (cell_7_4__BLANK_, cell_6_5__BLANK_);
- (cell_7_4__BLANK_, cell_7_5__BLANK_);
- (cell_7_5__BLANK_, cell_1_6__BLANK_);
- (cell_7_5__BLANK_, cell_2_6__BLANK_);
- (cell_7_5__BLANK_, cell_3_6__BLANK_);
- (cell_7_5__BLANK_, cell_4_6__BLANK_);
- (cell_7_5__BLANK_, cell_5_6__BLANK_);
- (cell_7_5__BLANK_, cell_6_6__BLANK_);
- (cell_7_5__BLANK_, cell_7_6__BLANK_)
- };
- val__08 (val__8); val__0b (val__b); val__0dirt (val__dirt);
- val__0r (val__r); val__0red (val__red); val__0w (val__w);
- val__0white (val__white);
+ role {val__red; val__white}; val__08 (val__8); val__0b (val__b);
+ val__0dirt (val__dirt); val__0r (val__r); val__0red (val__red);
+ val__0w (val__w); val__0white (val__white);
val___BLANK_ {
val__8; val__b; val__dirt; val__r; val__red; val__w; val__white}
|
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
