- Code: Select all
Resolution state after Singles and whips[1]:
+----------------------+----------------------+----------------------+
! 123 7 9 ! 123 4 8 ! 1235 6 35 !
! 6 123 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123 ! 6 7 123 ! 1239 4 39 !
+----------------------+----------------------+----------------------+
! 123 4 6 ! 12379 8 1237 ! 123579 1235 3579 !
! 5 123 8 ! 123479 1239 12347 ! 12379 123 6 !
! 7 9 123 ! 123 6 5 ! 1238 1238 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
178 candidates.
- Code: Select all
Trid-OR2-relation for digits 1, 2 and 3 in blocks:
b1, with cells (marked #): r1c1, r2c2, r3c3
b2, with cells (marked #): r1c4, r2c5, r3c6
b4, with cells (marked #): r4c1, r5c2, r6c3
b5, with cells (marked #): r4c6, r5c5, r6c4
with 2 guardians (in cells marked @): n7r4c6 n9r5c5
+----------------------+----------------------+----------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------+----------------------+----------------------+
! 123# 4 6 ! 12379 8 1237#@ ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 12379 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
Trid-OR2-whip[2]: OR2{{n9r5c5 | n7r4c6}} - b6n7{r4c7 .} ==> r5c7≠9
whip[1]: r5n9{c5 .} ==> r4c4≠9
all the impossible patterns:
- Code: Select all
EL13c290-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r6c3 r5c6 r5c7 r5c2 r4c6 r4c8 r4c1 r1c7 r1c1 r2c8 r2c2 r3c6 r3c3)
with 7 guardians (in cells marked @) : n4r5c6 n7r5c6 n7r5c7 n7r4c6 n5r4c8 n5r1c7 n8r2c8
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378 1238#@ 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579 1235#@ 3579 !
! 5 123# 8 ! 123479 1239 12347#@ ! 1237#@ 123 6 !
! 7 9 123# ! 123 6 5 ! 1238 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL13c290-OR4-relation for digits: 1, 2 and 3
in cells (marked #): (r5c2 r6c8 r6c4 r6c3 r4c8 r4c6 r4c1 r1c4 r1c1 r3c6 r3c3 r2c8 r2c2)
with 4 guardians (in cells marked @) : n8r6c8 n5r4c8 n7r4c6 n8r2c8
+----------------------+----------------------+----------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378 1238#@ 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------+----------------------+----------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579 1235#@ 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
EL13c290-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r5c2 r6c7 r6c4 r6c3 r4c7 r4c6 r4c1 r1c4 r1c1 r3c6 r3c3 r2c7 r2c2)
with 7 guardians (in cells marked @) : n8r6c7 n5r4c7 n7r4c7 n9r4c7 n7r4c6 n7r2c7 n8r2c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378#@ 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL13c290-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r4c1 r6c4 r6c8 r6c3 r5c4 r5c7 r5c2 r2c8 r2c2 r3c7 r3c3 r1c4 r1c1)
with 7 guardians (in cells marked @) : n8r6c8 n4r5c4 n7r5c4 n9r5c4 n7r5c7 n8r2c8 n9r3c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378 1238#@ 378 !
! 8 5 123# ! 6 7 123 ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479#@ 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL13c290-OR4-relation for digits: 1, 2 and 3
in cells (marked #): (r2c2 r3c7 r3c6 r3c3 r1c7 r1c4 r1c1 r4c6 r4c1 r6c4 r6c3 r5c7 r5c2)
with 4 guardians (in cells marked @) : n9r3c7 n5r1c7 n7r4c6 n7r5c7
+----------------------+----------------------+----------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------+----------------------+----------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
EL14c159s-OR6-relation for digits: 1, 2 and 3
in cells (marked #): (r7c3 r7c6 r7c4 r6c3 r4c1 r5c2 r5c5 r5c4 r3c3 r3c6 r1c1 r1c4 r2c2 r2c5)
with 6 guardians (in cells marked @) : n5r7c3 n8r7c4 n9r5c5 n4r5c4 n7r5c4 n9r5c4
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479#@ 1239#@ 12347 ! 1237 123 6 !
! 7 9 123# ! 123 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235#@ ! 1238#@ 123 123# ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL14c159-OR3-relation for digits: 1, 2 and 3
in cells (marked #): (r1c4 r1c1 r3c6 r3c3 r2c8 r2c5 r2c2 r4c4 r4c1 r5c8 r5c2 r6c8 r6c4 r6c3)
with 3 guardians (in cells marked @) : n8r2c8 n7r4c4 n8r6c8
+----------------------+----------------------+----------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238#@ 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------+----------------------+----------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237 123# 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
EL14c159-OR5-relation for digits: 1, 2 and 3
in cells (marked #): (r1c4 r1c1 r3c6 r3c3 r2c7 r2c5 r2c2 r4c4 r4c1 r5c7 r5c2 r6c7 r6c4 r6c3)
with 5 guardians (in cells marked @) : n7r2c7 n8r2c7 n7r4c4 n7r5c7 n8r6c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL14c159-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r1c4 r1c1 r2c5 r2c2 r3c7 r3c6 r3c3 r4c4 r4c1 r6c7 r6c3 r5c7 r5c4 r5c2)
with 7 guardians (in cells marked @) : n9r3c7 n7r4c4 n8r6c7 n7r5c7 n4r5c4 n7r5c4 n9r5c4
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479#@ 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123 6 5 ! 1238#@ 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL14c1-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r5c2 r6c4 r6c3 r4c7 r4c6 r4c1 r1c4 r1c1 r3c7 r3c6 r3c3 r2c7 r2c5 r2c2)
with 7 guardians (in cells marked @) : n5r4c7 n7r4c7 n9r4c7 n7r4c6 n9r3c7 n7r2c7 n8r2c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL14c1-OR5-relation for digits: 1, 2 and 3
in cells (marked #): (r5c2 r4c6 r4c1 r6c7 r6c4 r6c3 r3c6 r3c3 r1c7 r1c4 r1c1 r2c7 r2c5 r2c2)
with 5 guardians (in cells marked @) : n7r4c6 n8r6c7 n5r1c7 n7r2c7 n8r2c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL14c13-OR5-relation for digits: 1, 2 and 3
in cells (marked #): (r5c2 r4c6 r4c4 r4c1 r6c7 r6c4 r6c3 r1c4 r1c1 r3c6 r3c3 r2c7 r2c5 r2c2)
with 5 guardians (in cells marked @) : n7r4c6 n7r4c4 n8r6c7 n7r2c7 n8r2c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237#@ 8 1237#@ ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL10c28-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r2c7 r2c2 r1c4 r1c7 r1c1 r6c4 r4c4 r5c6 r5c7 r5c2)
with 7 guardians (in cells marked @) : n7r2c7 n8r2c7 n5r1c7 n7r4c4 n4r5c6 n7r5c6 n7r5c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378#@ 1238 378 !
! 8 5 123 ! 6 7 123 ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123 4 6 ! 1237#@ 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347#@ ! 1237#@ 123 6 !
! 7 9 123 ! 123# 6 5 ! 1238 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL10c28-OR6-relation for digits: 1, 2 and 3
in cells (marked #): (r2c7 r2c2 r1c4 r1c7 r1c1 r6c4 r4c4 r5c5 r5c7 r5c2)
with 6 guardians (in cells marked @) : n7r2c7 n8r2c7 n5r1c7 n7r4c4 n9r5c5 n7r5c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378#@ 1238 378 !
! 8 5 123 ! 6 7 123 ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123 4 6 ! 1237#@ 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 1237#@ 123 6 !
! 7 9 123 ! 123# 6 5 ! 1238 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL13c179-OR3-relation for digits: 1, 2 and 3
in cells (marked #): (r6c8 r6c4 r6c3 r5c8 r5c5 r5c2 r1c4 r1c1 r3c6 r3c3 r2c8 r2c5 r2c2)
with 3 guardians (in cells marked @) : n8r6c8 n9r5c5 n8r2c8
+----------------------+----------------------+----------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238#@ 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------+----------------------+----------------------+
! 123 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 1237 123# 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
EL13c179-OR5-relation for digits: 1, 2 and 3
in cells (marked #): (r6c7 r6c4 r6c3 r5c7 r5c5 r5c2 r1c4 r1c1 r3c6 r3c3 r2c7 r2c5 r2c2)
with 5 guardians (in cells marked @) : n8r6c7 n7r5c7 n9r5c5 n7r2c7 n8r2c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL13c179-OR8-relation for digits: 1, 2 and 3
in cells (marked #): (r5c7 r5c6 r5c2 r4c7 r4c4 r4c1 r3c6 r3c3 r2c5 r2c2 r1c7 r1c4 r1c1)
with 8 guardians (in cells marked @) : n7r5c7 n4r5c6 n7r5c6 n5r4c7 n7r4c7 n9r4c7 n7r4c4 n5r1c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239 12347#@ ! 1237#@ 123 6 !
! 7 9 123 ! 123 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL13c30-OR5-relation for digits: 1, 2 and 3
in cells (marked #): (r4c4 r4c1 r6c7 r6c4 r6c3 r1c4 r1c1 r3c7 r3c6 r3c3 r2c7 r2c5 r2c2)
with 5 guardians (in cells marked @) : n7r4c4 n8r6c7 n9r3c7 n7r2c7 n8r2c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579 1235 3579 !
! 5 123 8 ! 123479 1239 12347 ! 1237 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL13c30-OR8-relation for digits: 1, 2 and 3
in cells (marked #): (r4c4 r4c1 r5c7 r5c4 r5c2 r1c4 r1c1 r2c7 r2c5 r2c2 r3c7 r3c6 r3c3)
with 8 guardians (in cells marked @) : n7r4c4 n7r5c7 n4r5c4 n7r5c4 n9r5c4 n7r2c7 n8r2c7 n9r3c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479#@ 1239 12347 ! 1237#@ 123 6 !
! 7 9 123 ! 123 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL13c234-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r3c3 r2c8 r2c2 r1c4 r1c1 r4c8 r4c1 r6c4 r6c8 r6c3 r5c4 r5c7 r5c2)
with 7 guardians (in cells marked @) : n8r2c8 n5r4c8 n8r6c8 n4r5c4 n7r5c4 n9r5c4 n7r5c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378 1238#@ 378 !
! 8 5 123# ! 6 7 123 ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579 1235#@ 3579 !
! 5 123# 8 ! 123479#@ 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL13c234-OR6-relation for digits: 1, 2 and 3
in cells (marked #): (r2c2 r3c6 r3c3 r1c7 r1c1 r4c6 r4c1 r5c7 r5c6 r5c2 r6c7 r6c4 r6c3)
with 6 guardians (in cells marked @) : n5r1c7 n7r4c6 n7r5c7 n4r5c6 n7r5c6 n8r6c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347#@ ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL13c176-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r1c7 r1c4 r1c1 r3c7 r3c6 r3c3 r6c4 r6c3 r5c5 r5c2 r4c7 r4c4 r4c1)
with 7 guardians (in cells marked @) : n5r1c7 n9r3c7 n9r5c5 n5r4c7 n7r4c7 n9r4c7 n7r4c4
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 1237 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL10c6-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r1c7 r1c1 r1c4 r6c4 r4c7 r4c1 r4c4 r5c7 r5c2 r5c5)
with 7 guardians (in cells marked @) : n5r1c7 n5r4c7 n7r4c7 n9r4c7 n7r4c4 n7r5c7 n9r5c5
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123 ! 6 7 123 ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 1237#@ 123 6 !
! 7 9 123 ! 123# 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL10c6-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r1c4 r1c1 r1c7 r5c7 r4c4 r4c1 r4c7 r6c4 r6c3 r6c8)
with 7 guardians (in cells marked @) : n5r1c7 n7r5c7 n7r4c4 n5r4c7 n7r4c7 n9r4c7 n8r6c8
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123 ! 6 7 123 ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579#@ 1235 3579 !
! 5 123 8 ! 123479 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL13c259s-OR4-relation for digits: 1, 2 and 3
in cells (marked #): (r7c3 r7c6 r7c5 r2c5 r3c3 r3c6 r1c1 r1c4 r6c3 r4c1 r5c2 r5c6 r5c5)
with 4 guardians (in cells marked @) : n5r7c3 n4r5c6 n7r5c6 n9r5c5
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347#@ ! 1237 123 6 !
! 7 9 123# ! 123 6 5 ! 1238 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235#@ ! 1238 123# 123# ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL13c259s-OR4-relation for digits: 1, 2 and 3
in cells (marked #): (r7c3 r7c6 r7c4 r1c4 r3c3 r3c6 r2c2 r2c5 r6c3 r5c2 r4c1 r4c6 r4c4)
with 4 guardians (in cells marked @) : n5r7c3 n8r7c4 n7r4c6 n7r4c4
+----------------------+----------------------+----------------------+
! 123 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------+----------------------+----------------------+
! 123# 4 6 ! 1237#@ 8 1237#@ ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237 123 6 !
! 7 9 123# ! 123 6 5 ! 1238 1238 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235#@ ! 1238#@ 123 123# ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
EL13c259-OR6-relation for digits: 1, 2 and 3
in cells (marked #): (r1c4 r3c3 r3c6 r2c8 r2c2 r2c5 r6c3 r5c8 r5c2 r5c4 r4c8 r4c1 r4c4)
with 6 guardians (in cells marked @) : n8r2c8 n4r5c4 n7r5c4 n9r5c4 n5r4c8 n7r4c4
+----------------------------+----------------------------+----------------------------+
! 123 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238#@ 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579 1235#@ 3579 !
! 5 123# 8 ! 123479#@ 1239 12347 ! 1237 123# 6 !
! 7 9 123# ! 123 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL13c259-OR6-relation for digits: 1, 2 and 3
in cells (marked #): (r1c4 r2c2 r2c5 r3c7 r3c3 r3c6 r5c2 r6c7 r6c3 r6c4 r4c7 r4c1 r4c4)
with 6 guardians (in cells marked @) : n9r3c7 n8r6c7 n5r4c7 n7r4c7 n9r4c7 n7r4c4
+----------------------------+----------------------------+----------------------------+
! 123 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL10c8-OR8-relation for digits: 1, 2 and 3
in cells (marked #): (r3c7 r3c6 r3c3 r6c3 r5c7 r5c6 r5c2 r4c7 r4c6 r4c1)
with 8 guardians (in cells marked @) : n9r3c7 n7r5c7 n4r5c6 n7r5c6 n5r4c7 n7r4c7 n9r4c7 n7r4c6
+----------------------------+----------------------------+----------------------------+
! 123 7 9 ! 123 4 8 ! 1235 6 35 !
! 6 123 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239 12347#@ ! 1237#@ 123 6 !
! 7 9 123# ! 123 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL10c8-OR6-relation for digits: 1, 2 and 3
in cells (marked #): (r1c7 r1c4 r1c1 r4c1 r6c7 r6c4 r6c3 r5c7 r5c4 r5c2)
with 6 guardians (in cells marked @) : n5r1c7 n8r6c7 n7r5c7 n4r5c4 n7r5c4 n9r5c4
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123 ! 6 7 123 ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479#@ 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL13c172-OR8-relation for digits: 1, 2 and 3
in cells (marked #): (r1c7 r1c4 r1c1 r3c7 r3c6 r3c3 r6c4 r6c3 r5c6 r5c2 r4c7 r4c4 r4c1)
with 8 guardians (in cells marked @) : n5r1c7 n9r3c7 n4r5c6 n7r5c6 n5r4c7 n7r4c7 n9r4c7 n7r4c4
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239 12347#@ ! 1237 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL14c19-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r6c3 r5c8 r5c7 r5c2 r4c6 r4c7 r4c1 r3c6 r3c3 r1c4 r1c1 r2c5 r2c7 r2c2)
with 7 guardians (in cells marked @) : n7r5c7 n7r4c6 n5r4c7 n7r4c7 n9r4c7 n7r2c7 n8r2c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237#@ 123# 6 !
! 7 9 123# ! 123 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL14c19-OR4-relation for digits: 1, 2 and 3
in cells (marked #): (r6c3 r5c7 r5c8 r5c2 r4c6 r4c8 r4c1 r3c6 r3c3 r1c4 r1c1 r2c5 r2c8 r2c2)
with 4 guardians (in cells marked @) : n7r5c7 n7r4c6 n5r4c8 n8r2c8
+----------------------+----------------------+----------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238#@ 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------+----------------------+----------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579 1235#@ 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237#@ 123# 6 !
! 7 9 123# ! 123 6 5 ! 1238 1238 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
EL14c19-OR8-relation for digits: 1, 2 and 3
in cells (marked #): (r6c3 r4c8 r4c7 r4c1 r5c6 r5c7 r5c2 r3c6 r3c3 r2c5 r2c2 r1c4 r1c7 r1c1)
with 8 guardians (in cells marked @) : n5r4c8 n5r4c7 n7r4c7 n9r4c7 n4r5c6 n7r5c6 n7r5c7 n5r1c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579#@ 1235#@ 3579 !
! 5 123# 8 ! 123479 1239 12347#@ ! 1237#@ 123 6 !
! 7 9 123# ! 123 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL14c19-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r4c1 r6c8 r6c7 r6c3 r5c4 r5c7 r5c2 r1c4 r1c1 r2c5 r2c2 r3c6 r3c7 r3c3)
with 7 guardians (in cells marked @) : n8r6c8 n8r6c7 n4r5c4 n7r5c4 n9r5c4 n7r5c7 n9r3c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479#@ 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123 6 5 ! 1238#@ 1238#@ 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL14c19-OR4-relation for digits: 1, 2 and 3
in cells (marked #): (r4c1 r5c8 r5c7 r5c2 r6c4 r6c7 r6c3 r1c4 r1c1 r3c6 r3c3 r2c5 r2c7 r2c2)
with 4 guardians (in cells marked @) : n7r5c7 n8r6c7 n7r2c7 n8r2c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237#@ 123# 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL14c19-OR3-relation for digits: 1, 2 and 3
in cells (marked #): (r4c1 r5c7 r5c8 r5c2 r6c4 r6c8 r6c3 r1c4 r1c1 r3c6 r3c3 r2c5 r2c8 r2c2)
with 3 guardians (in cells marked @) : n7r5c7 n8r6c8 n8r2c8
+----------------------+----------------------+----------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238#@ 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------+----------------------+----------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237#@ 123# 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
EL13c168-OR6-relation for digits: 1, 2 and 3
in cells (marked #): (r1c7 r1c4 r1c1 r2c7 r2c5 r2c2 r4c1 r5c7 r5c5 r5c2 r6c8 r6c4 r6c3)
with 6 guardians (in cells marked @) : n5r1c7 n7r2c7 n8r2c7 n7r5c7 n9r5c5 n8r6c8
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123 ! 6 7 123 ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL10c1-OR6-relation for digits: 1, 2 and 3
in cells (marked #): (r1c1 r1c4 r1c7 r5c7 r6c4 r6c8 r6c7 r4c1 r4c6 r4c4)
with 6 guardians (in cells marked @) : n5r1c7 n7r5c7 n8r6c8 n8r6c7 n7r4c6 n7r4c4
+----------------------+----------------------+----------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123 ! 6 7 123 ! 1239 4 39 !
+----------------------+----------------------+----------------------+
! 123# 4 6 ! 1237#@ 8 1237#@ ! 123579 1235 3579 !
! 5 123 8 ! 123479 1239 12347 ! 1237#@ 123 6 !
! 7 9 123 ! 123# 6 5 ! 1238#@ 1238#@ 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
EL12c26-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r6c4 r6c7 r6c3 r5c4 r5c8 r5c2 r1c4 r1c7 r1c1 r2c5 r2c7 r2c2)
with 7 guardians (in cells marked @) : n8r6c7 n4r5c4 n7r5c4 n9r5c4 n5r1c7 n7r2c7 n8r2c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123 ! 6 7 123 ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479#@ 1239 12347 ! 1237 123# 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL12c26-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r5c4 r5c7 r5c2 r6c4 r6c8 r6c3 r1c4 r1c7 r1c1 r3c6 r3c7 r3c3)
with 7 guardians (in cells marked @) : n4r5c4 n7r5c4 n9r5c4 n7r5c7 n8r6c8 n5r1c7 n9r3c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479#@ 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL12c25-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r4c4 r4c7 r4c1 r6c4 r6c8 r6c3 r1c4 r1c7 r1c1 r3c6 r3c7 r3c3)
with 7 guardians (in cells marked @) : n7r4c4 n5r4c7 n7r4c7 n9r4c7 n8r6c8 n5r1c7 n9r3c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579#@ 1235 3579 !
! 5 123 8 ! 123479 1239 12347 ! 1237 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL13c29-OR8-relation for digits: 1, 2 and 3
in cells (marked #): (r3c7 r3c3 r1c4 r1c7 r1c1 r6c7 r6c3 r4c4 r4c8 r4c1 r5c4 r5c8 r5c2)
with 8 guardians (in cells marked @) : n9r3c7 n5r1c7 n8r6c7 n7r4c4 n5r4c8 n4r5c4 n7r5c4 n9r5c4
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123 ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579 1235#@ 3579 !
! 5 123# 8 ! 123479#@ 1239 12347 ! 1237 123# 6 !
! 7 9 123# ! 123 6 5 ! 1238#@ 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL13c29-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r2c7 r2c2 r1c4 r1c7 r1c1 r5c7 r5c2 r4c4 r4c8 r4c1 r6c4 r6c8 r6c3)
with 7 guardians (in cells marked @) : n7r2c7 n8r2c7 n5r1c7 n7r5c7 n7r4c4 n5r4c8 n8r6c8
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378#@ 1238 378 !
! 8 5 123 ! 6 7 123 ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579 1235#@ 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL14c152-OR8-relation for digits: 1, 2 and 3
in cells (marked #): (r4c6 r4c1 r6c4 r6c3 r5c7 r5c6 r5c2 r3c6 r3c3 r1c7 r1c1 r2c8 r2c7 r2c2)
with 8 guardians (in cells marked @) : n7r4c6 n7r5c7 n4r5c6 n7r5c6 n5r1c7 n8r2c8 n7r2c7 n8r2c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378#@ 1238#@ 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347#@ ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL14c17-OR8-relation for digits: 1, 2 and 3
in cells (marked #): (r1c1 r2c8 r2c7 r2c2 r3c6 r3c7 r3c3 r4c6 r4c1 r5c6 r5c7 r5c2 r6c4 r6c3)
with 8 guardians (in cells marked @) : n8r2c8 n7r2c7 n8r2c7 n9r3c7 n7r4c6 n4r5c6 n7r5c6 n7r5c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378#@ 1238#@ 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347#@ ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL14c14-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r6c3 r4c6 r4c4 r4c1 r5c7 r5c4 r5c2 r1c4 r1c1 r2c5 r2c2 r3c7 r3c6 r3c3)
with 7 guardians (in cells marked @) : n7r4c6 n7r4c4 n7r5c7 n4r5c4 n7r5c4 n9r5c4 n9r3c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237#@ ! 123579 1235 3579 !
! 5 123# 8 ! 123479#@ 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL14c7-OR4-relation for digits: 1, 2 and 3
in cells (marked #): (r4c1 r5c7 r5c8 r5c2 r6c4 r6c8 r6c3 r2c2 r1c4 r1c7 r1c1 r3c6 r3c7 r3c3)
with 4 guardians (in cells marked @) : n7r5c7 n8r6c8 n5r1c7 n9r3c7
+----------------------+----------------------+----------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------+----------------------+----------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237#@ 123# 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
EL14c3-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r2c5 r3c3 r3c6 r1c7 r1c1 r1c4 r4c7 r4c1 r5c7 r5c2 r5c5 r6c8 r6c3 r6c4)
with 7 guardians (in cells marked @) : n5r1c7 n5r4c7 n7r4c7 n9r4c7 n7r5c7 n9r5c5 n8r6c8
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL14c2-OR5-relation for digits: 1, 2 and 3
in cells (marked #): (r2c2 r3c6 r3c3 r1c7 r1c4 r1c1 r5c7 r5c2 r6c7 r6c4 r6c3 r4c8 r4c6 r4c1)
with 5 guardians (in cells marked @) : n5r1c7 n7r5c7 n8r6c7 n5r4c8 n7r4c6
+----------------------+----------------------+----------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239 4 39 !
+----------------------+----------------------+----------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579 1235#@ 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+----------------------+----------------------+----------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------+----------------------+----------------------+
EL14c2-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r2c2 r1c4 r1c1 r3c7 r3c6 r3c3 r5c7 r5c2 r4c7 r4c6 r4c1 r6c8 r6c4 r6c3)
with 7 guardians (in cells marked @) : n9r3c7 n7r5c7 n5r4c7 n7r4c7 n9r4c7 n7r4c6 n8r6c8
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237#@ ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239 12347 ! 1237#@ 123 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL15c89-OR6-relation for digits: 1, 2 and 3
in cells (marked #): (r1c4 r1c1 r2c5 r2c2 r3c7 r3c6 r3c3 r4c7 r4c1 r6c7 r6c4 r6c3 r5c8 r5c5 r5c2)
with 6 guardians (in cells marked @) : n9r3c7 n5r4c7 n7r4c7 n9r4c7 n8r6c7 n9r5c5
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 1237 123# 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL15c64-OR8-relation for digits: 1, 2 and 3
in cells (marked #): (r6c3 r4c7 r4c4 r4c1 r5c8 r5c6 r5c2 r1c4 r1c1 r3c7 r3c6 r3c3 r2c8 r2c5 r2c2)
with 8 guardians (in cells marked @) : n5r4c7 n7r4c7 n9r4c7 n7r4c4 n4r5c6 n7r5c6 n9r3c7 n8r2c8
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238#@ 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239 12347#@ ! 1237 123# 6 !
! 7 9 123# ! 123 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL15c62-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r1c4 r3c7 r3c3 r3c6 r2c8 r2c2 r2c5 r6c3 r6c4 r4c7 r4c1 r4c4 r5c8 r5c2 r5c5)
with 7 guardians (in cells marked @) : n9r3c7 n8r2c8 n5r4c7 n7r4c7 n9r4c7 n7r4c4 n9r5c5
+----------------------------+----------------------------+----------------------------+
! 123 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238#@ 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123# 4 6 ! 1237#@ 8 1237 ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 1237 123# 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL15c60-OR5-relation for digits: 1, 2 and 3
in cells (marked #): (r4c1 r6c7 r6c4 r6c3 r5c8 r5c5 r5c2 r1c4 r1c1 r2c7 r2c5 r2c2 r3c7 r3c6 r3c3)
with 5 guardians (in cells marked @) : n8r6c7 n9r5c5 n7r2c7 n8r2c7 n9r3c7
+-------------------------+-------------------------+-------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378#@ 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+-------------------------+-------------------------+-------------------------+
! 123# 4 6 ! 1237 8 1237 ! 123579 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 1237 123# 6 !
! 7 9 123# ! 123# 6 5 ! 1238#@ 1238 4 !
+-------------------------+-------------------------+-------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+-------------------------+-------------------------+-------------------------+
EL15c59-OR7-relation for digits: 1, 2 and 3
in cells (marked #): (r4c7 r5c5 r5c2 r5c8 r6c4 r6c3 r6c8 r2c5 r2c2 r1c4 r1c1 r1c7 r3c6 r3c3 r3c7)
with 7 guardians (in cells marked @) : n5r4c7 n7r4c7 n9r4c7 n9r5c5 n8r6c8 n5r1c7 n9r3c7
+----------------------------+----------------------------+----------------------------+
! 123# 7 9 ! 123# 4 8 ! 1235#@ 6 35 !
! 6 123# 4 ! 5 123# 9 ! 12378 1238 378 !
! 8 5 123# ! 6 7 123# ! 1239#@ 4 39 !
+----------------------------+----------------------------+----------------------------+
! 123 4 6 ! 1237 8 1237 ! 123579#@ 1235 3579 !
! 5 123# 8 ! 123479 1239#@ 12347 ! 1237 123# 6 !
! 7 9 123# ! 123# 6 5 ! 1238 1238#@ 4 !
+----------------------------+----------------------------+----------------------------+
! 9 6 1235 ! 1238 123 123 ! 4 7 358 !
! 134 138 1357 ! 134789 139 13467 ! 3568 358 2 !
! 234 238 237 ! 23478 5 23467 ! 368 9 1 !
+----------------------------+----------------------------+----------------------------+
EL14c19-OR3-whip[3]: OR3{{n8r2c8 n8r6c8 | n7r5c7}} - r2n7{c7 c9} - c9n8{r2 .} ==> r8c8≠8
Entering_level_L4_with_<Fact-10849>
Trid-OR2-ctr-whip[4]: c4n9{r8 r5} - c4n4{r5 r9} - c4n7{r9 r4} - OR2{{n9r5c5 n7r4c6 | .}} ==> r8c4≠8
Trid-OR2-ctr-whip[4]: c4n9{r8 r5} - c4n4{r5 r9} - c4n7{r9 r4} - OR2{{n9r5c5 n7r4c6 | .}} ==> r8c4≠3
Trid-OR2-ctr-whip[4]: c4n9{r8 r5} - c4n4{r5 r9} - c4n7{r9 r4} - OR2{{n9r5c5 n7r4c6 | .}} ==> r8c4≠1
EL14c19-OR4-whip[4]: c9n8{r7 r2} - c9n7{r2 r4} - OR4{{n7r4c6 n7r5c7 n8r2c8 | n5r4c8}} - r8c8{n5 .} ==> r7c9≠3
biv-chain[3]: r8c8{n3 n5} - r7c9{n5 n8} - r8n8{c7 c2} ==> r8c2≠3
z-chain[3]: r7n3{c6 c3} - c3n5{r7 r8} - r8c8{n5 .} ==> r8c6≠3, r8c5≠3
biv-chain[4]: c3n7{r9 r8} - b7n5{r8c3 r7c3} - r7c9{n5 n8} - b8n8{r7c4 r9c4} ==> r9c4≠7
z-chain[3]: b8n7{r9c6 r8c4} - c4n9{r8 r5} - r5n4{c4 .} ==> r5c6≠7
Trid-OR2-ctr-whip[3]: c4n9{r8 r5} - c4n7{r5 r4} - OR2{{n7r4c6 n9r5c5 | .}} ==> r8c4≠4
biv-chain[4]: r8c5{n1 n9} - c4n9{r8 r5} - c4n4{r5 r9} - b8n8{r9c4 r7c4} ==> r7c4≠1
biv-chain[4]: r8c5{n1 n9} - c4n9{r8 r5} - c4n4{r5 r9} - b7n4{r9c1 r8c1} ==> r8c1≠1
finned-x-wing-in-columns: n1{c1 c4}{r1 r4} ==> r4c6≠1
z-chain[4]: r8c4{n7 n9} - r8c5{n9 n1} - b7n1{r8c2 r7c3} - c3n5{r7 .} ==> r8c3≠7
hidden-single-in-a-block ==> r9c3=7
biv-chain[3]: b8n7{r8c6 r8c4} - c4n9{r8 r5} - c4n4{r5 r9} ==> r8c6≠4
hidden-single-in-a-row ==> r8c1=4
biv-chain[4]: c9n8{r7 r2} - c9n7{r2 r4} - c6n7{r4 r8} - r8n6{c6 c7} ==> r8c7≠8
hidden-single-in-a-row ==> r8c2=8
whip[1]: b7n1{r8c3 .} ==> r3c3≠1, r6c3≠1
naked-pairs-in-a-column: c3{r3 r6}{n2 n3} ==> r8c3≠3, r7c3≠3, r7c3≠2
whip[1]: r7n2{c6 .} ==> r9c4≠2, r9c6≠2
whip[1]: r7n3{c6 .} ==> r9c4≠3, r9c6≠3
whip[1]: b7n3{r9c2 .} ==> r9c7≠3
finned-x-wing-in-columns: n1{c2 c8}{r2 r5} ==> r5c7≠1
biv-chain[4]: r9c6{n6 n4} - b5n4{r5c6 r5c4} - c4n9{r5 r8} - r8n7{c4 c6} ==> r8c6≠6
stte