User blog:Koteitan/Hydra notations and Hydra Viewer for Pair Sequence System

Here is the hydra notations of the Pair sequence system Googleaarex analized.
 * Complete full size PNG: http://www.ukaibutton.com/hydraviewer/aarex_pair.png

I made and used the Hydra Viewer program to draw the hydra notation. (source code at github)

The hydra notation of the Pair sequence system is based on the Bashicu's explanation at SlideShare .

Very beautiful. I hope they can be help for your analysis or your proof.