Skip to content

Instantly share code, notes, and snippets.

@apaap
Last active December 18, 2020 10:04
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save apaap/8a22f3b3cf4e7f9fa10089621890ee0e to your computer and use it in GitHub Desktop.
Save apaap/8a22f3b3cf4e7f9fa10089621890ee0e to your computer and use it in GitHub Desktop.
This gist contains a collection of search pattern files for use with LLS.
They are mostly used to find adjustable ships with "relativistic" speeds in INT CA rules.
There are also a few search patterns for similar searches which don't give relativistic speeds.
Given runtimes are for solver (cadical) only. Preprocessing for most of these files takes
about a minute, up to two minutes.
# Summary of search patterns
# Adjustable period 2c/3 spaceships
1) 2,1c3k_2c3o_adjP_min.txt
$ ./lls -c 15 16 -r pB2345678/S012345678 2,1c3k_2c3o_adjP_min.txt
Run time: 75 seconds
Bounce reaction involving an orthogonal 2c/3 spaceship and a (2,1)c/3 knightship.
The knightship "bounces" off the 2c/3. Both the 2c/3 and the knightship remain in phase
and the knightship can be made to bounce between two copies of the 2c/3 at arbitrary spacing.
There are a range of valid solutions to this search, it attempts to have a minimal reaction
time and ship size without restricting the intial phases of the constituent ships too much.
NOTE: change forced in last two generations which uses a trick to force the knightship to not be empty.
# Adjustable slope relativistic ships based on 2c/3
1) 2,1c3k_2c3o_slide-pull.txt
$ ./lls -c -r pB2345678/S012345678 2,1c3k_2c3o_slide-pull.txt
Run time: 3.5 minutes
Bounce reaction involving an orthogonal 2c/3 spaceship and a (2,1)c/3 knightship.
The knightship "bounces" off the 2c/3 but also slides it, in this case pulled towards the knightship.
Both the 2c/3 and the knightship remain in phase but a separate bounce+push reaction is needed to
complete an adjustable slope ship.
At least 1 solution exists.
1) 2,1c3k_2c3o_slide-push.txt
$ ./lls -c -r pB2345678/S012345678 2,1c3k_2c3o_slide-push.txt
Run time: 7.5 minutes
Bounce reaction involving an orthogonal 2c/3 spaceship and a (2,1)c/3 knightship.
The knightship "bounces" off the 2c/3 but also slides it, in this case pushing it away from the knightship.
Both the 2c/3 and the knightship remain in phase but a separate bounce+push reaction is needed to
complete an adjustable slope ship. However, two copies of this reaction would create a kind of growing ship.
No solutions found.
# 1D reps - search for reps which emulate 1DCA rules
Wxx_rep.txt
$ ./lls Wxx_rep.txt -p '>0' --background forced_vacuum -r pB2345678/S012345678
Run time: 50s
A 1D rep search setup to search for 4c/8 replicators (2x3 pattern) which emulate 1D rules
The initial pattern is larger than required in order to reduce undesired range 2 interactions disrupting the rep.
Currently setup for rule W110.
0 a11 a12 a13 a14 a15 0 0 0 0 0 0 0 0 0 0 0
0 a21 a22 a23 a24 a25 0 0 0 0 0 0 0 0 0 0 0
0 a31 a32 a33 a34 a35 0 0 0 0 0 0 0 0 0 0 0
0 a41 a42 a43 a44 a45 0 0 0 0 0 0 0 0 0 0 0
0 a51 a52 a53 a54 a55 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 k11 k12 k13 k14 k15 0 0 0 0 0 0 0 0 0 0 0
0 k21 k22 k23 k24 k25 0 0 0 0 0 0 0 0 0 0 0
0 k31 k32 k33 k34 k35 0 0 0 0 0 0 0 0 0 0 0
0 k41 k42 k43 k44 k45 0 0 0 0 0 0 0 0 0 0 0
0 k51 k52 k53 k54 k55 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 b11 b12 b13 b14 b15 b16 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b21 b22 b23 b24 b25 b26 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b31 b32 b33 b34 b35 b37 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b41 b42 b43 b44 b45 b46 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b51 b52 b53 b54 b55 b56 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l11 l12 l13 l14 l15 l16 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l21 l22 l23 l24 l25 l26 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l31 l32 l33 l34 l35 l37 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l41 l42 l43 l44 l45 l46 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l51 l52 l53 l54 l55 l56 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c11 c12 c13 c14 c15 c16 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c21 c22 c23 c24 c25 c26 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c31 c32 c33 c34 c35 c37 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c41 c42 c43 c44 c45 c46 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c51 c52 c53 c54 c55 c56 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m11 m12 m13 m14 m15 m16 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m21 m22 m23 m24 m25 m26 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m31 m32 m33 m34 m35 m37 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m41 m42 m43 m44 m45 m46 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m51 m52 m53 m54 m55 m56 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a11 a12 a13 a14 a15 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a21 a22 a23 a24 a25 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a31 a32 a33 a34 a35 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a41 a42 a43 a44 a45 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a51 a52 a53 a54 a55 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k11 k12 k13 k14 k15 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k21 k22 k23 k24 k25 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k31 k32 k33 k34 k35 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k41 k42 k43 k44 k45 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k51 k52 k53 k54 k55 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0'
0 0 0 0 0 0 0 0 0 0 0 a11 a12 a13 a14 a15 0
0 0 0 0 0 0 0 0 0 0 0 a21 a22 a23 a24 a25 0
0 0 0 0 0 0 0 0 0 0 0 a31 a32 a33 a34 a35 0
0 0 0 0 0 0 0 0 0 0 0 a41 a42 a43 a44 a45 0
0 0 0 0 0 0 0 0 0 0 0 a51 a52 a53 a54 a55 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 k51 k52 k53 k54 k55 0
0 0 0 0 0 0 0 0 0 0 0 k41 k42 k43 k44 k45 0
0 0 0 0 0 0 0 0 0 0 0 k31 k32 k33 k34 k35 0
0 0 0 0 0 0 0 0 0 0 0 k21 k22 k23 k24 k25 0
0 0 0 0 0 0 0 0 0 0 0 k11 k12 k13 k14 k15 0
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' a11' a12' a13' a14' a15' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' a21' a22' a23' a24' a25' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' a31' a32' a33' a34' a35' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' a41' a42' a43' a44' a45' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' a51' a52' a53' a54' a55' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' * * * * * *
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' * * * * * *
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' * * * * * *
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' * * * * * *
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' * * * * * *
0 a11 a12 a13 a14 a15 0 0 0 0 0 0 0 0 0 0 0
0 a21 a22 a23 a24 a25 0 0 0 0 0 0 0 0 0 0 0
0 a31 a32 a33 a34 a35 0 0 0 0 0 0 0 0 0 0 0
0 a41 a42 a43 a44 a45 0 0 0 0 0 0 0 0 0 0 0
0 a51 a52 a53 a54 a55 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 k11 k12 k13 k14 k15 0 0 0 0 0 0 0 0 0 0 0
0 k21 k22 k23 k24 k25 0 0 0 0 0 0 0 0 0 0 0
0 k31 k32 k33 k34 k35 0 0 0 0 0 0 0 0 0 0 0
0 k41 k42 k43 k44 k45 0 0 0 0 0 0 0 0 0 0 0
0 k51 k52 k53 k54 k55 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 b11 b12 b13 b14 b15 b16 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b21 b22 b23 b24 b25 b26 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b31 b32 b33 b34 b35 b37 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b41 b42 b43 b44 b45 b46 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b51 b52 b53 b54 b55 b56 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l11 l12 l13 l14 l15 l16 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l21 l22 l23 l24 l25 l26 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l31 l32 l33 l34 l35 l37 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l41 l42 l43 l44 l45 l46 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l51 l52 l53 l54 l55 l56 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c11 c12 c13 c14 c15 c16 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c21 c22 c23 c24 c25 c26 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c31 c32 c33 c34 c35 c37 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c41 c42 c43 c44 c45 c46 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c51 c52 c53 c54 c55 c56 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m11 m12 m13 m14 m15 m16 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m21 m22 m23 m24 m25 m26 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m31 m32 m33 m34 m35 m37 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m41 m42 m43 m44 m45 m46 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m51 m52 m53 m54 m55 m56 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a11 a12 a13 a14 a15 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a21 a22 a23 a24 a25 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a31 a32 a33 a34 a35 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a41 a42 a43 a44 a45 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a51 a52 a53 a54 a55 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k11 k12 k13 k14 k15 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k21 k22 k23 k24 k25 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k31 k32 k33 k34 k35 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k41 k42 k43 k44 k45 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k51 k52 k53 k54 k55 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 a11 a12 a13 a14 a15 0
0 0 0 0 0 0 0 0 0 0 0 a21 a22 a23 a24 a25 0
0 0 0 0 0 0 0 0 0 0 0 a31 a32 a33 a34 a35 0
0 0 0 0 0 0 0 0 0 0 0 a41 a42 a43 a44 a45 0
0 0 0 0 0 0 0 0 0 0 0 a51 a52 a53 a54 a55 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 k51 k52 k53 k54 k55 0
0 0 0 0 0 0 0 0 0 0 0 k41 k42 k43 k44 k45 0
0 0 0 0 0 0 0 0 0 0 0 k31 k32 k33 k34 k35 0
0 0 0 0 0 0 0 0 0 0 0 k21 k22 k23 k24 k25 0
0 0 0 0 0 0 0 0 0 0 0 k11 k12 k13 k14 k15 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 a11 a12 a13 a14 a15 0 0 0 0 0 0 0 0 0 0 0
0 a21 a22 a23 a24 a25 0 0 0 0 0 0 0 0 0 0 0
0 a31 a32 a33 a34 a35 0 0 0 0 0 0 0 0 0 0 0
0 a41 a42 a43 a44 a45 0 0 0 0 0 0 0 0 0 0 0
0 a51 a52 a53 a54 a55 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 k11 k12 k13 k14 k15 0 0 0 0 0 0 0 0 0 0 0
0 k21 k22 k23 k24 k25 0 0 0 0 0 0 0 0 0 0 0
0 k31 k32 k33 k34 k35 0 0 0 0 0 0 0 0 0 0 0
0 k41 k42 k43 k44 k45 0 0 0 0 0 0 0 0 0 0 0
0 k51 k52 k53 k54 k55 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b11 b12 b13 b14 b15 b16 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b21 b22 b23 b24 b25 b26 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b31 b32 b33 b34 b35 b37 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b41 b42 b43 b44 b45 b46 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 b51 b52 b53 b54 b55 b56 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l11 l12 l13 l14 l15 l16 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l21 l22 l23 l24 l25 l26 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l31 l32 l33 l34 l35 l37 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l41 l42 l43 l44 l45 l46 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 l51 l52 l53 l54 l55 l56 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c11 c12 c13 c14 c15 c16 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c21 c22 c23 c24 c25 c26 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c31 c32 c33 c34 c35 c37 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c41 c42 c43 c44 c45 c46 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 c51 c52 c53 c54 c55 c56 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m11 m12 m13 m14 m15 m16 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m21 m22 m23 m24 m25 m26 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m31 m32 m33 m34 m35 m37 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m41 m42 m43 m44 m45 m46 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 m51 m52 m53 m54 m55 m56 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a11 a12 a13 a14 a15 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a21 a22 a23 a24 a25 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a31 a32 a33 a34 a35 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a41 a42 a43 a44 a45 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 a51 a52 a53 a54 a55 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k11 k12 k13 k14 k15 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k21 k22 k23 k24 k25 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k31 k32 k33 k34 k35 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k41 k42 k43 k44 k45 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 k51 k52 k53 k54 k55 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' * * * * * * * 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0' 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' * * * * * * * * * 0' 0' 0' 0' 0' 0' 0'
0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * 0 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
* * * * * * * * * * * 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
* * * * * * * * * * * * 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
* * * * * * * * * * * * 0 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
* * * * * * * * * * * * * 0' 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
* * * * * * * * * * * * * * 0' 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
* * * * * * * * * * * * * * 0 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
* * * * * * * * * * * * * * * 0' 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0' 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
* * * * * * * * * * * * * * * * 0'
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0'
0 0 0 0 0 0 0 0 0 0 0 a11 a12 a13 a14 a15 0
0 0 0 0 0 0 0 0 0 0 0 a21 a22 a23 a24 a25 0
0 0 0 0 0 0 0 0 0 0 0 a31 a32 a33 a34 a35 0
0 0 0 0 0 0 0 0 0 0 0 a41 a42 a43 a44 a45 0
0 0 0 0 0 0 0 0 0 0 0 a51 a52 a53 a54 a55 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 k51 k52 k53 k54 k55 0
0 0 0 0 0 0 0 0 0 0 0 k41 k42 k43 k44 k45 0
0 0 0 0 0 0 0 0 0 0 0 k31 k32 k33 k34 k35 0
0 0 0 0 0 0 0 0 0 0 0 k21 k22 k23 k24 k25 0
0 0 0 0 0 0 0 0 0 0 0 k11 k12 k13 k14 k15 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 a2 b2 0 0 0 0 0 0 0 0 0 0 a2 b2 0 0 0 0 0 0 a2 b2 0 0 a2 b2 0 0 a2 b2 0 0 0 0 0 0 0 0 0 0 a2 b2 0 0 a2 b2 0 0 0 0 0 0 a2 b2 0 0 0 0 0 0
0 0 0 0 0 0 a3 b3 0 0 0 0 0 0 0 0 0 0 a3 b3 0 0 0 0 0 0 a3 b3 0 0 a3 b3 0 0 a3 b3 0 0 0 0 0 0 0 0 0 0 a3 b3 0 0 a3 b3 0 0 0 0 0 0 a3 b3 0 0 0 0 0 0
0 0 0 0 0 0 a4 b4 0 0 0 0 0 0 0 0 0 0 a4 b4 0 0 0 0 0 0 a4 b4 0 0 a4 b4 0 0 a4 b4 0 0 0 0 0 0 0 0 0 0 a4 b4 0 0 a4 b4 0 0 0 0 0 0 a4 b4 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 a2 b2 0 0 a2 b2 0 0 0 0 0 0 a2 b2 0 0 a2 b2 0 0 a2 b2 0 0 a2 b2 0 0 0 0 0 0 a2 b2 0 0 0 0 0 0 a2 b2 0 0 a2 b2 0 0 a2 b2 0 0 a2 b2 0 0 a2 b2 0 0 0 0 0 0
0 0 a3 b3 0 0 a3 b3 0 0 0 0 0 0 a3 b3 0 0 a3 b3 0 0 a3 b3 0 0 a3 b3 0 0 0 0 0 0 a3 b3 0 0 0 0 0 0 a3 b3 0 0 a3 b3 0 0 a3 b3 0 0 a3 b3 0 0 a3 b3 0 0 0 0 0 0
0 0 a4 b4 0 0 a4 b4 0 0 0 0 0 0 a4 b4 0 0 a4 b4 0 0 a4 b4 0 0 a4 b4 0 0 0 0 0 0 a4 b4 0 0 0 0 0 0 a4 b4 0 0 a4 b4 0 0 a4 b4 0 0 a4 b4 0 0 a4 b4 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment