--- /dev/null
+
+DEAL::NedelecSZ0<2> constraint
+DEAL::0.50000000
+DEAL::0.50000000
+DEAL::NedelecSZ0<2> prolongation 0
+DEAL::0.50000000 ~ ~ ~
+DEAL::0.25000000 0.25000000 ~ ~
+DEAL::~ ~ 0.50000000 ~
+DEAL::~ ~ 0.25000000 0.25000000
+DEAL::NedelecSZ0<2> prolongation 1
+DEAL::0.25000000 0.25000000 ~ ~
+DEAL::~ 0.50000000 ~ ~
+DEAL::~ ~ 0.50000000 ~
+DEAL::~ ~ 0.25000000 0.25000000
+DEAL::NedelecSZ0<2> prolongation 2
+DEAL::0.50000000 ~ ~ ~
+DEAL::0.25000000 0.25000000 ~ ~
+DEAL::~ ~ 0.25000000 0.25000000
+DEAL::~ ~ ~ 0.50000000
+DEAL::NedelecSZ0<2> prolongation 3
+DEAL::0.25000000 0.25000000 ~ ~
+DEAL::~ 0.50000000 ~ ~
+DEAL::~ ~ 0.25000000 0.25000000
+DEAL::~ ~ ~ 0.50000000
+DEAL::NedelecSZ0<3> constraint
+DEAL::0.25000000 0.25000000 ~ ~
+DEAL::0.25000000 0.25000000 ~ ~
+DEAL::~ ~ 0.25000000 0.25000000
+DEAL::~ ~ 0.25000000 0.25000000
+DEAL::0.50000000 ~ ~ ~
+DEAL::0.50000000 ~ ~ ~
+DEAL::~ 0.50000000 ~ ~
+DEAL::~ 0.50000000 ~ ~
+DEAL::~ ~ 0.50000000 ~
+DEAL::~ ~ 0.50000000 ~
+DEAL::~ ~ ~ 0.50000000
+DEAL::~ ~ ~ 0.50000000
+DEAL::NedelecSZ0<3> prolongation 0
+DEAL::0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~
+DEAL::~ ~ 0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ 0.25000000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 0.12500000 0.12500000
+DEAL::NedelecSZ0<3> prolongation 1
+DEAL::0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~
+DEAL::~ ~ 0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 0.12500000 0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ 0.25000000
+DEAL::NedelecSZ0<3> prolongation 2
+DEAL::0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~
+DEAL::~ ~ ~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ 0.25000000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 0.12500000 0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000
+DEAL::NedelecSZ0<3> prolongation 3
+DEAL::0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~
+DEAL::~ ~ ~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 0.12500000 0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ 0.25000000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000
+DEAL::NedelecSZ0<3> prolongation 4
+DEAL::0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~
+DEAL::~ ~ 0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.50000000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ 0.25000000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 0.12500000 0.12500000
+DEAL::NedelecSZ0<3> prolongation 5
+DEAL::0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~
+DEAL::~ ~ 0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.50000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.50000000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 0.12500000 0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ 0.25000000
+DEAL::NedelecSZ0<3> prolongation 6
+DEAL::0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~
+DEAL::~ ~ ~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.50000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ 0.25000000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 0.12500000 0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000
+DEAL::NedelecSZ0<3> prolongation 7
+DEAL::0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.12500000 0.12500000 ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~
+DEAL::~ ~ ~ 0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.50000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.50000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 0.12500000 0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ 0.25000000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000
+DEAL::NedelecSZ1<2> constraint
+DEAL::0.50000000 0.50000000
+DEAL::~ 0.25000000
+DEAL::0.50000000 -0.50000000
+DEAL::~ 0.25000000
+DEAL::NedelecSZ1<2> prolongation 0
+DEAL::0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.25000000 0.25000000 0.25000000 0.25000000 ~ -0.25000000 ~ 0.25000000 -0.25000000 0.25000000 ~ 0.25000000
+DEAL::~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~
+DEAL::~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ -0.25000000 ~ 0.25000000 0.25000000 0.25000000 0.25000000 0.25000000 -0.25000000 -0.25000000 0.25000000 ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 -0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 0.12500000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ 0.12500000
+DEAL::NedelecSZ1<2> prolongation 1
+DEAL::0.25000000 0.25000000 0.25000000 0.25000000 ~ -0.25000000 ~ 0.25000000 -0.25000000 0.25000000 ~ 0.25000000
+DEAL::~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~
+DEAL::~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ -0.25000000 ~ 0.25000000 0.25000000 -0.25000000 0.25000000 -0.25000000 0.25000000 0.25000000 0.25000000 ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 -0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.12500000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ 0.12500000
+DEAL::NedelecSZ1<2> prolongation 2
+DEAL::0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.25000000 -0.25000000 0.25000000 -0.25000000 ~ -0.25000000 ~ 0.25000000 0.25000000 -0.25000000 ~ 0.25000000
+DEAL::~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~
+DEAL::~ -0.25000000 ~ 0.25000000 0.25000000 0.25000000 0.25000000 0.25000000 -0.25000000 -0.25000000 0.25000000 ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 -0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 0.12500000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ 0.12500000
+DEAL::NedelecSZ1<2> prolongation 3
+DEAL::0.25000000 -0.25000000 0.25000000 -0.25000000 ~ -0.25000000 ~ 0.25000000 0.25000000 -0.25000000 ~ 0.25000000
+DEAL::~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~
+DEAL::~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.25000000 ~ 0.25000000 0.25000000 -0.25000000 0.25000000 -0.25000000 0.25000000 0.25000000 0.25000000 ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 -0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.12500000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ 0.12500000
+DEAL::NedelecSZ1<3> constraint
+DEAL::0.25000000 0.25000000 0.25000000 0.25000000 ~ -0.25000000 ~ 0.25000000 -0.25000000 0.25000000 ~ 0.50000000
+DEAL::~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~
+DEAL::0.25000000 -0.25000000 0.25000000 -0.25000000 ~ -0.25000000 ~ 0.25000000 0.25000000 -0.25000000 ~ 0.50000000
+DEAL::~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~
+DEAL::~ -0.25000000 ~ 0.25000000 0.25000000 0.25000000 0.25000000 0.25000000 -0.25000000 -0.25000000 0.50000000 ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 -0.12500000 -0.12500000 ~ ~
+DEAL::~ -0.25000000 ~ 0.25000000 0.25000000 -0.25000000 0.25000000 -0.25000000 0.25000000 0.25000000 0.50000000 ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 -0.12500000 -0.12500000 ~ ~
+DEAL::0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000
+DEAL::NedelecSZ1<3> prolongation 0
+DEAL::0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.25000000 0.25000000 0.25000000 0.25000000 ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.25000000 ~ 0.25000000 0.25000000 0.25000000 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ 0.25000000 ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 0.12500000 -0.12500000 -0.12500000 ~ -0.12500000 ~
+DEAL::~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 -0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ 0.062500000 0.062500000 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ 0.25000000 0.25000000 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ 0.25000000 0.25000000 ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ 0.12500000 ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 0.12500000 -0.12500000 ~ ~ -0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ 0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ 0.062500000 ~ ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ -0.062500000 ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ -0.062500000 -0.062500000 ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.062500000 0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.031250000 ~ 0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 0.031250000 ~ ~ 0.031250000
+DEAL::NedelecSZ1<3> prolongation 1
+DEAL::0.25000000 0.25000000 0.25000000 0.25000000 ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.25000000 ~ 0.25000000 0.25000000 -0.25000000 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 0.12500000 -0.12500000 -0.12500000 ~ -0.12500000 ~
+DEAL::~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 -0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ -0.12500000 -0.12500000 -0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ 0.062500000 0.062500000 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ 0.25000000 0.25000000 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 0.12500000 -0.12500000 ~ ~ -0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ 0.12500000 ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ 0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ 0.062500000 ~ ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ -0.062500000 ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ -0.062500000 -0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ -0.062500000 -0.062500000 ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 0.062500000 0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.031250000 ~ 0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 0.031250000 ~ ~ 0.031250000
+DEAL::NedelecSZ1<3> prolongation 2
+DEAL::0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.25000000 -0.25000000 0.25000000 -0.25000000 ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.25000000 ~ 0.25000000 0.25000000 0.25000000 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ 0.25000000 ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 -0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~
+DEAL::~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 -0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ 0.062500000 0.062500000 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ 0.25000000 0.25000000 ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ 0.12500000 ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 0.12500000 -0.12500000 ~ ~ -0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ 0.25000000 0.25000000 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ 0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ 0.062500000 ~ ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ -0.062500000 ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ 0.062500000 0.062500000 ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.062500000 0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.031250000 ~ 0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 0.031250000 ~ ~ 0.031250000
+DEAL::NedelecSZ1<3> prolongation 3
+DEAL::0.25000000 -0.25000000 0.25000000 -0.25000000 ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.25000000 ~ 0.25000000 0.25000000 -0.25000000 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 -0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~
+DEAL::~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 -0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ -0.12500000 -0.12500000 -0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ 0.062500000 0.062500000 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 0.12500000 -0.12500000 ~ ~ -0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ 0.12500000 ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ 0.25000000 0.25000000 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ 0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ 0.062500000 ~ ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ -0.062500000 ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ -0.062500000 -0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ 0.062500000 0.062500000 ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 0.062500000 0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.031250000 ~ 0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 0.031250000 ~ ~ 0.031250000
+DEAL::NedelecSZ1<3> prolongation 4
+DEAL::0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ 0.25000000 ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 0.12500000 -0.12500000 -0.12500000 ~ -0.12500000 ~
+DEAL::~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 -0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ 0.062500000 0.062500000 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 0.25000000 0.25000000 ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ 0.25000000 0.25000000 0.25000000 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ 0.25000000 -0.25000000 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ 0.25000000 -0.25000000 ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ 0.12500000 ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 -0.12500000 0.12500000 ~ ~ -0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ 0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ -0.062500000 ~ ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ 0.062500000 ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ -0.062500000 -0.062500000 ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.062500000 0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.031250000 ~ 0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 -0.031250000 ~ ~ 0.031250000
+DEAL::NedelecSZ1<3> prolongation 5
+DEAL::0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 0.12500000 ~ 0.25000000 -0.12500000 0.12500000 ~ 0.25000000 0.12500000 -0.12500000 -0.12500000 ~ -0.12500000 ~
+DEAL::~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 -0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ -0.12500000 -0.12500000 -0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ 0.062500000 0.062500000 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 0.25000000 0.25000000 ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ 0.25000000 0.25000000 -0.25000000 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ 0.25000000 -0.25000000 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 -0.12500000 0.12500000 ~ ~ -0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ 0.12500000 ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ 0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ -0.062500000 ~ ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ 0.062500000 ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ -0.062500000 -0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ -0.062500000 -0.062500000 ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 0.062500000 0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.031250000 ~ 0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 -0.031250000 ~ ~ 0.031250000
+DEAL::NedelecSZ1<3> prolongation 6
+DEAL::0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ 0.25000000 ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 -0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~
+DEAL::~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 -0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ -0.12500000 -0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ 0.062500000 0.062500000 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 ~ ~ ~ ~ ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 0.25000000 -0.25000000 ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ 0.25000000 0.25000000 0.25000000 0.25000000 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 -0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ 0.25000000 -0.25000000 ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ 0.12500000 ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 -0.12500000 0.12500000 ~ ~ -0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ 0.25000000 -0.25000000 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ 0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ -0.062500000 ~ ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ 0.062500000 ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ 0.062500000 0.062500000 ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.062500000 0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.031250000 ~ 0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 -0.031250000 ~ ~ 0.031250000
+DEAL::NedelecSZ1<3> prolongation 7
+DEAL::0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 -0.12500000 0.12500000 0.12500000 ~ -0.12500000 ~
+DEAL::~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ 0.062500000 -0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ 0.25000000 ~ ~ ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ -0.12500000 ~ 0.12500000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ 0.12500000 0.12500000 0.25000000 ~ -0.12500000 -0.12500000 -0.12500000 -0.12500000 ~ ~
+DEAL::~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ -0.062500000 -0.062500000 ~ ~ 0.062500000 0.062500000 0.062500000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 0.25000000 -0.25000000 ~ -0.25000000 ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ 0.25000000 0.25000000 -0.25000000 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 0.25000000 0.50000000 ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 -0.12500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ -0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 ~ 0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 -0.12500000 ~ 0.25000000 0.12500000 ~ ~ ~ -0.12500000 ~ ~ ~ -0.12500000 -0.12500000 0.12500000 ~ ~ -0.12500000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 ~ 0.062500000 -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ -0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 -0.062500000 ~ ~ ~
+DEAL::~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ ~ 0.25000000 -0.25000000 ~ ~ ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ ~ ~ 0.12500000 ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ -0.25000000 ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ 0.25000000 -0.25000000 0.25000000 -0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 -0.25000000 ~ 0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.50000000 -0.50000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.25000000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ 0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ -0.062500000 ~ ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ 0.062500000 ~ ~ -0.031250000
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.031250000 -0.031250000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 0.062500000 ~ ~ 0.062500000 0.062500000 ~ ~ -0.062500000 -0.062500000 -0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.031250000 ~ ~ ~ 0.031250000 ~ ~ ~ -0.062500000 ~ 0.062500000 ~ -0.062500000 ~ 0.062500000 ~ 0.062500000 0.062500000 ~ -0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.062500000 ~ ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.12500000 0.12500000 ~ ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.12500000 ~ 0.12500000 ~ ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.015625000 ~ ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 0.062500000 0.031250000 ~ ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ -0.062500000 -0.031250000 ~ 0.031250000 ~
+DEAL::~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ 0.031250000 -0.031250000 ~ ~ 0.031250000