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

module DigitRecognition500 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)

digitRecognition :: Model (HPair HBool 
                           (HPair HBool 
                            (HPair HBool 
                             (HPair HBool 
                              (HPair HBool 
                               (HPair HBool 
                                (HPair HBool 
                                 (HPair HBool 
                                  (HPair HBool 
                                   (HPair HBool 
                                    (HPair HBool 
                                     (HPair HBool 
                                      (HPair HBool 
                                       (HPair HBool 
                                        (HPair HBool 
                                         (HPair HBool 
                                          (HPair HBool 
                                           (HPair HBool 
                                            (HPair HBool 
                                             (HPair HBool 
                                              (HPair HBool 
                                               (HPair HBool 
                                                (HPair HBool 
                                                 (HPair HBool 
                                                  (HPair HBool 
                                                   (HPair HBool 
                                                    (HPair HBool 
                                                     (HPair HBool 
                                                      (HPair HBool 
                                                       (HPair HBool 
                                                        (HPair HBool 
                                                         (HPair HBool 
                                                          (HPair HBool 
                                                           (HPair HBool 
                                                            (HPair HBool 
                                                             (HPair HBool 
                                                              (HPair HBool 
                                                               (HPair HBool 
                                                                (HPair HBool 
                                                                 (HPair HBool 
                                                                  (HPair HBool 
                                                                   (HPair HBool 
                                                                    (HPair HBool 
                                                                     (HPair HBool 
                                                                      (HPair HBool 
                                                                       (HPair HBool 
                                                                        (HPair HBool 
                                                                         (HPair HBool 
                                                                          (HPair HBool 
                                                                           (HPair HBool 
                                                                            (HPair HBool 
                                                                             (HPair HBool 
                                                                              (HPair HBool 
                                                                               (HPair HBool 
                                                                                (HPair HBool 
                                                                                 (HPair HBool 
                                                                                  (HPair HBool 
                                                                                   (HPair HBool 
                                                                                    (HPair HBool 
                                                                                     (HPair HBool 
                                                                                      (HPair HBool 
                                                                                       (HPair HBool 
                                                                                        (HPair HBool 
                                                                                         (HPair HBool 
                                                                                          (HPair HBool 
                                                                                           (HPair HBool 
                                                                                            (HPair HBool 
                                                                                             (HPair HBool 
                                                                                              (HPair HBool 
                                                                                               (HPair HBool 
                                                                                                (HPair HBool 
                                                                                                 (HPair HBool 
                                                                                                  (HPair HBool 
                                                                                                   (HPair HBool 
                                                                                                    (HPair HBool 
                                                                                                     (HPair HBool 
                                                                                                      (HPair HBool 
                                                                                                       (HPair HBool 
                                                                                                        (HPair HBool 
                                                                                                         (HPair HBool 
                                                                                                          (HPair HBool 
                                                                                                           (HPair HBool 
                                                                                                            (HPair HBool 
                                                                                                             (HPair HBool 
                                                                                                              (HPair HBool 
                                                                                                               (HPair HBool 
                                                                                                                (HPair HBool 
                                                                                                                 (HPair HBool 
                                                                                                                  (HPair HBool 
                                                                                                                   (HPair HBool 
                                                                                                                    (HPair HBool 
                                                                                                                     (HPair HBool 
                                                                                                                      (HPair HBool 
                                                                                                                       (HPair HBool 
                                                                                                                        (HPair HBool 
                                                                                                                         (HPair HBool 
                                                                                                                          (HPair HBool 
                                                                                                                           (HPair HBool 
                                                                                                                            (HPair HBool 
                                                                                                                             (HPair HBool 
                                                                                                                              (HPair HBool 
                                                                                                                               (HPair HBool 
                                                                                                                                (HPair HBool 
                                                                                                                                 (HPair HBool 
                                                                                                                                  (HPair HBool 
                                                                                                                                   (HPair HBool 
                                                                                                                                    (HPair HBool 
                                                                                                                                     (HPair HBool 
                                                                                                                                      (HPair HBool 
                                                                                                                                       (HPair HBool 
                                                                                                                                        (HPair HBool 
                                                                                                                                         (HPair HBool 
                                                                                                                                          (HPair HBool 
                                                                                                                                           (HPair HBool 
                                                                                                                                            (HPair HBool 
                                                                                                                                             (HPair HBool 
                                                                                                                                              (HPair HBool 
                                                                                                                                               (HPair HBool 
                                                                                                                                                (HPair HBool 
                                                                                                                                                 (HPair HBool 
                                                                                                                                                  (HPair HBool 
                                                                                                                                                   (HPair HBool 
                                                                                                                                                    (HPair HBool 
                                                                                                                                                     (HPair HBool 
                                                                                                                                                      (HPair HBool 
                                                                                                                                                       (HPair HBool 
                                                                                                                                                        (HPair HBool 
                                                                                                                                                         (HPair HBool 
                                                                                                                                                          (HPair HBool 
                                                                                                                                                           (HPair HBool 
                                                                                                                                                            (HPair HBool 
                                                                                                                                                             (HPair HBool 
                                                                                                                                                              (HPair HBool 
                                                                                                                                                               (HPair HBool 
                                                                                                                                                                (HPair HBool 
                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (HPair HBool 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             HBool)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
                    'HNat
digitRecognition =
    categorical dataPrior >>= \y ->
    bern ((dataParams ! y) ! (nat_ 0)) >>= \x0 ->
    bern ((dataParams ! y) ! (nat_ 1)) >>= \x1 ->
    bern ((dataParams ! y) ! (nat_ 2)) >>= \x2 ->
    bern ((dataParams ! y) ! (nat_ 3)) >>= \x3 ->
    bern ((dataParams ! y) ! (nat_ 4)) >>= \x4 ->
    bern ((dataParams ! y) ! (nat_ 5)) >>= \x5 ->
    bern ((dataParams ! y) ! (nat_ 6)) >>= \x6 ->
    bern ((dataParams ! y) ! (nat_ 7)) >>= \x7 ->
    bern ((dataParams ! y) ! (nat_ 8)) >>= \x8 ->
    bern ((dataParams ! y) ! (nat_ 9)) >>= \x9 ->
    bern ((dataParams ! y) ! (nat_ 10)) >>= \x10 ->
    bern ((dataParams ! y) ! (nat_ 11)) >>= \x11 ->
    bern ((dataParams ! y) ! (nat_ 12)) >>= \x12 ->
    bern ((dataParams ! y) ! (nat_ 13)) >>= \x13 ->
    bern ((dataParams ! y) ! (nat_ 14)) >>= \x14 ->
    bern ((dataParams ! y) ! (nat_ 15)) >>= \x15 ->
    bern ((dataParams ! y) ! (nat_ 16)) >>= \x16 ->
    bern ((dataParams ! y) ! (nat_ 17)) >>= \x17 ->
    bern ((dataParams ! y) ! (nat_ 18)) >>= \x18 ->
    bern ((dataParams ! y) ! (nat_ 19)) >>= \x19 ->
    bern ((dataParams ! y) ! (nat_ 20)) >>= \x20 ->
    bern ((dataParams ! y) ! (nat_ 21)) >>= \x21 ->
    bern ((dataParams ! y) ! (nat_ 22)) >>= \x22 ->
    bern ((dataParams ! y) ! (nat_ 23)) >>= \x23 ->
    bern ((dataParams ! y) ! (nat_ 24)) >>= \x24 ->
    bern ((dataParams ! y) ! (nat_ 25)) >>= \x25 ->
    bern ((dataParams ! y) ! (nat_ 26)) >>= \x26 ->
    bern ((dataParams ! y) ! (nat_ 27)) >>= \x27 ->
    bern ((dataParams ! y) ! (nat_ 28)) >>= \x28 ->
    bern ((dataParams ! y) ! (nat_ 29)) >>= \x29 ->
    bern ((dataParams ! y) ! (nat_ 30)) >>= \x30 ->
    bern ((dataParams ! y) ! (nat_ 31)) >>= \x31 ->
    bern ((dataParams ! y) ! (nat_ 32)) >>= \x32 ->
    bern ((dataParams ! y) ! (nat_ 33)) >>= \x33 ->
    bern ((dataParams ! y) ! (nat_ 34)) >>= \x34 ->
    bern ((dataParams ! y) ! (nat_ 35)) >>= \x35 ->
    bern ((dataParams ! y) ! (nat_ 36)) >>= \x36 ->
    bern ((dataParams ! y) ! (nat_ 37)) >>= \x37 ->
    bern ((dataParams ! y) ! (nat_ 38)) >>= \x38 ->
    bern ((dataParams ! y) ! (nat_ 39)) >>= \x39 ->
    bern ((dataParams ! y) ! (nat_ 40)) >>= \x40 ->
    bern ((dataParams ! y) ! (nat_ 41)) >>= \x41 ->
    bern ((dataParams ! y) ! (nat_ 42)) >>= \x42 ->
    bern ((dataParams ! y) ! (nat_ 43)) >>= \x43 ->
    bern ((dataParams ! y) ! (nat_ 44)) >>= \x44 ->
    bern ((dataParams ! y) ! (nat_ 45)) >>= \x45 ->
    bern ((dataParams ! y) ! (nat_ 46)) >>= \x46 ->
    bern ((dataParams ! y) ! (nat_ 47)) >>= \x47 ->
    bern ((dataParams ! y) ! (nat_ 48)) >>= \x48 ->
    bern ((dataParams ! y) ! (nat_ 49)) >>= \x49 ->
    bern ((dataParams ! y) ! (nat_ 50)) >>= \x50 ->
    bern ((dataParams ! y) ! (nat_ 51)) >>= \x51 ->
    bern ((dataParams ! y) ! (nat_ 52)) >>= \x52 ->
    bern ((dataParams ! y) ! (nat_ 53)) >>= \x53 ->
    bern ((dataParams ! y) ! (nat_ 54)) >>= \x54 ->
    bern ((dataParams ! y) ! (nat_ 55)) >>= \x55 ->
    bern ((dataParams ! y) ! (nat_ 56)) >>= \x56 ->
    bern ((dataParams ! y) ! (nat_ 57)) >>= \x57 ->
    bern ((dataParams ! y) ! (nat_ 58)) >>= \x58 ->
    bern ((dataParams ! y) ! (nat_ 59)) >>= \x59 ->
    bern ((dataParams ! y) ! (nat_ 60)) >>= \x60 ->
    bern ((dataParams ! y) ! (nat_ 61)) >>= \x61 ->
    bern ((dataParams ! y) ! (nat_ 62)) >>= \x62 ->
    bern ((dataParams ! y) ! (nat_ 63)) >>= \x63 ->
    bern ((dataParams ! y) ! (nat_ 64)) >>= \x64 ->
    bern ((dataParams ! y) ! (nat_ 65)) >>= \x65 ->
    bern ((dataParams ! y) ! (nat_ 66)) >>= \x66 ->
    bern ((dataParams ! y) ! (nat_ 67)) >>= \x67 ->
    bern ((dataParams ! y) ! (nat_ 68)) >>= \x68 ->
    bern ((dataParams ! y) ! (nat_ 69)) >>= \x69 ->
    bern ((dataParams ! y) ! (nat_ 70)) >>= \x70 ->
    bern ((dataParams ! y) ! (nat_ 71)) >>= \x71 ->
    bern ((dataParams ! y) ! (nat_ 72)) >>= \x72 ->
    bern ((dataParams ! y) ! (nat_ 73)) >>= \x73 ->
    bern ((dataParams ! y) ! (nat_ 74)) >>= \x74 ->
    bern ((dataParams ! y) ! (nat_ 75)) >>= \x75 ->
    bern ((dataParams ! y) ! (nat_ 76)) >>= \x76 ->
    bern ((dataParams ! y) ! (nat_ 77)) >>= \x77 ->
    bern ((dataParams ! y) ! (nat_ 78)) >>= \x78 ->
    bern ((dataParams ! y) ! (nat_ 79)) >>= \x79 ->
    bern ((dataParams ! y) ! (nat_ 80)) >>= \x80 ->
    bern ((dataParams ! y) ! (nat_ 81)) >>= \x81 ->
    bern ((dataParams ! y) ! (nat_ 82)) >>= \x82 ->
    bern ((dataParams ! y) ! (nat_ 83)) >>= \x83 ->
    bern ((dataParams ! y) ! (nat_ 84)) >>= \x84 ->
    bern ((dataParams ! y) ! (nat_ 85)) >>= \x85 ->
    bern ((dataParams ! y) ! (nat_ 86)) >>= \x86 ->
    bern ((dataParams ! y) ! (nat_ 87)) >>= \x87 ->
    bern ((dataParams ! y) ! (nat_ 88)) >>= \x88 ->
    bern ((dataParams ! y) ! (nat_ 89)) >>= \x89 ->
    bern ((dataParams ! y) ! (nat_ 90)) >>= \x90 ->
    bern ((dataParams ! y) ! (nat_ 91)) >>= \x91 ->
    bern ((dataParams ! y) ! (nat_ 92)) >>= \x92 ->
    bern ((dataParams ! y) ! (nat_ 93)) >>= \x93 ->
    bern ((dataParams ! y) ! (nat_ 94)) >>= \x94 ->
    bern ((dataParams ! y) ! (nat_ 95)) >>= \x95 ->
    bern ((dataParams ! y) ! (nat_ 96)) >>= \x96 ->
    bern ((dataParams ! y) ! (nat_ 97)) >>= \x97 ->
    bern ((dataParams ! y) ! (nat_ 98)) >>= \x98 ->
    bern ((dataParams ! y) ! (nat_ 99)) >>= \x99 ->
    bern ((dataParams ! y) ! (nat_ 100)) >>= \x100 ->
    bern ((dataParams ! y) ! (nat_ 101)) >>= \x101 ->
    bern ((dataParams ! y) ! (nat_ 102)) >>= \x102 ->
    bern ((dataParams ! y) ! (nat_ 103)) >>= \x103 ->
    bern ((dataParams ! y) ! (nat_ 104)) >>= \x104 ->
    bern ((dataParams ! y) ! (nat_ 105)) >>= \x105 ->
    bern ((dataParams ! y) ! (nat_ 106)) >>= \x106 ->
    bern ((dataParams ! y) ! (nat_ 107)) >>= \x107 ->
    bern ((dataParams ! y) ! (nat_ 108)) >>= \x108 ->
    bern ((dataParams ! y) ! (nat_ 109)) >>= \x109 ->
    bern ((dataParams ! y) ! (nat_ 110)) >>= \x110 ->
    bern ((dataParams ! y) ! (nat_ 111)) >>= \x111 ->
    bern ((dataParams ! y) ! (nat_ 112)) >>= \x112 ->
    bern ((dataParams ! y) ! (nat_ 113)) >>= \x113 ->
    bern ((dataParams ! y) ! (nat_ 114)) >>= \x114 ->
    bern ((dataParams ! y) ! (nat_ 115)) >>= \x115 ->
    bern ((dataParams ! y) ! (nat_ 116)) >>= \x116 ->
    bern ((dataParams ! y) ! (nat_ 117)) >>= \x117 ->
    bern ((dataParams ! y) ! (nat_ 118)) >>= \x118 ->
    bern ((dataParams ! y) ! (nat_ 119)) >>= \x119 ->
    bern ((dataParams ! y) ! (nat_ 120)) >>= \x120 ->
    bern ((dataParams ! y) ! (nat_ 121)) >>= \x121 ->
    bern ((dataParams ! y) ! (nat_ 122)) >>= \x122 ->
    bern ((dataParams ! y) ! (nat_ 123)) >>= \x123 ->
    bern ((dataParams ! y) ! (nat_ 124)) >>= \x124 ->
    bern ((dataParams ! y) ! (nat_ 125)) >>= \x125 ->
    bern ((dataParams ! y) ! (nat_ 126)) >>= \x126 ->
    bern ((dataParams ! y) ! (nat_ 127)) >>= \x127 ->
    bern ((dataParams ! y) ! (nat_ 128)) >>= \x128 ->
    bern ((dataParams ! y) ! (nat_ 129)) >>= \x129 ->
    bern ((dataParams ! y) ! (nat_ 130)) >>= \x130 ->
    bern ((dataParams ! y) ! (nat_ 131)) >>= \x131 ->
    bern ((dataParams ! y) ! (nat_ 132)) >>= \x132 ->
    bern ((dataParams ! y) ! (nat_ 133)) >>= \x133 ->
    bern ((dataParams ! y) ! (nat_ 134)) >>= \x134 ->
    bern ((dataParams ! y) ! (nat_ 135)) >>= \x135 ->
    bern ((dataParams ! y) ! (nat_ 136)) >>= \x136 ->
    bern ((dataParams ! y) ! (nat_ 137)) >>= \x137 ->
    bern ((dataParams ! y) ! (nat_ 138)) >>= \x138 ->
    bern ((dataParams ! y) ! (nat_ 139)) >>= \x139 ->
    bern ((dataParams ! y) ! (nat_ 140)) >>= \x140 ->
    bern ((dataParams ! y) ! (nat_ 141)) >>= \x141 ->
    bern ((dataParams ! y) ! (nat_ 142)) >>= \x142 ->
    bern ((dataParams ! y) ! (nat_ 143)) >>= \x143 ->
    bern ((dataParams ! y) ! (nat_ 144)) >>= \x144 ->
    bern ((dataParams ! y) ! (nat_ 145)) >>= \x145 ->
    bern ((dataParams ! y) ! (nat_ 146)) >>= \x146 ->
    bern ((dataParams ! y) ! (nat_ 147)) >>= \x147 ->
    bern ((dataParams ! y) ! (nat_ 148)) >>= \x148 ->
    bern ((dataParams ! y) ! (nat_ 149)) >>= \x149 ->
    bern ((dataParams ! y) ! (nat_ 150)) >>= \x150 ->
    bern ((dataParams ! y) ! (nat_ 151)) >>= \x151 ->
    bern ((dataParams ! y) ! (nat_ 152)) >>= \x152 ->
    bern ((dataParams ! y) ! (nat_ 153)) >>= \x153 ->
    bern ((dataParams ! y) ! (nat_ 154)) >>= \x154 ->
    bern ((dataParams ! y) ! (nat_ 155)) >>= \x155 ->
    bern ((dataParams ! y) ! (nat_ 156)) >>= \x156 ->
    bern ((dataParams ! y) ! (nat_ 157)) >>= \x157 ->
    bern ((dataParams ! y) ! (nat_ 158)) >>= \x158 ->
    bern ((dataParams ! y) ! (nat_ 159)) >>= \x159 ->
    bern ((dataParams ! y) ! (nat_ 160)) >>= \x160 ->
    bern ((dataParams ! y) ! (nat_ 161)) >>= \x161 ->
    bern ((dataParams ! y) ! (nat_ 162)) >>= \x162 ->
    bern ((dataParams ! y) ! (nat_ 163)) >>= \x163 ->
    bern ((dataParams ! y) ! (nat_ 164)) >>= \x164 ->
    bern ((dataParams ! y) ! (nat_ 165)) >>= \x165 ->
    bern ((dataParams ! y) ! (nat_ 166)) >>= \x166 ->
    bern ((dataParams ! y) ! (nat_ 167)) >>= \x167 ->
    bern ((dataParams ! y) ! (nat_ 168)) >>= \x168 ->
    bern ((dataParams ! y) ! (nat_ 169)) >>= \x169 ->
    bern ((dataParams ! y) ! (nat_ 170)) >>= \x170 ->
    bern ((dataParams ! y) ! (nat_ 171)) >>= \x171 ->
    bern ((dataParams ! y) ! (nat_ 172)) >>= \x172 ->
    bern ((dataParams ! y) ! (nat_ 173)) >>= \x173 ->
    bern ((dataParams ! y) ! (nat_ 174)) >>= \x174 ->
    bern ((dataParams ! y) ! (nat_ 175)) >>= \x175 ->
    bern ((dataParams ! y) ! (nat_ 176)) >>= \x176 ->
    bern ((dataParams ! y) ! (nat_ 177)) >>= \x177 ->
    bern ((dataParams ! y) ! (nat_ 178)) >>= \x178 ->
    bern ((dataParams ! y) ! (nat_ 179)) >>= \x179 ->
    bern ((dataParams ! y) ! (nat_ 180)) >>= \x180 ->
    bern ((dataParams ! y) ! (nat_ 181)) >>= \x181 ->
    bern ((dataParams ! y) ! (nat_ 182)) >>= \x182 ->
    bern ((dataParams ! y) ! (nat_ 183)) >>= \x183 ->
    bern ((dataParams ! y) ! (nat_ 184)) >>= \x184 ->
    bern ((dataParams ! y) ! (nat_ 185)) >>= \x185 ->
    bern ((dataParams ! y) ! (nat_ 186)) >>= \x186 ->
    bern ((dataParams ! y) ! (nat_ 187)) >>= \x187 ->
    bern ((dataParams ! y) ! (nat_ 188)) >>= \x188 ->
    bern ((dataParams ! y) ! (nat_ 189)) >>= \x189 ->
    bern ((dataParams ! y) ! (nat_ 190)) >>= \x190 ->
    bern ((dataParams ! y) ! (nat_ 191)) >>= \x191 ->
    bern ((dataParams ! y) ! (nat_ 192)) >>= \x192 ->
    bern ((dataParams ! y) ! (nat_ 193)) >>= \x193 ->
    bern ((dataParams ! y) ! (nat_ 194)) >>= \x194 ->
    bern ((dataParams ! y) ! (nat_ 195)) >>= \x195 ->
    bern ((dataParams ! y) ! (nat_ 196)) >>= \x196 ->
    bern ((dataParams ! y) ! (nat_ 197)) >>= \x197 ->
    bern ((dataParams ! y) ! (nat_ 198)) >>= \x198 ->
    bern ((dataParams ! y) ! (nat_ 199)) >>= \x199 ->
    bern ((dataParams ! y) ! (nat_ 200)) >>= \x200 ->
    bern ((dataParams ! y) ! (nat_ 201)) >>= \x201 ->
    bern ((dataParams ! y) ! (nat_ 202)) >>= \x202 ->
    bern ((dataParams ! y) ! (nat_ 203)) >>= \x203 ->
    bern ((dataParams ! y) ! (nat_ 204)) >>= \x204 ->
    bern ((dataParams ! y) ! (nat_ 205)) >>= \x205 ->
    bern ((dataParams ! y) ! (nat_ 206)) >>= \x206 ->
    bern ((dataParams ! y) ! (nat_ 207)) >>= \x207 ->
    bern ((dataParams ! y) ! (nat_ 208)) >>= \x208 ->
    bern ((dataParams ! y) ! (nat_ 209)) >>= \x209 ->
    bern ((dataParams ! y) ! (nat_ 210)) >>= \x210 ->
    bern ((dataParams ! y) ! (nat_ 211)) >>= \x211 ->
    bern ((dataParams ! y) ! (nat_ 212)) >>= \x212 ->
    bern ((dataParams ! y) ! (nat_ 213)) >>= \x213 ->
    bern ((dataParams ! y) ! (nat_ 214)) >>= \x214 ->
    bern ((dataParams ! y) ! (nat_ 215)) >>= \x215 ->
    bern ((dataParams ! y) ! (nat_ 216)) >>= \x216 ->
    bern ((dataParams ! y) ! (nat_ 217)) >>= \x217 ->
    bern ((dataParams ! y) ! (nat_ 218)) >>= \x218 ->
    bern ((dataParams ! y) ! (nat_ 219)) >>= \x219 ->
    bern ((dataParams ! y) ! (nat_ 220)) >>= \x220 ->
    bern ((dataParams ! y) ! (nat_ 221)) >>= \x221 ->
    bern ((dataParams ! y) ! (nat_ 222)) >>= \x222 ->
    bern ((dataParams ! y) ! (nat_ 223)) >>= \x223 ->
    bern ((dataParams ! y) ! (nat_ 224)) >>= \x224 ->
    bern ((dataParams ! y) ! (nat_ 225)) >>= \x225 ->
    bern ((dataParams ! y) ! (nat_ 226)) >>= \x226 ->
    bern ((dataParams ! y) ! (nat_ 227)) >>= \x227 ->
    bern ((dataParams ! y) ! (nat_ 228)) >>= \x228 ->
    bern ((dataParams ! y) ! (nat_ 229)) >>= \x229 ->
    bern ((dataParams ! y) ! (nat_ 230)) >>= \x230 ->
    bern ((dataParams ! y) ! (nat_ 231)) >>= \x231 ->
    bern ((dataParams ! y) ! (nat_ 232)) >>= \x232 ->
    bern ((dataParams ! y) ! (nat_ 233)) >>= \x233 ->
    bern ((dataParams ! y) ! (nat_ 234)) >>= \x234 ->
    bern ((dataParams ! y) ! (nat_ 235)) >>= \x235 ->
    bern ((dataParams ! y) ! (nat_ 236)) >>= \x236 ->
    bern ((dataParams ! y) ! (nat_ 237)) >>= \x237 ->
    bern ((dataParams ! y) ! (nat_ 238)) >>= \x238 ->
    bern ((dataParams ! y) ! (nat_ 239)) >>= \x239 ->
    bern ((dataParams ! y) ! (nat_ 240)) >>= \x240 ->
    bern ((dataParams ! y) ! (nat_ 241)) >>= \x241 ->
    bern ((dataParams ! y) ! (nat_ 242)) >>= \x242 ->
    bern ((dataParams ! y) ! (nat_ 243)) >>= \x243 ->
    bern ((dataParams ! y) ! (nat_ 244)) >>= \x244 ->
    bern ((dataParams ! y) ! (nat_ 245)) >>= \x245 ->
    bern ((dataParams ! y) ! (nat_ 246)) >>= \x246 ->
    bern ((dataParams ! y) ! (nat_ 247)) >>= \x247 ->
    bern ((dataParams ! y) ! (nat_ 248)) >>= \x248 ->
    bern ((dataParams ! y) ! (nat_ 249)) >>= \x249 ->
    bern ((dataParams ! y) ! (nat_ 250)) >>= \x250 ->
    bern ((dataParams ! y) ! (nat_ 251)) >>= \x251 ->
    bern ((dataParams ! y) ! (nat_ 252)) >>= \x252 ->
    bern ((dataParams ! y) ! (nat_ 253)) >>= \x253 ->
    bern ((dataParams ! y) ! (nat_ 254)) >>= \x254 ->
    bern ((dataParams ! y) ! (nat_ 255)) >>= \x255 ->
    bern ((dataParams ! y) ! (nat_ 256)) >>= \x256 ->
    bern ((dataParams ! y) ! (nat_ 257)) >>= \x257 ->
    bern ((dataParams ! y) ! (nat_ 258)) >>= \x258 ->
    bern ((dataParams ! y) ! (nat_ 259)) >>= \x259 ->
    bern ((dataParams ! y) ! (nat_ 260)) >>= \x260 ->
    bern ((dataParams ! y) ! (nat_ 261)) >>= \x261 ->
    bern ((dataParams ! y) ! (nat_ 262)) >>= \x262 ->
    bern ((dataParams ! y) ! (nat_ 263)) >>= \x263 ->
    bern ((dataParams ! y) ! (nat_ 264)) >>= \x264 ->
    bern ((dataParams ! y) ! (nat_ 265)) >>= \x265 ->
    bern ((dataParams ! y) ! (nat_ 266)) >>= \x266 ->
    bern ((dataParams ! y) ! (nat_ 267)) >>= \x267 ->
    bern ((dataParams ! y) ! (nat_ 268)) >>= \x268 ->
    bern ((dataParams ! y) ! (nat_ 269)) >>= \x269 ->
    bern ((dataParams ! y) ! (nat_ 270)) >>= \x270 ->
    bern ((dataParams ! y) ! (nat_ 271)) >>= \x271 ->
    bern ((dataParams ! y) ! (nat_ 272)) >>= \x272 ->
    bern ((dataParams ! y) ! (nat_ 273)) >>= \x273 ->
    bern ((dataParams ! y) ! (nat_ 274)) >>= \x274 ->
    bern ((dataParams ! y) ! (nat_ 275)) >>= \x275 ->
    bern ((dataParams ! y) ! (nat_ 276)) >>= \x276 ->
    bern ((dataParams ! y) ! (nat_ 277)) >>= \x277 ->
    bern ((dataParams ! y) ! (nat_ 278)) >>= \x278 ->
    bern ((dataParams ! y) ! (nat_ 279)) >>= \x279 ->
    bern ((dataParams ! y) ! (nat_ 280)) >>= \x280 ->
    bern ((dataParams ! y) ! (nat_ 281)) >>= \x281 ->
    bern ((dataParams ! y) ! (nat_ 282)) >>= \x282 ->
    bern ((dataParams ! y) ! (nat_ 283)) >>= \x283 ->
    bern ((dataParams ! y) ! (nat_ 284)) >>= \x284 ->
    bern ((dataParams ! y) ! (nat_ 285)) >>= \x285 ->
    bern ((dataParams ! y) ! (nat_ 286)) >>= \x286 ->
    bern ((dataParams ! y) ! (nat_ 287)) >>= \x287 ->
    bern ((dataParams ! y) ! (nat_ 288)) >>= \x288 ->
    bern ((dataParams ! y) ! (nat_ 289)) >>= \x289 ->
    bern ((dataParams ! y) ! (nat_ 290)) >>= \x290 ->
    bern ((dataParams ! y) ! (nat_ 291)) >>= \x291 ->
    bern ((dataParams ! y) ! (nat_ 292)) >>= \x292 ->
    bern ((dataParams ! y) ! (nat_ 293)) >>= \x293 ->
    bern ((dataParams ! y) ! (nat_ 294)) >>= \x294 ->
    bern ((dataParams ! y) ! (nat_ 295)) >>= \x295 ->
    bern ((dataParams ! y) ! (nat_ 296)) >>= \x296 ->
    bern ((dataParams ! y) ! (nat_ 297)) >>= \x297 ->
    bern ((dataParams ! y) ! (nat_ 298)) >>= \x298 ->
    bern ((dataParams ! y) ! (nat_ 299)) >>= \x299 ->
    bern ((dataParams ! y) ! (nat_ 300)) >>= \x300 ->
    bern ((dataParams ! y) ! (nat_ 301)) >>= \x301 ->
    bern ((dataParams ! y) ! (nat_ 302)) >>= \x302 ->
    bern ((dataParams ! y) ! (nat_ 303)) >>= \x303 ->
    bern ((dataParams ! y) ! (nat_ 304)) >>= \x304 ->
    bern ((dataParams ! y) ! (nat_ 305)) >>= \x305 ->
    bern ((dataParams ! y) ! (nat_ 306)) >>= \x306 ->
    bern ((dataParams ! y) ! (nat_ 307)) >>= \x307 ->
    bern ((dataParams ! y) ! (nat_ 308)) >>= \x308 ->
    bern ((dataParams ! y) ! (nat_ 309)) >>= \x309 ->
    bern ((dataParams ! y) ! (nat_ 310)) >>= \x310 ->
    bern ((dataParams ! y) ! (nat_ 311)) >>= \x311 ->
    bern ((dataParams ! y) ! (nat_ 312)) >>= \x312 ->
    bern ((dataParams ! y) ! (nat_ 313)) >>= \x313 ->
    bern ((dataParams ! y) ! (nat_ 314)) >>= \x314 ->
    bern ((dataParams ! y) ! (nat_ 315)) >>= \x315 ->
    bern ((dataParams ! y) ! (nat_ 316)) >>= \x316 ->
    bern ((dataParams ! y) ! (nat_ 317)) >>= \x317 ->
    bern ((dataParams ! y) ! (nat_ 318)) >>= \x318 ->
    bern ((dataParams ! y) ! (nat_ 319)) >>= \x319 ->
    bern ((dataParams ! y) ! (nat_ 320)) >>= \x320 ->
    bern ((dataParams ! y) ! (nat_ 321)) >>= \x321 ->
    bern ((dataParams ! y) ! (nat_ 322)) >>= \x322 ->
    bern ((dataParams ! y) ! (nat_ 323)) >>= \x323 ->
    bern ((dataParams ! y) ! (nat_ 324)) >>= \x324 ->
    bern ((dataParams ! y) ! (nat_ 325)) >>= \x325 ->
    bern ((dataParams ! y) ! (nat_ 326)) >>= \x326 ->
    bern ((dataParams ! y) ! (nat_ 327)) >>= \x327 ->
    bern ((dataParams ! y) ! (nat_ 328)) >>= \x328 ->
    bern ((dataParams ! y) ! (nat_ 329)) >>= \x329 ->
    bern ((dataParams ! y) ! (nat_ 330)) >>= \x330 ->
    bern ((dataParams ! y) ! (nat_ 331)) >>= \x331 ->
    bern ((dataParams ! y) ! (nat_ 332)) >>= \x332 ->
    bern ((dataParams ! y) ! (nat_ 333)) >>= \x333 ->
    bern ((dataParams ! y) ! (nat_ 334)) >>= \x334 ->
    bern ((dataParams ! y) ! (nat_ 335)) >>= \x335 ->
    bern ((dataParams ! y) ! (nat_ 336)) >>= \x336 ->
    bern ((dataParams ! y) ! (nat_ 337)) >>= \x337 ->
    bern ((dataParams ! y) ! (nat_ 338)) >>= \x338 ->
    bern ((dataParams ! y) ! (nat_ 339)) >>= \x339 ->
    bern ((dataParams ! y) ! (nat_ 340)) >>= \x340 ->
    bern ((dataParams ! y) ! (nat_ 341)) >>= \x341 ->
    bern ((dataParams ! y) ! (nat_ 342)) >>= \x342 ->
    bern ((dataParams ! y) ! (nat_ 343)) >>= \x343 ->
    bern ((dataParams ! y) ! (nat_ 344)) >>= \x344 ->
    bern ((dataParams ! y) ! (nat_ 345)) >>= \x345 ->
    bern ((dataParams ! y) ! (nat_ 346)) >>= \x346 ->
    bern ((dataParams ! y) ! (nat_ 347)) >>= \x347 ->
    bern ((dataParams ! y) ! (nat_ 348)) >>= \x348 ->
    bern ((dataParams ! y) ! (nat_ 349)) >>= \x349 ->
    bern ((dataParams ! y) ! (nat_ 350)) >>= \x350 ->
    bern ((dataParams ! y) ! (nat_ 351)) >>= \x351 ->
    bern ((dataParams ! y) ! (nat_ 352)) >>= \x352 ->
    bern ((dataParams ! y) ! (nat_ 353)) >>= \x353 ->
    bern ((dataParams ! y) ! (nat_ 354)) >>= \x354 ->
    bern ((dataParams ! y) ! (nat_ 355)) >>= \x355 ->
    bern ((dataParams ! y) ! (nat_ 356)) >>= \x356 ->
    bern ((dataParams ! y) ! (nat_ 357)) >>= \x357 ->
    bern ((dataParams ! y) ! (nat_ 358)) >>= \x358 ->
    bern ((dataParams ! y) ! (nat_ 359)) >>= \x359 ->
    bern ((dataParams ! y) ! (nat_ 360)) >>= \x360 ->
    bern ((dataParams ! y) ! (nat_ 361)) >>= \x361 ->
    bern ((dataParams ! y) ! (nat_ 362)) >>= \x362 ->
    bern ((dataParams ! y) ! (nat_ 363)) >>= \x363 ->
    bern ((dataParams ! y) ! (nat_ 364)) >>= \x364 ->
    bern ((dataParams ! y) ! (nat_ 365)) >>= \x365 ->
    bern ((dataParams ! y) ! (nat_ 366)) >>= \x366 ->
    bern ((dataParams ! y) ! (nat_ 367)) >>= \x367 ->
    bern ((dataParams ! y) ! (nat_ 368)) >>= \x368 ->
    bern ((dataParams ! y) ! (nat_ 369)) >>= \x369 ->
    bern ((dataParams ! y) ! (nat_ 370)) >>= \x370 ->
    bern ((dataParams ! y) ! (nat_ 371)) >>= \x371 ->
    bern ((dataParams ! y) ! (nat_ 372)) >>= \x372 ->
    bern ((dataParams ! y) ! (nat_ 373)) >>= \x373 ->
    bern ((dataParams ! y) ! (nat_ 374)) >>= \x374 ->
    bern ((dataParams ! y) ! (nat_ 375)) >>= \x375 ->
    bern ((dataParams ! y) ! (nat_ 376)) >>= \x376 ->
    bern ((dataParams ! y) ! (nat_ 377)) >>= \x377 ->
    bern ((dataParams ! y) ! (nat_ 378)) >>= \x378 ->
    bern ((dataParams ! y) ! (nat_ 379)) >>= \x379 ->
    bern ((dataParams ! y) ! (nat_ 380)) >>= \x380 ->
    bern ((dataParams ! y) ! (nat_ 381)) >>= \x381 ->
    bern ((dataParams ! y) ! (nat_ 382)) >>= \x382 ->
    bern ((dataParams ! y) ! (nat_ 383)) >>= \x383 ->
    bern ((dataParams ! y) ! (nat_ 384)) >>= \x384 ->
    bern ((dataParams ! y) ! (nat_ 385)) >>= \x385 ->
    bern ((dataParams ! y) ! (nat_ 386)) >>= \x386 ->
    bern ((dataParams ! y) ! (nat_ 387)) >>= \x387 ->
    bern ((dataParams ! y) ! (nat_ 388)) >>= \x388 ->
    bern ((dataParams ! y) ! (nat_ 389)) >>= \x389 ->
    bern ((dataParams ! y) ! (nat_ 390)) >>= \x390 ->
    bern ((dataParams ! y) ! (nat_ 391)) >>= \x391 ->
    bern ((dataParams ! y) ! (nat_ 392)) >>= \x392 ->
    bern ((dataParams ! y) ! (nat_ 393)) >>= \x393 ->
    bern ((dataParams ! y) ! (nat_ 394)) >>= \x394 ->
    bern ((dataParams ! y) ! (nat_ 395)) >>= \x395 ->
    bern ((dataParams ! y) ! (nat_ 396)) >>= \x396 ->
    bern ((dataParams ! y) ! (nat_ 397)) >>= \x397 ->
    bern ((dataParams ! y) ! (nat_ 398)) >>= \x398 ->
    bern ((dataParams ! y) ! (nat_ 399)) >>= \x399 ->
    bern ((dataParams ! y) ! (nat_ 400)) >>= \x400 ->
    bern ((dataParams ! y) ! (nat_ 401)) >>= \x401 ->
    bern ((dataParams ! y) ! (nat_ 402)) >>= \x402 ->
    bern ((dataParams ! y) ! (nat_ 403)) >>= \x403 ->
    bern ((dataParams ! y) ! (nat_ 404)) >>= \x404 ->
    bern ((dataParams ! y) ! (nat_ 405)) >>= \x405 ->
    bern ((dataParams ! y) ! (nat_ 406)) >>= \x406 ->
    bern ((dataParams ! y) ! (nat_ 407)) >>= \x407 ->
    bern ((dataParams ! y) ! (nat_ 408)) >>= \x408 ->
    bern ((dataParams ! y) ! (nat_ 409)) >>= \x409 ->
    bern ((dataParams ! y) ! (nat_ 410)) >>= \x410 ->
    bern ((dataParams ! y) ! (nat_ 411)) >>= \x411 ->
    bern ((dataParams ! y) ! (nat_ 412)) >>= \x412 ->
    bern ((dataParams ! y) ! (nat_ 413)) >>= \x413 ->
    bern ((dataParams ! y) ! (nat_ 414)) >>= \x414 ->
    bern ((dataParams ! y) ! (nat_ 415)) >>= \x415 ->
    bern ((dataParams ! y) ! (nat_ 416)) >>= \x416 ->
    bern ((dataParams ! y) ! (nat_ 417)) >>= \x417 ->
    bern ((dataParams ! y) ! (nat_ 418)) >>= \x418 ->
    bern ((dataParams ! y) ! (nat_ 419)) >>= \x419 ->
    bern ((dataParams ! y) ! (nat_ 420)) >>= \x420 ->
    bern ((dataParams ! y) ! (nat_ 421)) >>= \x421 ->
    bern ((dataParams ! y) ! (nat_ 422)) >>= \x422 ->
    bern ((dataParams ! y) ! (nat_ 423)) >>= \x423 ->
    bern ((dataParams ! y) ! (nat_ 424)) >>= \x424 ->
    bern ((dataParams ! y) ! (nat_ 425)) >>= \x425 ->
    bern ((dataParams ! y) ! (nat_ 426)) >>= \x426 ->
    bern ((dataParams ! y) ! (nat_ 427)) >>= \x427 ->
    bern ((dataParams ! y) ! (nat_ 428)) >>= \x428 ->
    bern ((dataParams ! y) ! (nat_ 429)) >>= \x429 ->
    bern ((dataParams ! y) ! (nat_ 430)) >>= \x430 ->
    bern ((dataParams ! y) ! (nat_ 431)) >>= \x431 ->
    bern ((dataParams ! y) ! (nat_ 432)) >>= \x432 ->
    bern ((dataParams ! y) ! (nat_ 433)) >>= \x433 ->
    bern ((dataParams ! y) ! (nat_ 434)) >>= \x434 ->
    bern ((dataParams ! y) ! (nat_ 435)) >>= \x435 ->
    bern ((dataParams ! y) ! (nat_ 436)) >>= \x436 ->
    bern ((dataParams ! y) ! (nat_ 437)) >>= \x437 ->
    bern ((dataParams ! y) ! (nat_ 438)) >>= \x438 ->
    bern ((dataParams ! y) ! (nat_ 439)) >>= \x439 ->
    bern ((dataParams ! y) ! (nat_ 440)) >>= \x440 ->
    bern ((dataParams ! y) ! (nat_ 441)) >>= \x441 ->
    bern ((dataParams ! y) ! (nat_ 442)) >>= \x442 ->
    bern ((dataParams ! y) ! (nat_ 443)) >>= \x443 ->
    bern ((dataParams ! y) ! (nat_ 444)) >>= \x444 ->
    bern ((dataParams ! y) ! (nat_ 445)) >>= \x445 ->
    bern ((dataParams ! y) ! (nat_ 446)) >>= \x446 ->
    bern ((dataParams ! y) ! (nat_ 447)) >>= \x447 ->
    bern ((dataParams ! y) ! (nat_ 448)) >>= \x448 ->
    bern ((dataParams ! y) ! (nat_ 449)) >>= \x449 ->
    bern ((dataParams ! y) ! (nat_ 450)) >>= \x450 ->
    bern ((dataParams ! y) ! (nat_ 451)) >>= \x451 ->
    bern ((dataParams ! y) ! (nat_ 452)) >>= \x452 ->
    bern ((dataParams ! y) ! (nat_ 453)) >>= \x453 ->
    bern ((dataParams ! y) ! (nat_ 454)) >>= \x454 ->
    bern ((dataParams ! y) ! (nat_ 455)) >>= \x455 ->
    bern ((dataParams ! y) ! (nat_ 456)) >>= \x456 ->
    bern ((dataParams ! y) ! (nat_ 457)) >>= \x457 ->
    bern ((dataParams ! y) ! (nat_ 458)) >>= \x458 ->
    bern ((dataParams ! y) ! (nat_ 459)) >>= \x459 ->
    bern ((dataParams ! y) ! (nat_ 460)) >>= \x460 ->
    bern ((dataParams ! y) ! (nat_ 461)) >>= \x461 ->
    bern ((dataParams ! y) ! (nat_ 462)) >>= \x462 ->
    bern ((dataParams ! y) ! (nat_ 463)) >>= \x463 ->
    bern ((dataParams ! y) ! (nat_ 464)) >>= \x464 ->
    bern ((dataParams ! y) ! (nat_ 465)) >>= \x465 ->
    bern ((dataParams ! y) ! (nat_ 466)) >>= \x466 ->
    bern ((dataParams ! y) ! (nat_ 467)) >>= \x467 ->
    bern ((dataParams ! y) ! (nat_ 468)) >>= \x468 ->
    bern ((dataParams ! y) ! (nat_ 469)) >>= \x469 ->
    bern ((dataParams ! y) ! (nat_ 470)) >>= \x470 ->
    bern ((dataParams ! y) ! (nat_ 471)) >>= \x471 ->
    bern ((dataParams ! y) ! (nat_ 472)) >>= \x472 ->
    bern ((dataParams ! y) ! (nat_ 473)) >>= \x473 ->
    bern ((dataParams ! y) ! (nat_ 474)) >>= \x474 ->
    bern ((dataParams ! y) ! (nat_ 475)) >>= \x475 ->
    bern ((dataParams ! y) ! (nat_ 476)) >>= \x476 ->
    bern ((dataParams ! y) ! (nat_ 477)) >>= \x477 ->
    bern ((dataParams ! y) ! (nat_ 478)) >>= \x478 ->
    bern ((dataParams ! y) ! (nat_ 479)) >>= \x479 ->
    bern ((dataParams ! y) ! (nat_ 480)) >>= \x480 ->
    bern ((dataParams ! y) ! (nat_ 481)) >>= \x481 ->
    bern ((dataParams ! y) ! (nat_ 482)) >>= \x482 ->
    bern ((dataParams ! y) ! (nat_ 483)) >>= \x483 ->
    bern ((dataParams ! y) ! (nat_ 484)) >>= \x484 ->
    bern ((dataParams ! y) ! (nat_ 485)) >>= \x485 ->
    bern ((dataParams ! y) ! (nat_ 486)) >>= \x486 ->
    bern ((dataParams ! y) ! (nat_ 487)) >>= \x487 ->
    bern ((dataParams ! y) ! (nat_ 488)) >>= \x488 ->
    bern ((dataParams ! y) ! (nat_ 489)) >>= \x489 ->
    bern ((dataParams ! y) ! (nat_ 490)) >>= \x490 ->
    bern ((dataParams ! y) ! (nat_ 491)) >>= \x491 ->
    bern ((dataParams ! y) ! (nat_ 492)) >>= \x492 ->
    bern ((dataParams ! y) ! (nat_ 493)) >>= \x493 ->
    bern ((dataParams ! y) ! (nat_ 494)) >>= \x494 ->
    bern ((dataParams ! y) ! (nat_ 495)) >>= \x495 ->
    bern ((dataParams ! y) ! (nat_ 496)) >>= \x496 ->
    bern ((dataParams ! y) ! (nat_ 497)) >>= \x497 ->
    bern ((dataParams ! y) ! (nat_ 498)) >>= \x498 ->
    bern ((dataParams ! y) ! (nat_ 499)) >>= \x499 ->
    dirac (pair (pair x0 
                 (pair x1 
                  (pair x2 
                   (pair x3 
                    (pair x4 
                     (pair x5 
                      (pair x6 
                       (pair x7 
                        (pair x8 
                         (pair x9 
                          (pair x10 
                           (pair x11 
                            (pair x12 
                             (pair x13 
                              (pair x14 
                               (pair x15 
                                (pair x16 
                                 (pair x17 
                                  (pair x18 
                                   (pair x19 
                                    (pair x20 
                                     (pair x21 
                                      (pair x22 
                                       (pair x23 
                                        (pair x24 
                                         (pair x25 
                                          (pair x26 
                                           (pair x27 
                                            (pair x28 
                                             (pair x29 
                                              (pair x30 
                                               (pair x31 
                                                (pair x32 
                                                 (pair x33 
                                                  (pair x34 
                                                   (pair x35 
                                                    (pair x36 
                                                     (pair x37 
                                                      (pair x38 
                                                       (pair x39 
                                                        (pair x40 
                                                         (pair x41 
                                                          (pair x42 
                                                           (pair x43 
                                                            (pair x44 
                                                             (pair x45 
                                                              (pair x46 
                                                               (pair x47 
                                                                (pair x48 
                                                                 (pair x49 
                                                                  (pair x50 
                                                                   (pair x51 
                                                                    (pair x52 
                                                                     (pair x53 
                                                                      (pair x54 
                                                                       (pair x55 
                                                                        (pair x56 
                                                                         (pair x57 
                                                                          (pair x58 
                                                                           (pair x59 
                                                                            (pair x60 
                                                                             (pair x61 
                                                                              (pair x62 
                                                                               (pair x63 
                                                                                (pair x64 
                                                                                 (pair x65 
                                                                                  (pair x66 
                                                                                   (pair x67 
                                                                                    (pair x68 
                                                                                     (pair x69 
                                                                                      (pair x70 
                                                                                       (pair x71 
                                                                                        (pair x72 
                                                                                         (pair x73 
                                                                                          (pair x74 
                                                                                           (pair x75 
                                                                                            (pair x76 
                                                                                             (pair x77 
                                                                                              (pair x78 
                                                                                               (pair x79 
                                                                                                (pair x80 
                                                                                                 (pair x81 
                                                                                                  (pair x82 
                                                                                                   (pair x83 
                                                                                                    (pair x84 
                                                                                                     (pair x85 
                                                                                                      (pair x86 
                                                                                                       (pair x87 
                                                                                                        (pair x88 
                                                                                                         (pair x89 
                                                                                                          (pair x90 
                                                                                                           (pair x91 
                                                                                                            (pair x92 
                                                                                                             (pair x93 
                                                                                                              (pair x94 
                                                                                                               (pair x95 
                                                                                                                (pair x96 
                                                                                                                 (pair x97 
                                                                                                                  (pair x98 
                                                                                                                   (pair x99 
                                                                                                                    (pair x100 
                                                                                                                     (pair x101 
                                                                                                                      (pair x102 
                                                                                                                       (pair x103 
                                                                                                                        (pair x104 
                                                                                                                         (pair x105 
                                                                                                                          (pair x106 
                                                                                                                           (pair x107 
                                                                                                                            (pair x108 
                                                                                                                             (pair x109 
                                                                                                                              (pair x110 
                                                                                                                               (pair x111 
                                                                                                                                (pair x112 
                                                                                                                                 (pair x113 
                                                                                                                                  (pair x114 
                                                                                                                                   (pair x115 
                                                                                                                                    (pair x116 
                                                                                                                                     (pair x117 
                                                                                                                                      (pair x118 
                                                                                                                                       (pair x119 
                                                                                                                                        (pair x120 
                                                                                                                                         (pair x121 
                                                                                                                                          (pair x122 
                                                                                                                                           (pair x123 
                                                                                                                                            (pair x124 
                                                                                                                                             (pair x125 
                                                                                                                                              (pair x126 
                                                                                                                                               (pair x127 
                                                                                                                                                (pair x128 
                                                                                                                                                 (pair x129 
                                                                                                                                                  (pair x130 
                                                                                                                                                   (pair x131 
                                                                                                                                                    (pair x132 
                                                                                                                                                     (pair x133 
                                                                                                                                                      (pair x134 
                                                                                                                                                       (pair x135 
                                                                                                                                                        (pair x136 
                                                                                                                                                         (pair x137 
                                                                                                                                                          (pair x138 
                                                                                                                                                           (pair x139 
                                                                                                                                                            (pair x140 
                                                                                                                                                             (pair x141 
                                                                                                                                                              (pair x142 
                                                                                                                                                               (pair x143 
                                                                                                                                                                (pair x144 
                                                                                                                                                                 (pair x145 
                                                                                                                                                                  (pair x146 
                                                                                                                                                                   (pair x147 
                                                                                                                                                                    (pair x148 
                                                                                                                                                                     (pair x149 
                                                                                                                                                                      (pair x150 
                                                                                                                                                                       (pair x151 
                                                                                                                                                                        (pair x152 
                                                                                                                                                                         (pair x153 
                                                                                                                                                                          (pair x154 
                                                                                                                                                                           (pair x155 
                                                                                                                                                                            (pair x156 
                                                                                                                                                                             (pair x157 
                                                                                                                                                                              (pair x158 
                                                                                                                                                                               (pair x159 
                                                                                                                                                                                (pair x160 
                                                                                                                                                                                 (pair x161 
                                                                                                                                                                                  (pair x162 
                                                                                                                                                                                   (pair x163 
                                                                                                                                                                                    (pair x164 
                                                                                                                                                                                     (pair x165 
                                                                                                                                                                                      (pair x166 
                                                                                                                                                                                       (pair x167 
                                                                                                                                                                                        (pair x168 
                                                                                                                                                                                         (pair x169 
                                                                                                                                                                                          (pair x170 
                                                                                                                                                                                           (pair x171 
                                                                                                                                                                                            (pair x172 
                                                                                                                                                                                             (pair x173 
                                                                                                                                                                                              (pair x174 
                                                                                                                                                                                               (pair x175 
                                                                                                                                                                                                (pair x176 
                                                                                                                                                                                                 (pair x177 
                                                                                                                                                                                                  (pair x178 
                                                                                                                                                                                                   (pair x179 
                                                                                                                                                                                                    (pair x180 
                                                                                                                                                                                                     (pair x181 
                                                                                                                                                                                                      (pair x182 
                                                                                                                                                                                                       (pair x183 
                                                                                                                                                                                                        (pair x184 
                                                                                                                                                                                                         (pair x185 
                                                                                                                                                                                                          (pair x186 
                                                                                                                                                                                                           (pair x187 
                                                                                                                                                                                                            (pair x188 
                                                                                                                                                                                                             (pair x189 
                                                                                                                                                                                                              (pair x190 
                                                                                                                                                                                                               (pair x191 
                                                                                                                                                                                                                (pair x192 
                                                                                                                                                                                                                 (pair x193 
                                                                                                                                                                                                                  (pair x194 
                                                                                                                                                                                                                   (pair x195 
                                                                                                                                                                                                                    (pair x196 
                                                                                                                                                                                                                     (pair x197 
                                                                                                                                                                                                                      (pair x198 
                                                                                                                                                                                                                       (pair x199 
                                                                                                                                                                                                                        (pair x200 
                                                                                                                                                                                                                         (pair x201 
                                                                                                                                                                                                                          (pair x202 
                                                                                                                                                                                                                           (pair x203 
                                                                                                                                                                                                                            (pair x204 
                                                                                                                                                                                                                             (pair x205 
                                                                                                                                                                                                                              (pair x206 
                                                                                                                                                                                                                               (pair x207 
                                                                                                                                                                                                                                (pair x208 
                                                                                                                                                                                                                                 (pair x209 
                                                                                                                                                                                                                                  (pair x210 
                                                                                                                                                                                                                                   (pair x211 
                                                                                                                                                                                                                                    (pair x212 
                                                                                                                                                                                                                                     (pair x213 
                                                                                                                                                                                                                                      (pair x214 
                                                                                                                                                                                                                                       (pair x215 
                                                                                                                                                                                                                                        (pair x216 
                                                                                                                                                                                                                                         (pair x217 
                                                                                                                                                                                                                                          (pair x218 
                                                                                                                                                                                                                                           (pair x219 
                                                                                                                                                                                                                                            (pair x220 
                                                                                                                                                                                                                                             (pair x221 
                                                                                                                                                                                                                                              (pair x222 
                                                                                                                                                                                                                                               (pair x223 
                                                                                                                                                                                                                                                (pair x224 
                                                                                                                                                                                                                                                 (pair x225 
                                                                                                                                                                                                                                                  (pair x226 
                                                                                                                                                                                                                                                   (pair x227 
                                                                                                                                                                                                                                                    (pair x228 
                                                                                                                                                                                                                                                     (pair x229 
                                                                                                                                                                                                                                                      (pair x230 
                                                                                                                                                                                                                                                       (pair x231 
                                                                                                                                                                                                                                                        (pair x232 
                                                                                                                                                                                                                                                         (pair x233 
                                                                                                                                                                                                                                                          (pair x234 
                                                                                                                                                                                                                                                           (pair x235 
                                                                                                                                                                                                                                                            (pair x236 
                                                                                                                                                                                                                                                             (pair x237 
                                                                                                                                                                                                                                                              (pair x238 
                                                                                                                                                                                                                                                               (pair x239 
                                                                                                                                                                                                                                                                (pair x240 
                                                                                                                                                                                                                                                                 (pair x241 
                                                                                                                                                                                                                                                                  (pair x242 
                                                                                                                                                                                                                                                                   (pair x243 
                                                                                                                                                                                                                                                                    (pair x244 
                                                                                                                                                                                                                                                                     (pair x245 
                                                                                                                                                                                                                                                                      (pair x246 
                                                                                                                                                                                                                                                                       (pair x247 
                                                                                                                                                                                                                                                                        (pair x248 
                                                                                                                                                                                                                                                                         (pair x249 
                                                                                                                                                                                                                                                                          (pair x250 
                                                                                                                                                                                                                                                                           (pair x251 
                                                                                                                                                                                                                                                                            (pair x252 
                                                                                                                                                                                                                                                                             (pair x253 
                                                                                                                                                                                                                                                                              (pair x254 
                                                                                                                                                                                                                                                                               (pair x255 
                                                                                                                                                                                                                                                                                (pair x256 
                                                                                                                                                                                                                                                                                 (pair x257 
                                                                                                                                                                                                                                                                                  (pair x258 
                                                                                                                                                                                                                                                                                   (pair x259 
                                                                                                                                                                                                                                                                                    (pair x260 
                                                                                                                                                                                                                                                                                     (pair x261 
                                                                                                                                                                                                                                                                                      (pair x262 
                                                                                                                                                                                                                                                                                       (pair x263 
                                                                                                                                                                                                                                                                                        (pair x264 
                                                                                                                                                                                                                                                                                         (pair x265 
                                                                                                                                                                                                                                                                                          (pair x266 
                                                                                                                                                                                                                                                                                           (pair x267 
                                                                                                                                                                                                                                                                                            (pair x268 
                                                                                                                                                                                                                                                                                             (pair x269 
                                                                                                                                                                                                                                                                                              (pair x270 
                                                                                                                                                                                                                                                                                               (pair x271 
                                                                                                                                                                                                                                                                                                (pair x272 
                                                                                                                                                                                                                                                                                                 (pair x273 
                                                                                                                                                                                                                                                                                                  (pair x274 
                                                                                                                                                                                                                                                                                                   (pair x275 
                                                                                                                                                                                                                                                                                                    (pair x276 
                                                                                                                                                                                                                                                                                                     (pair x277 
                                                                                                                                                                                                                                                                                                      (pair x278 
                                                                                                                                                                                                                                                                                                       (pair x279 
                                                                                                                                                                                                                                                                                                        (pair x280 
                                                                                                                                                                                                                                                                                                         (pair x281 
                                                                                                                                                                                                                                                                                                          (pair x282 
                                                                                                                                                                                                                                                                                                           (pair x283 
                                                                                                                                                                                                                                                                                                            (pair x284 
                                                                                                                                                                                                                                                                                                             (pair x285 
                                                                                                                                                                                                                                                                                                              (pair x286 
                                                                                                                                                                                                                                                                                                               (pair x287 
                                                                                                                                                                                                                                                                                                                (pair x288 
                                                                                                                                                                                                                                                                                                                 (pair x289 
                                                                                                                                                                                                                                                                                                                  (pair x290 
                                                                                                                                                                                                                                                                                                                   (pair x291 
                                                                                                                                                                                                                                                                                                                    (pair x292 
                                                                                                                                                                                                                                                                                                                     (pair x293 
                                                                                                                                                                                                                                                                                                                      (pair x294 
                                                                                                                                                                                                                                                                                                                       (pair x295 
                                                                                                                                                                                                                                                                                                                        (pair x296 
                                                                                                                                                                                                                                                                                                                         (pair x297 
                                                                                                                                                                                                                                                                                                                          (pair x298 
                                                                                                                                                                                                                                                                                                                           (pair x299 
                                                                                                                                                                                                                                                                                                                            (pair x300 
                                                                                                                                                                                                                                                                                                                             (pair x301 
                                                                                                                                                                                                                                                                                                                              (pair x302 
                                                                                                                                                                                                                                                                                                                               (pair x303 
                                                                                                                                                                                                                                                                                                                                (pair x304 
                                                                                                                                                                                                                                                                                                                                 (pair x305 
                                                                                                                                                                                                                                                                                                                                  (pair x306 
                                                                                                                                                                                                                                                                                                                                   (pair x307 
                                                                                                                                                                                                                                                                                                                                    (pair x308 
                                                                                                                                                                                                                                                                                                                                     (pair x309 
                                                                                                                                                                                                                                                                                                                                      (pair x310 
                                                                                                                                                                                                                                                                                                                                       (pair x311 
                                                                                                                                                                                                                                                                                                                                        (pair x312 
                                                                                                                                                                                                                                                                                                                                         (pair x313 
                                                                                                                                                                                                                                                                                                                                          (pair x314 
                                                                                                                                                                                                                                                                                                                                           (pair x315 
                                                                                                                                                                                                                                                                                                                                            (pair x316 
                                                                                                                                                                                                                                                                                                                                             (pair x317 
                                                                                                                                                                                                                                                                                                                                              (pair x318 
                                                                                                                                                                                                                                                                                                                                               (pair x319 
                                                                                                                                                                                                                                                                                                                                                (pair x320 
                                                                                                                                                                                                                                                                                                                                                 (pair x321 
                                                                                                                                                                                                                                                                                                                                                  (pair x322 
                                                                                                                                                                                                                                                                                                                                                   (pair x323 
                                                                                                                                                                                                                                                                                                                                                    (pair x324 
                                                                                                                                                                                                                                                                                                                                                     (pair x325 
                                                                                                                                                                                                                                                                                                                                                      (pair x326 
                                                                                                                                                                                                                                                                                                                                                       (pair x327 
                                                                                                                                                                                                                                                                                                                                                        (pair x328 
                                                                                                                                                                                                                                                                                                                                                         (pair x329 
                                                                                                                                                                                                                                                                                                                                                          (pair x330 
                                                                                                                                                                                                                                                                                                                                                           (pair x331 
                                                                                                                                                                                                                                                                                                                                                            (pair x332 
                                                                                                                                                                                                                                                                                                                                                             (pair x333 
                                                                                                                                                                                                                                                                                                                                                              (pair x334 
                                                                                                                                                                                                                                                                                                                                                               (pair x335 
                                                                                                                                                                                                                                                                                                                                                                (pair x336 
                                                                                                                                                                                                                                                                                                                                                                 (pair x337 
                                                                                                                                                                                                                                                                                                                                                                  (pair x338 
                                                                                                                                                                                                                                                                                                                                                                   (pair x339 
                                                                                                                                                                                                                                                                                                                                                                    (pair x340 
                                                                                                                                                                                                                                                                                                                                                                     (pair x341 
                                                                                                                                                                                                                                                                                                                                                                      (pair x342 
                                                                                                                                                                                                                                                                                                                                                                       (pair x343 
                                                                                                                                                                                                                                                                                                                                                                        (pair x344 
                                                                                                                                                                                                                                                                                                                                                                         (pair x345 
                                                                                                                                                                                                                                                                                                                                                                          (pair x346 
                                                                                                                                                                                                                                                                                                                                                                           (pair x347 
                                                                                                                                                                                                                                                                                                                                                                            (pair x348 
                                                                                                                                                                                                                                                                                                                                                                             (pair x349 
                                                                                                                                                                                                                                                                                                                                                                              (pair x350 
                                                                                                                                                                                                                                                                                                                                                                               (pair x351 
                                                                                                                                                                                                                                                                                                                                                                                (pair x352 
                                                                                                                                                                                                                                                                                                                                                                                 (pair x353 
                                                                                                                                                                                                                                                                                                                                                                                  (pair x354 
                                                                                                                                                                                                                                                                                                                                                                                   (pair x355 
                                                                                                                                                                                                                                                                                                                                                                                    (pair x356 
                                                                                                                                                                                                                                                                                                                                                                                     (pair x357 
                                                                                                                                                                                                                                                                                                                                                                                      (pair x358 
                                                                                                                                                                                                                                                                                                                                                                                       (pair x359 
                                                                                                                                                                                                                                                                                                                                                                                        (pair x360 
                                                                                                                                                                                                                                                                                                                                                                                         (pair x361 
                                                                                                                                                                                                                                                                                                                                                                                          (pair x362 
                                                                                                                                                                                                                                                                                                                                                                                           (pair x363 
                                                                                                                                                                                                                                                                                                                                                                                            (pair x364 
                                                                                                                                                                                                                                                                                                                                                                                             (pair x365 
                                                                                                                                                                                                                                                                                                                                                                                              (pair x366 
                                                                                                                                                                                                                                                                                                                                                                                               (pair x367 
                                                                                                                                                                                                                                                                                                                                                                                                (pair x368 
                                                                                                                                                                                                                                                                                                                                                                                                 (pair x369 
                                                                                                                                                                                                                                                                                                                                                                                                  (pair x370 
                                                                                                                                                                                                                                                                                                                                                                                                   (pair x371 
                                                                                                                                                                                                                                                                                                                                                                                                    (pair x372 
                                                                                                                                                                                                                                                                                                                                                                                                     (pair x373 
                                                                                                                                                                                                                                                                                                                                                                                                      (pair x374 
                                                                                                                                                                                                                                                                                                                                                                                                       (pair x375 
                                                                                                                                                                                                                                                                                                                                                                                                        (pair x376 
                                                                                                                                                                                                                                                                                                                                                                                                         (pair x377 
                                                                                                                                                                                                                                                                                                                                                                                                          (pair x378 
                                                                                                                                                                                                                                                                                                                                                                                                           (pair x379 
                                                                                                                                                                                                                                                                                                                                                                                                            (pair x380 
                                                                                                                                                                                                                                                                                                                                                                                                             (pair x381 
                                                                                                                                                                                                                                                                                                                                                                                                              (pair x382 
                                                                                                                                                                                                                                                                                                                                                                                                               (pair x383 
                                                                                                                                                                                                                                                                                                                                                                                                                (pair x384 
                                                                                                                                                                                                                                                                                                                                                                                                                 (pair x385 
                                                                                                                                                                                                                                                                                                                                                                                                                  (pair x386 
                                                                                                                                                                                                                                                                                                                                                                                                                   (pair x387 
                                                                                                                                                                                                                                                                                                                                                                                                                    (pair x388 
                                                                                                                                                                                                                                                                                                                                                                                                                     (pair x389 
                                                                                                                                                                                                                                                                                                                                                                                                                      (pair x390 
                                                                                                                                                                                                                                                                                                                                                                                                                       (pair x391 
                                                                                                                                                                                                                                                                                                                                                                                                                        (pair x392 
                                                                                                                                                                                                                                                                                                                                                                                                                         (pair x393 
                                                                                                                                                                                                                                                                                                                                                                                                                          (pair x394 
                                                                                                                                                                                                                                                                                                                                                                                                                           (pair x395 
                                                                                                                                                                                                                                                                                                                                                                                                                            (pair x396 
                                                                                                                                                                                                                                                                                                                                                                                                                             (pair x397 
                                                                                                                                                                                                                                                                                                                                                                                                                              (pair x398 
                                                                                                                                                                                                                                                                                                                                                                                                                               (pair x399 
                                                                                                                                                                                                                                                                                                                                                                                                                                (pair x400 
                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair x401 
                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair x402 
                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair x403 
                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair x404 
                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair x405 
                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair x406 
                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair x407 
                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair x408 
                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair x409 
                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair x410 
                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair x411 
                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair x412 
                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair x413 
                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair x414 
                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair x415 
                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair x416 
                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair x417 
                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair x418 
                                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair x419 
                                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair x420 
                                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair x421 
                                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair x422 
                                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair x423 
                                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair x424 
                                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair x425 
                                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair x426 
                                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair x427 
                                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair x428 
                                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair x429 
                                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair x430 
                                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair x431 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair x432 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair x433 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair x434 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair x435 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair x436 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair x437 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair x438 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair x439 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair x440 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair x441 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair x442 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair x443 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair x444 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair x445 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair x446 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair x447 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair x448 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair x449 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair x450 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair x451 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair x452 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair x453 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair x454 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair x455 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair x456 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair x457 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair x458 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair x459 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair x460 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair x461 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair x462 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair x463 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair x464 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair x465 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair x466 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair x467 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair x468 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair x469 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair x470 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair x471 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair x472 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair x473 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair x474 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair x475 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair x476 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair x477 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair x478 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair x479 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair x480 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair x481 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair x482 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   (pair x483 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    (pair x484 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     (pair x485 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      (pair x486 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       (pair x487 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        (pair x488 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         (pair x489 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          (pair x490 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           (pair x491 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            (pair x492 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             (pair x493 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              (pair x494 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               (pair x495 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                (pair x496 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 (pair x497 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  (pair x498 
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   x499)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
           y)
    where dataPrior  = var (Variable "dataPrior"  73 (SArray SProb))
          dataParams = var (Variable "dataParams" 41 (SArray (SArray SProb)))

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