insol9_2 :=[
Group([[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 1, 1, 0, 0, 1, 1, 1, 0, 0 ],
[ 0, 0, 1, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 0, 0, 1, 0, 0, 0, 1, 1, 0 ],
[ 1, 0, 0, 1, 1, 1, 0, 0, 0 ],
[ 1, 0, 1, 1, 0, 1, 0, 1, 1 ]
]*Z(2),[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 0, 1, 0, 1, 1, 0, 1, 0 ],
[ 1, 1, 1, 0, 0, 0, 1, 1, 0 ],
[ 1, 1, 0, 0, 0, 0, 0, 0, 1 ],
[ 1, 0, 0, 1, 0, 0, 1, 1, 0 ],
[ 0, 0, 1, 1, 1, 0, 0, 1, 0 ]
]*Z(2)]),
Group([[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 1, 0, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 0, 0, 1, 1, 0, 0, 0, 1, 1 ],
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 1, 0, 1, 0, 0, 1, 1, 1, 0 ]
]*Z(2),[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 1, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 1, 0, 0 ],
[ 1, 0, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 1, 0, 1, 0, 0, 0, 1, 1, 0 ],
[ 1, 1, 0, 1, 0, 1, 1, 0, 1 ]
]*Z(2)]),
Group([[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 1, 1, 1, 1, 0, 1, 0, 0 ],
[ 1, 1, 1, 0, 0, 0, 0, 0, 0 ],
[ 1, 0, 0, 0, 1, 0, 0, 0, 1 ],
[ 1, 0, 1, 0, 0, 0, 1, 0, 0 ],
[ 0, 1, 0, 1, 0, 1, 0, 0, 1 ],
[ 1, 1, 1, 0, 0, 0, 1, 1, 1 ]
]*Z(2),[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 1, 1, 1, 0, 0, 1, 1, 0, 1 ],
[ 1, 1, 0, 0, 1, 1, 1, 0, 1 ],
[ 1, 1, 1, 1, 1, 1, 1, 0, 1 ],
[ 1, 1, 1, 1, 1, 1, 0, 1, 1 ]
]*Z(2)]),
Group([[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 0, 0, 0, 0, 1, 0, 1, 1, 1 ],
[ 1, 1, 0, 1, 0, 1, 0, 1, 1 ],
[ 0, 0, 1, 1, 1, 0, 1, 0, 0 ],
[ 1, 0, 1, 1, 0, 1, 0, 0, 1 ],
[ 0, 0, 0, 1, 0, 1, 1, 1, 1 ]
]*Z(2),[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 0, 1, 1, 0, 0, 0, 0, 1 ],
[ 1, 0, 1, 0, 1, 1, 0, 1, 0 ],
[ 1, 0, 1, 0, 0, 0, 1, 0, 0 ],
[ 1, 1, 1, 1, 1, 1, 1, 0, 1 ],
[ 1, 0, 1, 1, 1, 1, 1, 1, 0 ]
]*Z(2)]),
Group([[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 1, 0, 1, 0, 0, 0, 0, 0 ],
[ 1, 0, 0, 1, 0, 1, 0, 1, 1 ],
[ 0, 0, 0, 1, 0, 1, 1, 1, 0 ],
[ 1, 0, 0, 0, 0, 1, 0, 0, 1 ],
[ 1, 1, 1, 1, 0, 0, 0, 1, 0 ],
[ 0, 0, 0, 1, 0, 0, 1, 1, 1 ]
]*Z(2),[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 1, 1, 0, 0, 1, 1, 0, 1, 0 ],
[ 0, 1, 1, 0, 1, 1, 1, 0, 1 ],
[ 1, 0, 0, 0, 0, 0, 1, 0, 1 ],
[ 1, 0, 1, 0, 1, 0, 1, 1, 1 ]
]*Z(2)]),
Group([[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 1, 1, 1, 0, 1, 1, 0, 0, 1 ],
[ 1, 0, 1, 1, 1, 0, 1, 1, 0 ],
[ 1, 1, 0, 0, 1, 1, 0, 1, 0 ],
[ 0, 0, 0, 0, 0, 1, 1, 1, 0 ],
[ 1, 1, 1, 0, 0, 0, 1, 1, 0 ]
]*Z(2),[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 0, 1, 1, 1, 0, 1, 1, 0, 1 ],
[ 0, 0, 1, 0, 1, 1, 1, 1, 1 ],
[ 0, 0, 1, 1, 1, 0, 0, 1, 1 ],
[ 1, 1, 1, 1, 1, 1, 0, 1, 0 ],
[ 1, 0, 1, 1, 0, 1, 0, 0, 0 ]
]*Z(2)]),
Group([[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 1, 0, 1, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 0, 1, 0, 1, 1, 0, 1, 1, 1 ],
[ 0, 0, 1, 1, 1, 1, 1, 0, 1 ],
[ 0, 1, 1, 0, 0, 0, 1, 0, 0 ]
]*Z(2),[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 1, 0, 0, 0, 0, 0, 0, 0, 0 ],
[ 1, 0, 0, 1, 1, 0, 0, 1, 0 ],
[ 0, 0, 0, 1, 0, 1, 1, 1, 0 ],
[ 1, 1, 1, 0, 0, 1, 0, 1, 1 ],
[ 0, 1, 0, 1, 0, 0, 1, 0, 1 ],
[ 0, 0, 1, 0, 0, 1, 1, 0, 0 ]
]*Z(2)]),
Group([[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 0, 0, 1, 0, 0, 0, 0, 0, 1 ],
[ 1, 1, 1, 0, 1, 1, 1, 0, 0 ],
[ 0, 1, 0, 0, 1, 0, 1, 1, 1 ],
[ 1, 0, 0, 0, 0, 0, 1, 0, 0 ]
]*Z(2),[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 1, 0, 0, 1, 1, 1, 0, 0 ],
[ 0, 0, 1, 1, 1, 1, 1, 1, 1 ],
[ 0, 0, 1, 1, 0, 1, 1, 1, 0 ],
[ 0, 0, 1, 0, 1, 1, 1, 0, 1 ],
[ 1, 0, 0, 1, 0, 1, 1, 0, 0 ],
[ 1, 0, 0, 0, 0, 0, 0, 0, 0 ]
]*Z(2)]),
Group([[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 1, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 1, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 1, 1 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ]
]*Z(2),[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 1, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 1, 0, 0, 0, 1, 0, 0 ],
[ 1, 0, 0, 0, 0, 0, 0, 0, 0 ]
]*Z(2)]),
Group([[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 1, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 1, 0, 1, 0, 0, 0, 0 ],
[ 1, 0, 1, 0, 1, 1, 1, 0, 1 ],
[ 0, 0, 1, 1, 0, 0, 1, 0, 1 ],
[ 0, 1, 1, 1, 1, 0, 1, 1, 0 ],
[ 0, 0, 1, 0, 1, 0, 0, 0, 1 ]
]*Z(2),[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 0, 1, 0, 0, 0, 1, 0, 1, 0 ],
[ 1, 0, 0, 0, 1, 1, 1, 0, 1 ],
[ 0, 0, 1, 1, 1, 1, 0, 0, 1 ],
[ 1, 1, 1, 0, 0, 1, 0, 0, 1 ]
]*Z(2)]),
Group([[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 1, 0, 0, 0, 1, 1, 0, 1, 0 ],
[ 1, 1, 1, 0, 1, 1, 0, 0, 1 ],
[ 1, 0, 0, 0, 1, 0, 1, 1, 1 ],
[ 0, 1, 1, 1, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 1 ]
]*Z(2),[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 1, 1, 0, 1, 0, 0, 1, 0, 0 ],
[ 1, 0, 1, 1, 0, 0, 1, 1, 1 ],
[ 1, 0, 0, 0, 1, 0, 1, 1, 1 ],
[ 1, 0, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ]
]*Z(2)]),
Group([[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 1, 0, 1, 1, 1, 1, 0, 0 ],
[ 1, 0, 0, 0, 0, 0, 1, 1, 1 ],
[ 0, 1, 1, 0, 1, 0, 0, 0, 1 ],
[ 0, 1, 0, 0, 0, 1, 0, 1, 0 ],
[ 1, 0, 1, 0, 1, 0, 1, 0, 0 ]
]*Z(2),[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 1, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 1, 0, 0, 0, 1, 1, 1, 1, 0 ],
[ 0, 0, 0, 0, 1, 1, 0, 0, 1 ],
[ 0, 1, 1, 0, 1, 1, 0, 0, 0 ],
[ 0, 0, 1, 0, 1, 0, 1, 0, 1 ]
]*Z(2)]),
Group([[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 1, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 1, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 0, 1, 1, 0, 0, 0, 0, 1, 1 ],
[ 1, 1, 0, 1, 1, 1, 1, 1, 1 ],
[ 1, 0, 1, 0, 1, 0, 1, 0, 0 ]
]*Z(2),[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 1, 1, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 1, 1, 0, 1, 0, 1, 1, 1, 0 ],
[ 1, 0, 1, 1, 1, 1, 0, 0, 1 ],
[ 1, 1, 1, 0, 0, 1, 1, 0, 0 ],
[ 1, 0, 0, 0, 1, 0, 0, 0, 0 ]
]*Z(2)]),
Group([[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 1, 1, 1, 0, 0, 1, 1, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 1, 0, 0, 0, 1, 1, 0, 0, 0 ],
[ 1, 1, 0, 0, 1, 0, 1, 1, 1 ],
[ 1, 1, 1, 0, 0, 1, 0, 0, 0 ],
[ 1, 1, 1, 0, 1, 0, 1, 0, 1 ]
]*Z(2),[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 1, 1, 1, 0, 0, 1, 0, 0, 0 ],
[ 1, 0, 1, 0, 1, 1, 0, 0, 1 ],
[ 0, 1, 0, 0, 0, 1, 1, 0, 1 ],
[ 0, 1, 0, 1, 1, 0, 1, 0, 1 ],
[ 0, 0, 1, 1, 0, 1, 1, 0, 0 ]
]*Z(2)]),
Group([[
[ 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 1, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 1, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 1, 1, 0, 1, 0, 0, 1, 1, 0 ],
[ 1, 1, 0, 0, 1, 1, 1, 0, 1 ],
[ 0, 0, 0, 0, 1, 1, 0, 1, 0 ],
[ 0, 0, 0, 1, 0, 0, 1, 0, 1 ],
[ 1, 0, 1, 0, 1, 1, 0, 0, 1 ]
]*Z(2),[
[ 0, 0, 1, 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 1, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 1 ],
[ 0, 0, 0, 0, 0, 0, 0, 1, 0 ],
[ 1, 0, 1, 1, 0, 1, 1, 1, 1 ],
[ 0, 1, 1, 1, 0, 1, 0, 1, 0 ],
[ 0, 1, 0, 0, 1, 1, 1, 0, 0 ],
[ 0, 1, 0, 0, 1, 0, 1, 0, 0 ]
]*Z(2)])];