path: root/systemtest/testcases_mandatory/test_select/oracle/unary_induction.rasql

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           @                                                                                                                                                                                                                                                                                                                                                      @H@                                                                                                                                                                                                                                                                                                                                                     @HH@                                                                                                                                                                                                                                                                                                                                                    @HHH@                                                                                                                                                                                                                                                                                                                                                   @H""@                                                                                                                                                                                                                                                                                                                                                   @H"""@@                                                                                                                                                                                                                                                                                                                                                  @H"""H@                                                                                                                                                                                                                                                                                                                                                 @H""""H@                                                                                                                                                                                                                                                                                                                                                @H""""""@@                                                                                                                                                                                                                                                                                                                                              @HH"""""@                                                                                                                                                                                                                                                                                                                                             @HH"""""""@                                                                                                                                                                                                                                                                                                                                            @HH""""""""@                                                                                                                                                                                                                                                                                                                                          @HHH""""""""@                                                                                                                                                                                                                                                                                                                                         @HHH""""""""""@                                                                                                                                                                                                                                                                                                                                        @HHHH"""""""""@                                                                                                                                                                                                                                                                                                                                       @HHHH""""""""""@                                                                                                                                                                                                                                                                                                                                      @HHHHH""""""""""                                                                                                                                                                                                                                                                                                                                     @HHHHHH""""""""""@                                                                                                                                                                                                                                                                                                                                    @HHHHHHH""""""""""@                                                                                                                                                                                                                                                                                                                                   @HHHHHHH""""""""""@                                                                                                                                                                                                                                                                                                                                   @HHHHHHH"""""""""""                                                                                                                                                                                                                                                                                                                                  @HHHHHHHHH""""""""""@                                                                                                                                                                                                                                                                                                                                 @HHHHHHHHH""""""""""@                                                                                                                                                                                                                                                                                                                                @HHHHHHHHHH"""""""""""                                                                                                                                                                                                                                                                                                                                @HHHHHHHHHH"""""""""""                                                                                                                                                                                                                                                                                                                               @HHHHHHHHHHH"""""""""""@                                                                                                                                                                                                                                                                                                                              @HHHHHHHHHHHH""""""""""@                                                                                                                                                                                                                                                                                                                             @\HHHHHHHHHHHH"""""""""""                                                                                                                                                                                                                                                                                                                             @\HHHHHHHHHHHH"""""""""""                                                                                                                                                                                                                                                                                                                             \\HHHHHHHHHHHH"""""""""""@                                                                                                                                                                                                                                                                                                                           @\\HHHHHHHHHHHH"""""""""""@                                                                                                                                                                                                                                                                                                                           @\\HHHHHHHHHHHH"""""""""""""                                                                                                                                                                                                                                                                                                                           \\\\HHHHHHHHHHH"""""""""""""                                                                                                                                                                                                                                                                                                                          @\\\\HHHHHHHHHH""""""""""""""@                                                                                                                                                                                                                                                                                                                         @\\\\\HHHHHHHHH""""""""""""""@                                                                                                                                                                                                                                                                                                                         \\\\\\HHHHHHHHH"""""""""""""""                                                                                                                                                                                                                                                                                                                         \\\\\\\HHHHHHHH"""""""""""""""                                                                                                                                                                                                                                                                                                                       @\\\\\\\HHHHHHHH""""""""""""H@                                                                                                                                                                                                                                                                                                                       \\\\\\\\HHHHHHHH""""HHHHHHHHH@                                                                                                                                                                                                                                                                                                                      @\\\\\\\\HHHHHHHH"""HHHHHHHHHHH@                                                                                                                                                                                                                                                                                                                     @\\\\\\\\HHHHHHHH""HHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                                     @\\\\\\\\HHHHHHH"""HHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                                     \\\\\\\\\HHHHHHH"""HHHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                                   @\\\\\\\\\\HHHHHH""""HHHHHHHH"HHH@                                                                                                                                                                                                                                                                                                                   @\\\\\\\\\\HHHHHH""""HHHHHHH""HHHH@                                                                                                                                                                                                                                                                                                                  \\\\\\\\\\\HHHHHH""""HHHHHHH"HHHHHH@                                                                                                                                                                                                                                                                                                                 \\\\\\\\\\\HHHHHH""""HHHHHHH"HHHHHH@                                                                                                                                                                                                                                                                                                                @\\\\\\\\\\\HHHHHH""""HHHHHH""HHHHHHH@                                                                                                                                                                                                                                                                                                               @\\\\\\H\\\\HHHHHH"""""HHHHHH""HHHHHHHH@                                                                                                                                                                                                                                                                                                              \\\\\\\H\\\\HHHHHH""""""HHHHH""HHHHHHHH@                                                                                                                                                                                                                                                                                                              @\\\\\\H\\\\HHHHH"""""""HHHHH""HHHHHHHHH@                                                                                                                                                                                                                                                                                                             @\\\\\\H\\\\HHHHH"""""""HHHHH""HHHHHHHHHH@                                                                                                                                                                                                                                                                                                            @\\\\\\\H\\\HHHHH""""""HHHH""HHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                           @H\\\\\\H\\\HHHHH""""""HHHH""HHHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                          @H\\\\\\H\\\HHHHH""""""HHHH""HHHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                          @HH\\\\\H\\\HHHHH""""""HHHH""HHHHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                         @HH\\\\\HH\\HHHH"""""""HHHH""HHHHH"HHHHHHHHH@                                                                                                                                                                                                                                                                                                        @HH\\\\\HH\\HHHH"""""""HHH"""HHHHH"HHHHHHHHH@                                                                                                                                                                                                                                                                                                        @HH\\\\\HH\\HHHH"""""""HHH""HHHHHH"HHHHHHHHHH@                                                                                                                                                                                                                                                                                                      @HHHH\\\\\HH\HHHH"""""""HH"""HHHHHH"HHHHHHHHHH@                                                                                                                                                                                                                                                                                                      @HHHH\\\\\HHHHHHHH""""""HH""HHHHHH""HHHHHHHHHHH@                                                                                                                                                                                                                                                                                                     @HHHH\\\\\HHHHHHHH"""""HHH""HHHHHH""HHHHHHHHHHH@                                                                                                                                                                                                                                                                                                     @HHHH\\\\\HHHHHHHH""""""HH""HHHHHHH""HHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                    @HHH"\\\\\HHHHHHHH""""""HH""HHHHHHH""HHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                    @HH""\\\\\\HHHHHHH""""""HH"HHHHHHH"""HHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                   @HHH""\\\\\\HHHHHHH""""""HHHHHHHHHH""HHHHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                  @HHH""H\\\\\HHHHHHH""""""HHHHHHHHHH""HHHHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                  @HHH""H\\\\\HHHHHHH"""""HHHHHHHHH""HHHHHHHHHHHHHHH@                                                                                                                                                                                                                                                                                                  @HHH"""\\\\\HHHHHHH"""""HHHHHHHHH""HHHHHHHHHHHHHHH"@                                                                                                                                                                                                                                                                                                @HHHHH""H\\\\HHHHHHH"""""HHHHHHHH""HHHHHHHHHHHHHHHH"@                                                                                                                                                                                                                                                                                                @HHHHH""H\\\\\HHHHH"""""""HHHHHHHH""HHHHHHHHHHHHHHHH""                                                                                                                                                                                                                                                                                                @HHHHH"""\\\\\HHHHH"""""""HHHHHHH"""HHHHHHHHHHHHHHH"""                                                                                                                                                                                                                                                                                                @HHHHHH""H\\\\HHHHH""""""""HHHHHH""HHHHHHHHHHHHHHHH"""                                                                                                                                                                                                                                                                                               @HHHHHHH""HH\\HHHHHH"""""""HHHHH"""HHHHHHHHHHHHHHHH"""@                                                                                                                                                                                                                                                                                              @HHHHHHH"""H\\HHHHHH"""""""HHHHH"""HHHHHHHHHHHHHHHH"""@                                                                                                                                                                                                                                                                                              @HHHHHHHH""HHHHHHHHH"""""""HHHHH""HHHHHHHHHHHHHHHH"""""                                                                                                                                                                                                                                                                                             @HHHHHHHHH""HHHHHHHHH"""""""HHHH"""HHHHHHHHHHHHHHHH"""""                                                                                                                                                                                                                                                                                             @HHHHHHHHH"""HHHHHHHH"""""""HHHH""HHHHHHHHHHHHHHHHH"""""                                                                                                                                                                                                                                                                                             @HHHHHHHHHH""HHHHHHHH"""""""HHH"""HHHHHHHHHHHHHHHH""""""                                                                                                                                                                                                                                                                                             @HHHHHHHHHH""HHHHHHHH""""""""HHH""HHHHHHHHHHHHHHHH"""""""                                                                                                                                                                                                                                                                                            @HHHHHHHHHHH"""HHHHHHH""""""""HHH""HHHHHHHHHHHHHHH""""""""                                                                                                                                                                                                                                                                                            @HHHHHHHHHHHH""HHHHHHH""""""""HHH""HHHHHHHHHHHHHH""""""""@                                                                                                                                                                                                                                                                                            @HHHHHHHHHHHHH""HHHHHH""""""""HHH"HHHHHHHHHHHHH""""""""""@                                                                                                                                                                                                                                                                                            @HHHHHHHHHHHHH""HHHHHH""""""""HHHHHHHHHHHHHHH""""""""""""@                                                                                                                                                                                                                                                                                           @HHHHHHHHHHHHHH"""HHHH""""""""HHHHHHHHHHHHHH"""""""""""""@                                                                                                                                                                                                                                                                                           @HHHHHHHHHHHHHHH""HHHH""""""""HHHHHHHHHHHHH""""""""""""""                                                                                                                                                                                                                                                                                            @HHHHHHH"HHHHHHHH"HHHH""""""""HHHHHHHHHHHH""""""""""""""@                                                                                                                                                                                                                                                                                            @HHHHHHH"HHHHHHHHHHHHH"""""""""HHHHHHHHHH"""""""""""""""@                                                                                                                                                                                                                                                                                           @HHHHHHHHH"HHHHHHHHHHHH"""""""""HHHHHHHHH""""""""""""""""@                                                                                                                                                                                                                                                                                           @HHHHHHHHH"HHHHHHHHHHHHH""""""""HHHHHHHH"""""""""""""""""                                                                                                                                                                                                                                                                                            @HHHHHHHHH""HHHHH\HHHHHH"""""""""HHHHHHHH""""HHHHHH"H""""@                                                                                                                                                                                                                                                                                            @HHHHHHHHH""HHHHH\\HHHHH"""""""""HHHHHHH""""HHHHHHHH"""""@                                                                                                                                                                                                                                                                                            @HHHHHHHHHH""HHH\\\HH"HH""""""""HHHHHHHH"""HHHHHHH"HH""""                                                                                                                                                                                                                                                                                             @HHHHHHHHHH""HHH\\\\H""H"""""""HHHHHHH"""HHHHHHH""HH""""                                                                                                                                                                                                                                                                                             @HHHHHHHHHH"""HH\\\\HH"""""""""HHHHHHH"HHHHHHHHH"HHH"""@                                                                                                                                                                                                                                                                                             @HHHHHHHHHHH""HH\\\\\H"""""""""HHHHHHHHHHHHHHHH""HHH"""@                                                                                                                                                                                                                                                                                            @HHHHHHHHHHHHH""HH\\\\HH""""""""HHHHHHHHHHHHHHHH""HHHH""                                                                                                                                                                                                                                                                                             @HHHHHHHHHHHHH""HH\\\\HH""""""""HHHHHHHHHHHHHHHH""HHHH""                                                                                                                                                                                                                                                                                             @HHHHHHHHHHHHHH""H\\\\\HH""""""HHHHHHHHHHHHHHHH""HHHH""                                                                                                                                                                                                                                                                                             @HHHHHHHHHHHHHH""H\\\\\HH"""""HHHHHHHHHHHHHHH"""HHHHH@                                                                                                                                                                                                                                                                                             @HHHHHHHHHHHHHHH""\\\\\HH"""""HHHHHHHHHHHHHHH""HHHHHH@                                                                                                                                                                                                                                                                                             @HHHHHHHH"HHHHHH""\\\\\HHH"""""HHHHHHHHHHHHHHH""HHHHHH@                                                                                                                                                                                                                                                                                             @HHHHHHHH"HHHHHHH"\\\\\\HH"""""HHHHHHHHHHHHHH""HHHHHHH@                                                                                                                                                                                                                                                                                             @HHHHHHHH""HHHHHH"\\\\\\HH""""""HHHHHHHHHHHHHH""HHHHHHH@                                                                                                                                                                                                                                                                                             @HHHHHHHH""HHHHHH""\\\\\HH""""""HHHHHHHHH\\HH"""HHHHHHH@                                                                                                                                                                                                                                                                                             @HHHHHHHH"""HHHHHH"\\\\\HH""""""HHHHHHHH\\\\H""HHHHHHHH@                                                                                                                                                                                                                                                                                             @HHHHHHHHH""HHHHHH"\\\\HHH"""""HHHHHHH\\\\\""HHHHHHHHH@                                                                                                                                                                                             @@@@@@@@@                                                                                       @HHHHHHHHH""HHHHHHH\\\\HHH"""""HHHHHHH\\\\\"HHHHHHHHHH@                                                                                                                                       @@@@@@@@@@                                      @@@"@@@                                                                                @HHHHHHHHHH"HHHHHHH\\\\HHH"""""HHHHHH\\\\\\H\\HHHHHHHH@                                                                                                                                  @@@"@                              @@@@@@                                                                             @HHHHHHHHHH""HHHHHHH\\HHHH"""""HHHHH\\\\\\H\\\HHHHHHHHH@                                                                                                                             @@@""""""@         @@@@@@@@      @@@@@                                                                          @HHHHHHHHHH""HHHH\HHH\HHHH""""HHHHHH\\\\\\\\\\\HHHHHHHH"                                                                                                                          @@@""""""""""""""@@@@@@""""""""""""""""""""""""""""@@                                                                       @HHHHHHHHHH""HHH\\\HHHHHH"""""HHHHHH\\\\\\\\\\\\HHHHHHH"                                                                                                                         @""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""@@             @@@@@@@@@@@@@@@@@                                       @HHHHHHHHHH""HHH\\\HHHHHH"""""HHHHH\\\\\\\\\\\\\HHHH"HH"@                                                                                                                      @"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""@@      @@@@@66‚‚‚‚‚‚‚‚‚‚‚‚‚66@@@@@                                  @HHHHHHHHHH"""HH\\\HHH"HH""""""HHHHH\\\\\\\\\\\\\HHH""HH""                                                                                                                     @"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""@@ @@@6‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚66@@@                               @HHHHHHHHHHH""HH\\\\HH""H""""""HHHH\\\"\\\\\\\\\\HHH""HH""                                                                                                                    @"""""""""""""""""""""""""""HHHHHHHHHHHHHH"""""""HHHHHHHHHHHHHHHHHHHHHH"""""""""""""@@@6‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚‚66@@@                            @HHHHHHHHHHH"""H\\\\HHH""""""""HHHH\\\"\\\\\\\\\\HH""HHH""@                                                                                                                 @"""""""""""""""""""""""""""""""HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH"""""""""""@@@6‚‚‚‚‚‚‚‚6666