deepalgo_il 0.1.0

data/tests/clean_formula_tex_concern.rb

@@ -0,0 +1,176 @@
+# frozen_string_literal: true
+
+class String
+  def texescape
+    front = '\text{'
+    body = gsub(/_/, '\_')
+           .gsub(/%/, '\%')
+    back = '}'
+    front + body + back
+  end
+
+  def texify
+    gsub(/@RETURN@/, '')
+      .gsub(/@LPAREN@/, "\\left(\s")
+      .gsub(/@RPAREN@/, "\\right)\s")
+      .gsub(/@GRIGHT@/, '\\right')
+      .gsub(/@GLEFT@/, '\\left')
+      .gsub(/@RBRACK@/, '\\right]')
+      .gsub(/@LBRACK@/, '\\left[')
+      .gsub(/@\+@/, "\s+\s")
+      .gsub(/@x@/, "\s\\times\s")
+      .gsub(/@-@/, "\s-\s")
+      .gsub(/@DIV@/, "\s\\dfrac")
+      .gsub(%r{@/DIV@}, '')
+      .gsub(/@NUM@/, '')
+      .gsub(/@DENO@/, '')
+      .gsub(/@REF@/, '.')
+      .gsub(/@REFA@/, '_')
+      .gsub(/@EOFROW@/, '\\\\\ ' + "\n ")
+      .gsub(/@UNDERSCRIPT@/, '_')
+      .gsub(/@EQ@/, '\text{ equals } ')
+      .gsub(/@AND@/, '\text{ and }')
+      .gsub(/@OR@/, '\text{ or }')
+      .handle_describers
+  end
+
+  def handle_describers
+    r = gsub(/@DESCSTART@/, '\left\{\begin{array}{l}')
+        .gsub(/@DESCITEMSTART@/, ' ')
+        .gsub(/@DESCITEMEND@/, ' \\\\\\')
+        .gsub(/@DESCEND@/, '\end{array}\right.')
+
+    r.dup.scan(/(@TSTART@)([^@]+)(@TEND@)/) do |m|
+      next r.sub!("#{m[0]}#{m[1]}#{m[2]}", (m[1]).to_s) if m[1].start_with?('\\text{')
+
+      r.sub!("#{m[0]}#{m[1]}#{m[2]}", "\\text{ #{m[1]} }")
+    end
+    r
+  end
+
+  def texcolorize
+    gsub(/@COLOR\-(\w+)@/, '\color{#\1}')
+  end
+end
+
+# require 'symengine'
+require 'digest/md5'
+module DeepAlgo
+  module Audit
+    module Engine
+      module Api
+        module V0
+          module CleanFormulaTexConcern
+            PAREN_OPERATORS_REG = /(?:-|\\times)\s*$/.freeze
+            # @param what[String]
+            # @param formula[String]
+            # @param subst[String]
+            # @param
+            def try_with_or_without_pred_char(sub, candidate, _nochar = '', bchar = '(\W|^)', echar = '(\W|$)')
+              subst = sub.by.ope.oid + sub.by_text + sub.by.ope.oid
+              reg = build_regex(sub.what, bchar: bchar, echar: echar)
+              # TODO: insure non char caracters are followed by a space
+              handle_parenthesis!(sub.what, subst)
+              sub_formula = candidate.gsub(reg, '\1' + subst + '\2')
+              # if sub_formula == formula
+              #   L.formula_solver__warning { "the formula #{formula} wasn't substituted by #{reg}. We try without separator...this may lead to bad substitution" }
+              #   reg = build_regex(what, bchar: nochar, echar: nochar)
+              #   sub_formula = formula.gsub(reg, subst)
+              # end
+              # TODO: revert non char preceeded by space
+              sub_formula
+            end
+
+            def handle_parenthesis!(what, subst)
+              subst.sub!(subst, "@LPAREN@ #{subst} @RPAREN@") if
+                what.match(/^#Call[^#]+?#Method/) || (
+                  !what.start_with?('#Call') &&
+                  what.match(/@([-+x]|DIV|EQ|AND|OR)@/))
+            end
+
+            def build_regex(what, bchar: nil, echar: nil)
+              reg = /#{bchar}#{Regexp.quote(what)}#{echar}/
+              # puts reg
+              # reg
+            end
+
+            # @param what[String]
+            # @param formula[String]
+            # @param subst[String]
+            def apply_regexp(sub, candidate)
+              try_with_or_without_pred_char(sub, candidate)
+            end
+
+            PALETTE = ['#E84F34',
+                       '#BF432A',
+                       '#222D2C',
+                       '#00AAC0',
+                       '#95C11F',
+                       '#A11876',
+                       '#1a96a7',
+                       '#F9C100',
+                       '#a271ab',
+                       '#75af95'].freeze
+            def text2color(string)
+              # PALETTE[(string.size % PALETTE.size)]
+              '#' + Digest::MD5.hexdigest(string)[0..5]
+            end
+
+            # def colorized_tex(tex_expression, string_to_use_for_color = tex_expression)
+            #   "@#{text2color(tex_expression, string_to_use_for_color)}@ #{tex_expression} @#{text2color(tex_expression, string_to_use_for_color)}@"
+            # end
+
+            # def apply_tex_color!(formula)
+            #   formula.gsub!(/@(#\w+)@\s(.+?)\s@(#\w+)@/, '\textcolor{' + '\1' + '}{\mathbf{' + '\2' + '}}')
+            #   raise "#{formula} was not colored !!!" if formula.match(/@#\w+@/)
+
+            #   formula
+            # end
+
+            # def colorized_tex!(tex_expression, string_to_use_for_color = tex_expression)
+            #   res = colorized_tex(tex_expression, string_to_use_for_color)
+            #   tex_expression.sub!(/.*/, res)
+            #   tex_expression
+            # end
+
+            def clean_formula_tex(formula)
+              formula.gsub(/(?:#.+?#)/, '').texify
+              # .gsub(/\w+@REF@/, '')
+              # .gsub(/\".*?\"@REF@(\".*?\")/, '\1')
+              # .gsub(/@RETURN@/, '')
+              # .gsub(/(\w+|\))@REFA@/, '\1_')
+              # .gsub(/@REFA@/, '\bigg\rvert_')
+              # .gsub(/@REF@/, '')
+              # .gsub(/\*\*/, '^')
+              # .gsub(/\\left\(\\right\)/, '')
+              # .gsub(/\s+/, "\s")
+            end
+          end
+        end
+      end
+    end
+  end
+end
+
+Dir.foreach('.') do |dirname|
+  next if dirname == '.' || dirname == '..' || dirname == 'clean_formula_tex_concern.rb'
+
+  puts "working on #{dirname}"
+
+  Dir.foreach("./#{dirname}") do |filename|
+    next if filename == '.' || filename == '..' || filename.nil?
+    next if filename.split('.')[1] != 'raw'
+
+    file = File.open("./#{dirname}/#{filename}", 'r')
+    formula = file.read
+    inter = formula.gsub(/(?:#.+?#)/, '')
+    fileinter = File.open("./#{dirname}/#{filename.split('.')[0]}.inter", 'w')
+    fileinter.write(inter)
+    res = inter.texify.texcolorize
+    newfile = File.open("./#{dirname}/#{filename.split('.')[0]}_pre.tex", 'w')
+    newfile.write(res)
+    fileinter.close
+    newfile.close
+    file.close
+  end
+end

data/tests/test_big_formula/formula-100.inter

@@ -0,0 +1 @@
+@LPAREN@ @LPAREN@ @LPAREN@ rebate @RPAREN@ @x@ @LPAREN@ @LPAREN@ @RETURN@@LPAREN@Class:3473@REF@Property:1871@REF@riskFreeRate@REF@currentLink@REF@discount@LPAREN@@LPAREN@ @RETURN@@LPAREN@Class:3473@REF@Property:1871@REF@TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@@RPAREN@ @RPAREN@@RPAREN@@RPAREN@ @RPAREN@ @x@ @LPAREN@ @LPAREN@@LPAREN@ @LPAREN@ Property:1863@REF@op@LPAREN@@LPAREN@ Parameter:3186 @x@ @LPAREN@ @LPAREN@@LPAREN@ @LPAREN@ @LPAREN@ @LPAREN@ @DIV@@NUM@{Math@REF@log@LPAREN@@LPAREN@ @DIV@@NUM@{@LPAREN@ first @RPAREN@}@DENO@{@LPAREN@ barrier @RPAREN@}@/DIV@ @RPAREN@@RPAREN@}@DENO@{@LPAREN@ @LPAREN@ @LPAREN@ blackVol@LPAREN@@LPAREN@ @RETURN@@LPAREN@Class:3473@REF@Property:1871@REF@TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@@RPAREN@ @RPAREN@,@LPAREN@ strike @RPAREN@@RPAREN@ @RPAREN@ @x@ Math@REF@sqrt@LPAREN@@LPAREN@ TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @RPAREN@}@/DIV@ @RPAREN@ @+@ @LPAREN@ @LPAREN@ @LPAREN@Integer:2750 @+@ @LPAREN@ @LPAREN@ @DIV@@NUM@{@LPAREN@@LPAREN@ rate @RPAREN@ @-@ @LPAREN@ rate @RPAREN@@RPAREN@}@DENO@{@LPAREN@@LPAREN@ blackVol@LPAREN@@LPAREN@ TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@ @RPAREN@,Method:2550@RPAREN@ @RPAREN@ @x@ @LPAREN@ blackVol@LPAREN@Method:2567,@LPAREN@ strike @RPAREN@@RPAREN@ @RPAREN@@RPAREN@}@/DIV@ @-@ Double:2742 @RPAREN@ @RPAREN@@RPAREN@ @x@ @LPAREN@ @LPAREN@ @LPAREN@ blackVol@LPAREN@@LPAREN@ @RETURN@@LPAREN@Class:3473@REF@Property:1871@REF@TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@@RPAREN@ @RPAREN@,@LPAREN@ strike @RPAREN@@RPAREN@ @RPAREN@ @x@ Math@REF@sqrt@LPAREN@@LPAREN@ TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@ @-@ @LPAREN@ @LPAREN@ @LPAREN@ blackVol@LPAREN@Method:2567,Method:2550@RPAREN@ @RPAREN@ @x@ Math@REF@sqrt@LPAREN@@LPAREN@ TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @-@ @LPAREN@ @LPAREN@ Math@REF@pow@LPAREN@@LPAREN@ @DIV@@NUM@{@LPAREN@ barrier @RPAREN@}@DENO@{@LPAREN@ first @RPAREN@}@/DIV@ @RPAREN@,@LPAREN@ Integer:3199 @x@ @LPAREN@ @LPAREN@ @DIV@@NUM@{@LPAREN@@LPAREN@ rate @RPAREN@ @-@ @LPAREN@ rate @RPAREN@@RPAREN@}@DENO@{@LPAREN@@LPAREN@ blackVol@LPAREN@@LPAREN@ @RETURN@@LPAREN@Class:3473@REF@Property:1871@REF@TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@@RPAREN@ @RPAREN@,@LPAREN@ strike @RPAREN@@RPAREN@ @RPAREN@ @x@ @LPAREN@ blackVol@LPAREN@@LPAREN@ @RETURN@@LPAREN@Class:3473@REF@Property:1871@REF@TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@@RPAREN@ @RPAREN@,@LPAREN@ strike @RPAREN@@RPAREN@ @RPAREN@@RPAREN@}@/DIV@ @-@ Double:2742 @RPAREN@ @RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @x@ @LPAREN@ Property:1863@REF@op@LPAREN@@LPAREN@ Parameter:3186 @x@ @LPAREN@ @LPAREN@@LPAREN@ @LPAREN@ @LPAREN@ @LPAREN@ @DIV@@NUM@{Math@REF@log@LPAREN@@LPAREN@ @DIV@@NUM@{@LPAREN@ barrier @RPAREN@}@DENO@{@LPAREN@ first @RPAREN@}@/DIV@ @RPAREN@@RPAREN@}@DENO@{@LPAREN@ @LPAREN@ @LPAREN@ blackVol@LPAREN@@LPAREN@ @RETURN@@LPAREN@Class:3473@REF@Property:1871@REF@TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@@RPAREN@ @RPAREN@,@LPAREN@ strike @RPAREN@@RPAREN@ @RPAREN@ @x@ Math@REF@sqrt@LPAREN@@LPAREN@ TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @RPAREN@}@/DIV@ @RPAREN@ @+@ @LPAREN@ @LPAREN@ @LPAREN@Integer:2750 @+@ @LPAREN@ @LPAREN@ @DIV@@NUM@{@LPAREN@@LPAREN@ rate @RPAREN@ @-@ @LPAREN@ rate @RPAREN@@RPAREN@}@DENO@{@LPAREN@@LPAREN@ blackVol@LPAREN@@LPAREN@ @RETURN@@LPAREN@Class:3473@REF@Property:1871@REF@TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@@RPAREN@ @RPAREN@,@LPAREN@ strike @RPAREN@@RPAREN@ @RPAREN@ @x@ @LPAREN@ blackVol@LPAREN@@LPAREN@ @RETURN@@LPAREN@Class:3473@REF@Property:1871@REF@TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@@RPAREN@ @RPAREN@,@LPAREN@ strike @RPAREN@@RPAREN@ @RPAREN@@RPAREN@}@/DIV@ @-@ Double:2742 @RPAREN@ @RPAREN@@RPAREN@ @x@ @LPAREN@ @LPAREN@ @LPAREN@ blackVol@LPAREN@@LPAREN@ @RETURN@@LPAREN@Class:3473@REF@Property:1871@REF@TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@@RPAREN@ @RPAREN@,@LPAREN@ strike @RPAREN@@RPAREN@ @RPAREN@ @x@ Math@REF@sqrt@LPAREN@@LPAREN@ TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@ @-@ @LPAREN@ @LPAREN@ @LPAREN@ blackVol@LPAREN@@LPAREN@ @RETURN@@LPAREN@Class:3473@REF@Property:1871@REF@TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@@RPAREN@ @RPAREN@,@LPAREN@ strike @RPAREN@@RPAREN@ @RPAREN@ @x@ Math@REF@sqrt@LPAREN@@LPAREN@ TypeRef:1810@LPAREN@Property:1884@REF@exercise@REF@lastDate@RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@@RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@

data/tests/test_big_formula/formula-100.raw

@@ -0,0 +1 @@
+#//0_3295_315#@LPAREN@ #//0_3292#@LPAREN@ #//0_3290_376#@LPAREN@ #//3299/0_3277/0_2613_309##//3299/0_3277/0_2613##Reference:2610#rebate#Reference:2610##//3299/0_3277/0_2613##//3299/0_3277/0_2613_309# @RPAREN@ @x@ @LPAREN@ #//0_3288_375#@LPAREN@ #//3299/0_3278/0_2666_236##Return:2666#@RETURN@@LPAREN@Class:3473@REF@#Reference:2655##//3299/0_3265/2599/0_2588/0_2571_84##Reference:2571##//3299/0_3265/2599/0_2588/0_1871_83##//3299/0_3249/0_2571_84##Reference:2571##//3299/0_3249/0_1871_83##//3299/0_3278/0_1871_230##//3299/0_3278/0_2655_231##Reference:2655##//3299/0_3278/0_1871_230#Property:1871#//3299/0_3278/0_1871_230##Reference:2655##//3299/0_3278/0_2655_231##//3299/0_3278/0_1871_230##//3299/0_3249/0_1871_83##Reference:2571##//3299/0_3249/0_2571_84##//3299/0_3265/2599/0_2588/0_1871_83##Reference:2571##//3299/0_3265/2599/0_2588/0_2571_84##Reference:2655#@REF@#Call:2656#riskFreeRate#Call:2656#@REF@#Call:2657#currentLink#Call:2657#@REF@#Call:2660#discount@LPAREN@@LPAREN@ #//3299/0_3278/2668/0_2658/0_2565_70##Return:2565#@RETURN@@LPAREN@Class:3473@REF@#Reference:2554##//3299/0_3278/0_1871_230##//3299/0_3278/2668/0_2658/0_1871_62#Property:1871#//3299/0_3278/2668/0_2658/0_1871_62##//3299/0_3278/0_1871_230##Reference:2554#@REF@#Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3278/2668/0_2658/0_1884_64#Property:1884#//3299/0_3278/2668/0_2658/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561#@RPAREN@#Return:2565##//3299/0_3278/2668/0_2658/0_2565_70# @RPAREN@@RPAREN@#Call:2660#@RPAREN@#Return:2666##//3299/0_3278/0_2666_236# @RPAREN@ @x@ @LPAREN@ #//0_3286_374#@LPAREN@@LPAREN@ #//0_3285_373##//0_3279_369##Reference:3279#@LPAREN@ #//0_3260_357##Reference:3246#Property:1863#Reference:3246#@REF@#//0_3256_356##Call:3256#op@LPAREN@@LPAREN@ #//0_3254_355##//0_3247_350##Reference:3247#Parameter:3186#Reference:3247##//0_3247_350# @x@ @LPAREN@ #//0_3252_354#@LPAREN@@LPAREN@ #//0_3251_353##//0_3248_351##Reference:3248#@LPAREN@ #//0_3226_335#@LPAREN@ #//0_3223_334#@LPAREN@ #//0_3220_332#@DIV@@NUM@{#Reference:3210#Math#Reference:3210#@REF@#//0_3216_330##Call:3216#log@LPAREN@@LPAREN@ #//0_3214_329#@DIV@@NUM@{@LPAREN@ #//3299/0_3211/0_2538_52##//3299/0_3211/0_2538##Call:2533#first#Call:2533##//3299/0_3211/0_2538##//3299/0_3211/0_2538_52# @RPAREN@}@DENO@{@LPAREN@ #//3299/0_3212/0_2605_47##//3299/0_3212/0_2605##Reference:2602#barrier#Reference:2602##//3299/0_3212/0_2605##//3299/0_3212/0_2605_47# @RPAREN@}@/DIV@#//0_3214_329# @RPAREN@@RPAREN@#Call:3216##//0_3216_330#}@DENO@{@LPAREN@ #//3299/0_3218/0_2597_201#@LPAREN@ #//3299/0_3218/0_2597#@LPAREN@ #//3299/0_3218/0_2584_90##//3299/0_3218/0_2584##Call:2578#blackVol@LPAREN@@LPAREN@ #//3299/0_3218/0_2565_70##Return:2565#@RETURN@@LPAREN@Class:3473@REF@#Reference:2554##//3299/0_3218/0_1871_83#Property:1871#//3299/0_3218/0_1871_83##Reference:2554#@REF@#Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3218/0_1884_64#Property:1884#//3299/0_3218/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561#@RPAREN@#Return:2565##//3299/0_3218/0_2565_70# @RPAREN@,@LPAREN@ #//3299/0_3218/0_2548_74##//3299/0_3218/0_2548##Call:2544#strike#Call:2544##//3299/0_3218/0_2548##//3299/0_3218/0_2548_74# @RPAREN@@RPAREN@#Call:2578##//3299/0_3218/0_2584##//3299/0_3218/0_2584_90# @RPAREN@ @x@ #Reference:2589#Math#Reference:2589#@REF@#Call:2592#sqrt@LPAREN@@LPAREN@ #//3299/0_3218/0_2565_70##//3299/0_3218/0_2565##Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3221/0_1884_64#Property:1884#//3299/0_3221/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561##//3299/0_3218/0_2565##//3299/0_3218/0_2565_70# @RPAREN@@RPAREN@#Call:2592##//3299/0_3218/0_2597# @RPAREN@#//3299/0_3218/0_2597_201# @RPAREN@}@/DIV@#//0_3220_332# @RPAREN@ @+@ @LPAREN@ #//3299/0_3221/0_2759_208#@LPAREN@ #//3299/0_3221/0_2759#@LPAREN@#//3299/0_3221/0_2750_204#Integer:2750#//3299/0_3221/0_2750_204# @+@ @LPAREN@ #//3299/0_3221/0_2746_194#@LPAREN@ #//3299/0_3221/0_2746#@DIV@@NUM@{@LPAREN@@LPAREN@ #//3299/0_3221/0_2649_128##//3299/0_3221/0_2649##Call:2646#rate#Call:2646##//3299/0_3221/0_2649##//3299/0_3221/0_2649_128# @RPAREN@ @-@ @LPAREN@ #//3299/0_3221/0_2702_166##//3299/0_3221/0_2702##Call:2699#rate#Call:2699##//3299/0_3221/0_2702##//3299/0_3221/0_2702_166# @RPAREN@@RPAREN@}@DENO@{@LPAREN@#Reference:2735##//3299/0_3221/0_2729_182#@LPAREN@ #//3299/0_3221/0_2584_90##//3299/0_3221/0_2584##Call:2578#blackVol@LPAREN@@LPAREN@ #//3299/0_3249/0_2565_70##//3299/0_3249/0_2565##Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3249/0_1884_64#Property:1884#//3299/0_3249/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561##//3299/0_3249/0_2565##//3299/0_3249/0_2565_70# @RPAREN@,#Call:2576#Method:2550#Call:2576#@RPAREN@#Call:2578##//3299/0_3221/0_2584##//3299/0_3221/0_2584_90# @RPAREN@#//3299/0_3221/0_2729_182##Reference:2735# @x@ #Reference:2736##//3299/0_3221/0_2729_182#@LPAREN@ #//3299/0_3221/0_2584_90##//3299/0_3221/0_2584##Call:2578#blackVol@LPAREN@#Call:2574#Method:2567#Call:2574#,@LPAREN@ #//3299/0_3249/0_2548_74##//3299/0_3249/0_2548##Call:2544#strike#Call:2544##//3299/0_3249/0_2548##//3299/0_3249/0_2548_74# @RPAREN@@RPAREN@#Call:2578##//3299/0_3221/0_2584##//3299/0_3221/0_2584_90# @RPAREN@#//3299/0_3221/0_2729_182##Reference:2736#@RPAREN@}@/DIV@ @-@ #//3299/0_3221/0_2742_193#Double:2742#//3299/0_3221/0_2742_193##//3299/0_3221/0_2746# @RPAREN@#//3299/0_3221/0_2746_194# @RPAREN@@RPAREN@ @x@ @LPAREN@ #//3299/0_3221/0_2597_201#@LPAREN@ #//3299/0_3221/0_2597#@LPAREN@ #//3299/0_3221/0_2584_90##//3299/0_3221/0_2584##Call:2578#blackVol@LPAREN@@LPAREN@ #//3299/0_3221/0_2565_70##Return:2565#@RETURN@@LPAREN@Class:3473@REF@#Reference:2554##//3299/0_3221/0_1871_83##//3299/0_3249/0_1871_62#Property:1871#//3299/0_3249/0_1871_62##//3299/0_3221/0_1871_83##Reference:2554#@REF@#Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3249/0_1884_64#Property:1884#//3299/0_3249/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561#@RPAREN@#Return:2565##//3299/0_3221/0_2565_70# @RPAREN@,@LPAREN@ #//3299/0_3221/0_2548_74##//3299/0_3221/0_2548##Call:2544#strike#Call:2544##//3299/0_3221/0_2548##//3299/0_3221/0_2548_74# @RPAREN@@RPAREN@#Call:2578##//3299/0_3221/0_2584##//3299/0_3221/0_2584_90# @RPAREN@ @x@ #Reference:2589#Math#Reference:2589#@REF@#Call:2592#sqrt@LPAREN@@LPAREN@ #//3299/0_3221/0_2565_70##//3299/0_3221/0_2565##Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3249/0_1884_64#Property:1884#//3299/0_3249/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561##//3299/0_3221/0_2565##//3299/0_3221/0_2565_70# @RPAREN@@RPAREN@#Call:2592##//3299/0_3221/0_2597# @RPAREN@#//3299/0_3221/0_2597_201# @RPAREN@#//3299/0_3221/0_2759# @RPAREN@#//3299/0_3221/0_2759_208# @RPAREN@#//0_3223_334# @RPAREN@#//0_3226_335# @RPAREN@#Reference:3248##//0_3248_351# @-@ @LPAREN@ #//3299/0_3249/0_2597_201#@LPAREN@ #//3299/0_3249/0_2597#@LPAREN@ #//3299/0_3249/0_2584_90##//3299/0_3249/0_2584##Call:2578#blackVol@LPAREN@#Call:2574#Method:2567#Call:2574#,#Call:2576#Method:2550#Call:2576#@RPAREN@#Call:2578##//3299/0_3249/0_2584##//3299/0_3249/0_2584_90# @RPAREN@ @x@ #Reference:2589#Math#Reference:2589#@REF@#Call:2592#sqrt@LPAREN@@LPAREN@ #//3299/0_3249/0_2565_70##//3299/0_3249/0_2565##Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3249/0_1884_64#Property:1884#//3299/0_3249/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561##//3299/0_3249/0_2565##//3299/0_3249/0_2565_70# @RPAREN@@RPAREN@#Call:2592##//3299/0_3249/0_2597# @RPAREN@#//3299/0_3249/0_2597_201# @RPAREN@#//0_3251_353# @RPAREN@@RPAREN@#//0_3252_354# @RPAREN@#//0_3254_355# @RPAREN@@RPAREN@#Call:3256##//0_3256_356##//0_3260_357# @RPAREN@#Reference:3279##//0_3279_369# @-@ @LPAREN@ #//0_3283_372##//0_3280_370##Reference:3280#@LPAREN@ #//0_3208_324##Reference:3193#Math#Reference:3193#@REF@#//0_3204_323##Call:3204#pow@LPAREN@@LPAREN@ #//0_3197_319#@DIV@@NUM@{@LPAREN@ #//3299/0_3194/0_2605_47##//3299/0_3194/0_2605##Reference:2602#barrier#Reference:2602##//3299/0_3194/0_2605##//3299/0_3194/0_2605_47# @RPAREN@}@DENO@{@LPAREN@ #//3299/0_3195/0_2538_52##//3299/0_3195/0_2538##Call:2533#first#Call:2533##//3299/0_3195/0_2538##//3299/0_3195/0_2538_52# @RPAREN@}@/DIV@#//0_3197_319# @RPAREN@,@LPAREN@ #//0_3202_321##//0_3199_322#Integer:3199#//0_3199_322# @x@ @LPAREN@ #//3299/0_3200/0_2746_194#@LPAREN@ #//3299/0_3200/0_2746#@DIV@@NUM@{@LPAREN@@LPAREN@ #//3299/0_3200/0_2649_128##//3299/0_3200/0_2649##Call:2646#rate#Call:2646##//3299/0_3200/0_2649##//3299/0_3200/0_2649_128# @RPAREN@ @-@ @LPAREN@ #//3299/0_3200/0_2702_166##//3299/0_3200/0_2702##Call:2699#rate#Call:2699##//3299/0_3200/0_2702##//3299/0_3200/0_2702_166# @RPAREN@@RPAREN@}@DENO@{@LPAREN@#Reference:2735##//3299/0_3200/0_2729_182#@LPAREN@ #//3299/0_3200/0_2584_90##//3299/0_3200/0_2584##Call:2578#blackVol@LPAREN@@LPAREN@ #//3299/0_3200/0_2565_70##Return:2565#@RETURN@@LPAREN@Class:3473@REF@#Reference:2554##//3299/0_3200/0_1871_83##//3299/0_3200/0_1871_62##//3299/0_3200/0_2620_111##Reference:2620##//3299/0_3200/0_2673_149##Reference:2673##//3299/0_3200/0_2571_84##Reference:2571##//3299/0_3200/0_1871_110##//3299/0_3200/0_1871_148##//3299/0_3200/0_1871_83#Property:1871#//3299/0_3200/0_1871_83##//3299/0_3200/0_1871_148##//3299/0_3200/0_1871_110##Reference:2571##//3299/0_3200/0_2571_84##Reference:2673##//3299/0_3200/0_2673_149##Reference:2620##//3299/0_3200/0_2620_111##//3299/0_3200/0_1871_62##//3299/0_3200/0_1871_83##Reference:2554#@REF@#Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3200/0_1884_64#Property:1884#//3299/0_3200/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561#@RPAREN@#Return:2565##//3299/0_3200/0_2565_70# @RPAREN@,@LPAREN@ #//3299/0_3200/0_2548_74##//3299/0_3200/0_2548##Call:2544#strike#Call:2544##//3299/0_3200/0_2548##//3299/0_3200/0_2548_74# @RPAREN@@RPAREN@#Call:2578##//3299/0_3200/0_2584##//3299/0_3200/0_2584_90# @RPAREN@#//3299/0_3200/0_2729_182##Reference:2735# @x@ #Reference:2736##//3299/0_3200/0_2729_182#@LPAREN@ #//3299/0_3200/0_2584_90##//3299/0_3200/0_2584##Call:2578#blackVol@LPAREN@@LPAREN@ #//3299/0_3200/0_2565_70##Return:2565#@RETURN@@LPAREN@Class:3473@REF@#Reference:2554##//3299/0_3200/0_1871_83##//3299/0_3200/0_1871_62##//3299/0_3200/0_2620_111##Reference:2620##//3299/0_3200/0_2673_149##Reference:2673##//3299/0_3200/0_2571_84##Reference:2571##//3299/0_3200/0_1871_110##//3299/0_3200/0_1871_148##//3299/0_3200/0_1871_83#Property:1871#//3299/0_3200/0_1871_83##//3299/0_3200/0_1871_148##//3299/0_3200/0_1871_110##Reference:2571##//3299/0_3200/0_2571_84##Reference:2673##//3299/0_3200/0_2673_149##Reference:2620##//3299/0_3200/0_2620_111##//3299/0_3200/0_1871_62##//3299/0_3200/0_1871_83##Reference:2554#@REF@#Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3200/0_1884_64#Property:1884#//3299/0_3200/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561#@RPAREN@#Return:2565##//3299/0_3200/0_2565_70# @RPAREN@,@LPAREN@ #//3299/0_3200/0_2548_74##//3299/0_3200/0_2548##Call:2544#strike#Call:2544##//3299/0_3200/0_2548##//3299/0_3200/0_2548_74# @RPAREN@@RPAREN@#Call:2578##//3299/0_3200/0_2584##//3299/0_3200/0_2584_90# @RPAREN@#//3299/0_3200/0_2729_182##Reference:2736#@RPAREN@}@/DIV@ @-@ #//3299/0_3200/0_2742_193#Double:2742#//3299/0_3200/0_2742_193##//3299/0_3200/0_2746# @RPAREN@#//3299/0_3200/0_2746_194# @RPAREN@#//0_3202_321# @RPAREN@@RPAREN@#Call:3204##//0_3204_323##//0_3208_324# @RPAREN@#Reference:3280##//0_3280_370# @x@ #//0_3281_371##Reference:3281#@LPAREN@ #//0_3276_366##Reference:3262#Property:1863#Reference:3262#@REF@#//0_3272_365##Call:3272#op@LPAREN@@LPAREN@ #//0_3270_364##//0_3263_359##Reference:3263##//0_3186_349##//0_3186_349#Parameter:3186#//0_3186_349##//0_3186_349##Reference:3263##//0_3263_359# @x@ @LPAREN@ #//0_3268_363#@LPAREN@@LPAREN@ #//0_3267_362##//0_3264_360##Reference:3264#@LPAREN@ #//0_3244_346#@LPAREN@ #//0_3241_345#@LPAREN@ #//0_3238_343#@DIV@@NUM@{#Reference:3228#Math#Reference:3228#@REF@#//0_3234_341##Call:3234#log@LPAREN@@LPAREN@ #//0_3232_340#@DIV@@NUM@{@LPAREN@ #//3299/0_3229/0_2605_47##//3299/0_3229/0_2605##Reference:2602#barrier#Reference:2602##//3299/0_3229/0_2605##//3299/0_3229/0_2605_47# @RPAREN@}@DENO@{@LPAREN@ #//3299/0_3230/0_2538_52##//3299/0_3230/0_2538##Call:2533#first#Call:2533##//3299/0_3230/0_2538##//3299/0_3230/0_2538_52# @RPAREN@}@/DIV@#//0_3232_340# @RPAREN@@RPAREN@#Call:3234##//0_3234_341#}@DENO@{@LPAREN@ #//3299/0_3236/0_2597_201#@LPAREN@ #//3299/0_3236/0_2597#@LPAREN@ #//3299/0_3236/0_2584_90##//3299/0_3236/0_2584##Call:2578#blackVol@LPAREN@@LPAREN@ #//3299/0_3236/0_2565_70##Return:2565#@RETURN@@LPAREN@Class:3473@REF@#Reference:2554##//3299/0_3236/0_1871_83#Property:1871#//3299/0_3236/0_1871_83##Reference:2554#@REF@#Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3236/0_1884_64#Property:1884#//3299/0_3236/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561#@RPAREN@#Return:2565##//3299/0_3236/0_2565_70# @RPAREN@,@LPAREN@ #//3299/0_3236/0_2548_74##//3299/0_3236/0_2548##Call:2544#strike#Call:2544##//3299/0_3236/0_2548##//3299/0_3236/0_2548_74# @RPAREN@@RPAREN@#Call:2578##//3299/0_3236/0_2584##//3299/0_3236/0_2584_90# @RPAREN@ @x@ #Reference:2589#Math#Reference:2589#@REF@#Call:2592#sqrt@LPAREN@@LPAREN@ #//3299/0_3236/0_2565_70##//3299/0_3236/0_2565##Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3239/2761/0_2755/0_1884_64#Property:1884#//3299/0_3239/2761/0_2755/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561##//3299/0_3236/0_2565##//3299/0_3236/0_2565_70# @RPAREN@@RPAREN@#Call:2592##//3299/0_3236/0_2597# @RPAREN@#//3299/0_3236/0_2597_201# @RPAREN@}@/DIV@#//0_3238_343# @RPAREN@ @+@ @LPAREN@ #//3299/0_3239/0_2759_208#@LPAREN@ #//3299/0_3239/0_2759#@LPAREN@#//3299/0_3239/0_2750_204#Integer:2750#//3299/0_3239/0_2750_204# @+@ @LPAREN@ #//3299/0_3239/2761/0_2751/0_2746_194#@LPAREN@ #//3299/0_3239/2761/0_2751/0_2746#@DIV@@NUM@{@LPAREN@@LPAREN@ #//3299/0_3239/2761/0_2751/2748/0_2730/0_2649_128##//3299/0_3239/2761/0_2751/2748/0_2730/0_2649##Call:2646#rate#Call:2646##//3299/0_3239/2761/0_2751/2748/0_2730/0_2649##//3299/0_3239/2761/0_2751/2748/0_2730/0_2649_128# @RPAREN@ @-@ @LPAREN@ #//3299/0_3239/2761/0_2751/2748/0_2731/0_2702_166##//3299/0_3239/2761/0_2751/2748/0_2731/0_2702##Call:2699#rate#Call:2699##//3299/0_3239/2761/0_2751/2748/0_2731/0_2702##//3299/0_3239/2761/0_2751/2748/0_2731/0_2702_166# @RPAREN@@RPAREN@}@DENO@{@LPAREN@#Reference:2735##//3299/0_3239/2761/0_2751/0_2729_182#@LPAREN@ #//3299/0_3239/2761/0_2751/2748/0_2726/0_2584_90##//3299/0_3239/2761/0_2751/2748/0_2726/0_2584##Call:2578#blackVol@LPAREN@@LPAREN@ #//3299/0_3239/2761/0_2751/2748/0_2726/0_2565_70##Return:2565#@RETURN@@LPAREN@Class:3473@REF@#Reference:2554##//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_83##//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_62##//3299/0_3239/2761/0_2751/2748/0_2726/0_2571_84##Reference:2571##//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_83#Property:1871#//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_83##Reference:2571##//3299/0_3239/2761/0_2751/2748/0_2726/0_2571_84##//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_62##//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_83##Reference:2554#@REF@#Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3239/2761/0_2751/2748/0_2726/0_1884_64#Property:1884#//3299/0_3239/2761/0_2751/2748/0_2726/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561#@RPAREN@#Return:2565##//3299/0_3239/2761/0_2751/2748/0_2726/0_2565_70# @RPAREN@,@LPAREN@ #//3299/0_3239/2761/0_2751/2748/0_2726/0_2548_74##//3299/0_3239/2761/0_2751/2748/0_2726/0_2548##Call:2544#strike#Call:2544##//3299/0_3239/2761/0_2751/2748/0_2726/0_2548##//3299/0_3239/2761/0_2751/2748/0_2726/0_2548_74# @RPAREN@@RPAREN@#Call:2578##//3299/0_3239/2761/0_2751/2748/0_2726/0_2584##//3299/0_3239/2761/0_2751/2748/0_2726/0_2584_90# @RPAREN@#//3299/0_3239/2761/0_2751/0_2729_182##Reference:2735# @x@ #Reference:2736##//3299/0_3239/2761/0_2751/0_2729_182#@LPAREN@ #//3299/0_3239/2761/0_2751/2748/0_2726/0_2584_90##//3299/0_3239/2761/0_2751/2748/0_2726/0_2584##Call:2578#blackVol@LPAREN@@LPAREN@ #//3299/0_3239/2761/0_2751/2748/0_2726/0_2565_70##Return:2565#@RETURN@@LPAREN@Class:3473@REF@#Reference:2554##//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_83##//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_62##//3299/0_3239/2761/0_2751/2748/0_2726/0_2571_84##Reference:2571##//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_83#Property:1871#//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_83##Reference:2571##//3299/0_3239/2761/0_2751/2748/0_2726/0_2571_84##//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_62##//3299/0_3239/2761/0_2751/2748/0_2726/0_1871_83##Reference:2554#@REF@#Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3239/2761/0_2751/2748/0_2726/0_1884_64#Property:1884#//3299/0_3239/2761/0_2751/2748/0_2726/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561#@RPAREN@#Return:2565##//3299/0_3239/2761/0_2751/2748/0_2726/0_2565_70# @RPAREN@,@LPAREN@ #//3299/0_3239/2761/0_2751/2748/0_2726/0_2548_74##//3299/0_3239/2761/0_2751/2748/0_2726/0_2548##Call:2544#strike#Call:2544##//3299/0_3239/2761/0_2751/2748/0_2726/0_2548##//3299/0_3239/2761/0_2751/2748/0_2726/0_2548_74# @RPAREN@@RPAREN@#Call:2578##//3299/0_3239/2761/0_2751/2748/0_2726/0_2584##//3299/0_3239/2761/0_2751/2748/0_2726/0_2584_90# @RPAREN@#//3299/0_3239/2761/0_2751/0_2729_182##Reference:2736#@RPAREN@}@/DIV@ @-@ #//3299/0_3239/2761/0_2751/0_2742_193#Double:2742#//3299/0_3239/2761/0_2751/0_2742_193##//3299/0_3239/2761/0_2751/0_2746# @RPAREN@#//3299/0_3239/2761/0_2751/0_2746_194# @RPAREN@@RPAREN@ @x@ @LPAREN@ #//3299/0_3239/2761/0_2755/0_2597_201#@LPAREN@ #//3299/0_3239/2761/0_2755/0_2597#@LPAREN@ #//3299/0_3239/2761/0_2755/0_2584_90##//3299/0_3239/2761/0_2755/0_2584##Call:2578#blackVol@LPAREN@@LPAREN@ #//3299/0_3239/2761/0_2755/0_2565_70##Return:2565#@RETURN@@LPAREN@Class:3473@REF@#Reference:2554##//3299/0_3239/2761/0_2755/0_1871_83#Property:1871#//3299/0_3239/2761/0_2755/0_1871_83##Reference:2554#@REF@#Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3265/2599/0_2590/0_1884_64#Property:1884#//3299/0_3265/2599/0_2590/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561#@RPAREN@#Return:2565##//3299/0_3239/2761/0_2755/0_2565_70# @RPAREN@,@LPAREN@ #//3299/0_3239/2761/0_2755/0_2548_74##//3299/0_3239/2761/0_2755/0_2548##Call:2544#strike#Call:2544##//3299/0_3239/2761/0_2755/0_2548##//3299/0_3239/2761/0_2755/0_2548_74# @RPAREN@@RPAREN@#Call:2578##//3299/0_3239/2761/0_2755/0_2584##//3299/0_3239/2761/0_2755/0_2584_90# @RPAREN@ @x@ #Reference:2589#Math#Reference:2589#@REF@#Call:2592#sqrt@LPAREN@@LPAREN@ #//3299/0_3239/2761/0_2755/0_2565_70##//3299/0_3239/2761/0_2755/0_2565##Call:2561#TypeRef:1810@LPAREN@#Reference:2555#Property:1884#Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561##//3299/0_3239/2761/0_2755/0_2565##//3299/0_3239/2761/0_2755/0_2565_70# @RPAREN@@RPAREN@#Call:2592##//3299/0_3239/2761/0_2755/0_2597# @RPAREN@#//3299/0_3239/2761/0_2755/0_2597_201# @RPAREN@#//3299/0_3239/0_2759# @RPAREN@#//3299/0_3239/0_2759_208# @RPAREN@#//0_3241_345# @RPAREN@#//0_3244_346# @RPAREN@#Reference:3264##//0_3264_360# @-@ @LPAREN@ #//3299/0_3265/0_2597_201#@LPAREN@ #//3299/0_3265/0_2597#@LPAREN@ #//3299/0_3265/2599/0_2588/0_2584_90##//3299/0_3265/2599/0_2588/0_2584##Call:2578#blackVol@LPAREN@@LPAREN@ #//3299/0_3265/2599/0_2588/2586/0_2574/0_2565_70##Return:2565#@RETURN@@LPAREN@Class:3473@REF@#Reference:2554##//3299/0_3265/2599/0_2588/0_1871_83##//3299/0_3265/2599/0_2588/2586/0_2574/0_1871_62#Property:1871#//3299/0_3265/2599/0_2588/2586/0_2574/0_1871_62##//3299/0_3265/2599/0_2588/0_1871_83##Reference:2554#@REF@#Call:2561#TypeRef:1810@LPAREN@#Reference:2555##//3299/0_3265/2599/0_2588/2586/0_2574/0_1884_64#Property:1884#//3299/0_3265/2599/0_2588/2586/0_2574/0_1884_64##Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561#@RPAREN@#Return:2565##//3299/0_3265/2599/0_2588/2586/0_2574/0_2565_70# @RPAREN@,@LPAREN@ #//3299/0_3265/2599/0_2588/2586/0_2576/0_2548_74##//3299/0_3265/2599/0_2588/2586/0_2576/0_2548##Call:2544#strike#Call:2544##//3299/0_3265/2599/0_2588/2586/0_2576/0_2548##//3299/0_3265/2599/0_2588/2586/0_2576/0_2548_74# @RPAREN@@RPAREN@#Call:2578##//3299/0_3265/2599/0_2588/0_2584##//3299/0_3265/2599/0_2588/0_2584_90# @RPAREN@ @x@ #Reference:2589#Math#Reference:2589#@REF@#Call:2592#sqrt@LPAREN@@LPAREN@ #//3299/0_3265/2599/0_2590/0_2565_70##//3299/0_3265/2599/0_2590/0_2565##Call:2561#TypeRef:1810@LPAREN@#Reference:2555#Property:1884#Reference:2555#@REF@#Reference:2556#exercise#Reference:2556#@REF@#Call:2557#lastDate#Call:2557#@RPAREN@#Call:2561##//3299/0_3265/2599/0_2590/0_2565##//3299/0_3265/2599/0_2590/0_2565_70# @RPAREN@@RPAREN@#Call:2592##//3299/0_3265/0_2597# @RPAREN@#//3299/0_3265/0_2597_201# @RPAREN@#//0_3267_362# @RPAREN@@RPAREN@#//0_3268_363# @RPAREN@#//0_3270_364# @RPAREN@@RPAREN@#Call:3272##//0_3272_365##//0_3276_366# @RPAREN@#Reference:3281##//0_3281_371##//0_3283_372# @RPAREN@#//0_3285_373# @RPAREN@@RPAREN@#//0_3286_374# @RPAREN@#//0_3288_375# @RPAREN@#//0_3290_376# @RPAREN@#//0_3292# @RPAREN@#//0_3295_315#

data/tests/test_big_formula/formula-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \left(  rebate \right)   \times  \left(  \left(  \left( \color{#59605a}{AnalyticBarrierEngine}.\color{#d2af58}{process}.riskFreeRate.currentLink.discount\left( \left(  \left( \color{#59605a}{AnalyticBarrierEngine}.\color{#d2af58}{process}.\color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right) \right)  \right) \right) \right)  \right)   \times  \left(  \left( \left(  \left(  \color{#e60caa}{f}.op\left( \left(  \color{#ad3e02}{eta}  \times  \left(  \left( \left(  \left(  \left(  \left(   \dfrac{Math.log\left( \left(   \dfrac{\left(  first \right) }{\left(  barrier \right) } \right) \right) }{\left(  \left(  \left(  blackVol\left( \left(  \left( \color{#59605a}{AnalyticBarrierEngine}.\color{#d2af58}{process}.\color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  \color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right) } \right)   +  \left(  \left(  \left( \color{#34b4d4}{1}  +  \left(  \left(   \dfrac{\left( \left(  rate \right)   -  \left(  rate \right) \right) }{\left( \left(  blackVol\left( \left(  \color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right)  \right) ,\color{#0f224c}{strike}\right)  \right)   \times  \left(  blackVol\left( \color{#d25de2}{residualTime},\left(  strike \right) \right)  \right) \right) }  -  \color{#8de8b8}{0.5} \right)  \right) \right)   \times  \left(  \left(  \left(  blackVol\left( \left(  \left( \color{#59605a}{AnalyticBarrierEngine}.\color{#d2af58}{process}.\color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  \color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right)  \right)  \right)  \right)   -  \left(  \left(  \left(  blackVol\left( \color{#d25de2}{residualTime},\color{#0f224c}{strike}\right)  \right)   \times  Math.sqrt\left( \left(  \color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right) \right)  \right)  \right) \right)  \right)   -  \left(  \left(  Math.pow\left( \left(   \dfrac{\left(  barrier \right) }{\left(  first \right) } \right) ,\left(  \color{#b3ffa9}{2}  \times  \left(  \left(   \dfrac{\left( \left(  rate \right)   -  \left(  rate \right) \right) }{\left( \left(  blackVol\left( \left(  \left( \color{#59605a}{AnalyticBarrierEngine}.\color{#d2af58}{process}.\color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  \left(  blackVol\left( \left(  \left( \color{#59605a}{AnalyticBarrierEngine}.\color{#d2af58}{process}.\color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right) \right) }  -  \color{#8de8b8}{0.5} \right)  \right)  \right) \right)  \right)   \times  \left(  \color{#e60caa}{f}.op\left( \left(  \color{#ad3e02}{eta}  \times  \left(  \left( \left(  \left(  \left(  \left(   \dfrac{Math.log\left( \left(   \dfrac{\left(  barrier \right) }{\left(  first \right) } \right) \right) }{\left(  \left(  \left(  blackVol\left( \left(  \left( \color{#59605a}{AnalyticBarrierEngine}.\color{#d2af58}{process}.\color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  \color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right) } \right)   +  \left(  \left(  \left( \color{#34b4d4}{1}  +  \left(  \left(   \dfrac{\left( \left(  rate \right)   -  \left(  rate \right) \right) }{\left( \left(  blackVol\left( \left(  \left( \color{#59605a}{AnalyticBarrierEngine}.\color{#d2af58}{process}.\color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  \left(  blackVol\left( \left(  \left( \color{#59605a}{AnalyticBarrierEngine}.\color{#d2af58}{process}.\color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right) \right) }  -  \color{#8de8b8}{0.5} \right)  \right) \right)   \times  \left(  \left(  \left(  blackVol\left( \left(  \left( \color{#59605a}{AnalyticBarrierEngine}.\color{#d2af58}{process}.\color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  \color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right)  \right)  \right)  \right)   -  \left(  \left(  \left(  blackVol\left( \left(  \left( \color{#59605a}{AnalyticBarrierEngine}.\color{#d2af58}{process}.\color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  \color{#7d2e6c}{time}\left( \color{#fae1e6}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right) \right)  \right)  \right) \right)  \right)  \right)  \right) \right)  \right)  \right)  \right)  \right) 

data/tests/test_big_formula/formula-100_pre.tex

@@ -0,0 +1 @@
+\left(  \left(  \left(  rebate \right)   \times  \left(  \left(  \left( Class:3473.Property:1871.riskFreeRate.currentLink.discount\left( \left(  \left( Class:3473.Property:1871.TypeRef:1810\left( Property:1884.exercise.lastDate\right) \right)  \right) \right) \right)  \right)   \times  \left(  \left( \left(  \left(  Property:1863.op\left( \left(  Parameter:3186  \times  \left(  \left( \left(  \left(  \left(  \left(   \dfrac{Math.log\left( \left(   \dfrac{\left(  first \right) }{\left(  barrier \right) } \right) \right) }{\left(  \left(  \left(  blackVol\left( \left(  \left( Class:3473.Property:1871.TypeRef:1810\left( Property:1884.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  TypeRef:1810\left( Property:1884.exercise.lastDate\right)  \right) \right)  \right)  \right) } \right)   +  \left(  \left(  \left( Integer:2750  +  \left(  \left(   \dfrac{\left( \left(  rate \right)   -  \left(  rate \right) \right) }{\left( \left(  blackVol\left( \left(  TypeRef:1810\left( Property:1884.exercise.lastDate\right)  \right) ,Method:2550\right)  \right)   \times  \left(  blackVol\left( Method:2567,\left(  strike \right) \right)  \right) \right) }  -  Double:2742 \right)  \right) \right)   \times  \left(  \left(  \left(  blackVol\left( \left(  \left( Class:3473.Property:1871.TypeRef:1810\left( Property:1884.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  TypeRef:1810\left( Property:1884.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right)  \right)  \right)  \right)   -  \left(  \left(  \left(  blackVol\left( Method:2567,Method:2550\right)  \right)   \times  Math.sqrt\left( \left(  TypeRef:1810\left( Property:1884.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right) \right)  \right)  \right) \right)  \right)   -  \left(  \left(  Math.pow\left( \left(   \dfrac{\left(  barrier \right) }{\left(  first \right) } \right) ,\left(  Integer:3199  \times  \left(  \left(   \dfrac{\left( \left(  rate \right)   -  \left(  rate \right) \right) }{\left( \left(  blackVol\left( \left(  \left( Class:3473.Property:1871.TypeRef:1810\left( Property:1884.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  \left(  blackVol\left( \left(  \left( Class:3473.Property:1871.TypeRef:1810\left( Property:1884.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right) \right) }  -  Double:2742 \right)  \right)  \right) \right)  \right)   \times  \left(  Property:1863.op\left( \left(  Parameter:3186  \times  \left(  \left( \left(  \left(  \left(  \left(   \dfrac{Math.log\left( \left(   \dfrac{\left(  barrier \right) }{\left(  first \right) } \right) \right) }{\left(  \left(  \left(  blackVol\left( \left(  \left( Class:3473.Property:1871.TypeRef:1810\left( Property:1884.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  TypeRef:1810\left( Property:1884.exercise.lastDate\right)  \right) \right)  \right)  \right) } \right)   +  \left(  \left(  \left( Integer:2750  +  \left(  \left(   \dfrac{\left( \left(  rate \right)   -  \left(  rate \right) \right) }{\left( \left(  blackVol\left( \left(  \left( Class:3473.Property:1871.TypeRef:1810\left( Property:1884.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  \left(  blackVol\left( \left(  \left( Class:3473.Property:1871.TypeRef:1810\left( Property:1884.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right) \right) }  -  Double:2742 \right)  \right) \right)   \times  \left(  \left(  \left(  blackVol\left( \left(  \left( Class:3473.Property:1871.TypeRef:1810\left( Property:1884.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  TypeRef:1810\left( Property:1884.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right)  \right)  \right)  \right)   -  \left(  \left(  \left(  blackVol\left( \left(  \left( Class:3473.Property:1871.TypeRef:1810\left( Property:1884.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  TypeRef:1810\left( Property:1884.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right) \right)  \right)  \right) \right)  \right)  \right)  \right) \right)  \right)  \right)  \right)  \right) 

data/tests/test_big_formula/formula_no_color-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \left(  rebate \right)   \times  \left(  \left(  \left( \color{#000000}{AnalyticBarrierEngine}.\color{#000000}{process}.riskFreeRate.currentLink.discount\left( \left(  \left( \color{#000000}{AnalyticBarrierEngine}.\color{#000000}{process}.\color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right) \right)  \right) \right) \right)  \right)   \times  \left(  \left( \left(  \left(  \color{#000000}{f}.op\left( \left(  \color{#000000}{eta}  \times  \left(  \left( \left(  \left(  \left(  \left(   \dfrac{Math.log\left( \left(   \dfrac{\left(  first \right) }{\left(  barrier \right) } \right) \right) }{\left(  \left(  \left(  blackVol\left( \left(  \left( \color{#000000}{AnalyticBarrierEngine}.\color{#000000}{process}.\color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  \color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right) } \right)   +  \left(  \left(  \left( \color{#000000}{1}  +  \left(  \left(   \dfrac{\left( \left(  rate \right)   -  \left(  rate \right) \right) }{\left( \left(  blackVol\left( \left(  \color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right)  \right) ,\color{#000000}{strike}\right)  \right)   \times  \left(  blackVol\left( \color{#000000}{residualTime},\left(  strike \right) \right)  \right) \right) }  -  \color{#000000}{0.5} \right)  \right) \right)   \times  \left(  \left(  \left(  blackVol\left( \left(  \left( \color{#000000}{AnalyticBarrierEngine}.\color{#000000}{process}.\color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  \color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right)  \right)  \right)  \right)   -  \left(  \left(  \left(  blackVol\left( \color{#000000}{residualTime},\color{#000000}{strike}\right)  \right)   \times  Math.sqrt\left( \left(  \color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right) \right)  \right)  \right) \right)  \right)   -  \left(  \left(  Math.pow\left( \left(   \dfrac{\left(  barrier \right) }{\left(  first \right) } \right) ,\left(  \color{#000000}{2}  \times  \left(  \left(   \dfrac{\left( \left(  rate \right)   -  \left(  rate \right) \right) }{\left( \left(  blackVol\left( \left(  \left( \color{#000000}{AnalyticBarrierEngine}.\color{#000000}{process}.\color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  \left(  blackVol\left( \left(  \left( \color{#000000}{AnalyticBarrierEngine}.\color{#000000}{process}.\color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right) \right) }  -  \color{#000000}{0.5} \right)  \right)  \right) \right)  \right)   \times  \left(  \color{#000000}{f}.op\left( \left(  \color{#000000}{eta}  \times  \left(  \left( \left(  \left(  \left(  \left(   \dfrac{Math.log\left( \left(   \dfrac{\left(  barrier \right) }{\left(  first \right) } \right) \right) }{\left(  \left(  \left(  blackVol\left( \left(  \left( \color{#000000}{AnalyticBarrierEngine}.\color{#000000}{process}.\color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  \color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right) } \right)   +  \left(  \left(  \left( \color{#000000}{1}  +  \left(  \left(   \dfrac{\left( \left(  rate \right)   -  \left(  rate \right) \right) }{\left( \left(  blackVol\left( \left(  \left( \color{#000000}{AnalyticBarrierEngine}.\color{#000000}{process}.\color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  \left(  blackVol\left( \left(  \left( \color{#000000}{AnalyticBarrierEngine}.\color{#000000}{process}.\color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right) \right) }  -  \color{#000000}{0.5} \right)  \right) \right)   \times  \left(  \left(  \left(  blackVol\left( \left(  \left( \color{#000000}{AnalyticBarrierEngine}.\color{#000000}{process}.\color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  \color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right)  \right)  \right)  \right)   -  \left(  \left(  \left(  blackVol\left( \left(  \left( \color{#000000}{AnalyticBarrierEngine}.\color{#000000}{process}.\color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right) \right)  \right) ,\left(  strike \right) \right)  \right)   \times  Math.sqrt\left( \left(  \color{#000000}{time}\left( \color{#000000}{a}.exercise.lastDate\right)  \right) \right)  \right)  \right)  \right) \right)  \right)  \right) \right)  \right)  \right)  \right) \right)  \right)  \right)  \right)  \right) 

data/tests/test_conditions_for_formula_in_full_app/formula-100.inter

@@ -0,0 +1 @@
+Null:28982

data/tests/test_conditions_for_formula_in_full_app/formula-100.raw

@@ -0,0 +1 @@
+#//0_32496_3203##//0_32496##//839/0_32503/0_12891##//839/0_32503/12895/0_12888/0_6306##//839/0_32503/12895/0_12888/0_5918_1878#Null:28982#//839/0_32503/12895/0_12888/0_5918_1878##//839/0_32503/12895/0_12888/0_6306##//839/0_32503/0_12891##//0_32496##//0_32496_3203#

data/tests/test_conditions_for_formula_in_full_app/formula-100.tex

@@ -0,0 +1 @@
+\color{#893a8c}{null}

data/tests/test_conditions_for_formula_in_full_app/formula-100_pre.tex

@@ -0,0 +1 @@
+Null:28982

data/tests/test_conditions_for_formula_in_full_app/formula_no_color-100.tex

@@ -0,0 +1 @@
+\color{#000000}{null}

data/tests/test_conditions_management_whith_multiple_possible_states/formula-100.inter

@@ -0,0 +1 @@
+round@LPAREN@@LPAREN@ @LPAREN@ @DIV@@NUM@{@LPAREN@ @LPAREN@@LPAREN@ Math@REF@max@LPAREN@Parameter:21810@REFA@{Integer:21837}@REF@@LPAREN@ Property:22980 @RPAREN@,Parameter:21810@REFA@{Integer:21857}@REF@@LPAREN@ Property:22980 @RPAREN@@RPAREN@ @+@ Integer:21987 @RPAREN@@RPAREN@ @RPAREN@}@DENO@{Double:21991}@/DIV@ @RPAREN@ @RPAREN@@RPAREN@

data/tests/test_conditions_management_whith_multiple_possible_states/formula-100.raw

@@ -0,0 +1 @@
+#//0_22124_2929##//0_22124##Call:22121#round@LPAREN@#Reference:22119#@LPAREN@ #//0_21939_2881#@LPAREN@ #//0_21993_2879#@DIV@@NUM@{@LPAREN@ #//0_21990_2878#@LPAREN@@LPAREN@ #//0_21989_2877##Reference:21986##//0_21885_2876##Reference:21986##//0_21885_2868##Reference:21974##//0_21885_2860##Reference:21963##//0_21885_2852##Reference:21952##//0_21885_2818##Reference:21876#Math#Reference:21876#@REF@#Call:21881#max@LPAREN@#Reference:21877##//0_21845_2800##Reference:21836#Parameter:21810#Reference:21836#@REFA@{Integer:21837}@REF@@LPAREN@ #//22126/0_21840/0_23254_394##//22126/0_21840/0_23254##//22126/0_21840/0_22980_392##//22126/0_21860/0_22980_392#Property:22980#//22126/0_21860/0_22980_392##//22126/0_21840/0_22980_392##//22126/0_21840/0_23254##//22126/0_21840/0_23254_394# @RPAREN@#//0_21845_2800##Reference:21877#,#Reference:21879##//0_21865_2808##Reference:21856#Parameter:21810#Reference:21856#@REFA@{Integer:21857}@REF@@LPAREN@ #//22126/0_21860/0_23254_394##//22126/0_21860/0_23254#Property:22980#//22126/0_21860/0_23254##//22126/0_21860/0_23254_394# @RPAREN@#//0_21865_2808##Reference:21879#@RPAREN@#Call:21881##//0_21885_2818##Reference:21952##//0_21885_2852##Reference:21963##//0_21885_2860##Reference:21974##//0_21885_2868##Reference:21986##//0_21885_2876##Reference:21986# @+@ Integer:21987#//0_21989_2877# @RPAREN@@RPAREN@#//0_21990_2878# @RPAREN@}@DENO@{#//0_21991_2880#Double:21991#//0_21991_2880#}@/DIV@#//0_21993_2879# @RPAREN@#//0_21939_2881# @RPAREN@#Reference:22119#@RPAREN@#Call:22121##//0_22124##//0_22124_2929#

data/tests/test_conditions_management_whith_multiple_possible_states/formula-100.tex

@@ -0,0 +1 @@
+round\left( \left(  \left(   \dfrac{\left(  \left( \left(  Math.max\left( \color{#cf07c4}{cards}_{\color{#dce415}{0}}.\left(  \color{#00f763}{rank} \right) ,\color{#cf07c4}{cards}_{\color{#69076c}{1}}.\left(  \color{#00f763}{rank} \right) \right)   +  \color{#158c8b}{2} \right) \right)  \right) }{\color{#750cb0}{2.0}} \right)  \right) \right) 

data/tests/test_conditions_management_whith_multiple_possible_states/formula-100_pre.tex

@@ -0,0 +1 @@
+round\left( \left(  \left(   \dfrac{\left(  \left( \left(  Math.max\left( Parameter:21810_{Integer:21837}.\left(  Property:22980 \right) ,Parameter:21810_{Integer:21857}.\left(  Property:22980 \right) \right)   +  Integer:21987 \right) \right)  \right) }{Double:21991} \right)  \right) \right) 

data/tests/test_conditions_management_whith_multiple_possible_states/formula_no_color-100.tex

@@ -0,0 +1 @@
+round\left( \left(  \left(   \dfrac{\left(  \left( \left(  Math.max\left( \color{#000000}{cards}_{\color{#000000}{0}}.\left(  \color{#000000}{rank} \right) ,\color{#000000}{cards}_{\color{#000000}{1}}.\left(  \color{#000000}{rank} \right) \right)   +  \color{#000000}{2} \right) \right)  \right) }{\color{#000000}{2.0}} \right)  \right) \right) 

data/tests/test_formula_in_ebee/formula-100.inter

@@ -0,0 +1 @@
+@LPAREN@ Parameter:625@REF@Property:44 @-@ @LPAREN@ @LPAREN@ @LPAREN@ Integer:475 @RPAREN@ @+@ @LPAREN@ Double:555 @RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@

data/tests/test_formula_in_ebee/formula-100.raw

@@ -0,0 +1 @@
+#//0_702_153##//0_702#@LPAREN@ #//0_641_148##Reference:690##//0_641_132##Reference:661#Parameter:625#Reference:661#@REF@#Reference:662##//0_44_131##Reference:662##//0_44_130#Property:44#//0_44_130##Reference:662##//0_44_131##Reference:662##//0_641_132##Reference:690# @-@ #Reference:691##//0_678_144#@LPAREN@ #//704/0_686/0_621_105##//704/0_686/0_621##//704/0_686/0_564_103##//0_678_142##Reference:684#@LPAREN@ #//0_678_139#@LPAREN@ #//704/0_670/0_477_42##//704/0_670/0_477##//704/0_670/0_475_43#Integer:475#//704/0_670/0_475_43##//704/0_670/0_477##//704/0_670/0_477_42# @RPAREN@ @+@ @LPAREN@ #//704/0_673/0_553_79##//704/0_673/0_557##//704/0_673/0_555_81#Double:555#//704/0_673/0_555_81##//704/0_673/0_557##//704/0_673/0_553_79# @RPAREN@#//0_678_139# @RPAREN@#Reference:684##//0_678_142##//704/0_686/0_564_103##//704/0_686/0_621##//704/0_686/0_621_105# @RPAREN@#//0_678_144##Reference:691##//0_641_148# @RPAREN@#//0_702##//0_702_153#

data/tests/test_formula_in_ebee/formula-100.tex

@@ -0,0 +1 @@
+\left(  \color{#b5049e}{item}.\color{#effcde}{lastBuyerBet}  -  \left(  \left(  \left(  \color{#7a5b3e}{0} \right)   +  \left(  \color{#c96d3f}{0.0} \right)  \right)  \right)  \right) 

data/tests/test_formula_in_ebee/formula-100_pre.tex

@@ -0,0 +1 @@
+\left(  Parameter:625.Property:44  -  \left(  \left(  \left(  Integer:475 \right)   +  \left(  Double:555 \right)  \right)  \right)  \right) 

data/tests/test_formula_in_ebee/formula_no_color-100.tex

@@ -0,0 +1 @@
+\left(  \color{#000000}{item}.\color{#000000}{lastBuyerBet}  -  \left(  \left(  \left(  \color{#000000}{0} \right)   +  \left(  \color{#000000}{0.0} \right)  \right)  \right)  \right) 

data/tests/test_formula_in_ebee2/formula-100.inter

@@ -0,0 +1 @@
+@LPAREN@ Parameter:625@REF@Property:44 @-@ @LPAREN@ @LPAREN@ @LPAREN@ @LPAREN@ @LPAREN@@LPAREN@ @DIV@@NUM@{Integer:590}@DENO@{Integer:591}@/DIV@ @RPAREN@@RPAREN@ @RPAREN@ @x@ @LPAREN@ @LPAREN@ @LPAREN@ @LPAREN@ @LPAREN@ @LPAREN@@LPAREN@ @DIV@@NUM@{Integer:490}@DENO@{Integer:491}@/DIV@ @RPAREN@@RPAREN@ @RPAREN@ @x@ Parameter:625@REF@Property:44 @RPAREN@ @RPAREN@ @RPAREN@ @+@ @LPAREN@ Double:551 @RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@ @RPAREN@

data/tests/test_formula_in_ebee2/formula-100.raw

@@ -0,0 +1 @@
+#//0_702_153##//0_702#@LPAREN@ #//0_641_148##Reference:690##//0_641_132##Reference:661##//0_625_117#Parameter:625#//0_625_117##Reference:661#@REF@#Reference:662##//0_44_131##Reference:662##//0_44_130##//0_44_131##Reference:662#Property:44#Reference:662##//0_44_131##//0_44_130##Reference:662##//0_44_131##Reference:662##//0_641_132##Reference:690# @-@ #Reference:691##//0_678_144#@LPAREN@ #//704/0_686/0_621_105#@LPAREN@ #//704/0_686/0_599#@LPAREN@ #//704/0_686/0_597_111#@LPAREN@ #//704/0_686/0_594_109#@LPAREN@@LPAREN@ #//704/0_686/0_593_95#@DIV@@NUM@{#//704/0_686/0_590_96#Integer:590#//704/0_686/0_590_96#}@DENO@{Integer:591}@/DIV@#//704/0_686/0_593_95# @RPAREN@@RPAREN@#//704/0_686/0_594_109# @RPAREN@ @x@ #Reference:595##//704/0_686/0_564_110##Reference:595##//704/0_686/0_564_103##//0_678_142##Reference:684#@LPAREN@ #//0_678_139#@LPAREN@ #//704/0_670/0_477_42#@LPAREN@ #//704/0_670/0_499#@LPAREN@ #//704/0_670/0_497_74#@LPAREN@ #//704/0_670/0_494_72#@LPAREN@@LPAREN@ #//704/0_670/0_493_50#@DIV@@NUM@{#//704/0_670/0_490_51#Integer:490#//704/0_670/0_490_51#}@DENO@{#//704/0_670/0_491_52#Integer:491#//704/0_670/0_491_52#}@/DIV@#//704/0_670/0_493_50# @RPAREN@@RPAREN@#//704/0_670/0_494_72# @RPAREN@ @x@ #Reference:495##//704/0_670/0_469_73##Reference:495##//704/0_670/0_469_38##//0_641_134##Reference:668##//0_641_132##Reference:661##//0_625_129##Reference:661#Parameter:625#Reference:661##//0_625_129##Reference:661#@REF@#Reference:662##//0_44_131##Reference:662##//0_44_130##//0_44_131##Reference:662#Property:44#Reference:662##//0_44_131##//0_44_130##Reference:662##//0_44_131##Reference:662##//0_641_132##Reference:668##//0_641_134##//704/0_670/0_469_38##Reference:495##//704/0_670/0_469_73##Reference:495##//704/0_670/0_497_74# @RPAREN@#//704/0_670/0_499# @RPAREN@#//704/0_670/0_477_42# @RPAREN@ @+@ @LPAREN@ #//704/0_673/0_553_79##//704/0_673/0_553##//704/0_673/0_551_80#Double:551#//704/0_673/0_551_80##//704/0_673/0_553##//704/0_673/0_553_79# @RPAREN@#//0_678_139# @RPAREN@#Reference:684##//0_678_142##//704/0_686/0_564_103##Reference:595##//704/0_686/0_564_110##Reference:595##//704/0_686/0_597_111# @RPAREN@#//704/0_686/0_599# @RPAREN@#//704/0_686/0_621_105# @RPAREN@#//0_678_144##Reference:691##//0_641_148# @RPAREN@#//0_702##//0_702_153#

data/tests/test_formula_in_ebee2/formula-100.tex

@@ -0,0 +1 @@
+\left(  \color{#b5049e}{item}.\color{#effcde}{lastBuyerBet}  -  \left(  \left(  \left(  \left(  \left( \left(   \dfrac{\color{#fd914c}{85}}{\color{#d7cd3d}{100}} \right) \right)  \right)   \times  \left(  \left(  \left(  \left(  \left(  \left( \left(   \dfrac{\color{#cbb4a7}{10}}{\color{#f38dcb}{100}} \right) \right)  \right)   \times  \color{#b5049e}{item}.\color{#effcde}{lastBuyerBet} \right)  \right)  \right)   +  \left(  \color{#311ef4}{10.0} \right)  \right)  \right)  \right)  \right)  \right) 

data/tests/test_formula_in_ebee2/formula-100_pre.tex

@@ -0,0 +1 @@
+\left(  Parameter:625.Property:44  -  \left(  \left(  \left(  \left(  \left( \left(   \dfrac{Integer:590}{Integer:591} \right) \right)  \right)   \times  \left(  \left(  \left(  \left(  \left(  \left( \left(   \dfrac{Integer:490}{Integer:491} \right) \right)  \right)   \times  Parameter:625.Property:44 \right)  \right)  \right)   +  \left(  Double:551 \right)  \right)  \right)  \right)  \right)  \right) 

data/tests/test_formula_in_ebee2/formula_no_color-100.tex

@@ -0,0 +1 @@
+\left(  \color{#000000}{item}.\color{#000000}{lastBuyerBet}  -  \left(  \left(  \left(  \left(  \left( \left(   \dfrac{\color{#000000}{85}}{\color{#000000}{100}} \right) \right)  \right)   \times  \left(  \left(  \left(  \left(  \left(  \left( \left(   \dfrac{\color{#000000}{10}}{\color{#000000}{100}} \right) \right)  \right)   \times  \color{#000000}{item}.\color{#000000}{lastBuyerBet} \right)  \right)  \right)   +  \left(  \color{#000000}{10.0} \right)  \right)  \right)  \right)  \right)  \right) 

data/tests/test_formula_in_full_app/formula-100.inter

@@ -0,0 +1 @@
+Property:20968

data/tests/test_formula_in_full_app/formula-100.raw

@@ -0,0 +1 @@
+#//0_32496_3203##//0_32466##//839/0_32473/0_20202##//839/0_32473/0_20968_2779##Reference:20199##//839/0_32473/0_20968_2778#Property:20968#//839/0_32473/0_20968_2778##Reference:20199##//839/0_32473/0_20968_2779##//839/0_32473/0_20202##//0_32466##//0_32496_3203#

data/tests/test_formula_in_full_app/formula-100.tex

@@ -0,0 +1 @@
+\color{#04d41a}{CALL}

data/tests/test_formula_in_full_app/formula-100_pre.tex

@@ -0,0 +1 @@
+Property:20968

data/tests/test_formula_in_full_app/formula_no_color-100.tex

@@ -0,0 +1 @@
+\color{#000000}{CALL}

data/tests/test_formula_is_perfect_number/formula-100.inter

@@ -0,0 +1 @@
+@LPAREN@ @LPAREN@ @COLOR-db1644@{@TSTART@repeat@TEND@@LBRACK@StackVar:85 @+@ StackVar:90@RBRACK@@UNDERSCRIPT@{@TSTART@ while i is lower than number@TEND@}} @RPAREN@ @EQ@ Parameter:81 @RPAREN@

data/tests/test_formula_is_perfect_number/formula-100.raw

@@ -0,0 +1 @@
+#//0_120_14#@LPAREN@ #//0_120##Reference:115#@LPAREN@ #//0_85_10#@COLOR-db1644@{@TSTART@repeat@TEND@@LBRACK@#Reference:109#StackVar:85#Reference:109# @+@ #Reference:110##//0_90_18##Reference:110#StackVar:90#Reference:110##//0_90_18##Reference:110#@RBRACK@@UNDERSCRIPT@{@TSTART@ while i is lower than number@TEND@}}#//0_85_10# @RPAREN@#Reference:115# @EQ@ #Reference:116#Parameter:81#Reference:116##//0_120# @RPAREN@#//0_120_14#

data/tests/test_formula_is_perfect_number/formula-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#db1644}{\text{ repeat }\left[\color{#d2dbc4}{sum}  +  \color{#7c48b8}{i}\right]_{\text{  while i is lower than number }}} \right)  \text{ equals }  \color{#736fa2}{number} \right) 

data/tests/test_formula_is_perfect_number/formula-100_pre.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#db1644}{\text{ repeat }\left[StackVar:85  +  StackVar:90\right]_{\text{  while i is lower than number }}} \right)  \text{ equals }  Parameter:81 \right) 

data/tests/test_formula_is_perfect_number/formula_no_color-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#000000}{\text{ repeat }\left[\color{#000000}{sum}  +  \color{#000000}{i}\right]_{\text{  while i is lower than number }}} \right)  \text{ equals }  \color{#000000}{number} \right) 

data/tests/test_formula_projet_fred/formula-100.inter

@@ -0,0 +1 @@
+Integer:13695

data/tests/test_formula_projet_fred/formula-100.raw

@@ -0,0 +1 @@
+#//0_12224_335##//0_12224##//12226/0_12221/0_18435##//12226/0_12221/14014/0_18441/0_13697##//12226/0_12221/14014/0_18441/0_13695_321#Integer:13695#//12226/0_12221/14014/0_18441/0_13695_321##//12226/0_12221/14014/0_18441/0_13697##//12226/0_12221/0_18435##//0_12224##//0_12224_335#

data/tests/test_formula_projet_fred/formula-100.tex

@@ -0,0 +1 @@
+\color{#24b2ed}{10}

data/tests/test_formula_projet_fred/formula-100_pre.tex

@@ -0,0 +1 @@
+Integer:13695

data/tests/test_formula_projet_fred/formula_no_color-100.tex

@@ -0,0 +1 @@
+\color{#000000}{10}

data/tests/test_formula_substitution/formula-100.inter

@@ -0,0 +1 @@
+@LPAREN@ Parameter:38 @RPAREN@

data/tests/test_formula_substitution/formula-100.raw

@@ -0,0 +1 @@
+#//0_52_13##//0_52##//0_49_11#@LPAREN@ #//3/0_46/0_57_3##//3/0_46/0_57##//3/0_46/0_54_1##//3/0_44/0_62_6##//3/0_44/0_62##//3/0_44/0_59_4##//0_38_8##Reference:42##//0_38_7#Parameter:38#//0_38_7##Reference:42##//0_38_8##//3/0_44/0_59_4##//3/0_44/0_62##//3/0_44/0_62_6##//3/0_46/0_54_1##//3/0_46/0_57##//3/0_46/0_57_3# @RPAREN@#//0_49_11##//0_52##//0_52_13#

data/tests/test_formula_substitution/formula-100.tex

@@ -0,0 +1 @@
+\left(  \color{#5f6f4c}{argc} \right) 

data/tests/test_formula_substitution/formula-100_pre.tex

@@ -0,0 +1 @@
+\left(  Parameter:38 \right) 

data/tests/test_formula_substitution/formula_no_color-100.tex

@@ -0,0 +1 @@
+\left(  \color{#000000}{argc} \right) 

data/tests/test_formula_with_2_subsequent_loops/formula-100.inter

@@ -0,0 +1 @@
+@LPAREN@ @LPAREN@ @COLOR-9e3130@{@TSTART@repeat@TEND@@LBRACK@@DIV@@NUM@{@LPAREN@ @COLOR-123f5c@{@TSTART@repeat@TEND@@LBRACK@StackVar:470 @x@ StackVar:474@RBRACK@@UNDERSCRIPT@{@TSTART@ while i is lower than N@TEND@}} @RPAREN@}@DENO@{StackVar:496}@/DIV@@RBRACK@@UNDERSCRIPT@{@TSTART@ while j is lower than M@TEND@}} @RPAREN@ @RPAREN@

data/tests/test_formula_with_2_subsequent_loops/formula-100.raw

@@ -0,0 +1 @@
+#//0_283_110#@LPAREN@ #//4/0_280/0_517_19##//4/0_280/0_517#@LPAREN@ #//4/0_280/0_470_17#@COLOR-9e3130@{@TSTART@repeat@TEND@@LBRACK@@DIV@@NUM@{#Reference:508#@LPAREN@ #//4/0_280/0_470_15#@COLOR-123f5c@{@TSTART@repeat@TEND@@LBRACK@#Reference:486#StackVar:470#Reference:486# @x@ #Reference:487#StackVar:474#Reference:487#@RBRACK@@UNDERSCRIPT@{@TSTART@ while i is lower than N@TEND@}}#//4/0_280/0_470_15# @RPAREN@#Reference:508#}@DENO@{#Reference:509#StackVar:496#Reference:509#}@/DIV@@RBRACK@@UNDERSCRIPT@{@TSTART@ while j is lower than M@TEND@}}#//4/0_280/0_470_17# @RPAREN@#//4/0_280/0_517##//4/0_280/0_517_19# @RPAREN@#//0_283_110#

data/tests/test_formula_with_2_subsequent_loops/formula-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#9e3130}{\text{ repeat }\left[ \dfrac{\left(  \color{#123f5c}{\text{ repeat }\left[\color{#e2d3a9}{value}  \times  \color{#8530b2}{i}\right]_{\text{  while i is lower than N }}} \right) }{\color{#a10961}{j}}\right]_{\text{  while j is lower than M }}} \right)  \right) 

data/tests/test_formula_with_2_subsequent_loops/formula-100_pre.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#9e3130}{\text{ repeat }\left[ \dfrac{\left(  \color{#123f5c}{\text{ repeat }\left[StackVar:470  \times  StackVar:474\right]_{\text{  while i is lower than N }}} \right) }{StackVar:496}\right]_{\text{  while j is lower than M }}} \right)  \right) 

data/tests/test_formula_with_2_subsequent_loops/formula_no_color-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#000000}{\text{ repeat }\left[ \dfrac{\left(  \color{#000000}{\text{ repeat }\left[\color{#000000}{value}  \times  \color{#000000}{i}\right]_{\text{  while i is lower than N }}} \right) }{\color{#000000}{j}}\right]_{\text{  while j is lower than M }}} \right)  \right) 

data/tests/test_formula_with_3_loops/formula-100.inter

@@ -0,0 +1 @@
+@LPAREN@ @LPAREN@ @COLOR-11b39e@{@TSTART@repeat@TEND@@LBRACK@@DIV@@NUM@{@LPAREN@ @COLOR-cff1e7@{@TSTART@repeat@TEND@@LBRACK@@LPAREN@ @COLOR-4ec2f1@{@TSTART@repeat@TEND@@LBRACK@StackVar:381 @-@ StackVar:385@RBRACK@@UNDERSCRIPT@{@TSTART@ while k is greater or equal to 0@TEND@}} @RPAREN@ @x@ StackVar:417@RBRACK@@UNDERSCRIPT@{@TSTART@ while i is lower than N@TEND@}} @RPAREN@}@DENO@{StackVar:438}@/DIV@@RBRACK@@UNDERSCRIPT@{@TSTART@ while j is lower than M@TEND@}} @RPAREN@ @RPAREN@

data/tests/test_formula_with_3_loops/formula-100.raw

@@ -0,0 +1 @@
+#//0_295_116#@LPAREN@ #//4/0_292/0_460_88##//4/0_292/0_460#@LPAREN@ #//4/0_292/0_381_86#@COLOR-11b39e@{@TSTART@repeat@TEND@@LBRACK@@DIV@@NUM@{#Reference:450#@LPAREN@ #//4/0_292/0_381_85#@COLOR-cff1e7@{@TSTART@repeat@TEND@@LBRACK@#Reference:429#@LPAREN@ #//4/0_292/0_381_75#@COLOR-4ec2f1@{@TSTART@repeat@TEND@@LBRACK@#Reference:397#StackVar:381#Reference:397# @-@ #Reference:398#StackVar:385#Reference:398#@RBRACK@@UNDERSCRIPT@{@TSTART@ while k is greater or equal to 0@TEND@}}#//4/0_292/0_381_75# @RPAREN@#Reference:429# @x@ #Reference:430#StackVar:417#Reference:430#@RBRACK@@UNDERSCRIPT@{@TSTART@ while i is lower than N@TEND@}}#//4/0_292/0_381_85# @RPAREN@#Reference:450#}@DENO@{#Reference:451#StackVar:438#Reference:451#}@/DIV@@RBRACK@@UNDERSCRIPT@{@TSTART@ while j is lower than M@TEND@}}#//4/0_292/0_381_86# @RPAREN@#//4/0_292/0_460##//4/0_292/0_460_88# @RPAREN@#//0_295_116#

data/tests/test_formula_with_3_loops/formula-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#11b39e}{\text{ repeat }\left[ \dfrac{\left(  \color{#cff1e7}{\text{ repeat }\left[\left(  \color{#4ec2f1}{\text{ repeat }\left[\color{#15da64}{value}  -  \color{#8c9d79}{k}\right]_{\text{  while k is greater or equal to 0 }}} \right)   \times  \color{#a05a9c}{i}\right]_{\text{  while i is lower than N }}} \right) }{\color{#4c27c7}{j}}\right]_{\text{  while j is lower than M }}} \right)  \right) 

data/tests/test_formula_with_3_loops/formula-100_pre.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#11b39e}{\text{ repeat }\left[ \dfrac{\left(  \color{#cff1e7}{\text{ repeat }\left[\left(  \color{#4ec2f1}{\text{ repeat }\left[StackVar:381  -  StackVar:385\right]_{\text{  while k is greater or equal to 0 }}} \right)   \times  StackVar:417\right]_{\text{  while i is lower than N }}} \right) }{StackVar:438}\right]_{\text{  while j is lower than M }}} \right)  \right) 

data/tests/test_formula_with_3_loops/formula_no_color-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#000000}{\text{ repeat }\left[ \dfrac{\left(  \color{#000000}{\text{ repeat }\left[\left(  \color{#000000}{\text{ repeat }\left[\color{#000000}{value}  -  \color{#000000}{k}\right]_{\text{  while k is greater or equal to 0 }}} \right)   \times  \color{#000000}{i}\right]_{\text{  while i is lower than N }}} \right) }{\color{#000000}{j}}\right]_{\text{  while j is lower than M }}} \right)  \right) 

data/tests/test_formula_with_3_loops_and_reinitialization/formula-100.inter

@@ -0,0 +1 @@
+@LPAREN@ @LPAREN@ @COLOR-11b39e@{@TSTART@repeat@TEND@@LBRACK@@DIV@@NUM@{@LPAREN@ @COLOR-cff1e7@{@TSTART@repeat@TEND@@LBRACK@StackVar:381 @x@ StackVar:417@RBRACK@@UNDERSCRIPT@{@TSTART@ while i is lower than N@TEND@}} @RPAREN@}@DENO@{StackVar:438}@/DIV@@RBRACK@@UNDERSCRIPT@{@TSTART@ while j is lower than M@TEND@}} @RPAREN@ @RPAREN@

data/tests/test_formula_with_3_loops_and_reinitialization/formula-100.raw

@@ -0,0 +1 @@
+#//0_295_116#@LPAREN@ #//4/0_292/0_460_88##//4/0_292/0_460#@LPAREN@ #//4/0_292/0_381_86#@COLOR-11b39e@{@TSTART@repeat@TEND@@LBRACK@@DIV@@NUM@{#Reference:450#@LPAREN@ #//4/0_292/0_381_85#@COLOR-cff1e7@{@TSTART@repeat@TEND@@LBRACK@#Reference:429#StackVar:381#Reference:429# @x@ #Reference:430#StackVar:417#Reference:430#@RBRACK@@UNDERSCRIPT@{@TSTART@ while i is lower than N@TEND@}}#//4/0_292/0_381_85# @RPAREN@#Reference:450#}@DENO@{#Reference:451#StackVar:438#Reference:451#}@/DIV@@RBRACK@@UNDERSCRIPT@{@TSTART@ while j is lower than M@TEND@}}#//4/0_292/0_381_86# @RPAREN@#//4/0_292/0_460##//4/0_292/0_460_88# @RPAREN@#//0_295_116#

data/tests/test_formula_with_3_loops_and_reinitialization/formula-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#11b39e}{\text{ repeat }\left[ \dfrac{\left(  \color{#cff1e7}{\text{ repeat }\left[\color{#15da64}{value}  \times  \color{#a05a9c}{i}\right]_{\text{  while i is lower than N }}} \right) }{\color{#4c27c7}{j}}\right]_{\text{  while j is lower than M }}} \right)  \right) 

data/tests/test_formula_with_3_loops_and_reinitialization/formula-100_pre.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#11b39e}{\text{ repeat }\left[ \dfrac{\left(  \color{#cff1e7}{\text{ repeat }\left[StackVar:381  \times  StackVar:417\right]_{\text{  while i is lower than N }}} \right) }{StackVar:438}\right]_{\text{  while j is lower than M }}} \right)  \right) 

data/tests/test_formula_with_3_loops_and_reinitialization/formula_no_color-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#000000}{\text{ repeat }\left[ \dfrac{\left(  \color{#000000}{\text{ repeat }\left[\color{#000000}{value}  \times  \color{#000000}{i}\right]_{\text{  while i is lower than N }}} \right) }{\color{#000000}{j}}\right]_{\text{  while j is lower than M }}} \right)  \right) 

data/tests/test_formula_with_3_loops_in_loop/formula-100.inter

@@ -0,0 +1 @@
+@LPAREN@ @LPAREN@ @COLOR-1b1031@{@TSTART@repeat@TEND@@LBRACK@@LPAREN@ @COLOR-151b18@{@TSTART@repeat@TEND@@LBRACK@@DIV@@NUM@{@LPAREN@ @COLOR-5007e7@{@TSTART@repeat@TEND@@LBRACK@StackVar:304 @x@ StackVar:308@RBRACK@@UNDERSCRIPT@{@TSTART@ while i is lower than N@TEND@}} @RPAREN@}@DENO@{StackVar:329}@/DIV@@RBRACK@@UNDERSCRIPT@{@TSTART@ while j is lower than M@TEND@}} @RPAREN@ @-@ StackVar:350@RBRACK@@UNDERSCRIPT@{@TSTART@ while k is greater or equal to 0@TEND@}} @RPAREN@ @RPAREN@

data/tests/test_formula_with_3_loops_in_loop/formula-100.raw

@@ -0,0 +1 @@
+#//0_289_113#@LPAREN@ #//4/0_286/0_373_40##//4/0_286/0_373#@LPAREN@ #//4/0_286/0_304_38#@COLOR-1b1031@{@TSTART@repeat@TEND@@LBRACK@#Reference:362#@LPAREN@ #//4/0_286/0_304_37#@COLOR-151b18@{@TSTART@repeat@TEND@@LBRACK@@DIV@@NUM@{#Reference:341#@LPAREN@ #//4/0_286/0_304_36#@COLOR-5007e7@{@TSTART@repeat@TEND@@LBRACK@#Reference:320#StackVar:304#Reference:320# @x@ #Reference:321#StackVar:308#Reference:321#@RBRACK@@UNDERSCRIPT@{@TSTART@ while i is lower than N@TEND@}}#//4/0_286/0_304_36# @RPAREN@#Reference:341#}@DENO@{#Reference:342#StackVar:329#Reference:342#}@/DIV@@RBRACK@@UNDERSCRIPT@{@TSTART@ while j is lower than M@TEND@}}#//4/0_286/0_304_37# @RPAREN@#Reference:362# @-@ #Reference:363#StackVar:350#Reference:363#@RBRACK@@UNDERSCRIPT@{@TSTART@ while k is greater or equal to 0@TEND@}}#//4/0_286/0_304_38# @RPAREN@#//4/0_286/0_373##//4/0_286/0_373_40# @RPAREN@#//0_289_113#

data/tests/test_formula_with_3_loops_in_loop/formula-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#1b1031}{\text{ repeat }\left[\left(  \color{#151b18}{\text{ repeat }\left[ \dfrac{\left(  \color{#5007e7}{\text{ repeat }\left[\color{#08f2f5}{value}  \times  \color{#662c6d}{i}\right]_{\text{  while i is lower than N }}} \right) }{\color{#a9a67a}{j}}\right]_{\text{  while j is lower than M }}} \right)   -  \color{#ea4e3a}{k}\right]_{\text{  while k is greater or equal to 0 }}} \right)  \right) 

data/tests/test_formula_with_3_loops_in_loop/formula-100_pre.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#1b1031}{\text{ repeat }\left[\left(  \color{#151b18}{\text{ repeat }\left[ \dfrac{\left(  \color{#5007e7}{\text{ repeat }\left[StackVar:304  \times  StackVar:308\right]_{\text{  while i is lower than N }}} \right) }{StackVar:329}\right]_{\text{  while j is lower than M }}} \right)   -  StackVar:350\right]_{\text{  while k is greater or equal to 0 }}} \right)  \right) 

data/tests/test_formula_with_3_loops_in_loop/formula_no_color-100.tex

@@ -0,0 +1 @@
+\left(  \left(  \color{#000000}{\text{ repeat }\left[\left(  \color{#000000}{\text{ repeat }\left[ \dfrac{\left(  \color{#000000}{\text{ repeat }\left[\color{#000000}{value}  \times  \color{#000000}{i}\right]_{\text{  while i is lower than N }}} \right) }{\color{#000000}{j}}\right]_{\text{  while j is lower than M }}} \right)   -  \color{#000000}{k}\right]_{\text{  while k is greater or equal to 0 }}} \right)  \right) 

data/tests/test_formula_with_ambiguous_substitution/formula-100.inter

@@ -0,0 +1 @@
+valueOf@LPAREN@@LPAREN@ @LPAREN@ Parameter:37 @x@ pi @RPAREN@ @RPAREN@@RPAREN@

data/tests/test_formula_with_ambiguous_substitution/formula-100.raw

@@ -0,0 +1 @@
+#//0_51_15##//0_51##Call:49#valueOf@LPAREN@#Reference:47##//0_46_12#@LPAREN@ #//3/0_43/0_63_8##//3/0_43/0_63#@LPAREN@ #//3/0_43/0_60_6##Reference:54##//3/0_43/0_53_1##//0_37_10##Reference:41##//0_37_9#Parameter:37#//0_37_9##Reference:41##//0_37_10##//3/0_43/0_53_1##Reference:54# @x@ #Reference:55#pi#Reference:55##//3/0_43/0_60_6# @RPAREN@#//3/0_43/0_63##//3/0_43/0_63_8# @RPAREN@#//0_46_12##Reference:47#@RPAREN@#Call:49##//0_51##//0_51_15#

data/tests/test_formula_with_ambiguous_substitution/formula-100.tex

@@ -0,0 +1 @@
+valueOf\left( \left(  \left(  \color{#7c8871}{argc}  \times  pi \right)  \right) \right) 

data/tests/test_formula_with_ambiguous_substitution/formula-100_pre.tex

@@ -0,0 +1 @@
+valueOf\left( \left(  \left(  Parameter:37  \times  pi \right)  \right) \right) 

data/tests/test_formula_with_ambiguous_substitution/formula_no_color-100.tex

@@ -0,0 +1 @@
+valueOf\left( \left(  \left(  \color{#000000}{argc}  \times  pi \right)  \right) \right) 

data/tests/test_formula_with_array_as_properties/formula-100.inter

@@ -0,0 +1 @@
+@LPAREN@ TypeRef:441@REFA@{Integer:449} @+@ TypeRef:441@REFA@{Integer:454} @RPAREN@

data/tests/test_formula_with_array_as_properties/formula-100.raw

@@ -0,0 +1 @@
+#//0_465_48##//0_465#@LPAREN@ #//0_462_46##Reference:448##//0_421_40##Construct:444##//0_443_37##TypeReference:443#TypeRef:441#TypeReference:443##//0_443_37##Construct:444##//0_421_40##Reference:448#@REFA@{Integer:449} @+@ #Reference:453##//0_421_40##Construct:444##//0_443_37##TypeReference:443#TypeRef:441#TypeReference:443##//0_443_37##Construct:444##//0_421_40##Reference:453#@REFA@{Integer:454}#//0_462_46# @RPAREN@#//0_465##//0_465_48#

data/tests/test_formula_with_array_as_properties/formula-100.tex

@@ -0,0 +1 @@
+\left(  \color{#fab236}{Nobody}_{\color{#78e93f}{0}}  +  \color{#fab236}{Nobody}_{\color{#24dfc2}{2}} \right) 

data/tests/test_formula_with_array_as_properties/formula-100_pre.tex

@@ -0,0 +1 @@
+\left(  TypeRef:441_{Integer:449}  +  TypeRef:441_{Integer:454} \right) 

data/tests/test_formula_with_array_as_properties/formula_no_color-100.tex

@@ -0,0 +1 @@
+\left(  \color{#000000}{Nobody}_{\color{#000000}{0}}  +  \color{#000000}{Nobody}_{\color{#000000}{2}} \right) 

data/tests/test_formula_with_bound_return/formula-100.inter

@@ -0,0 +1 @@
+Null:188

data/tests/test_formula_with_bound_return/formula-100.raw

@@ -0,0 +1 @@
+#//0_234_15##//0_234##//238/0_231/0_196##//238/0_231/0_191_1##//238/0_231/0_188_2#Null:188#//238/0_231/0_188_2##//238/0_231/0_191_1##//238/0_231/0_196##//0_234##//0_234_15#

data/tests/test_formula_with_bound_return/formula-100.tex

@@ -0,0 +1 @@
+\color{#88c81f}{null}

data/tests/test_formula_with_bound_return/formula-100_pre.tex

@@ -0,0 +1 @@
+Null:188

data/tests/test_formula_with_bound_return/formula_no_color-100.tex

@@ -0,0 +1 @@
+\color{#000000}{null}

data/tests/test_formula_with_conditions_accross_several_functions/formula-100.inter

@@ -0,0 +1 @@
+Integer:135

data/tests/test_formula_with_conditions_accross_several_functions/formula-100.raw

@@ -0,0 +1 @@
+#//0_174_46##//0_174##//0_142_38##Reference:139##//0_138_35##//0_135_36#Integer:135#//0_135_36##//0_138_35##Reference:139##//0_142_38##//0_174##//0_174_46#

data/tests/test_formula_with_conditions_accross_several_functions/formula-100.tex

@@ -0,0 +1 @@
+\color{#23c5ef}{0}

data/tests/test_formula_with_conditions_accross_several_functions/formula-100_pre.tex

@@ -0,0 +1 @@
+Integer:135

data/tests/test_formula_with_conditions_accross_several_functions/formula_no_color-100.tex

@@ -0,0 +1 @@
+\color{#000000}{0}

data/tests/test_formula_with_conditions_accross_several_functions_and_single_call/formula-100.inter

@@ -0,0 +1 @@
+@LPAREN@ res @RPAREN@

data/tests/test_formula_with_conditions_accross_several_functions_and_single_call/formula-100.raw

@@ -0,0 +1 @@
+#//0_97_20##//0_97##//0_94_18#@LPAREN@ #//3/0_91/0_144_8##//3/0_91/0_144##//3/0_91/0_119_7##Reference:142##//3/0_91/0_119_5##//0_87_14##Reference:87#res#Reference:87##//0_87_14##//3/0_91/0_119_5##Reference:142##//3/0_91/0_119_7##//3/0_91/0_144##//3/0_91/0_144_8# @RPAREN@#//0_94_18##//0_97##//0_97_20#

data/tests/test_formula_with_conditions_accross_several_functions_and_single_call/formula-100.tex

@@ -0,0 +1 @@
+\left(  res \right) 

data/tests/test_formula_with_conditions_accross_several_functions_and_single_call/formula-100_pre.tex

@@ -0,0 +1 @@
+\left(  res \right) 

data/tests/test_formula_with_conditions_accross_several_functions_and_single_call/formula_no_color-100.tex

@@ -0,0 +1 @@
+\left(  res \right)