Edge template VII1a - Revision history

Comonoid: update the .hdg file

2024-06-27T20:00:49Z

update the .hdg file

Selinger: Added a section title

2024-06-07T09:45:01Z

Added a section title

Comonoid: Add .hdg file

2024-06-04T17:59:29Z

Add .hdg file

Comonoid: wording

2024-06-04T17:49:35Z

wording

Comonoid: fix link title

2024-06-04T17:35:37Z

fix link title

Comonoid: fix link

2024-06-04T17:34:53Z

fix link

Comonoid: Added bobson's hexprover proof, added two possible lines

2024-06-04T17:32:09Z

Added bobson's hexprover proof, added two possible lines

Selinger: A page for template VII-1a

2023-11-18T13:47:56Z

A page for template VII-1a

New page

Template VII-1a is a 7th row [[edge template]] with one stone.

<hexboard size="7x17"
coords="none"
edges="bottom"
visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
contents="R l1"
/>

This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.

[[category:edge templates]]

@@ Line 10: / Line 10: @@
 This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.
-The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 in the Hex Discord server on Jun 4, 2024) and viewed in HexProver. The [https://web.archive.org/web/20240604175738/https://cdn.discordapp.com/attachments/964029738161176630/1180149066726903879/VIItest2.hdg?ex=666071f7&is=665f2077&hm=e81eddc5b4bdba46111bd58e1b9f2ed692e6e08b7a3dee2fe655adf346dd05ec& VIItest2.hdg] file is additionally required.
+The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 in the Hex Discord server on Jun 4, 2024) and viewed in HexProver. The [https://web.archive.org/web/20240627114530/https://cdn.discordapp.com/attachments/964029738161176630/1255850706309611551/VIItest2.hdg?ex=667ea19c&is=667d501c&hm=623c912e095778202aee54e261f16e741a45218e85a1c12d76aa4a4b88305244& VIItest2.hdg] file is additionally required.
 == Defending the template ==

← Older revision		Revision as of 09:45, 7 June 2024
Line 11:		Line 11:

	The template has also been verified by [[User:Bobson8\|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 in the Hex Discord server on Jun 4, 2024) and viewed in HexProver. The [https://web.archive.org/web/20240604175738/https://cdn.discordapp.com/attachments/964029738161176630/1180149066726903879/VIItest2.hdg?ex=666071f7&is=665f2077&hm=e81eddc5b4bdba46111bd58e1b9f2ed692e6e08b7a3dee2fe655adf346dd05ec& VIItest2.hdg] file is additionally required.		The template has also been verified by [[User:Bobson8\|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 in the Hex Discord server on Jun 4, 2024) and viewed in HexProver. The [https://web.archive.org/web/20240604175738/https://cdn.discordapp.com/attachments/964029738161176630/1180149066726903879/VIItest2.hdg?ex=666071f7&is=665f2077&hm=e81eddc5b4bdba46111bd58e1b9f2ed692e6e08b7a3dee2fe655adf346dd05ec& VIItest2.hdg] file is additionally required.
		+
		+	== Defending the template ==

	This template is too complex to be described in full, however, some of the possible lines include:		This template is too complex to be described in full, however, some of the possible lines include:

@@ Line 10: / Line 10: @@
 This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.
-The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 in the Hex Discord server on Jun 4, 2024) and viewed in HexProver.
+The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 in the Hex Discord server on Jun 4, 2024) and viewed in HexProver. The [https://web.archive.org/web/20240604175738/https://cdn.discordapp.com/attachments/964029738161176630/1180149066726903879/VIItest2.hdg?ex=666071f7&is=665f2077&hm=e81eddc5b4bdba46111bd58e1b9f2ed692e6e08b7a3dee2fe655adf346dd05ec& VIItest2.hdg] file is additionally required.
 This template is too complex to be described in full, however, some of the possible lines include:

@@ Line 10: / Line 10: @@
 This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.
-The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 on the Hex Discord at Jun 4, 2024) and viewed in HexProver.
+The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 in the Hex Discord server on Jun 4, 2024) and viewed in HexProver.
 This template is too complex to be described in full, however, some of the possible lines include:

@@ Line 10: / Line 10: @@
 This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.
-The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19&] (shared by Bobson8 on the Hex Discord at Jun 4, 2024) and viewed in HexProver.
+The template has also been verified by [[User:Bobson8|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/web/20240604170705/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 on the Hex Discord at Jun 4, 2024) and viewed in HexProver.
 This template is too complex to be described in full, however, some of the possible lines include:

← Older revision		Revision as of 17:32, 4 June 2024
Line 9:		Line 9:

	This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums\|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.		This template has width 17, and its [[carrier]] has size 84, including the red stone. It was one of three templates that were discovered and verified by a collaborations of several users on the [[Hex forums\|Hex Discord]] in October and November 2023. See [[Seventh row template problem]] for more information on the discovery of this template.
		+
		+	The template has also been verified by [[User:Bobson8\|Bobson8]] in the [[HexProver]] tool. The proof can be downloaded at [https://web.archive.org/save/https://cdn.discordapp.com/attachments/964029738161176630/1247583327829885059/VIItest2_1.hpf?ex=66608e04&is=665f3c84&hm=de7c1c1f9a64bd770c88c1bcd5cde9309c82c6e8280e67ca8159db6d73733f19& VIItest2_1.hpf] (shared by Bobson8 on the Hex Discord at Jun 4, 2024) and viewed in HexProver.
		+
		+	This template is too complex to be described in full, however, some of the possible lines include:
		+
		+	Blue's [[Blocking\|adjacent block]] may continue as follows ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m12h15h16i15i16j15j16k15k16m15l15m13m14o13 HexWorld]):
		+
		+	<hexboard size="7x17"
		+	coords="none"
		+	edges="bottom"
		+	visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
		+	contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m2 R 14:h5 B 15:h6 R 16:i5 B 17:i6 R 18:j5 B 19:j6 R 20:k5 B 21:k6 R 22:m5 B 23:l5 R 24:m3 B 25:m4 R 26:o3"
		+	/>
		+
		+	Another continuation of the adjacent block, involving the [[Tom's move#Tall variant\|tall variant]] of Tom's move ([https://hexworld.org/board/#17,:pa16:pb15:pc14:pd14:pe13:pf12:pg12:ph11:pi11:pj10:pk10:pq14:pq13:pq12:pp12:pp11:po11:po10:pn10:pm10l11l12j12k12k11i14h13g14h14g16j13j14n12m13l13k15m12n13h15h16j15i17j16j17k16k17n15m16l16l17o13n16p15 HexWorld]):
		+
		+	<hexboard size="7x17"
		+	coords="none"
		+	edges="bottom"
		+	visible="area(a7,q7,q5,p3,n1,j1,f3,c5)"
		+	contents="R l1 B 1:l2 R 2:j2 B 3:k2 R 4:k1 B 5:i4 R 6:h3 B 7:g4 R 8:h4 B 9:g6 R 10:j3 B 11:j4 R 12:n2 B 13:m3 R 14:l3 B 15:k5 R 16:m2 B 17:n3 R 18:h5 B 19:h6 R 20:j5 B 21:i7 R 22:j6 B 23:j7 R 24:k6 B 25:k7 R 26:n5 B 27:m6 R 28:l6 B 29:l7 R 30:o3 B 31:n6 R 32:p5"
		+	/>

	[[category:edge templates]]		[[category:edge templates]]