12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 08, 2024
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 19:18, 10 August 2009
, 19:18, 10 August 2009+ document history
==Document History==
<pre>
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Propositional Equation Reasoning Systems -- 2001
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
PERS. Propositional Equation Reasoning Systems
Version 1. SUO List
01. http://suo.ieee.org/email/msg04187.html
02. http://suo.ieee.org/email/msg04305.html
03. http://suo.ieee.org/email/msg04413.html
04. http://suo.ieee.org/email/msg04419.html
05. http://suo.ieee.org/email/msg04422.html
06. http://suo.ieee.org/email/msg04423.html
07. http://suo.ieee.org/email/msg04432.html
08. http://suo.ieee.org/email/msg04454.html
09. http://suo.ieee.org/email/msg04455.html
10. http://suo.ieee.org/email/msg04476.html
11. http://suo.ieee.org/email/msg04510.html
12. http://suo.ieee.org/email/msg04517.html
13. http://suo.ieee.org/email/msg04525.html
14. http://suo.ieee.org/email/msg04533.html
15. http://suo.ieee.org/email/msg04536.html
16. http://suo.ieee.org/email/msg04542.html
17. http://suo.ieee.org/email/msg04546.html
Version 1. Ontology List
01. http://suo.ieee.org/ontology/msg01779.html
02. http://suo.ieee.org/ontology/msg01897.html
03. http://suo.ieee.org/ontology/msg02005.html
04. http://suo.ieee.org/ontology/msg02011.html
05. http://suo.ieee.org/ontology/msg02014.html
06. http://suo.ieee.org/ontology/msg02015.html
07. http://suo.ieee.org/ontology/msg02024.html
08. http://suo.ieee.org/ontology/msg02046.html
09. http://suo.ieee.org/ontology/msg02047.html
10. http://suo.ieee.org/ontology/msg02068.html
11. http://suo.ieee.org/ontology/msg02102.html
12. http://suo.ieee.org/ontology/msg02109.html
13. http://suo.ieee.org/ontology/msg02117.html
14. http://suo.ieee.org/ontology/msg02125.html
15. http://suo.ieee.org/ontology/msg02128.html
16. http://suo.ieee.org/ontology/msg02134.html
17. http://suo.ieee.org/ontology/msg02138.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Propositional Equation Reasoning Systems -- 2003
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
PERS. Propositional Equation Reasoning Systems
Version 2. Ontology List
00. http://suo.ieee.org/ontology/thrd17.html#04522
00. http://suo.ieee.org/ontology/thrd17.html#04532
01. http://suo.ieee.org/ontology/msg04522.html
02. http://suo.ieee.org/ontology/msg04523.html
03. http://suo.ieee.org/ontology/msg04524.html
04. http://suo.ieee.org/ontology/msg04525.html
05. http://suo.ieee.org/ontology/msg04526.html
06. http://suo.ieee.org/ontology/msg04527.html
07. http://suo.ieee.org/ontology/msg04528.html
08. http://suo.ieee.org/ontology/msg04529.html
09. http://suo.ieee.org/ontology/msg04530.html
10. http://suo.ieee.org/ontology/msg04531.html
11. http://suo.ieee.org/ontology/msg04532.html
12. http://suo.ieee.org/ontology/msg04533.html
13. http://suo.ieee.org/ontology/msg04534.html
14. http://suo.ieee.org/ontology/msg04536.html
15. http://suo.ieee.org/ontology/msg04537.html
16. http://suo.ieee.org/ontology/msg04538.html
Version 2. Arisbe List
01. http://stderr.org/pipermail/arisbe/2003-February/001541.html
02. http://stderr.org/pipermail/arisbe/2003-February/001542.html
03. http://stderr.org/pipermail/arisbe/2003-February/001543.html
04. http://stderr.org/pipermail/arisbe/2003-February/001544.html
05. http://stderr.org/pipermail/arisbe/2003-February/001545.html
06. http://stderr.org/pipermail/arisbe/2003-February/001546.html
07. http://stderr.org/pipermail/arisbe/2003-February/001547.html
08. http://stderr.org/pipermail/arisbe/2003-February/001548.html
09. http://stderr.org/pipermail/arisbe/2003-February/001549.html
10. http://stderr.org/pipermail/arisbe/2003-February/001550.html
11. http://stderr.org/pipermail/arisbe/2003-February/001552.html
12. http://stderr.org/pipermail/arisbe/2003-February/001553.html
13. http://stderr.org/pipermail/arisbe/2003-February/001554.html
14. http://stderr.org/pipermail/arisbe/2003-February/001555.html
15. http://stderr.org/pipermail/arisbe/2003-February/001557.html
16. http://stderr.org/pipermail/arisbe/2003-February/001559.html
Version 3. Inquiry List
00. http://stderr.org/pipermail/inquiry/2003-March/thread.html#126
01. http://stderr.org/pipermail/inquiry/2003-March/000126.html
02. http://stderr.org/pipermail/inquiry/2003-March/000127.html
03. http://stderr.org/pipermail/inquiry/2003-March/000128.html
04. http://stderr.org/pipermail/inquiry/2003-March/000129.html
05. http://stderr.org/pipermail/inquiry/2003-March/000130.html
06. http://stderr.org/pipermail/inquiry/2003-March/000131.html
07. http://stderr.org/pipermail/inquiry/2003-March/000132.html
08. http://stderr.org/pipermail/inquiry/2003-March/000133.html
09. http://stderr.org/pipermail/inquiry/2003-March/000134.html
10. http://stderr.org/pipermail/inquiry/2003-March/000135.html
11. http://stderr.org/pipermail/inquiry/2003-March/000136.html
12. http://stderr.org/pipermail/inquiry/2003-March/000137.html
13. http://stderr.org/pipermail/inquiry/2003-March/000138.html
14. http://stderr.org/pipermail/inquiry/2003-March/000139.html
15. http://stderr.org/pipermail/inquiry/2003-March/000140.html
16. http://stderr.org/pipermail/inquiry/2003-March/000141.html
17. http://stderr.org/pipermail/inquiry/2003-March/000142.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Propositional Equation Reasoning Systems -- 2004-2006
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
PERS. Propositional Equation Reasoning Systems
Version 4. NKS Forum
00. http://forum.wolframscience.com/showthread.php?threadid=297
01. http://forum.wolframscience.com/showthread.php?postid=950#post950
02. http://forum.wolframscience.com/showthread.php?postid=952#post952
03. http://forum.wolframscience.com/showthread.php?postid=953#post953
04. http://forum.wolframscience.com/showthread.php?postid=954#post954
05. http://forum.wolframscience.com/showthread.php?postid=957#post957
06. http://forum.wolframscience.com/showthread.php?postid=958#post958
07. http://forum.wolframscience.com/showthread.php?postid=959#post959
08. http://forum.wolframscience.com/showthread.php?postid=961#post961
09. http://forum.wolframscience.com/showthread.php?postid=962#post962
10. http://forum.wolframscience.com/showthread.php?postid=964#post964
11. http://forum.wolframscience.com/showthread.php?postid=965#post965
12. http://forum.wolframscience.com/showthread.php?postid=967#post967
13. http://forum.wolframscience.com/showthread.php?postid=968#post968
14. http://forum.wolframscience.com/showthread.php?postid=973#post973
15. http://forum.wolframscience.com/showthread.php?postid=976#post976
16. http://forum.wolframscience.com/showthread.php?postid=977#post977
17. http://forum.wolframscience.com/showthread.php?postid=981#post981
18. http://forum.wolframscience.com/showthread.php?postid=988#post988
19. http://forum.wolframscience.com/showthread.php?postid=990#post990
20. http://forum.wolframscience.com/showthread.php?postid=994#post994
21. http://forum.wolframscience.com/showthread.php?postid=1003#post1003
22. http://forum.wolframscience.com/showthread.php?postid=1005#post1005
23. http://forum.wolframscience.com/showthread.php?postid=1015#post1015
24. http://forum.wolframscience.com/showthread.php?postid=1022#post1022
25. http://forum.wolframscience.com/showthread.php?postid=1025#post1025
26. http://forum.wolframscience.com/showthread.php?postid=1031#post1031
27. http://forum.wolframscience.com/showthread.php?postid=1220#post1220
28. http://forum.wolframscience.com/showthread.php?postid=1224#post1224
29. http://forum.wolframscience.com/showthread.php?postid=1227#post1227
30. http://forum.wolframscience.com/showthread.php?postid=1228#post1228
31. http://forum.wolframscience.com/showthread.php?postid=1232#post1232
32. http://forum.wolframscience.com/showthread.php?postid=1249#post1249
33. http://forum.wolframscience.com/showthread.php?postid=1262#post1262
34. http://forum.wolframscience.com/showthread.php?postid=1265#post1265
35. http://forum.wolframscience.com/showthread.php?postid=1273#post1273
36.
Version 4. Inquiry List
00. http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341
00. http://stderr.org/pipermail/inquiry/2004-May/thread.html#1391
00. http://stderr.org/pipermail/inquiry/2006-January/thread.html#3364
01. http://stderr.org/pipermail/inquiry/2004-April/001341.html
02. http://stderr.org/pipermail/inquiry/2004-April/001342.html
03. http://stderr.org/pipermail/inquiry/2004-April/001343.html
04. http://stderr.org/pipermail/inquiry/2004-April/001344.html
05. http://stderr.org/pipermail/inquiry/2004-April/001345.html
06. http://stderr.org/pipermail/inquiry/2004-April/001346.html
07. http://stderr.org/pipermail/inquiry/2004-April/001347.html
08. http://stderr.org/pipermail/inquiry/2004-April/001348.html
09. http://stderr.org/pipermail/inquiry/2004-April/001349.html
10. http://stderr.org/pipermail/inquiry/2004-April/001350.html
11. http://stderr.org/pipermail/inquiry/2004-April/001351.html
12. http://stderr.org/pipermail/inquiry/2004-April/001352.html
13. http://stderr.org/pipermail/inquiry/2004-April/001353.html
14. http://stderr.org/pipermail/inquiry/2004-April/001354.html
15. http://stderr.org/pipermail/inquiry/2004-April/001355.html
16. http://stderr.org/pipermail/inquiry/2004-April/001356.html
17. http://stderr.org/pipermail/inquiry/2004-April/001357.html
18. http://stderr.org/pipermail/inquiry/2004-April/001358.html
19. http://stderr.org/pipermail/inquiry/2004-April/001359.html
20. http://stderr.org/pipermail/inquiry/2004-April/001360.html
21. http://stderr.org/pipermail/inquiry/2004-April/001361.html
22. http://stderr.org/pipermail/inquiry/2004-April/001362.html
23. http://stderr.org/pipermail/inquiry/2004-April/001363.html
24. http://stderr.org/pipermail/inquiry/2004-April/001364.html
25. http://stderr.org/pipermail/inquiry/2004-April/001365.html
26. http://stderr.org/pipermail/inquiry/2004-April/001366.html
27. http://stderr.org/pipermail/inquiry/2004-April/001389.html
28. http://stderr.org/pipermail/inquiry/2004-April/001390.html
29. http://stderr.org/pipermail/inquiry/2004-May/001391.html
30. http://stderr.org/pipermail/inquiry/2004-May/001392.html
31. http://stderr.org/pipermail/inquiry/2004-May/001393.html
32. http://stderr.org/pipermail/inquiry/2004-May/001394.html
33. http://stderr.org/pipermail/inquiry/2004-May/001395.html
34. http://stderr.org/pipermail/inquiry/2004-May/001396.html
35. http://stderr.org/pipermail/inquiry/2004-May/001398.html
36. http://stderr.org/pipermail/inquiry/2006-January/003364.html
37.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
</pre>
<pre>
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Propositional Equation Reasoning Systems -- 2001
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
PERS. Propositional Equation Reasoning Systems
Version 1. SUO List
01. http://suo.ieee.org/email/msg04187.html
02. http://suo.ieee.org/email/msg04305.html
03. http://suo.ieee.org/email/msg04413.html
04. http://suo.ieee.org/email/msg04419.html
05. http://suo.ieee.org/email/msg04422.html
06. http://suo.ieee.org/email/msg04423.html
07. http://suo.ieee.org/email/msg04432.html
08. http://suo.ieee.org/email/msg04454.html
09. http://suo.ieee.org/email/msg04455.html
10. http://suo.ieee.org/email/msg04476.html
11. http://suo.ieee.org/email/msg04510.html
12. http://suo.ieee.org/email/msg04517.html
13. http://suo.ieee.org/email/msg04525.html
14. http://suo.ieee.org/email/msg04533.html
15. http://suo.ieee.org/email/msg04536.html
16. http://suo.ieee.org/email/msg04542.html
17. http://suo.ieee.org/email/msg04546.html
Version 1. Ontology List
01. http://suo.ieee.org/ontology/msg01779.html
02. http://suo.ieee.org/ontology/msg01897.html
03. http://suo.ieee.org/ontology/msg02005.html
04. http://suo.ieee.org/ontology/msg02011.html
05. http://suo.ieee.org/ontology/msg02014.html
06. http://suo.ieee.org/ontology/msg02015.html
07. http://suo.ieee.org/ontology/msg02024.html
08. http://suo.ieee.org/ontology/msg02046.html
09. http://suo.ieee.org/ontology/msg02047.html
10. http://suo.ieee.org/ontology/msg02068.html
11. http://suo.ieee.org/ontology/msg02102.html
12. http://suo.ieee.org/ontology/msg02109.html
13. http://suo.ieee.org/ontology/msg02117.html
14. http://suo.ieee.org/ontology/msg02125.html
15. http://suo.ieee.org/ontology/msg02128.html
16. http://suo.ieee.org/ontology/msg02134.html
17. http://suo.ieee.org/ontology/msg02138.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Propositional Equation Reasoning Systems -- 2003
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
PERS. Propositional Equation Reasoning Systems
Version 2. Ontology List
00. http://suo.ieee.org/ontology/thrd17.html#04522
00. http://suo.ieee.org/ontology/thrd17.html#04532
01. http://suo.ieee.org/ontology/msg04522.html
02. http://suo.ieee.org/ontology/msg04523.html
03. http://suo.ieee.org/ontology/msg04524.html
04. http://suo.ieee.org/ontology/msg04525.html
05. http://suo.ieee.org/ontology/msg04526.html
06. http://suo.ieee.org/ontology/msg04527.html
07. http://suo.ieee.org/ontology/msg04528.html
08. http://suo.ieee.org/ontology/msg04529.html
09. http://suo.ieee.org/ontology/msg04530.html
10. http://suo.ieee.org/ontology/msg04531.html
11. http://suo.ieee.org/ontology/msg04532.html
12. http://suo.ieee.org/ontology/msg04533.html
13. http://suo.ieee.org/ontology/msg04534.html
14. http://suo.ieee.org/ontology/msg04536.html
15. http://suo.ieee.org/ontology/msg04537.html
16. http://suo.ieee.org/ontology/msg04538.html
Version 2. Arisbe List
01. http://stderr.org/pipermail/arisbe/2003-February/001541.html
02. http://stderr.org/pipermail/arisbe/2003-February/001542.html
03. http://stderr.org/pipermail/arisbe/2003-February/001543.html
04. http://stderr.org/pipermail/arisbe/2003-February/001544.html
05. http://stderr.org/pipermail/arisbe/2003-February/001545.html
06. http://stderr.org/pipermail/arisbe/2003-February/001546.html
07. http://stderr.org/pipermail/arisbe/2003-February/001547.html
08. http://stderr.org/pipermail/arisbe/2003-February/001548.html
09. http://stderr.org/pipermail/arisbe/2003-February/001549.html
10. http://stderr.org/pipermail/arisbe/2003-February/001550.html
11. http://stderr.org/pipermail/arisbe/2003-February/001552.html
12. http://stderr.org/pipermail/arisbe/2003-February/001553.html
13. http://stderr.org/pipermail/arisbe/2003-February/001554.html
14. http://stderr.org/pipermail/arisbe/2003-February/001555.html
15. http://stderr.org/pipermail/arisbe/2003-February/001557.html
16. http://stderr.org/pipermail/arisbe/2003-February/001559.html
Version 3. Inquiry List
00. http://stderr.org/pipermail/inquiry/2003-March/thread.html#126
01. http://stderr.org/pipermail/inquiry/2003-March/000126.html
02. http://stderr.org/pipermail/inquiry/2003-March/000127.html
03. http://stderr.org/pipermail/inquiry/2003-March/000128.html
04. http://stderr.org/pipermail/inquiry/2003-March/000129.html
05. http://stderr.org/pipermail/inquiry/2003-March/000130.html
06. http://stderr.org/pipermail/inquiry/2003-March/000131.html
07. http://stderr.org/pipermail/inquiry/2003-March/000132.html
08. http://stderr.org/pipermail/inquiry/2003-March/000133.html
09. http://stderr.org/pipermail/inquiry/2003-March/000134.html
10. http://stderr.org/pipermail/inquiry/2003-March/000135.html
11. http://stderr.org/pipermail/inquiry/2003-March/000136.html
12. http://stderr.org/pipermail/inquiry/2003-March/000137.html
13. http://stderr.org/pipermail/inquiry/2003-March/000138.html
14. http://stderr.org/pipermail/inquiry/2003-March/000139.html
15. http://stderr.org/pipermail/inquiry/2003-March/000140.html
16. http://stderr.org/pipermail/inquiry/2003-March/000141.html
17. http://stderr.org/pipermail/inquiry/2003-March/000142.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Propositional Equation Reasoning Systems -- 2004-2006
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
PERS. Propositional Equation Reasoning Systems
Version 4. NKS Forum
00. http://forum.wolframscience.com/showthread.php?threadid=297
01. http://forum.wolframscience.com/showthread.php?postid=950#post950
02. http://forum.wolframscience.com/showthread.php?postid=952#post952
03. http://forum.wolframscience.com/showthread.php?postid=953#post953
04. http://forum.wolframscience.com/showthread.php?postid=954#post954
05. http://forum.wolframscience.com/showthread.php?postid=957#post957
06. http://forum.wolframscience.com/showthread.php?postid=958#post958
07. http://forum.wolframscience.com/showthread.php?postid=959#post959
08. http://forum.wolframscience.com/showthread.php?postid=961#post961
09. http://forum.wolframscience.com/showthread.php?postid=962#post962
10. http://forum.wolframscience.com/showthread.php?postid=964#post964
11. http://forum.wolframscience.com/showthread.php?postid=965#post965
12. http://forum.wolframscience.com/showthread.php?postid=967#post967
13. http://forum.wolframscience.com/showthread.php?postid=968#post968
14. http://forum.wolframscience.com/showthread.php?postid=973#post973
15. http://forum.wolframscience.com/showthread.php?postid=976#post976
16. http://forum.wolframscience.com/showthread.php?postid=977#post977
17. http://forum.wolframscience.com/showthread.php?postid=981#post981
18. http://forum.wolframscience.com/showthread.php?postid=988#post988
19. http://forum.wolframscience.com/showthread.php?postid=990#post990
20. http://forum.wolframscience.com/showthread.php?postid=994#post994
21. http://forum.wolframscience.com/showthread.php?postid=1003#post1003
22. http://forum.wolframscience.com/showthread.php?postid=1005#post1005
23. http://forum.wolframscience.com/showthread.php?postid=1015#post1015
24. http://forum.wolframscience.com/showthread.php?postid=1022#post1022
25. http://forum.wolframscience.com/showthread.php?postid=1025#post1025
26. http://forum.wolframscience.com/showthread.php?postid=1031#post1031
27. http://forum.wolframscience.com/showthread.php?postid=1220#post1220
28. http://forum.wolframscience.com/showthread.php?postid=1224#post1224
29. http://forum.wolframscience.com/showthread.php?postid=1227#post1227
30. http://forum.wolframscience.com/showthread.php?postid=1228#post1228
31. http://forum.wolframscience.com/showthread.php?postid=1232#post1232
32. http://forum.wolframscience.com/showthread.php?postid=1249#post1249
33. http://forum.wolframscience.com/showthread.php?postid=1262#post1262
34. http://forum.wolframscience.com/showthread.php?postid=1265#post1265
35. http://forum.wolframscience.com/showthread.php?postid=1273#post1273
36.
Version 4. Inquiry List
00. http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341
00. http://stderr.org/pipermail/inquiry/2004-May/thread.html#1391
00. http://stderr.org/pipermail/inquiry/2006-January/thread.html#3364
01. http://stderr.org/pipermail/inquiry/2004-April/001341.html
02. http://stderr.org/pipermail/inquiry/2004-April/001342.html
03. http://stderr.org/pipermail/inquiry/2004-April/001343.html
04. http://stderr.org/pipermail/inquiry/2004-April/001344.html
05. http://stderr.org/pipermail/inquiry/2004-April/001345.html
06. http://stderr.org/pipermail/inquiry/2004-April/001346.html
07. http://stderr.org/pipermail/inquiry/2004-April/001347.html
08. http://stderr.org/pipermail/inquiry/2004-April/001348.html
09. http://stderr.org/pipermail/inquiry/2004-April/001349.html
10. http://stderr.org/pipermail/inquiry/2004-April/001350.html
11. http://stderr.org/pipermail/inquiry/2004-April/001351.html
12. http://stderr.org/pipermail/inquiry/2004-April/001352.html
13. http://stderr.org/pipermail/inquiry/2004-April/001353.html
14. http://stderr.org/pipermail/inquiry/2004-April/001354.html
15. http://stderr.org/pipermail/inquiry/2004-April/001355.html
16. http://stderr.org/pipermail/inquiry/2004-April/001356.html
17. http://stderr.org/pipermail/inquiry/2004-April/001357.html
18. http://stderr.org/pipermail/inquiry/2004-April/001358.html
19. http://stderr.org/pipermail/inquiry/2004-April/001359.html
20. http://stderr.org/pipermail/inquiry/2004-April/001360.html
21. http://stderr.org/pipermail/inquiry/2004-April/001361.html
22. http://stderr.org/pipermail/inquiry/2004-April/001362.html
23. http://stderr.org/pipermail/inquiry/2004-April/001363.html
24. http://stderr.org/pipermail/inquiry/2004-April/001364.html
25. http://stderr.org/pipermail/inquiry/2004-April/001365.html
26. http://stderr.org/pipermail/inquiry/2004-April/001366.html
27. http://stderr.org/pipermail/inquiry/2004-April/001389.html
28. http://stderr.org/pipermail/inquiry/2004-April/001390.html
29. http://stderr.org/pipermail/inquiry/2004-May/001391.html
30. http://stderr.org/pipermail/inquiry/2004-May/001392.html
31. http://stderr.org/pipermail/inquiry/2004-May/001393.html
32. http://stderr.org/pipermail/inquiry/2004-May/001394.html
33. http://stderr.org/pipermail/inquiry/2004-May/001395.html
34. http://stderr.org/pipermail/inquiry/2004-May/001396.html
35. http://stderr.org/pipermail/inquiry/2004-May/001398.html
36. http://stderr.org/pipermail/inquiry/2006-January/003364.html
37.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
</pre>
