{-# LANGUAGE DataKinds, TypeOperators, OverloadedStrings #-}

module LinearRegression500 where

import Prelude (print, length, IO)
import Language.Hakaru.Syntax.Prelude
import Language.Hakaru.Disintegrate
import Language.Hakaru.Syntax.ABT
import Language.Hakaru.Syntax.AST
import Language.Hakaru.Types.DataKind
import Language.Hakaru.Types.Sing

type Model a b = TrivialABT Term '[] ('HMeasure (HPair a b))
type Cond  a b = TrivialABT Term '[] (a ':-> 'HMeasure b)

linearRegression :: Model (HPair 'HReal 
                           (HPair 'HReal 
                            (HPair 'HReal 
                             (HPair 'HReal 
                              (HPair 'HReal 
                               (HPair 'HReal 
                                (HPair 'HReal 
                                 (HPair 'HReal 
                                  (HPair 'HReal 
                                   (HPair 'HReal 
                                    (HPair 'HReal 
                                     (HPair 'HReal 
                                      (HPair 'HReal 
                                       (HPair 'HReal 
                                        (HPair 'HReal 
                                         (HPair 'HReal 
                                          (HPair 'HReal 
                                           (HPair 'HReal 
                                            (HPair 'HReal 
                                             (HPair 'HReal 
                                              (HPair 'HReal 
                                               (HPair 'HReal 
                                                (HPair 'HReal 
                                                 (HPair 'HReal 
                                                  (HPair 'HReal 
                                                   (HPair 'HReal 
                                                    (HPair 'HReal 
                                                     (HPair 'HReal 
                                                      (HPair 'HReal 
                                                       (HPair 'HReal 
                                                        (HPair 'HReal 
                                                         (HPair 'HReal 
                                                          (HPair 'HReal 
                                                           (HPair 'HReal 
                                                            (HPair 'HReal 
                                                             (HPair 'HReal 
                                                              (HPair 'HReal 
                                                               (HPair 'HReal 
                                                                (HPair 'HReal 
                                                                 (HPair 'HReal 
                                                                  (HPair 'HReal 
                                                                   (HPair 'HReal 
                                                                    (HPair 'HReal 
                                                                     (HPair 'HReal 
                                                                      (HPair 'HReal 
                                                                       (HPair 'HReal 
                                                                        (HPair 'HReal 
                                                                         (HPair 'HReal 
                                                                          (HPair 'HReal 
                                                                           (HPair 'HReal 
                                                                            (HPair 'HReal 
                                                                             (HPair 'HReal 
                                                                              (HPair 'HReal 
                                                                               (HPair 'HReal 
                                                                                (HPair 'HReal 
                                                                                 (HPair 'HReal 
                                                                                  (HPair 'HReal 
                                                                                   (HPair 'HReal 
                                                                                    (HPair 'HReal 
                                                                                     (HPair 'HReal 
                                                                                      (HPair 'HReal 
                                                                                       (HPair 'HReal 
                                                                                        (HPair 'HReal 
                                                                                         (HPair 'HReal 
                                                                                          (HPair 'HReal 
                                                                                           (HPair 'HReal 
                                                                                            (HPair 'HReal 
                                                                                             (HPair 'HReal 
                                                                                              (HPair 'HReal 
                                                                                               (HPair 'HReal 
                                                                                                (HPair 'HReal 
                                                                                                 (HPair 'HReal 
                                                                                                  (HPair 'HReal 
                                                                                                   (HPair 'HReal 
                                                                                                    (HPair 'HReal 
                                                                                                     (HPair 'HReal 
                                                                                                      (HPair 'HReal 
                                                                                                       (HPair 'HReal 
                                                                                                        (HPair 'HReal 
                                                                                                         (HPair 'HReal 
                                                                                                          (HPair 'HReal 
                                                                                                           (HPair 'HReal 
                                                                                                            (HPair 'HReal 
                                                                                                             (HPair 'HReal 
                                                                                                              (HPair 'HReal 
                                                                                                               (HPair 'HReal 
                                                                                                                (HPair 'HReal 
                                                                                                                 (HPair 'HReal 
                                                                                                                  (HPair 'HReal 
                                                                                                                   (HPair 'HReal 
                                                                                                                    (HPair 'HReal 
                                                                                                                     (HPair 'HReal 
                                                                                                                      (HPair 'HReal 
                                                                                                                       (HPair 'HReal 
                                                                                                                        (HPair 'HReal 
                                                                                                                         (HPair 'HReal 
                                                                                                                          (HPair 'HReal 
                                                                                                                           (HPair 'HReal 
                                                                                                                            (HPair 'HReal 
                                                                                                                             (HPair 'HReal 
                                                                                                                              (HPair 'HReal 
                                                                                                                               (HPair 'HReal 
                                                                                                                                (HPair 'HReal 
                                                                                                                                 (HPair 'HReal 
                                                                                                                                  (HPair 'HReal 
                                                                                                                                   (HPair 'HReal 
                                                                                                                                    (HPair 'HReal 
                                                                                                                                     (HPair 'HReal 
                                                                                                                                      (HPair 'HReal 
                                                                                                                                       (HPair 'HReal 
                                                                                                                                        (HPair 'HReal 
                                                                                                                                         (HPair 'HReal 
                                                                                                                                          (HPair 'HReal 
                                                                                                                                           (HPair 'HReal 
                                                                                                                                            (HPair 'HReal 
                                                                                                                                             (HPair 'HReal 
                                                                                                                                              (HPair 'HReal 
                                                                                                                                               (HPair 'HReal 
                                                                                                                                                (HPair 'HReal 
                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair 'HReal 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             'HReal)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
                    HUnit
linearRegression =
    normal (real_ 0) (prob_ 1) >>= \a ->
    normal (real_ 5) (prob_ 1.825) >>= \b ->
    gamma (prob_ 1) (prob_ 1) >>= \invNoise ->
    normal (a * (dataX ! (nat_ 0))) (recip (sqrt invNoise)) >>= \y0 ->
    normal (a * (dataX ! (nat_ 1))) (recip (sqrt invNoise)) >>= \y1 ->
    normal (a * (dataX ! (nat_ 2))) (recip (sqrt invNoise)) >>= \y2 ->
    normal (a * (dataX ! (nat_ 3))) (recip (sqrt invNoise)) >>= \y3 ->
    normal (a * (dataX ! (nat_ 4))) (recip (sqrt invNoise)) >>= \y4 ->
    normal (a * (dataX ! (nat_ 5))) (recip (sqrt invNoise)) >>= \y5 ->
    normal (a * (dataX ! (nat_ 6))) (recip (sqrt invNoise)) >>= \y6 ->
    normal (a * (dataX ! (nat_ 7))) (recip (sqrt invNoise)) >>= \y7 ->
    normal (a * (dataX ! (nat_ 8))) (recip (sqrt invNoise)) >>= \y8 ->
    normal (a * (dataX ! (nat_ 9))) (recip (sqrt invNoise)) >>= \y9 ->
    normal (a * (dataX ! (nat_ 10))) (recip (sqrt invNoise)) >>= \y10 ->
    normal (a * (dataX ! (nat_ 11))) (recip (sqrt invNoise)) >>= \y11 ->
    normal (a * (dataX ! (nat_ 12))) (recip (sqrt invNoise)) >>= \y12 ->
    normal (a * (dataX ! (nat_ 13))) (recip (sqrt invNoise)) >>= \y13 ->
    normal (a * (dataX ! (nat_ 14))) (recip (sqrt invNoise)) >>= \y14 ->
    normal (a * (dataX ! (nat_ 15))) (recip (sqrt invNoise)) >>= \y15 ->
    normal (a * (dataX ! (nat_ 16))) (recip (sqrt invNoise)) >>= \y16 ->
    normal (a * (dataX ! (nat_ 17))) (recip (sqrt invNoise)) >>= \y17 ->
    normal (a * (dataX ! (nat_ 18))) (recip (sqrt invNoise)) >>= \y18 ->
    normal (a * (dataX ! (nat_ 19))) (recip (sqrt invNoise)) >>= \y19 ->
    normal (a * (dataX ! (nat_ 20))) (recip (sqrt invNoise)) >>= \y20 ->
    normal (a * (dataX ! (nat_ 21))) (recip (sqrt invNoise)) >>= \y21 ->
    normal (a * (dataX ! (nat_ 22))) (recip (sqrt invNoise)) >>= \y22 ->
    normal (a * (dataX ! (nat_ 23))) (recip (sqrt invNoise)) >>= \y23 ->
    normal (a * (dataX ! (nat_ 24))) (recip (sqrt invNoise)) >>= \y24 ->
    normal (a * (dataX ! (nat_ 25))) (recip (sqrt invNoise)) >>= \y25 ->
    normal (a * (dataX ! (nat_ 26))) (recip (sqrt invNoise)) >>= \y26 ->
    normal (a * (dataX ! (nat_ 27))) (recip (sqrt invNoise)) >>= \y27 ->
    normal (a * (dataX ! (nat_ 28))) (recip (sqrt invNoise)) >>= \y28 ->
    normal (a * (dataX ! (nat_ 29))) (recip (sqrt invNoise)) >>= \y29 ->
    normal (a * (dataX ! (nat_ 30))) (recip (sqrt invNoise)) >>= \y30 ->
    normal (a * (dataX ! (nat_ 31))) (recip (sqrt invNoise)) >>= \y31 ->
    normal (a * (dataX ! (nat_ 32))) (recip (sqrt invNoise)) >>= \y32 ->
    normal (a * (dataX ! (nat_ 33))) (recip (sqrt invNoise)) >>= \y33 ->
    normal (a * (dataX ! (nat_ 34))) (recip (sqrt invNoise)) >>= \y34 ->
    normal (a * (dataX ! (nat_ 35))) (recip (sqrt invNoise)) >>= \y35 ->
    normal (a * (dataX ! (nat_ 36))) (recip (sqrt invNoise)) >>= \y36 ->
    normal (a * (dataX ! (nat_ 37))) (recip (sqrt invNoise)) >>= \y37 ->
    normal (a * (dataX ! (nat_ 38))) (recip (sqrt invNoise)) >>= \y38 ->
    normal (a * (dataX ! (nat_ 39))) (recip (sqrt invNoise)) >>= \y39 ->
    normal (a * (dataX ! (nat_ 40))) (recip (sqrt invNoise)) >>= \y40 ->
    normal (a * (dataX ! (nat_ 41))) (recip (sqrt invNoise)) >>= \y41 ->
    normal (a * (dataX ! (nat_ 42))) (recip (sqrt invNoise)) >>= \y42 ->
    normal (a * (dataX ! (nat_ 43))) (recip (sqrt invNoise)) >>= \y43 ->
    normal (a * (dataX ! (nat_ 44))) (recip (sqrt invNoise)) >>= \y44 ->
    normal (a * (dataX ! (nat_ 45))) (recip (sqrt invNoise)) >>= \y45 ->
    normal (a * (dataX ! (nat_ 46))) (recip (sqrt invNoise)) >>= \y46 ->
    normal (a * (dataX ! (nat_ 47))) (recip (sqrt invNoise)) >>= \y47 ->
    normal (a * (dataX ! (nat_ 48))) (recip (sqrt invNoise)) >>= \y48 ->
    normal (a * (dataX ! (nat_ 49))) (recip (sqrt invNoise)) >>= \y49 ->
    normal (a * (dataX ! (nat_ 50))) (recip (sqrt invNoise)) >>= \y50 ->
    normal (a * (dataX ! (nat_ 51))) (recip (sqrt invNoise)) >>= \y51 ->
    normal (a * (dataX ! (nat_ 52))) (recip (sqrt invNoise)) >>= \y52 ->
    normal (a * (dataX ! (nat_ 53))) (recip (sqrt invNoise)) >>= \y53 ->
    normal (a * (dataX ! (nat_ 54))) (recip (sqrt invNoise)) >>= \y54 ->
    normal (a * (dataX ! (nat_ 55))) (recip (sqrt invNoise)) >>= \y55 ->
    normal (a * (dataX ! (nat_ 56))) (recip (sqrt invNoise)) >>= \y56 ->
    normal (a * (dataX ! (nat_ 57))) (recip (sqrt invNoise)) >>= \y57 ->
    normal (a * (dataX ! (nat_ 58))) (recip (sqrt invNoise)) >>= \y58 ->
    normal (a * (dataX ! (nat_ 59))) (recip (sqrt invNoise)) >>= \y59 ->
    normal (a * (dataX ! (nat_ 60))) (recip (sqrt invNoise)) >>= \y60 ->
    normal (a * (dataX ! (nat_ 61))) (recip (sqrt invNoise)) >>= \y61 ->
    normal (a * (dataX ! (nat_ 62))) (recip (sqrt invNoise)) >>= \y62 ->
    normal (a * (dataX ! (nat_ 63))) (recip (sqrt invNoise)) >>= \y63 ->
    normal (a * (dataX ! (nat_ 64))) (recip (sqrt invNoise)) >>= \y64 ->
    normal (a * (dataX ! (nat_ 65))) (recip (sqrt invNoise)) >>= \y65 ->
    normal (a * (dataX ! (nat_ 66))) (recip (sqrt invNoise)) >>= \y66 ->
    normal (a * (dataX ! (nat_ 67))) (recip (sqrt invNoise)) >>= \y67 ->
    normal (a * (dataX ! (nat_ 68))) (recip (sqrt invNoise)) >>= \y68 ->
    normal (a * (dataX ! (nat_ 69))) (recip (sqrt invNoise)) >>= \y69 ->
    normal (a * (dataX ! (nat_ 70))) (recip (sqrt invNoise)) >>= \y70 ->
    normal (a * (dataX ! (nat_ 71))) (recip (sqrt invNoise)) >>= \y71 ->
    normal (a * (dataX ! (nat_ 72))) (recip (sqrt invNoise)) >>= \y72 ->
    normal (a * (dataX ! (nat_ 73))) (recip (sqrt invNoise)) >>= \y73 ->
    normal (a * (dataX ! (nat_ 74))) (recip (sqrt invNoise)) >>= \y74 ->
    normal (a * (dataX ! (nat_ 75))) (recip (sqrt invNoise)) >>= \y75 ->
    normal (a * (dataX ! (nat_ 76))) (recip (sqrt invNoise)) >>= \y76 ->
    normal (a * (dataX ! (nat_ 77))) (recip (sqrt invNoise)) >>= \y77 ->
    normal (a * (dataX ! (nat_ 78))) (recip (sqrt invNoise)) >>= \y78 ->
    normal (a * (dataX ! (nat_ 79))) (recip (sqrt invNoise)) >>= \y79 ->
    normal (a * (dataX ! (nat_ 80))) (recip (sqrt invNoise)) >>= \y80 ->
    normal (a * (dataX ! (nat_ 81))) (recip (sqrt invNoise)) >>= \y81 ->
    normal (a * (dataX ! (nat_ 82))) (recip (sqrt invNoise)) >>= \y82 ->
    normal (a * (dataX ! (nat_ 83))) (recip (sqrt invNoise)) >>= \y83 ->
    normal (a * (dataX ! (nat_ 84))) (recip (sqrt invNoise)) >>= \y84 ->
    normal (a * (dataX ! (nat_ 85))) (recip (sqrt invNoise)) >>= \y85 ->
    normal (a * (dataX ! (nat_ 86))) (recip (sqrt invNoise)) >>= \y86 ->
    normal (a * (dataX ! (nat_ 87))) (recip (sqrt invNoise)) >>= \y87 ->
    normal (a * (dataX ! (nat_ 88))) (recip (sqrt invNoise)) >>= \y88 ->
    normal (a * (dataX ! (nat_ 89))) (recip (sqrt invNoise)) >>= \y89 ->
    normal (a * (dataX ! (nat_ 90))) (recip (sqrt invNoise)) >>= \y90 ->
    normal (a * (dataX ! (nat_ 91))) (recip (sqrt invNoise)) >>= \y91 ->
    normal (a * (dataX ! (nat_ 92))) (recip (sqrt invNoise)) >>= \y92 ->
    normal (a * (dataX ! (nat_ 93))) (recip (sqrt invNoise)) >>= \y93 ->
    normal (a * (dataX ! (nat_ 94))) (recip (sqrt invNoise)) >>= \y94 ->
    normal (a * (dataX ! (nat_ 95))) (recip (sqrt invNoise)) >>= \y95 ->
    normal (a * (dataX ! (nat_ 96))) (recip (sqrt invNoise)) >>= \y96 ->
    normal (a * (dataX ! (nat_ 97))) (recip (sqrt invNoise)) >>= \y97 ->
    normal (a * (dataX ! (nat_ 98))) (recip (sqrt invNoise)) >>= \y98 ->
    normal (a * (dataX ! (nat_ 99))) (recip (sqrt invNoise)) >>= \y99 ->
    normal (a * (dataX ! (nat_ 100))) (recip (sqrt invNoise)) >>= \y100 ->
    normal (a * (dataX ! (nat_ 101))) (recip (sqrt invNoise)) >>= \y101 ->
    normal (a * (dataX ! (nat_ 102))) (recip (sqrt invNoise)) >>= \y102 ->
    normal (a * (dataX ! (nat_ 103))) (recip (sqrt invNoise)) >>= \y103 ->
    normal (a * (dataX ! (nat_ 104))) (recip (sqrt invNoise)) >>= \y104 ->
    normal (a * (dataX ! (nat_ 105))) (recip (sqrt invNoise)) >>= \y105 ->
    normal (a * (dataX ! (nat_ 106))) (recip (sqrt invNoise)) >>= \y106 ->
    normal (a * (dataX ! (nat_ 107))) (recip (sqrt invNoise)) >>= \y107 ->
    normal (a * (dataX ! (nat_ 108))) (recip (sqrt invNoise)) >>= \y108 ->
    normal (a * (dataX ! (nat_ 109))) (recip (sqrt invNoise)) >>= \y109 ->
    normal (a * (dataX ! (nat_ 110))) (recip (sqrt invNoise)) >>= \y110 ->
    normal (a * (dataX ! (nat_ 111))) (recip (sqrt invNoise)) >>= \y111 ->
    normal (a * (dataX ! (nat_ 112))) (recip (sqrt invNoise)) >>= \y112 ->
    normal (a * (dataX ! (nat_ 113))) (recip (sqrt invNoise)) >>= \y113 ->
    normal (a * (dataX ! (nat_ 114))) (recip (sqrt invNoise)) >>= \y114 ->
    normal (a * (dataX ! (nat_ 115))) (recip (sqrt invNoise)) >>= \y115 ->
    normal (a * (dataX ! (nat_ 116))) (recip (sqrt invNoise)) >>= \y116 ->
    normal (a * (dataX ! (nat_ 117))) (recip (sqrt invNoise)) >>= \y117 ->
    normal (a * (dataX ! (nat_ 118))) (recip (sqrt invNoise)) >>= \y118 ->
    normal (a * (dataX ! (nat_ 119))) (recip (sqrt invNoise)) >>= \y119 ->
    normal (a * (dataX ! (nat_ 120))) (recip (sqrt invNoise)) >>= \y120 ->
    normal (a * (dataX ! (nat_ 121))) (recip (sqrt invNoise)) >>= \y121 ->
    normal (a * (dataX ! (nat_ 122))) (recip (sqrt invNoise)) >>= \y122 ->
    normal (a * (dataX ! (nat_ 123))) (recip (sqrt invNoise)) >>= \y123 ->
    normal (a * (dataX ! (nat_ 124))) (recip (sqrt invNoise)) >>= \y124 ->
    normal (a * (dataX ! (nat_ 125))) (recip (sqrt invNoise)) >>= \y125 ->
    normal (a * (dataX ! (nat_ 126))) (recip (sqrt invNoise)) >>= \y126 ->
    normal (a * (dataX ! (nat_ 127))) (recip (sqrt invNoise)) >>= \y127 ->
    normal (a * (dataX ! (nat_ 128))) (recip (sqrt invNoise)) >>= \y128 ->
    normal (a * (dataX ! (nat_ 129))) (recip (sqrt invNoise)) >>= \y129 ->
    normal (a * (dataX ! (nat_ 130))) (recip (sqrt invNoise)) >>= \y130 ->
    normal (a * (dataX ! (nat_ 131))) (recip (sqrt invNoise)) >>= \y131 ->
    normal (a * (dataX ! (nat_ 132))) (recip (sqrt invNoise)) >>= \y132 ->
    normal (a * (dataX ! (nat_ 133))) (recip (sqrt invNoise)) >>= \y133 ->
    normal (a * (dataX ! (nat_ 134))) (recip (sqrt invNoise)) >>= \y134 ->
    normal (a * (dataX ! (nat_ 135))) (recip (sqrt invNoise)) >>= \y135 ->
    normal (a * (dataX ! (nat_ 136))) (recip (sqrt invNoise)) >>= \y136 ->
    normal (a * (dataX ! (nat_ 137))) (recip (sqrt invNoise)) >>= \y137 ->
    normal (a * (dataX ! (nat_ 138))) (recip (sqrt invNoise)) >>= \y138 ->
    normal (a * (dataX ! (nat_ 139))) (recip (sqrt invNoise)) >>= \y139 ->
    normal (a * (dataX ! (nat_ 140))) (recip (sqrt invNoise)) >>= \y140 ->
    normal (a * (dataX ! (nat_ 141))) (recip (sqrt invNoise)) >>= \y141 ->
    normal (a * (dataX ! (nat_ 142))) (recip (sqrt invNoise)) >>= \y142 ->
    normal (a * (dataX ! (nat_ 143))) (recip (sqrt invNoise)) >>= \y143 ->
    normal (a * (dataX ! (nat_ 144))) (recip (sqrt invNoise)) >>= \y144 ->
    normal (a * (dataX ! (nat_ 145))) (recip (sqrt invNoise)) >>= \y145 ->
    normal (a * (dataX ! (nat_ 146))) (recip (sqrt invNoise)) >>= \y146 ->
    normal (a * (dataX ! (nat_ 147))) (recip (sqrt invNoise)) >>= \y147 ->
    normal (a * (dataX ! (nat_ 148))) (recip (sqrt invNoise)) >>= \y148 ->
    normal (a * (dataX ! (nat_ 149))) (recip (sqrt invNoise)) >>= \y149 ->
    normal (a * (dataX ! (nat_ 150))) (recip (sqrt invNoise)) >>= \y150 ->
    normal (a * (dataX ! (nat_ 151))) (recip (sqrt invNoise)) >>= \y151 ->
    normal (a * (dataX ! (nat_ 152))) (recip (sqrt invNoise)) >>= \y152 ->
    normal (a * (dataX ! (nat_ 153))) (recip (sqrt invNoise)) >>= \y153 ->
    normal (a * (dataX ! (nat_ 154))) (recip (sqrt invNoise)) >>= \y154 ->
    normal (a * (dataX ! (nat_ 155))) (recip (sqrt invNoise)) >>= \y155 ->
    normal (a * (dataX ! (nat_ 156))) (recip (sqrt invNoise)) >>= \y156 ->
    normal (a * (dataX ! (nat_ 157))) (recip (sqrt invNoise)) >>= \y157 ->
    normal (a * (dataX ! (nat_ 158))) (recip (sqrt invNoise)) >>= \y158 ->
    normal (a * (dataX ! (nat_ 159))) (recip (sqrt invNoise)) >>= \y159 ->
    normal (a * (dataX ! (nat_ 160))) (recip (sqrt invNoise)) >>= \y160 ->
    normal (a * (dataX ! (nat_ 161))) (recip (sqrt invNoise)) >>= \y161 ->
    normal (a * (dataX ! (nat_ 162))) (recip (sqrt invNoise)) >>= \y162 ->
    normal (a * (dataX ! (nat_ 163))) (recip (sqrt invNoise)) >>= \y163 ->
    normal (a * (dataX ! (nat_ 164))) (recip (sqrt invNoise)) >>= \y164 ->
    normal (a * (dataX ! (nat_ 165))) (recip (sqrt invNoise)) >>= \y165 ->
    normal (a * (dataX ! (nat_ 166))) (recip (sqrt invNoise)) >>= \y166 ->
    normal (a * (dataX ! (nat_ 167))) (recip (sqrt invNoise)) >>= \y167 ->
    normal (a * (dataX ! (nat_ 168))) (recip (sqrt invNoise)) >>= \y168 ->
    normal (a * (dataX ! (nat_ 169))) (recip (sqrt invNoise)) >>= \y169 ->
    normal (a * (dataX ! (nat_ 170))) (recip (sqrt invNoise)) >>= \y170 ->
    normal (a * (dataX ! (nat_ 171))) (recip (sqrt invNoise)) >>= \y171 ->
    normal (a * (dataX ! (nat_ 172))) (recip (sqrt invNoise)) >>= \y172 ->
    normal (a * (dataX ! (nat_ 173))) (recip (sqrt invNoise)) >>= \y173 ->
    normal (a * (dataX ! (nat_ 174))) (recip (sqrt invNoise)) >>= \y174 ->
    normal (a * (dataX ! (nat_ 175))) (recip (sqrt invNoise)) >>= \y175 ->
    normal (a * (dataX ! (nat_ 176))) (recip (sqrt invNoise)) >>= \y176 ->
    normal (a * (dataX ! (nat_ 177))) (recip (sqrt invNoise)) >>= \y177 ->
    normal (a * (dataX ! (nat_ 178))) (recip (sqrt invNoise)) >>= \y178 ->
    normal (a * (dataX ! (nat_ 179))) (recip (sqrt invNoise)) >>= \y179 ->
    normal (a * (dataX ! (nat_ 180))) (recip (sqrt invNoise)) >>= \y180 ->
    normal (a * (dataX ! (nat_ 181))) (recip (sqrt invNoise)) >>= \y181 ->
    normal (a * (dataX ! (nat_ 182))) (recip (sqrt invNoise)) >>= \y182 ->
    normal (a * (dataX ! (nat_ 183))) (recip (sqrt invNoise)) >>= \y183 ->
    normal (a * (dataX ! (nat_ 184))) (recip (sqrt invNoise)) >>= \y184 ->
    normal (a * (dataX ! (nat_ 185))) (recip (sqrt invNoise)) >>= \y185 ->
    normal (a * (dataX ! (nat_ 186))) (recip (sqrt invNoise)) >>= \y186 ->
    normal (a * (dataX ! (nat_ 187))) (recip (sqrt invNoise)) >>= \y187 ->
    normal (a * (dataX ! (nat_ 188))) (recip (sqrt invNoise)) >>= \y188 ->
    normal (a * (dataX ! (nat_ 189))) (recip (sqrt invNoise)) >>= \y189 ->
    normal (a * (dataX ! (nat_ 190))) (recip (sqrt invNoise)) >>= \y190 ->
    normal (a * (dataX ! (nat_ 191))) (recip (sqrt invNoise)) >>= \y191 ->
    normal (a * (dataX ! (nat_ 192))) (recip (sqrt invNoise)) >>= \y192 ->
    normal (a * (dataX ! (nat_ 193))) (recip (sqrt invNoise)) >>= \y193 ->
    normal (a * (dataX ! (nat_ 194))) (recip (sqrt invNoise)) >>= \y194 ->
    normal (a * (dataX ! (nat_ 195))) (recip (sqrt invNoise)) >>= \y195 ->
    normal (a * (dataX ! (nat_ 196))) (recip (sqrt invNoise)) >>= \y196 ->
    normal (a * (dataX ! (nat_ 197))) (recip (sqrt invNoise)) >>= \y197 ->
    normal (a * (dataX ! (nat_ 198))) (recip (sqrt invNoise)) >>= \y198 ->
    normal (a * (dataX ! (nat_ 199))) (recip (sqrt invNoise)) >>= \y199 ->
    normal (a * (dataX ! (nat_ 200))) (recip (sqrt invNoise)) >>= \y200 ->
    normal (a * (dataX ! (nat_ 201))) (recip (sqrt invNoise)) >>= \y201 ->
    normal (a * (dataX ! (nat_ 202))) (recip (sqrt invNoise)) >>= \y202 ->
    normal (a * (dataX ! (nat_ 203))) (recip (sqrt invNoise)) >>= \y203 ->
    normal (a * (dataX ! (nat_ 204))) (recip (sqrt invNoise)) >>= \y204 ->
    normal (a * (dataX ! (nat_ 205))) (recip (sqrt invNoise)) >>= \y205 ->
    normal (a * (dataX ! (nat_ 206))) (recip (sqrt invNoise)) >>= \y206 ->
    normal (a * (dataX ! (nat_ 207))) (recip (sqrt invNoise)) >>= \y207 ->
    normal (a * (dataX ! (nat_ 208))) (recip (sqrt invNoise)) >>= \y208 ->
    normal (a * (dataX ! (nat_ 209))) (recip (sqrt invNoise)) >>= \y209 ->
    normal (a * (dataX ! (nat_ 210))) (recip (sqrt invNoise)) >>= \y210 ->
    normal (a * (dataX ! (nat_ 211))) (recip (sqrt invNoise)) >>= \y211 ->
    normal (a * (dataX ! (nat_ 212))) (recip (sqrt invNoise)) >>= \y212 ->
    normal (a * (dataX ! (nat_ 213))) (recip (sqrt invNoise)) >>= \y213 ->
    normal (a * (dataX ! (nat_ 214))) (recip (sqrt invNoise)) >>= \y214 ->
    normal (a * (dataX ! (nat_ 215))) (recip (sqrt invNoise)) >>= \y215 ->
    normal (a * (dataX ! (nat_ 216))) (recip (sqrt invNoise)) >>= \y216 ->
    normal (a * (dataX ! (nat_ 217))) (recip (sqrt invNoise)) >>= \y217 ->
    normal (a * (dataX ! (nat_ 218))) (recip (sqrt invNoise)) >>= \y218 ->
    normal (a * (dataX ! (nat_ 219))) (recip (sqrt invNoise)) >>= \y219 ->
    normal (a * (dataX ! (nat_ 220))) (recip (sqrt invNoise)) >>= \y220 ->
    normal (a * (dataX ! (nat_ 221))) (recip (sqrt invNoise)) >>= \y221 ->
    normal (a * (dataX ! (nat_ 222))) (recip (sqrt invNoise)) >>= \y222 ->
    normal (a * (dataX ! (nat_ 223))) (recip (sqrt invNoise)) >>= \y223 ->
    normal (a * (dataX ! (nat_ 224))) (recip (sqrt invNoise)) >>= \y224 ->
    normal (a * (dataX ! (nat_ 225))) (recip (sqrt invNoise)) >>= \y225 ->
    normal (a * (dataX ! (nat_ 226))) (recip (sqrt invNoise)) >>= \y226 ->
    normal (a * (dataX ! (nat_ 227))) (recip (sqrt invNoise)) >>= \y227 ->
    normal (a * (dataX ! (nat_ 228))) (recip (sqrt invNoise)) >>= \y228 ->
    normal (a * (dataX ! (nat_ 229))) (recip (sqrt invNoise)) >>= \y229 ->
    normal (a * (dataX ! (nat_ 230))) (recip (sqrt invNoise)) >>= \y230 ->
    normal (a * (dataX ! (nat_ 231))) (recip (sqrt invNoise)) >>= \y231 ->
    normal (a * (dataX ! (nat_ 232))) (recip (sqrt invNoise)) >>= \y232 ->
    normal (a * (dataX ! (nat_ 233))) (recip (sqrt invNoise)) >>= \y233 ->
    normal (a * (dataX ! (nat_ 234))) (recip (sqrt invNoise)) >>= \y234 ->
    normal (a * (dataX ! (nat_ 235))) (recip (sqrt invNoise)) >>= \y235 ->
    normal (a * (dataX ! (nat_ 236))) (recip (sqrt invNoise)) >>= \y236 ->
    normal (a * (dataX ! (nat_ 237))) (recip (sqrt invNoise)) >>= \y237 ->
    normal (a * (dataX ! (nat_ 238))) (recip (sqrt invNoise)) >>= \y238 ->
    normal (a * (dataX ! (nat_ 239))) (recip (sqrt invNoise)) >>= \y239 ->
    normal (a * (dataX ! (nat_ 240))) (recip (sqrt invNoise)) >>= \y240 ->
    normal (a * (dataX ! (nat_ 241))) (recip (sqrt invNoise)) >>= \y241 ->
    normal (a * (dataX ! (nat_ 242))) (recip (sqrt invNoise)) >>= \y242 ->
    normal (a * (dataX ! (nat_ 243))) (recip (sqrt invNoise)) >>= \y243 ->
    normal (a * (dataX ! (nat_ 244))) (recip (sqrt invNoise)) >>= \y244 ->
    normal (a * (dataX ! (nat_ 245))) (recip (sqrt invNoise)) >>= \y245 ->
    normal (a * (dataX ! (nat_ 246))) (recip (sqrt invNoise)) >>= \y246 ->
    normal (a * (dataX ! (nat_ 247))) (recip (sqrt invNoise)) >>= \y247 ->
    normal (a * (dataX ! (nat_ 248))) (recip (sqrt invNoise)) >>= \y248 ->
    normal (a * (dataX ! (nat_ 249))) (recip (sqrt invNoise)) >>= \y249 ->
    normal (a * (dataX ! (nat_ 250))) (recip (sqrt invNoise)) >>= \y250 ->
    normal (a * (dataX ! (nat_ 251))) (recip (sqrt invNoise)) >>= \y251 ->
    normal (a * (dataX ! (nat_ 252))) (recip (sqrt invNoise)) >>= \y252 ->
    normal (a * (dataX ! (nat_ 253))) (recip (sqrt invNoise)) >>= \y253 ->
    normal (a * (dataX ! (nat_ 254))) (recip (sqrt invNoise)) >>= \y254 ->
    normal (a * (dataX ! (nat_ 255))) (recip (sqrt invNoise)) >>= \y255 ->
    normal (a * (dataX ! (nat_ 256))) (recip (sqrt invNoise)) >>= \y256 ->
    normal (a * (dataX ! (nat_ 257))) (recip (sqrt invNoise)) >>= \y257 ->
    normal (a * (dataX ! (nat_ 258))) (recip (sqrt invNoise)) >>= \y258 ->
    normal (a * (dataX ! (nat_ 259))) (recip (sqrt invNoise)) >>= \y259 ->
    normal (a * (dataX ! (nat_ 260))) (recip (sqrt invNoise)) >>= \y260 ->
    normal (a * (dataX ! (nat_ 261))) (recip (sqrt invNoise)) >>= \y261 ->
    normal (a * (dataX ! (nat_ 262))) (recip (sqrt invNoise)) >>= \y262 ->
    normal (a * (dataX ! (nat_ 263))) (recip (sqrt invNoise)) >>= \y263 ->
    normal (a * (dataX ! (nat_ 264))) (recip (sqrt invNoise)) >>= \y264 ->
    normal (a * (dataX ! (nat_ 265))) (recip (sqrt invNoise)) >>= \y265 ->
    normal (a * (dataX ! (nat_ 266))) (recip (sqrt invNoise)) >>= \y266 ->
    normal (a * (dataX ! (nat_ 267))) (recip (sqrt invNoise)) >>= \y267 ->
    normal (a * (dataX ! (nat_ 268))) (recip (sqrt invNoise)) >>= \y268 ->
    normal (a * (dataX ! (nat_ 269))) (recip (sqrt invNoise)) >>= \y269 ->
    normal (a * (dataX ! (nat_ 270))) (recip (sqrt invNoise)) >>= \y270 ->
    normal (a * (dataX ! (nat_ 271))) (recip (sqrt invNoise)) >>= \y271 ->
    normal (a * (dataX ! (nat_ 272))) (recip (sqrt invNoise)) >>= \y272 ->
    normal (a * (dataX ! (nat_ 273))) (recip (sqrt invNoise)) >>= \y273 ->
    normal (a * (dataX ! (nat_ 274))) (recip (sqrt invNoise)) >>= \y274 ->
    normal (a * (dataX ! (nat_ 275))) (recip (sqrt invNoise)) >>= \y275 ->
    normal (a * (dataX ! (nat_ 276))) (recip (sqrt invNoise)) >>= \y276 ->
    normal (a * (dataX ! (nat_ 277))) (recip (sqrt invNoise)) >>= \y277 ->
    normal (a * (dataX ! (nat_ 278))) (recip (sqrt invNoise)) >>= \y278 ->
    normal (a * (dataX ! (nat_ 279))) (recip (sqrt invNoise)) >>= \y279 ->
    normal (a * (dataX ! (nat_ 280))) (recip (sqrt invNoise)) >>= \y280 ->
    normal (a * (dataX ! (nat_ 281))) (recip (sqrt invNoise)) >>= \y281 ->
    normal (a * (dataX ! (nat_ 282))) (recip (sqrt invNoise)) >>= \y282 ->
    normal (a * (dataX ! (nat_ 283))) (recip (sqrt invNoise)) >>= \y283 ->
    normal (a * (dataX ! (nat_ 284))) (recip (sqrt invNoise)) >>= \y284 ->
    normal (a * (dataX ! (nat_ 285))) (recip (sqrt invNoise)) >>= \y285 ->
    normal (a * (dataX ! (nat_ 286))) (recip (sqrt invNoise)) >>= \y286 ->
    normal (a * (dataX ! (nat_ 287))) (recip (sqrt invNoise)) >>= \y287 ->
    normal (a * (dataX ! (nat_ 288))) (recip (sqrt invNoise)) >>= \y288 ->
    normal (a * (dataX ! (nat_ 289))) (recip (sqrt invNoise)) >>= \y289 ->
    normal (a * (dataX ! (nat_ 290))) (recip (sqrt invNoise)) >>= \y290 ->
    normal (a * (dataX ! (nat_ 291))) (recip (sqrt invNoise)) >>= \y291 ->
    normal (a * (dataX ! (nat_ 292))) (recip (sqrt invNoise)) >>= \y292 ->
    normal (a * (dataX ! (nat_ 293))) (recip (sqrt invNoise)) >>= \y293 ->
    normal (a * (dataX ! (nat_ 294))) (recip (sqrt invNoise)) >>= \y294 ->
    normal (a * (dataX ! (nat_ 295))) (recip (sqrt invNoise)) >>= \y295 ->
    normal (a * (dataX ! (nat_ 296))) (recip (sqrt invNoise)) >>= \y296 ->
    normal (a * (dataX ! (nat_ 297))) (recip (sqrt invNoise)) >>= \y297 ->
    normal (a * (dataX ! (nat_ 298))) (recip (sqrt invNoise)) >>= \y298 ->
    normal (a * (dataX ! (nat_ 299))) (recip (sqrt invNoise)) >>= \y299 ->
    normal (a * (dataX ! (nat_ 300))) (recip (sqrt invNoise)) >>= \y300 ->
    normal (a * (dataX ! (nat_ 301))) (recip (sqrt invNoise)) >>= \y301 ->
    normal (a * (dataX ! (nat_ 302))) (recip (sqrt invNoise)) >>= \y302 ->
    normal (a * (dataX ! (nat_ 303))) (recip (sqrt invNoise)) >>= \y303 ->
    normal (a * (dataX ! (nat_ 304))) (recip (sqrt invNoise)) >>= \y304 ->
    normal (a * (dataX ! (nat_ 305))) (recip (sqrt invNoise)) >>= \y305 ->
    normal (a * (dataX ! (nat_ 306))) (recip (sqrt invNoise)) >>= \y306 ->
    normal (a * (dataX ! (nat_ 307))) (recip (sqrt invNoise)) >>= \y307 ->
    normal (a * (dataX ! (nat_ 308))) (recip (sqrt invNoise)) >>= \y308 ->
    normal (a * (dataX ! (nat_ 309))) (recip (sqrt invNoise)) >>= \y309 ->
    normal (a * (dataX ! (nat_ 310))) (recip (sqrt invNoise)) >>= \y310 ->
    normal (a * (dataX ! (nat_ 311))) (recip (sqrt invNoise)) >>= \y311 ->
    normal (a * (dataX ! (nat_ 312))) (recip (sqrt invNoise)) >>= \y312 ->
    normal (a * (dataX ! (nat_ 313))) (recip (sqrt invNoise)) >>= \y313 ->
    normal (a * (dataX ! (nat_ 314))) (recip (sqrt invNoise)) >>= \y314 ->
    normal (a * (dataX ! (nat_ 315))) (recip (sqrt invNoise)) >>= \y315 ->
    normal (a * (dataX ! (nat_ 316))) (recip (sqrt invNoise)) >>= \y316 ->
    normal (a * (dataX ! (nat_ 317))) (recip (sqrt invNoise)) >>= \y317 ->
    normal (a * (dataX ! (nat_ 318))) (recip (sqrt invNoise)) >>= \y318 ->
    normal (a * (dataX ! (nat_ 319))) (recip (sqrt invNoise)) >>= \y319 ->
    normal (a * (dataX ! (nat_ 320))) (recip (sqrt invNoise)) >>= \y320 ->
    normal (a * (dataX ! (nat_ 321))) (recip (sqrt invNoise)) >>= \y321 ->
    normal (a * (dataX ! (nat_ 322))) (recip (sqrt invNoise)) >>= \y322 ->
    normal (a * (dataX ! (nat_ 323))) (recip (sqrt invNoise)) >>= \y323 ->
    normal (a * (dataX ! (nat_ 324))) (recip (sqrt invNoise)) >>= \y324 ->
    normal (a * (dataX ! (nat_ 325))) (recip (sqrt invNoise)) >>= \y325 ->
    normal (a * (dataX ! (nat_ 326))) (recip (sqrt invNoise)) >>= \y326 ->
    normal (a * (dataX ! (nat_ 327))) (recip (sqrt invNoise)) >>= \y327 ->
    normal (a * (dataX ! (nat_ 328))) (recip (sqrt invNoise)) >>= \y328 ->
    normal (a * (dataX ! (nat_ 329))) (recip (sqrt invNoise)) >>= \y329 ->
    normal (a * (dataX ! (nat_ 330))) (recip (sqrt invNoise)) >>= \y330 ->
    normal (a * (dataX ! (nat_ 331))) (recip (sqrt invNoise)) >>= \y331 ->
    normal (a * (dataX ! (nat_ 332))) (recip (sqrt invNoise)) >>= \y332 ->
    normal (a * (dataX ! (nat_ 333))) (recip (sqrt invNoise)) >>= \y333 ->
    normal (a * (dataX ! (nat_ 334))) (recip (sqrt invNoise)) >>= \y334 ->
    normal (a * (dataX ! (nat_ 335))) (recip (sqrt invNoise)) >>= \y335 ->
    normal (a * (dataX ! (nat_ 336))) (recip (sqrt invNoise)) >>= \y336 ->
    normal (a * (dataX ! (nat_ 337))) (recip (sqrt invNoise)) >>= \y337 ->
    normal (a * (dataX ! (nat_ 338))) (recip (sqrt invNoise)) >>= \y338 ->
    normal (a * (dataX ! (nat_ 339))) (recip (sqrt invNoise)) >>= \y339 ->
    normal (a * (dataX ! (nat_ 340))) (recip (sqrt invNoise)) >>= \y340 ->
    normal (a * (dataX ! (nat_ 341))) (recip (sqrt invNoise)) >>= \y341 ->
    normal (a * (dataX ! (nat_ 342))) (recip (sqrt invNoise)) >>= \y342 ->
    normal (a * (dataX ! (nat_ 343))) (recip (sqrt invNoise)) >>= \y343 ->
    normal (a * (dataX ! (nat_ 344))) (recip (sqrt invNoise)) >>= \y344 ->
    normal (a * (dataX ! (nat_ 345))) (recip (sqrt invNoise)) >>= \y345 ->
    normal (a * (dataX ! (nat_ 346))) (recip (sqrt invNoise)) >>= \y346 ->
    normal (a * (dataX ! (nat_ 347))) (recip (sqrt invNoise)) >>= \y347 ->
    normal (a * (dataX ! (nat_ 348))) (recip (sqrt invNoise)) >>= \y348 ->
    normal (a * (dataX ! (nat_ 349))) (recip (sqrt invNoise)) >>= \y349 ->
    normal (a * (dataX ! (nat_ 350))) (recip (sqrt invNoise)) >>= \y350 ->
    normal (a * (dataX ! (nat_ 351))) (recip (sqrt invNoise)) >>= \y351 ->
    normal (a * (dataX ! (nat_ 352))) (recip (sqrt invNoise)) >>= \y352 ->
    normal (a * (dataX ! (nat_ 353))) (recip (sqrt invNoise)) >>= \y353 ->
    normal (a * (dataX ! (nat_ 354))) (recip (sqrt invNoise)) >>= \y354 ->
    normal (a * (dataX ! (nat_ 355))) (recip (sqrt invNoise)) >>= \y355 ->
    normal (a * (dataX ! (nat_ 356))) (recip (sqrt invNoise)) >>= \y356 ->
    normal (a * (dataX ! (nat_ 357))) (recip (sqrt invNoise)) >>= \y357 ->
    normal (a * (dataX ! (nat_ 358))) (recip (sqrt invNoise)) >>= \y358 ->
    normal (a * (dataX ! (nat_ 359))) (recip (sqrt invNoise)) >>= \y359 ->
    normal (a * (dataX ! (nat_ 360))) (recip (sqrt invNoise)) >>= \y360 ->
    normal (a * (dataX ! (nat_ 361))) (recip (sqrt invNoise)) >>= \y361 ->
    normal (a * (dataX ! (nat_ 362))) (recip (sqrt invNoise)) >>= \y362 ->
    normal (a * (dataX ! (nat_ 363))) (recip (sqrt invNoise)) >>= \y363 ->
    normal (a * (dataX ! (nat_ 364))) (recip (sqrt invNoise)) >>= \y364 ->
    normal (a * (dataX ! (nat_ 365))) (recip (sqrt invNoise)) >>= \y365 ->
    normal (a * (dataX ! (nat_ 366))) (recip (sqrt invNoise)) >>= \y366 ->
    normal (a * (dataX ! (nat_ 367))) (recip (sqrt invNoise)) >>= \y367 ->
    normal (a * (dataX ! (nat_ 368))) (recip (sqrt invNoise)) >>= \y368 ->
    normal (a * (dataX ! (nat_ 369))) (recip (sqrt invNoise)) >>= \y369 ->
    normal (a * (dataX ! (nat_ 370))) (recip (sqrt invNoise)) >>= \y370 ->
    normal (a * (dataX ! (nat_ 371))) (recip (sqrt invNoise)) >>= \y371 ->
    normal (a * (dataX ! (nat_ 372))) (recip (sqrt invNoise)) >>= \y372 ->
    normal (a * (dataX ! (nat_ 373))) (recip (sqrt invNoise)) >>= \y373 ->
    normal (a * (dataX ! (nat_ 374))) (recip (sqrt invNoise)) >>= \y374 ->
    normal (a * (dataX ! (nat_ 375))) (recip (sqrt invNoise)) >>= \y375 ->
    normal (a * (dataX ! (nat_ 376))) (recip (sqrt invNoise)) >>= \y376 ->
    normal (a * (dataX ! (nat_ 377))) (recip (sqrt invNoise)) >>= \y377 ->
    normal (a * (dataX ! (nat_ 378))) (recip (sqrt invNoise)) >>= \y378 ->
    normal (a * (dataX ! (nat_ 379))) (recip (sqrt invNoise)) >>= \y379 ->
    normal (a * (dataX ! (nat_ 380))) (recip (sqrt invNoise)) >>= \y380 ->
    normal (a * (dataX ! (nat_ 381))) (recip (sqrt invNoise)) >>= \y381 ->
    normal (a * (dataX ! (nat_ 382))) (recip (sqrt invNoise)) >>= \y382 ->
    normal (a * (dataX ! (nat_ 383))) (recip (sqrt invNoise)) >>= \y383 ->
    normal (a * (dataX ! (nat_ 384))) (recip (sqrt invNoise)) >>= \y384 ->
    normal (a * (dataX ! (nat_ 385))) (recip (sqrt invNoise)) >>= \y385 ->
    normal (a * (dataX ! (nat_ 386))) (recip (sqrt invNoise)) >>= \y386 ->
    normal (a * (dataX ! (nat_ 387))) (recip (sqrt invNoise)) >>= \y387 ->
    normal (a * (dataX ! (nat_ 388))) (recip (sqrt invNoise)) >>= \y388 ->
    normal (a * (dataX ! (nat_ 389))) (recip (sqrt invNoise)) >>= \y389 ->
    normal (a * (dataX ! (nat_ 390))) (recip (sqrt invNoise)) >>= \y390 ->
    normal (a * (dataX ! (nat_ 391))) (recip (sqrt invNoise)) >>= \y391 ->
    normal (a * (dataX ! (nat_ 392))) (recip (sqrt invNoise)) >>= \y392 ->
    normal (a * (dataX ! (nat_ 393))) (recip (sqrt invNoise)) >>= \y393 ->
    normal (a * (dataX ! (nat_ 394))) (recip (sqrt invNoise)) >>= \y394 ->
    normal (a * (dataX ! (nat_ 395))) (recip (sqrt invNoise)) >>= \y395 ->
    normal (a * (dataX ! (nat_ 396))) (recip (sqrt invNoise)) >>= \y396 ->
    normal (a * (dataX ! (nat_ 397))) (recip (sqrt invNoise)) >>= \y397 ->
    normal (a * (dataX ! (nat_ 398))) (recip (sqrt invNoise)) >>= \y398 ->
    normal (a * (dataX ! (nat_ 399))) (recip (sqrt invNoise)) >>= \y399 ->
    normal (a * (dataX ! (nat_ 400))) (recip (sqrt invNoise)) >>= \y400 ->
    normal (a * (dataX ! (nat_ 401))) (recip (sqrt invNoise)) >>= \y401 ->
    normal (a * (dataX ! (nat_ 402))) (recip (sqrt invNoise)) >>= \y402 ->
    normal (a * (dataX ! (nat_ 403))) (recip (sqrt invNoise)) >>= \y403 ->
    normal (a * (dataX ! (nat_ 404))) (recip (sqrt invNoise)) >>= \y404 ->
    normal (a * (dataX ! (nat_ 405))) (recip (sqrt invNoise)) >>= \y405 ->
    normal (a * (dataX ! (nat_ 406))) (recip (sqrt invNoise)) >>= \y406 ->
    normal (a * (dataX ! (nat_ 407))) (recip (sqrt invNoise)) >>= \y407 ->
    normal (a * (dataX ! (nat_ 408))) (recip (sqrt invNoise)) >>= \y408 ->
    normal (a * (dataX ! (nat_ 409))) (recip (sqrt invNoise)) >>= \y409 ->
    normal (a * (dataX ! (nat_ 410))) (recip (sqrt invNoise)) >>= \y410 ->
    normal (a * (dataX ! (nat_ 411))) (recip (sqrt invNoise)) >>= \y411 ->
    normal (a * (dataX ! (nat_ 412))) (recip (sqrt invNoise)) >>= \y412 ->
    normal (a * (dataX ! (nat_ 413))) (recip (sqrt invNoise)) >>= \y413 ->
    normal (a * (dataX ! (nat_ 414))) (recip (sqrt invNoise)) >>= \y414 ->
    normal (a * (dataX ! (nat_ 415))) (recip (sqrt invNoise)) >>= \y415 ->
    normal (a * (dataX ! (nat_ 416))) (recip (sqrt invNoise)) >>= \y416 ->
    normal (a * (dataX ! (nat_ 417))) (recip (sqrt invNoise)) >>= \y417 ->
    normal (a * (dataX ! (nat_ 418))) (recip (sqrt invNoise)) >>= \y418 ->
    normal (a * (dataX ! (nat_ 419))) (recip (sqrt invNoise)) >>= \y419 ->
    normal (a * (dataX ! (nat_ 420))) (recip (sqrt invNoise)) >>= \y420 ->
    normal (a * (dataX ! (nat_ 421))) (recip (sqrt invNoise)) >>= \y421 ->
    normal (a * (dataX ! (nat_ 422))) (recip (sqrt invNoise)) >>= \y422 ->
    normal (a * (dataX ! (nat_ 423))) (recip (sqrt invNoise)) >>= \y423 ->
    normal (a * (dataX ! (nat_ 424))) (recip (sqrt invNoise)) >>= \y424 ->
    normal (a * (dataX ! (nat_ 425))) (recip (sqrt invNoise)) >>= \y425 ->
    normal (a * (dataX ! (nat_ 426))) (recip (sqrt invNoise)) >>= \y426 ->
    normal (a * (dataX ! (nat_ 427))) (recip (sqrt invNoise)) >>= \y427 ->
    normal (a * (dataX ! (nat_ 428))) (recip (sqrt invNoise)) >>= \y428 ->
    normal (a * (dataX ! (nat_ 429))) (recip (sqrt invNoise)) >>= \y429 ->
    normal (a * (dataX ! (nat_ 430))) (recip (sqrt invNoise)) >>= \y430 ->
    normal (a * (dataX ! (nat_ 431))) (recip (sqrt invNoise)) >>= \y431 ->
    normal (a * (dataX ! (nat_ 432))) (recip (sqrt invNoise)) >>= \y432 ->
    normal (a * (dataX ! (nat_ 433))) (recip (sqrt invNoise)) >>= \y433 ->
    normal (a * (dataX ! (nat_ 434))) (recip (sqrt invNoise)) >>= \y434 ->
    normal (a * (dataX ! (nat_ 435))) (recip (sqrt invNoise)) >>= \y435 ->
    normal (a * (dataX ! (nat_ 436))) (recip (sqrt invNoise)) >>= \y436 ->
    normal (a * (dataX ! (nat_ 437))) (recip (sqrt invNoise)) >>= \y437 ->
    normal (a * (dataX ! (nat_ 438))) (recip (sqrt invNoise)) >>= \y438 ->
    normal (a * (dataX ! (nat_ 439))) (recip (sqrt invNoise)) >>= \y439 ->
    normal (a * (dataX ! (nat_ 440))) (recip (sqrt invNoise)) >>= \y440 ->
    normal (a * (dataX ! (nat_ 441))) (recip (sqrt invNoise)) >>= \y441 ->
    normal (a * (dataX ! (nat_ 442))) (recip (sqrt invNoise)) >>= \y442 ->
    normal (a * (dataX ! (nat_ 443))) (recip (sqrt invNoise)) >>= \y443 ->
    normal (a * (dataX ! (nat_ 444))) (recip (sqrt invNoise)) >>= \y444 ->
    normal (a * (dataX ! (nat_ 445))) (recip (sqrt invNoise)) >>= \y445 ->
    normal (a * (dataX ! (nat_ 446))) (recip (sqrt invNoise)) >>= \y446 ->
    normal (a * (dataX ! (nat_ 447))) (recip (sqrt invNoise)) >>= \y447 ->
    normal (a * (dataX ! (nat_ 448))) (recip (sqrt invNoise)) >>= \y448 ->
    normal (a * (dataX ! (nat_ 449))) (recip (sqrt invNoise)) >>= \y449 ->
    normal (a * (dataX ! (nat_ 450))) (recip (sqrt invNoise)) >>= \y450 ->
    normal (a * (dataX ! (nat_ 451))) (recip (sqrt invNoise)) >>= \y451 ->
    normal (a * (dataX ! (nat_ 452))) (recip (sqrt invNoise)) >>= \y452 ->
    normal (a * (dataX ! (nat_ 453))) (recip (sqrt invNoise)) >>= \y453 ->
    normal (a * (dataX ! (nat_ 454))) (recip (sqrt invNoise)) >>= \y454 ->
    normal (a * (dataX ! (nat_ 455))) (recip (sqrt invNoise)) >>= \y455 ->
    normal (a * (dataX ! (nat_ 456))) (recip (sqrt invNoise)) >>= \y456 ->
    normal (a * (dataX ! (nat_ 457))) (recip (sqrt invNoise)) >>= \y457 ->
    normal (a * (dataX ! (nat_ 458))) (recip (sqrt invNoise)) >>= \y458 ->
    normal (a * (dataX ! (nat_ 459))) (recip (sqrt invNoise)) >>= \y459 ->
    normal (a * (dataX ! (nat_ 460))) (recip (sqrt invNoise)) >>= \y460 ->
    normal (a * (dataX ! (nat_ 461))) (recip (sqrt invNoise)) >>= \y461 ->
    normal (a * (dataX ! (nat_ 462))) (recip (sqrt invNoise)) >>= \y462 ->
    normal (a * (dataX ! (nat_ 463))) (recip (sqrt invNoise)) >>= \y463 ->
    normal (a * (dataX ! (nat_ 464))) (recip (sqrt invNoise)) >>= \y464 ->
    normal (a * (dataX ! (nat_ 465))) (recip (sqrt invNoise)) >>= \y465 ->
    normal (a * (dataX ! (nat_ 466))) (recip (sqrt invNoise)) >>= \y466 ->
    normal (a * (dataX ! (nat_ 467))) (recip (sqrt invNoise)) >>= \y467 ->
    normal (a * (dataX ! (nat_ 468))) (recip (sqrt invNoise)) >>= \y468 ->
    normal (a * (dataX ! (nat_ 469))) (recip (sqrt invNoise)) >>= \y469 ->
    normal (a * (dataX ! (nat_ 470))) (recip (sqrt invNoise)) >>= \y470 ->
    normal (a * (dataX ! (nat_ 471))) (recip (sqrt invNoise)) >>= \y471 ->
    normal (a * (dataX ! (nat_ 472))) (recip (sqrt invNoise)) >>= \y472 ->
    normal (a * (dataX ! (nat_ 473))) (recip (sqrt invNoise)) >>= \y473 ->
    normal (a * (dataX ! (nat_ 474))) (recip (sqrt invNoise)) >>= \y474 ->
    normal (a * (dataX ! (nat_ 475))) (recip (sqrt invNoise)) >>= \y475 ->
    normal (a * (dataX ! (nat_ 476))) (recip (sqrt invNoise)) >>= \y476 ->
    normal (a * (dataX ! (nat_ 477))) (recip (sqrt invNoise)) >>= \y477 ->
    normal (a * (dataX ! (nat_ 478))) (recip (sqrt invNoise)) >>= \y478 ->
    normal (a * (dataX ! (nat_ 479))) (recip (sqrt invNoise)) >>= \y479 ->
    normal (a * (dataX ! (nat_ 480))) (recip (sqrt invNoise)) >>= \y480 ->
    normal (a * (dataX ! (nat_ 481))) (recip (sqrt invNoise)) >>= \y481 ->
    normal (a * (dataX ! (nat_ 482))) (recip (sqrt invNoise)) >>= \y482 ->
    normal (a * (dataX ! (nat_ 483))) (recip (sqrt invNoise)) >>= \y483 ->
    normal (a * (dataX ! (nat_ 484))) (recip (sqrt invNoise)) >>= \y484 ->
    normal (a * (dataX ! (nat_ 485))) (recip (sqrt invNoise)) >>= \y485 ->
    normal (a * (dataX ! (nat_ 486))) (recip (sqrt invNoise)) >>= \y486 ->
    normal (a * (dataX ! (nat_ 487))) (recip (sqrt invNoise)) >>= \y487 ->
    normal (a * (dataX ! (nat_ 488))) (recip (sqrt invNoise)) >>= \y488 ->
    normal (a * (dataX ! (nat_ 489))) (recip (sqrt invNoise)) >>= \y489 ->
    normal (a * (dataX ! (nat_ 490))) (recip (sqrt invNoise)) >>= \y490 ->
    normal (a * (dataX ! (nat_ 491))) (recip (sqrt invNoise)) >>= \y491 ->
    normal (a * (dataX ! (nat_ 492))) (recip (sqrt invNoise)) >>= \y492 ->
    normal (a * (dataX ! (nat_ 493))) (recip (sqrt invNoise)) >>= \y493 ->
    normal (a * (dataX ! (nat_ 494))) (recip (sqrt invNoise)) >>= \y494 ->
    normal (a * (dataX ! (nat_ 495))) (recip (sqrt invNoise)) >>= \y495 ->
    normal (a * (dataX ! (nat_ 496))) (recip (sqrt invNoise)) >>= \y496 ->
    normal (a * (dataX ! (nat_ 497))) (recip (sqrt invNoise)) >>= \y497 ->
    normal (a * (dataX ! (nat_ 498))) (recip (sqrt invNoise)) >>= \y498 ->
    normal (a * (dataX ! (nat_ 499))) (recip (sqrt invNoise)) >>= \y499 ->
    dirac (pair (pair y0 
                 (pair y1 
                  (pair y2 
                   (pair y3 
                    (pair y4 
                     (pair y5 
                      (pair y6 
                       (pair y7 
                        (pair y8 
                         (pair y9 
                          (pair y10 
                           (pair y11 
                            (pair y12 
                             (pair y13 
                              (pair y14 
                               (pair y15 
                                (pair y16 
                                 (pair y17 
                                  (pair y18 
                                   (pair y19 
                                    (pair y20 
                                     (pair y21 
                                      (pair y22 
                                       (pair y23 
                                        (pair y24 
                                         (pair y25 
                                          (pair y26 
                                           (pair y27 
                                            (pair y28 
                                             (pair y29 
                                              (pair y30 
                                               (pair y31 
                                                (pair y32 
                                                 (pair y33 
                                                  (pair y34 
                                                   (pair y35 
                                                    (pair y36 
                                                     (pair y37 
                                                      (pair y38 
                                                       (pair y39 
                                                        (pair y40 
                                                         (pair y41 
                                                          (pair y42 
                                                           (pair y43 
                                                            (pair y44 
                                                             (pair y45 
                                                              (pair y46 
                                                               (pair y47 
                                                                (pair y48 
                                                                 (pair y49 
                                                                  (pair y50 
                                                                   (pair y51 
                                                                    (pair y52 
                                                                     (pair y53 
                                                                      (pair y54 
                                                                       (pair y55 
                                                                        (pair y56 
                                                                         (pair y57 
                                                                          (pair y58 
                                                                           (pair y59 
                                                                            (pair y60 
                                                                             (pair y61 
                                                                              (pair y62 
                                                                               (pair y63 
                                                                                (pair y64 
                                                                                 (pair y65 
                                                                                  (pair y66 
                                                                                   (pair y67 
                                                                                    (pair y68 
                                                                                     (pair y69 
                                                                                      (pair y70 
                                                                                       (pair y71 
                                                                                        (pair y72 
                                                                                         (pair y73 
                                                                                          (pair y74 
                                                                                           (pair y75 
                                                                                            (pair y76 
                                                                                             (pair y77 
                                                                                              (pair y78 
                                                                                               (pair y79 
                                                                                                (pair y80 
                                                                                                 (pair y81 
                                                                                                  (pair y82 
                                                                                                   (pair y83 
                                                                                                    (pair y84 
                                                                                                     (pair y85 
                                                                                                      (pair y86 
                                                                                                       (pair y87 
                                                                                                        (pair y88 
                                                                                                         (pair y89 
                                                                                                          (pair y90 
                                                                                                           (pair y91 
                                                                                                            (pair y92 
                                                                                                             (pair y93 
                                                                                                              (pair y94 
                                                                                                               (pair y95 
                                                                                                                (pair y96 
                                                                                                                 (pair y97 
                                                                                                                  (pair y98 
                                                                                                                   (pair y99 
                                                                                                                    (pair y100 
                                                                                                                     (pair y101 
                                                                                                                      (pair y102 
                                                                                                                       (pair y103 
                                                                                                                        (pair y104 
                                                                                                                         (pair y105 
                                                                                                                          (pair y106 
                                                                                                                           (pair y107 
                                                                                                                            (pair y108 
                                                                                                                             (pair y109 
                                                                                                                              (pair y110 
                                                                                                                               (pair y111 
                                                                                                                                (pair y112 
                                                                                                                                 (pair y113 
                                                                                                                                  (pair y114 
                                                                                                                                   (pair y115 
                                                                                                                                    (pair y116 
                                                                                                                                     (pair y117 
                                                                                                                                      (pair y118 
                                                                                                                                       (pair y119 
                                                                                                                                        (pair y120 
                                                                                                                                         (pair y121 
                                                                                                                                          (pair y122 
                                                                                                                                           (pair y123 
                                                                                                                                            (pair y124 
                                                                                                                                             (pair y125 
                                                                                                                                              (pair y126 
                                                                                                                                               (pair y127 
                                                                                                                                                (pair y128 
                                                                                                                                                 (pair y129 
                                                                                                                                                  (pair y130 
                                                                                                                                                   (pair y131 
                                                                                                                                                    (pair y132 
                                                                                                                                                     (pair y133 
                                                                                                                                                      (pair y134 
                                                                                                                                                       (pair y135 
                                                                                                                                                        (pair y136 
                                                                                                                                                         (pair y137 
                                                                                                                                                          (pair y138 
                                                                                                                                                           (pair y139 
                                                                                                                                                            (pair y140 
                                                                                                                                                             (pair y141 
                                                                                                                                                              (pair y142 
                                                                                                                                                               (pair y143 
                                                                                                                                                                (pair y144 
                                                                                                                                                                 (pair y145 
                                                                                                                                                                  (pair y146 
                                                                                                                                                                   (pair y147 
                                                                                                                                                                    (pair y148 
                                                                                                                                                                     (pair y149 
                                                                                                                                                                      (pair y150 
                                                                                                                                                                       (pair y151 
                                                                                                                                                                        (pair y152 
                                                                                                                                                                         (pair y153 
                                                                                                                                                                          (pair y154 
                                                                                                                                                                           (pair y155 
                                                                                                                                                                            (pair y156 
                                                                                                                                                                             (pair y157 
                                                                                                                                                                              (pair y158 
                                                                                                                                                                               (pair y159 
                                                                                                                                                                                (pair y160 
                                                                                                                                                                                 (pair y161 
                                                                                                                                                                                  (pair y162 
                                                                                                                                                                                   (pair y163 
                                                                                                                                                                                    (pair y164 
                                                                                                                                                                                     (pair y165 
                                                                                                                                                                                      (pair y166 
                                                                                                                                                                                       (pair y167 
                                                                                                                                                                                        (pair y168 
                                                                                                                                                                                         (pair y169 
                                                                                                                                                                                          (pair y170 
                                                                                                                                                                                           (pair y171 
                                                                                                                                                                                            (pair y172 
                                                                                                                                                                                             (pair y173 
                                                                                                                                                                                              (pair y174 
                                                                                                                                                                                               (pair y175 
                                                                                                                                                                                                (pair y176 
                                                                                                                                                                                                 (pair y177 
                                                                                                                                                                                                  (pair y178 
                                                                                                                                                                                                   (pair y179 
                                                                                                                                                                                                    (pair y180 
                                                                                                                                                                                                     (pair y181 
                                                                                                                                                                                                      (pair y182 
                                                                                                                                                                                                       (pair y183 
                                                                                                                                                                                                        (pair y184 
                                                                                                                                                                                                         (pair y185 
                                                                                                                                                                                                          (pair y186 
                                                                                                                                                                                                           (pair y187 
                                                                                                                                                                                                            (pair y188 
                                                                                                                                                                                                             (pair y189 
                                                                                                                                                                                                              (pair y190 
                                                                                                                                                                                                               (pair y191 
                                                                                                                                                                                                                (pair y192 
                                                                                                                                                                                                                 (pair y193 
                                                                                                                                                                                                                  (pair y194 
                                                                                                                                                                                                                   (pair y195 
                                                                                                                                                                                                                    (pair y196 
                                                                                                                                                                                                                     (pair y197 
                                                                                                                                                                                                                      (pair y198 
                                                                                                                                                                                                                       (pair y199 
                                                                                                                                                                                                                        (pair y200 
                                                                                                                                                                                                                         (pair y201 
                                                                                                                                                                                                                          (pair y202 
                                                                                                                                                                                                                           (pair y203 
                                                                                                                                                                                                                            (pair y204 
                                                                                                                                                                                                                             (pair y205 
                                                                                                                                                                                                                              (pair y206 
                                                                                                                                                                                                                               (pair y207 
                                                                                                                                                                                                                                (pair y208 
                                                                                                                                                                                                                                 (pair y209 
                                                                                                                                                                                                                                  (pair y210 
                                                                                                                                                                                                                                   (pair y211 
                                                                                                                                                                                                                                    (pair y212 
                                                                                                                                                                                                                                     (pair y213 
                                                                                                                                                                                                                                      (pair y214 
                                                                                                                                                                                                                                       (pair y215 
                                                                                                                                                                                                                                        (pair y216 
                                                                                                                                                                                                                                         (pair y217 
                                                                                                                                                                                                                                          (pair y218 
                                                                                                                                                                                                                                           (pair y219 
                                                                                                                                                                                                                                            (pair y220 
                                                                                                                                                                                                                                             (pair y221 
                                                                                                                                                                                                                                              (pair y222 
                                                                                                                                                                                                                                               (pair y223 
                                                                                                                                                                                                                                                (pair y224 
                                                                                                                                                                                                                                                 (pair y225 
                                                                                                                                                                                                                                                  (pair y226 
                                                                                                                                                                                                                                                   (pair y227 
                                                                                                                                                                                                                                                    (pair y228 
                                                                                                                                                                                                                                                     (pair y229 
                                                                                                                                                                                                                                                      (pair y230 
                                                                                                                                                                                                                                                       (pair y231 
                                                                                                                                                                                                                                                        (pair y232 
                                                                                                                                                                                                                                                         (pair y233 
                                                                                                                                                                                                                                                          (pair y234 
                                                                                                                                                                                                                                                           (pair y235 
                                                                                                                                                                                                                                                            (pair y236 
                                                                                                                                                                                                                                                             (pair y237 
                                                                                                                                                                                                                                                              (pair y238 
                                                                                                                                                                                                                                                               (pair y239 
                                                                                                                                                                                                                                                                (pair y240 
                                                                                                                                                                                                                                                                 (pair y241 
                                                                                                                                                                                                                                                                  (pair y242 
                                                                                                                                                                                                                                                                   (pair y243 
                                                                                                                                                                                                                                                                    (pair y244 
                                                                                                                                                                                                                                                                     (pair y245 
                                                                                                                                                                                                                                                                      (pair y246 
                                                                                                                                                                                                                                                                       (pair y247 
                                                                                                                                                                                                                                                                        (pair y248 
                                                                                                                                                                                                                                                                         (pair y249 
                                                                                                                                                                                                                                                                          (pair y250 
                                                                                                                                                                                                                                                                           (pair y251 
                                                                                                                                                                                                                                                                            (pair y252 
                                                                                                                                                                                                                                                                             (pair y253 
                                                                                                                                                                                                                                                                              (pair y254 
                                                                                                                                                                                                                                                                               (pair y255 
                                                                                                                                                                                                                                                                                (pair y256 
                                                                                                                                                                                                                                                                                 (pair y257 
                                                                                                                                                                                                                                                                                  (pair y258 
                                                                                                                                                                                                                                                                                   (pair y259 
                                                                                                                                                                                                                                                                                    (pair y260 
                                                                                                                                                                                                                                                                                     (pair y261 
                                                                                                                                                                                                                                                                                      (pair y262 
                                                                                                                                                                                                                                                                                       (pair y263 
                                                                                                                                                                                                                                                                                        (pair y264 
                                                                                                                                                                                                                                                                                         (pair y265 
                                                                                                                                                                                                                                                                                          (pair y266 
                                                                                                                                                                                                                                                                                           (pair y267 
                                                                                                                                                                                                                                                                                            (pair y268 
                                                                                                                                                                                                                                                                                             (pair y269 
                                                                                                                                                                                                                                                                                              (pair y270 
                                                                                                                                                                                                                                                                                               (pair y271 
                                                                                                                                                                                                                                                                                                (pair y272 
                                                                                                                                                                                                                                                                                                 (pair y273 
                                                                                                                                                                                                                                                                                                  (pair y274 
                                                                                                                                                                                                                                                                                                   (pair y275 
                                                                                                                                                                                                                                                                                                    (pair y276 
                                                                                                                                                                                                                                                                                                     (pair y277 
                                                                                                                                                                                                                                                                                                      (pair y278 
                                                                                                                                                                                                                                                                                                       (pair y279 
                                                                                                                                                                                                                                                                                                        (pair y280 
                                                                                                                                                                                                                                                                                                         (pair y281 
                                                                                                                                                                                                                                                                                                          (pair y282 
                                                                                                                                                                                                                                                                                                           (pair y283 
                                                                                                                                                                                                                                                                                                            (pair y284 
                                                                                                                                                                                                                                                                                                             (pair y285 
                                                                                                                                                                                                                                                                                                              (pair y286 
                                                                                                                                                                                                                                                                                                               (pair y287 
                                                                                                                                                                                                                                                                                                                (pair y288 
                                                                                                                                                                                                                                                                                                                 (pair y289 
                                                                                                                                                                                                                                                                                                                  (pair y290 
                                                                                                                                                                                                                                                                                                                   (pair y291 
                                                                                                                                                                                                                                                                                                                    (pair y292 
                                                                                                                                                                                                                                                                                                                     (pair y293 
                                                                                                                                                                                                                                                                                                                      (pair y294 
                                                                                                                                                                                                                                                                                                                       (pair y295 
                                                                                                                                                                                                                                                                                                                        (pair y296 
                                                                                                                                                                                                                                                                                                                         (pair y297 
                                                                                                                                                                                                                                                                                                                          (pair y298 
                                                                                                                                                                                                                                                                                                                           (pair y299 
                                                                                                                                                                                                                                                                                                                            (pair y300 
                                                                                                                                                                                                                                                                                                                             (pair y301 
                                                                                                                                                                                                                                                                                                                              (pair y302 
                                                                                                                                                                                                                                                                                                                               (pair y303 
                                                                                                                                                                                                                                                                                                                                (pair y304 
                                                                                                                                                                                                                                                                                                                                 (pair y305 
                                                                                                                                                                                                                                                                                                                                  (pair y306 
                                                                                                                                                                                                                                                                                                                                   (pair y307 
                                                                                                                                                                                                                                                                                                                                    (pair y308 
                                                                                                                                                                                                                                                                                                                                     (pair y309 
                                                                                                                                                                                                                                                                                                                                      (pair y310 
                                                                                                                                                                                                                                                                                                                                       (pair y311 
                                                                                                                                                                                                                                                                                                                                        (pair y312 
                                                                                                                                                                                                                                                                                                                                         (pair y313 
                                                                                                                                                                                                                                                                                                                                          (pair y314 
                                                                                                                                                                                                                                                                                                                                           (pair y315 
                                                                                                                                                                                                                                                                                                                                            (pair y316 
                                                                                                                                                                                                                                                                                                                                             (pair y317 
                                                                                                                                                                                                                                                                                                                                              (pair y318 
                                                                                                                                                                                                                                                                                                                                               (pair y319 
                                                                                                                                                                                                                                                                                                                                                (pair y320 
                                                                                                                                                                                                                                                                                                                                                 (pair y321 
                                                                                                                                                                                                                                                                                                                                                  (pair y322 
                                                                                                                                                                                                                                                                                                                                                   (pair y323 
                                                                                                                                                                                                                                                                                                                                                    (pair y324 
                                                                                                                                                                                                                                                                                                                                                     (pair y325 
                                                                                                                                                                                                                                                                                                                                                      (pair y326 
                                                                                                                                                                                                                                                                                                                                                       (pair y327 
                                                                                                                                                                                                                                                                                                                                                        (pair y328 
                                                                                                                                                                                                                                                                                                                                                         (pair y329 
                                                                                                                                                                                                                                                                                                                                                          (pair y330 
                                                                                                                                                                                                                                                                                                                                                           (pair y331 
                                                                                                                                                                                                                                                                                                                                                            (pair y332 
                                                                                                                                                                                                                                                                                                                                                             (pair y333 
                                                                                                                                                                                                                                                                                                                                                              (pair y334 
                                                                                                                                                                                                                                                                                                                                                               (pair y335 
                                                                                                                                                                                                                                                                                                                                                                (pair y336 
                                                                                                                                                                                                                                                                                                                                                                 (pair y337 
                                                                                                                                                                                                                                                                                                                                                                  (pair y338 
                                                                                                                                                                                                                                                                                                                                                                   (pair y339 
                                                                                                                                                                                                                                                                                                                                                                    (pair y340 
                                                                                                                                                                                                                                                                                                                                                                     (pair y341 
                                                                                                                                                                                                                                                                                                                                                                      (pair y342 
                                                                                                                                                                                                                                                                                                                                                                       (pair y343 
                                                                                                                                                                                                                                                                                                                                                                        (pair y344 
                                                                                                                                                                                                                                                                                                                                                                         (pair y345 
                                                                                                                                                                                                                                                                                                                                                                          (pair y346 
                                                                                                                                                                                                                                                                                                                                                                           (pair y347 
                                                                                                                                                                                                                                                                                                                                                                            (pair y348 
                                                                                                                                                                                                                                                                                                                                                                             (pair y349 
                                                                                                                                                                                                                                                                                                                                                                              (pair y350 
                                                                                                                                                                                                                                                                                                                                                                               (pair y351 
                                                                                                                                                                                                                                                                                                                                                                                (pair y352 
                                                                                                                                                                                                                                                                                                                                                                                 (pair y353 
                                                                                                                                                                                                                                                                                                                                                                                  (pair y354 
                                                                                                                                                                                                                                                                                                                                                                                   (pair y355 
                                                                                                                                                                                                                                                                                                                                                                                    (pair y356 
                                                                                                                                                                                                                                                                                                                                                                                     (pair y357 
                                                                                                                                                                                                                                                                                                                                                                                      (pair y358 
                                                                                                                                                                                                                                                                                                                                                                                       (pair y359 
                                                                                                                                                                                                                                                                                                                                                                                        (pair y360 
                                                                                                                                                                                                                                                                                                                                                                                         (pair y361 
                                                                                                                                                                                                                                                                                                                                                                                          (pair y362 
                                                                                                                                                                                                                                                                                                                                                                                           (pair y363 
                                                                                                                                                                                                                                                                                                                                                                                            (pair y364 
                                                                                                                                                                                                                                                                                                                                                                                             (pair y365 
                                                                                                                                                                                                                                                                                                                                                                                              (pair y366 
                                                                                                                                                                                                                                                                                                                                                                                               (pair y367 
                                                                                                                                                                                                                                                                                                                                                                                                (pair y368 
                                                                                                                                                                                                                                                                                                                                                                                                 (pair y369 
                                                                                                                                                                                                                                                                                                                                                                                                  (pair y370 
                                                                                                                                                                                                                                                                                                                                                                                                   (pair y371 
                                                                                                                                                                                                                                                                                                                                                                                                    (pair y372 
                                                                                                                                                                                                                                                                                                                                                                                                     (pair y373 
                                                                                                                                                                                                                                                                                                                                                                                                      (pair y374 
                                                                                                                                                                                                                                                                                                                                                                                                       (pair y375 
                                                                                                                                                                                                                                                                                                                                                                                                        (pair y376 
                                                                                                                                                                                                                                                                                                                                                                                                         (pair y377 
                                                                                                                                                                                                                                                                                                                                                                                                          (pair y378 
                                                                                                                                                                                                                                                                                                                                                                                                           (pair y379 
                                                                                                                                                                                                                                                                                                                                                                                                            (pair y380 
                                                                                                                                                                                                                                                                                                                                                                                                             (pair y381 
                                                                                                                                                                                                                                                                                                                                                                                                              (pair y382 
                                                                                                                                                                                                                                                                                                                                                                                                               (pair y383 
                                                                                                                                                                                                                                                                                                                                                                                                                (pair y384 
                                                                                                                                                                                                                                                                                                                                                                                                                 (pair y385 
                                                                                                                                                                                                                                                                                                                                                                                                                  (pair y386 
                                                                                                                                                                                                                                                                                                                                                                                                                   (pair y387 
                                                                                                                                                                                                                                                                                                                                                                                                                    (pair y388 
                                                                                                                                                                                                                                                                                                                                                                                                                     (pair y389 
                                                                                                                                                                                                                                                                                                                                                                                                                      (pair y390 
                                                                                                                                                                                                                                                                                                                                                                                                                       (pair y391 
                                                                                                                                                                                                                                                                                                                                                                                                                        (pair y392 
                                                                                                                                                                                                                                                                                                                                                                                                                         (pair y393 
                                                                                                                                                                                                                                                                                                                                                                                                                          (pair y394 
                                                                                                                                                                                                                                                                                                                                                                                                                           (pair y395 
                                                                                                                                                                                                                                                                                                                                                                                                                            (pair y396 
                                                                                                                                                                                                                                                                                                                                                                                                                             (pair y397 
                                                                                                                                                                                                                                                                                                                                                                                                                              (pair y398 
                                                                                                                                                                                                                                                                                                                                                                                                                               (pair y399 
                                                                                                                                                                                                                                                                                                                                                                                                                                (pair y400 
                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair y401 
                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair y402 
                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair y403 
                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair y404 
                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair y405 
                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair y406 
                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair y407 
                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair y408 
                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair y409 
                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair y410 
                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair y411 
                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair y412 
                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair y413 
                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair y414 
                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair y415 
                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair y416 
                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair y417 
                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair y418 
                                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair y419 
                                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair y420 
                                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair y421 
                                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair y422 
                                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair y423 
                                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair y424 
                                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair y425 
                                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair y426 
                                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair y427 
                                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair y428 
                                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair y429 
                                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair y430 
                                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair y431 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair y432 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair y433 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair y434 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair y435 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair y436 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair y437 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair y438 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair y439 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair y440 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair y441 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair y442 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair y443 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair y444 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair y445 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair y446 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair y447 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair y448 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair y449 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair y450 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair y451 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair y452 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair y453 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair y454 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair y455 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair y456 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair y457 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair y458 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair y459 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair y460 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair y461 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair y462 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair y463 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair y464 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair y465 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair y466 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair y467 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair y468 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair y469 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair y470 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair y471 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair y472 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair y473 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair y474 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair y475 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair y476 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair y477 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair y478 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair y479 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair y480 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair y481 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair y482 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair y483 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair y484 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair y485 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair y486 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair y487 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair y488 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair y489 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair y490 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair y491 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair y492 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair y493 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair y494 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair y495 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair y496 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair y497 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair y498 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   y499)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
           unit)
    where dataX = var (Variable "dataX" 73 (SArray SReal))

main :: IO ()
main = print (length (disintegrate linearRegression))
