#!/usr/bin/env python3

def procedures(Model):
    prods = []

    vis_find_arg1_header = Model.productionstring(
        name = "vis_find_arg1_header",
        string="""
        =g>
        isa         math_goal
        op          vis_find_arg1
        arg1        =var
        ==>
        =g>
        isa         math_goal
        op          find_arg1_header
        ?visual_location>
        attended    False
        +visual_location>
        isa         _visuallocation
        value       =var
        """
    )

    # start value index search
    vis_find_arg1_header_done = Model.productionstring(
        name = "vis_find_arg1_header_done",
        string="""
        =g>
        isa         math_goal
        op          find_arg1_header
        arg1        =var
        arg1_idx    =idx
        vis_counter ~=idx
        vis_counter =vis_counter
        =visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    =screen_y
        ?visual>
        state       free
        ==>
        =g>
        isa         math_goal
        op          search_arg1_idx
        vis_counter 1
        +visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    closest
        +retrieval>
        isa         number
        number      1
        """
    )

    vis_find_arg1_search_step1 = Model.productionstring(
        name = "vis_find_arg1_search_step1",
        string="""
        =g>
        isa         math_goal
        op          search_arg1_idx
        arg1        =var
        arg1_idx    =idx
        vis_counter 1
        vis_counter ~=idx
        vis_counter =vis_counter
        =visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    =screen_y
        ?visual>
        state       free
        =retrieval>
        isa         number
        number      =vis_counter
        next        =next
        ==>
        =g>
        isa         math_goal
        op          search_arg1_idx
        vis_counter =next
        +visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    300
        +retrieval>
        isa         number
        number      =next
        """
    )

    vis_find_arg1_search_step2 = Model.productionstring(
        name = "vis_find_arg1_search_step2",
        string="""
        =g>
        isa         math_goal
        op          search_arg1_idx
        arg1        =var
        arg1_idx    =idx
        vis_counter 2
        vis_counter ~=idx
        vis_counter =vis_counter
        =visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    =screen_y
        ?visual>
        state       free
        =retrieval>
        isa         number
        number      =vis_counter
        next        =next
        ==>
        =g>
        isa         math_goal
        op          search_arg1_idx
        vis_counter =next
        +visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    400
        +retrieval>
        isa         number
        number      =next
        """
    )

    vis_find_arg1_search_step3 = Model.productionstring(
        name = "vis_find_arg1_search_step3",
        string="""
        =g>
        isa         math_goal
        op          search_arg1_idx
        arg1        =var
        arg1_idx    =idx
        vis_counter 3
        vis_counter ~=idx
        vis_counter =vis_counter
        =visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    =screen_y
        ?visual>
        state       free
        =retrieval>
        isa         number
        number      =vis_counter
        next        =next
        ==>
        =g>
        isa         math_goal
        op          search_arg1_idx
        vis_counter =next
        +visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    500
        +retrieval>
        isa         number
        number      =next
        """
    )

    vis_find_arg1_search_done = Model.productionstring(
        name="vis_find_arg1_search_done",
        string="""
        =g>
        isa         math_goal
        op          search_arg1_idx
        arg1_idx    =idx
        vis_counter =idx
        =visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    =screen_y
        ?visual>
        state       free
        ==>
        =g>
        isa         math_goal
        op          search_arg1_done
        +visual>
        isa         _visual
        cmd         move_attention
        screen_pos  =visual_location
        ~visual_location>
        """
    )

    vis_find_arg1_replace = Model.productionstring(
        name="vis_find_arg1_replace",
        string="""
        =g>
        isa         math_goal
        op          search_arg1_done
        arg1_idx    =idx
        vis_counter =idx
        =visual>
        isa         _visual
        value       =arg1
        ==>
        =g>
        isa         math_goal
        op          check_if_number_arg2_start
        arg1        =arg1
        vis_counter None
        ~visual>
        """
    )


    vis_find_arg2_header = Model.productionstring(
        name = "vis_find_arg2_header",
        string="""
        =g>
        isa         math_goal
        op          vis_find_arg2
        arg2        =var
        ==>
        =g>
        isa         math_goal
        op          find_arg2_header
        ?visual_location>
        attended    False
        +visual_location>
        isa         _visuallocation
        value       =var
        """
    )

    # start value index search
    vis_find_arg2_header_done = Model.productionstring(
        name = "vis_find_arg2_header_done",
        string="""
        =g>
        isa         math_goal
        op          find_arg2_header
        arg2        =var
        arg2_idx    =idx
        vis_counter ~=idx
        vis_counter =vis_counter
        =visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    =screen_y
        ?visual>
        state       free
        ==>
        =g>
        isa         math_goal
        op          search_arg2_idx
        vis_counter 1
        +visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    ~=screen_y
        screen_y    closest
        +retrieval>
        isa         number
        number      1
        """
    )

    vis_find_arg2_search_step1 = Model.productionstring(
        name = "vis_find_arg2_search_step1",
        string="""
        =g>
        isa         math_goal
        op          search_arg2_idx
        arg2        =var
        arg2_idx    =idx
        vis_counter 1
        vis_counter ~=idx
        vis_counter =vis_counter
        =visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    =screen_y
        ?visual>
        state       free
        =retrieval>
        isa         number
        number      =vis_counter
        next        =next
        ==>
        =g>
        isa         math_goal
        op          search_arg2_idx
        vis_counter =next
        +visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    300
        +retrieval>
        isa         number
        number      =next
        """
    )

    vis_find_arg2_search_step2 = Model.productionstring(
        name = "vis_find_arg2_search_step2",
        string="""
        =g>
        isa         math_goal
        op          search_arg2_idx
        arg2        =var
        arg2_idx    =idx
        vis_counter 2
        vis_counter ~=idx
        vis_counter =vis_counter
        =visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    =screen_y
        ?visual>
        state       free
        =retrieval>
        isa         number
        number      =vis_counter
        next        =next
        ==>
        =g>
        isa         math_goal
        op          search_arg2_idx
        vis_counter =next
        +visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    400
        +retrieval>
        isa         number
        number      =next
        """
    )

    vis_find_arg2_search_step3 = Model.productionstring(
        name = "vis_find_arg2_search_step3",
        string="""
        =g>
        isa         math_goal
        op          search_arg2_idx
        arg2        =var
        arg2_idx    =idx
        vis_counter 3
        vis_counter ~=idx
        vis_counter =vis_counter
        =visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    =screen_y
        ?visual>
        state       free
        =retrieval>
        isa         number
        number      =vis_counter
        next        =next
        ==>
        =g>
        isa         math_goal
        op          search_arg2_idx
        vis_counter =next
        +visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    500
        +retrieval>
        isa         number
        number      =next
        """
    )


    vis_find_arg2_search_done = Model.productionstring(
        name="vis_find_arg2_search_done",
        string="""
        =g>
        isa         math_goal
        op          search_arg2_idx
        arg2_idx    =idx
        vis_counter =idx
        =visual_location>
        isa         _visuallocation
        screen_x    =screen_x
        screen_y    =screen_y
        ?visual>
        state       free
        ==>
        =g>
        isa         math_goal
        op          search_arg2_done
        +visual>
        isa         _visual
        cmd         move_attention
        screen_pos  =visual_location
        ~visual_location>
        """
    )

    vis_find_arg2_replace = Model.productionstring(
        name="vis_find_arg2_replace",
        string="""
        =g>
        isa         math_goal
        op          search_arg2_done
        arg2_idx    =idx
        vis_counter =idx
        =visual>
        isa         _visual
        value       =arg2
        ==>
        =g>
        isa         math_goal
        op          done
        arg2        =arg2
        vis_counter None
        ~visual>
        ~retrieval>
        """
    )


    return prods