2.43/2.49	WORST_CASE(?,O(n^4))  
2.43/2.49	
2.43/2.49	Preprocessing Cost Relations
2.43/2.49	=====================================
2.43/2.49	
2.43/2.49	#### Computed strongly connected components 
2.43/2.49	0. recursive  : [eval_ApplyBndRobin_bb12_in/4,eval_ApplyBndRobin_bb13_in/4]
2.43/2.49	1. recursive  : [eval_ApplyBndRobin_10/7,eval_ApplyBndRobin_7/6,eval_ApplyBndRobin_8/7,eval_ApplyBndRobin_9/6,eval_ApplyBndRobin_bb10_in/6,eval_ApplyBndRobin_bb11_in/9,eval_ApplyBndRobin_bb12_in_loop_cont/11,eval_ApplyBndRobin_bb14_in/10,eval_ApplyBndRobin_bb7_in/6,eval_ApplyBndRobin_bb8_in/6,eval_ApplyBndRobin_bb9_in/6]
2.43/2.49	2. recursive  : [eval_ApplyBndRobin_2/6,eval_ApplyBndRobin_3/7,eval_ApplyBndRobin_4/6,eval_ApplyBndRobin_5/7,eval_ApplyBndRobin_bb15_in/10,eval_ApplyBndRobin_bb2_in/6,eval_ApplyBndRobin_bb3_in/6,eval_ApplyBndRobin_bb4_in/6,eval_ApplyBndRobin_bb5_in/6,eval_ApplyBndRobin_bb6_in/9,eval_ApplyBndRobin_bb7_in_loop_cont/11]
2.43/2.49	3. recursive  : [eval_ApplyBndRobin_bb16_in/8,eval_ApplyBndRobin_bb1_in/7,eval_ApplyBndRobin_bb2_in_loop_cont/9]
2.43/2.49	4. non_recursive  : [eval_ApplyBndRobin_stop/1]
2.43/2.49	5. non_recursive  : [eval_ApplyBndRobin_bb17_in/1]
2.43/2.49	6. non_recursive  : [eval_ApplyBndRobin_bb1_in_loop_cont/2]
2.43/2.49	7. non_recursive  : [eval_ApplyBndRobin_bb0_in/6]
2.43/2.49	8. non_recursive  : [eval_ApplyBndRobin_start/6]
2.43/2.49	
2.43/2.49	#### Obtained direct recursion through partial evaluation 
2.43/2.49	0. SCC is partially evaluated into eval_ApplyBndRobin_bb12_in/4
2.43/2.49	1. SCC is partially evaluated into eval_ApplyBndRobin_bb7_in/6
2.43/2.49	2. SCC is partially evaluated into eval_ApplyBndRobin_bb2_in/6
2.43/2.49	3. SCC is partially evaluated into eval_ApplyBndRobin_bb1_in/7
2.43/2.49	4. SCC is completely evaluated into other SCCs
2.43/2.49	5. SCC is completely evaluated into other SCCs
2.43/2.49	6. SCC is completely evaluated into other SCCs
2.43/2.49	7. SCC is partially evaluated into eval_ApplyBndRobin_bb0_in/6
2.43/2.49	8. SCC is partially evaluated into eval_ApplyBndRobin_start/6
2.43/2.49	
2.43/2.49	Control-Flow Refinement of Cost Relations
2.43/2.49	=====================================
2.43/2.49	
2.43/2.49	### Specialization of cost equations eval_ApplyBndRobin_bb12_in/4 
2.43/2.49	* CE 21 is refined into CE [22] 
2.43/2.49	* CE 20 is refined into CE [23] 
2.43/2.49	
2.43/2.49	
2.43/2.49	### Cost equations --> "Loop" of eval_ApplyBndRobin_bb12_in/4 
2.43/2.49	* CEs [23] --> Loop 18 
2.43/2.49	* CEs [22] --> Loop 19 
2.43/2.49	
2.43/2.49	### Ranking functions of CR eval_ApplyBndRobin_bb12_in(V_GH_cctk_lsh_0,V_i_0,B,C) 
2.43/2.49	* RF of phase [18]: [V_GH_cctk_lsh_0-V_i_0-1]
2.43/2.49	
2.43/2.49	#### Partial ranking functions of CR eval_ApplyBndRobin_bb12_in(V_GH_cctk_lsh_0,V_i_0,B,C) 
2.43/2.49	* Partial RF of phase [18]:
2.43/2.49	  - RF of loop [18:1]:
2.43/2.49	    V_GH_cctk_lsh_0-V_i_0-1
2.43/2.49	
2.43/2.49	
2.43/2.49	### Specialization of cost equations eval_ApplyBndRobin_bb7_in/6 
2.43/2.49	* CE 19 is refined into CE [24] 
2.43/2.49	* CE 17 is refined into CE [25,26] 
2.43/2.49	* CE 18 is discarded (unfeasible) 
2.43/2.49	* CE 16 is refined into CE [27,28] 
2.43/2.49	* CE 14 is refined into CE [29] 
2.43/2.49	* CE 15 is discarded (unfeasible) 
2.43/2.49	* CE 13 is refined into CE [30] 
2.43/2.49	
2.43/2.49	
2.43/2.49	### Cost equations --> "Loop" of eval_ApplyBndRobin_bb7_in/6 
2.43/2.49	* CEs [25] --> Loop 20 
2.43/2.49	* CEs [26] --> Loop 21 
2.43/2.49	* CEs [27] --> Loop 22 
2.43/2.49	* CEs [28] --> Loop 23 
2.43/2.49	* CEs [29] --> Loop 24 
2.43/2.49	* CEs [30] --> Loop 25 
2.43/2.49	* CEs [24] --> Loop 26 
2.43/2.49	
2.43/2.49	### Ranking functions of CR eval_ApplyBndRobin_bb7_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_dz_1,V_j_0,B,C) 
2.43/2.49	* RF of phase [20,21,24]: [V_GH_cctk_lsh_1-V_j_0]
2.43/2.49	
2.43/2.49	#### Partial ranking functions of CR eval_ApplyBndRobin_bb7_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_dz_1,V_j_0,B,C) 
2.43/2.49	* Partial RF of phase [20,21,24]:
2.43/2.49	  - RF of loop [20:1,21:1,24:1]:
2.43/2.49	    V_GH_cctk_lsh_1-V_j_0
2.43/2.49	
2.43/2.49	
2.43/2.49	### Specialization of cost equations eval_ApplyBndRobin_bb2_in/6 
2.43/2.49	* CE 12 is refined into CE [31] 
2.43/2.49	* CE 7 is refined into CE [32,33,34,35,36,37,38] 
2.43/2.49	* CE 10 is refined into CE [39,40,41,42,43] 
2.43/2.49	* CE 6 is discarded (unfeasible) 
2.43/2.49	* CE 9 is discarded (unfeasible) 
2.43/2.49	* CE 5 is refined into CE [44,45,46,47,48] 
2.43/2.49	* CE 8 is refined into CE [49,50,51,52,53,54,55] 
2.43/2.49	* CE 11 is refined into CE [56,57,58,59,60] 
2.43/2.49	
2.43/2.49	
2.43/2.49	### Cost equations --> "Loop" of eval_ApplyBndRobin_bb2_in/6 
2.43/2.49	* CEs [35] --> Loop 27 
2.43/2.49	* CEs [37,42] --> Loop 28 
2.43/2.49	* CEs [38,43] --> Loop 29 
2.43/2.49	* CEs [36,41] --> Loop 30 
2.43/2.49	* CEs [52] --> Loop 31 
2.43/2.49	* CEs [47,54,59] --> Loop 32 
2.43/2.49	* CEs [48,55,60] --> Loop 33 
2.43/2.49	* CEs [46,53,58] --> Loop 34 
2.43/2.49	* CEs [32] --> Loop 35 
2.43/2.49	* CEs [34,40] --> Loop 36 
2.43/2.49	* CEs [33,39] --> Loop 37 
2.43/2.49	* CEs [49] --> Loop 38 
2.43/2.49	* CEs [45,51,57] --> Loop 39 
2.43/2.49	* CEs [44,50,56] --> Loop 40 
2.43/2.49	* CEs [31] --> Loop 41 
2.43/2.49	
2.43/2.49	### Ranking functions of CR eval_ApplyBndRobin_bb2_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_k_0,B,C) 
2.43/2.49	* RF of phase [27,28,30]: [V_GH_cctk_lsh_2-V_k_0]
2.43/2.49	* RF of phase [29]: [V_GH_cctk_lsh_2-V_k_0]
2.43/2.49	* RF of phase [35,36,37]: [V_GH_cctk_lsh_2-V_k_0]
2.43/2.49	
2.43/2.49	#### Partial ranking functions of CR eval_ApplyBndRobin_bb2_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_k_0,B,C) 
2.43/2.49	* Partial RF of phase [27,28,30]:
2.43/2.49	  - RF of loop [27:1,28:1,30:1]:
2.43/2.49	    V_GH_cctk_lsh_2-V_k_0
2.43/2.49	* Partial RF of phase [29]:
2.43/2.49	  - RF of loop [29:1]:
2.43/2.49	    V_GH_cctk_lsh_2-V_k_0
2.43/2.49	* Partial RF of phase [35,36,37]:
2.43/2.49	  - RF of loop [35:1,36:1,37:1]:
2.43/2.49	    V_GH_cctk_lsh_2-V_k_0
2.43/2.49	
2.43/2.49	
2.43/2.49	### Specialization of cost equations eval_ApplyBndRobin_bb1_in/7 
2.43/2.49	* CE 4 is refined into CE [61] 
2.43/2.49	* CE 3 is refined into CE [62,63,64,65,66,67,68,69,70,71,72,73,74,75,76] 
2.43/2.49	
2.43/2.49	
2.43/2.49	### Cost equations --> "Loop" of eval_ApplyBndRobin_bb1_in/7 
2.43/2.49	* CEs [75] --> Loop 42 
2.43/2.49	* CEs [74] --> Loop 43 
2.43/2.49	* CEs [76] --> Loop 44 
2.43/2.49	* CEs [73] --> Loop 45 
2.43/2.49	* CEs [72] --> Loop 46 
2.43/2.49	* CEs [71] --> Loop 47 
2.43/2.49	* CEs [70] --> Loop 48 
2.43/2.49	* CEs [69] --> Loop 49 
2.43/2.49	* CEs [68] --> Loop 50 
2.43/2.49	* CEs [67] --> Loop 51 
2.43/2.49	* CEs [66] --> Loop 52 
2.43/2.49	* CEs [65] --> Loop 53 
2.43/2.49	* CEs [62] --> Loop 54 
2.43/2.49	* CEs [64] --> Loop 55 
2.43/2.49	* CEs [63] --> Loop 56 
2.43/2.49	* CEs [61] --> Loop 57 
2.43/2.49	
2.43/2.49	### Ranking functions of CR eval_ApplyBndRobin_bb1_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_first_var,V_num_vars,V_var_0,B) 
2.43/2.49	* RF of phase [42,43,46]: [V_first_var+V_num_vars-V_var_0]
2.43/2.49	* RF of phase [44]: [V_first_var+V_num_vars-V_var_0]
2.43/2.49	* RF of phase [45]: [V_first_var+V_num_vars-V_var_0]
2.43/2.49	* RF of phase [47,48,50]: [V_first_var+V_num_vars-V_var_0]
2.43/2.49	* RF of phase [49]: [V_first_var+V_num_vars-V_var_0]
2.43/2.49	* RF of phase [51,52,53]: [V_first_var+V_num_vars-V_var_0]
2.43/2.49	* RF of phase [54,55,56]: [V_first_var+V_num_vars-V_var_0]
2.43/2.49	
2.43/2.49	#### Partial ranking functions of CR eval_ApplyBndRobin_bb1_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_first_var,V_num_vars,V_var_0,B) 
2.43/2.49	* Partial RF of phase [42,43,46]:
2.43/2.49	  - RF of loop [42:1,43:1,46:1]:
2.43/2.49	    V_first_var+V_num_vars-V_var_0
2.43/2.49	* Partial RF of phase [44]:
2.43/2.49	  - RF of loop [44:1]:
2.43/2.49	    V_first_var+V_num_vars-V_var_0
2.43/2.49	* Partial RF of phase [45]:
2.43/2.49	  - RF of loop [45:1]:
2.43/2.49	    V_first_var+V_num_vars-V_var_0
2.43/2.49	* Partial RF of phase [47,48,50]:
2.43/2.49	  - RF of loop [47:1,48:1,50:1]:
2.43/2.49	    V_first_var+V_num_vars-V_var_0
2.43/2.49	* Partial RF of phase [49]:
2.43/2.49	  - RF of loop [49:1]:
2.43/2.49	    V_first_var+V_num_vars-V_var_0
2.43/2.49	* Partial RF of phase [51,52,53]:
2.43/2.49	  - RF of loop [51:1,52:1,53:1]:
2.43/2.49	    V_first_var+V_num_vars-V_var_0
2.43/2.49	* Partial RF of phase [54,55,56]:
2.43/2.49	  - RF of loop [54:1,55:1,56:1]:
2.43/2.49	    V_first_var+V_num_vars-V_var_0
2.43/2.49	
2.43/2.49	
2.43/2.49	### Specialization of cost equations eval_ApplyBndRobin_bb0_in/6 
2.43/2.49	* CE 2 is refined into CE [77,78,79,80,81,82,83,84] 
2.43/2.49	
2.43/2.49	
2.43/2.49	### Cost equations --> "Loop" of eval_ApplyBndRobin_bb0_in/6 
2.43/2.49	* CEs [83] --> Loop 58 
2.43/2.49	* CEs [84] --> Loop 59 
2.43/2.49	* CEs [82] --> Loop 60 
2.43/2.49	* CEs [81] --> Loop 61 
2.43/2.49	* CEs [80] --> Loop 62 
2.43/2.49	* CEs [79] --> Loop 63 
2.43/2.49	* CEs [78] --> Loop 64 
2.43/2.49	* CEs [77] --> Loop 65 
2.43/2.49	
2.43/2.49	### Ranking functions of CR eval_ApplyBndRobin_bb0_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_first_var,V_num_vars,B) 
2.43/2.49	
2.43/2.49	#### Partial ranking functions of CR eval_ApplyBndRobin_bb0_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_first_var,V_num_vars,B) 
2.43/2.49	
2.43/2.49	
2.43/2.49	### Specialization of cost equations eval_ApplyBndRobin_start/6 
2.43/2.49	* CE 1 is refined into CE [85,86,87,88,89,90,91,92] 
2.43/2.49	
2.43/2.49	
2.43/2.49	### Cost equations --> "Loop" of eval_ApplyBndRobin_start/6 
2.43/2.49	* CEs [92] --> Loop 66 
2.43/2.49	* CEs [91] --> Loop 67 
2.43/2.49	* CEs [90] --> Loop 68 
2.43/2.49	* CEs [89] --> Loop 69 
2.43/2.49	* CEs [88] --> Loop 70 
2.43/2.49	* CEs [87] --> Loop 71 
2.43/2.49	* CEs [86] --> Loop 72 
2.43/2.49	* CEs [85] --> Loop 73 
2.43/2.49	
2.43/2.49	### Ranking functions of CR eval_ApplyBndRobin_start(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_first_var,V_num_vars,B) 
2.43/2.49	
2.43/2.49	#### Partial ranking functions of CR eval_ApplyBndRobin_start(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_first_var,V_num_vars,B) 
2.43/2.49	
2.43/2.49	
2.43/2.49	Computing Bounds
2.43/2.49	=====================================
2.43/2.49	
2.43/2.49	#### Cost of chains of eval_ApplyBndRobin_bb12_in(V_GH_cctk_lsh_0,V_i_0,B,C):
2.43/2.49	* Chain [[18],19]: 1*it(18)+0
2.43/2.49	  Such that:it(18) =< -V_i_0+C
2.43/2.49	
2.43/2.49	  with precondition: [B=2,V_GH_cctk_lsh_0=C+1,V_i_0>=1,V_GH_cctk_lsh_0>=V_i_0+2] 
2.43/2.49	
2.43/2.49	* Chain [19]: 0
2.43/2.49	  with precondition: [B=2,V_i_0=C,V_i_0>=1,V_i_0+1>=V_GH_cctk_lsh_0] 
2.43/2.49	
2.43/2.49	
2.43/2.49	#### Cost of chains of eval_ApplyBndRobin_bb7_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_dz_1,V_j_0,B,C):
2.43/2.49	* Chain [26]: 0
2.43/2.49	  with precondition: [B=3,V_j_0=C,1>=V_dz_1,V_dz_1+1>=0,V_j_0>=0,V_j_0>=V_GH_cctk_lsh_1] 
2.43/2.49	
2.43/2.49	* Chain [25,[20,21,24],26]: 3*it(20)+1*s(3)+1
2.43/2.49	  Such that:aux(1) =< V_GH_cctk_lsh_0
2.43/2.49	aux(4) =< C
2.43/2.49	it(20) =< aux(4)
2.43/2.49	s(3) =< it(20)*aux(1)
2.43/2.49	
2.43/2.49	  with precondition: [V_dz_1=0,V_j_0=0,B=3,V_GH_cctk_lsh_1=C,V_GH_cctk_lsh_1>=2] 
2.43/2.49	
2.43/2.49	* Chain [25,26]: 1
2.43/2.49	  with precondition: [V_GH_cctk_lsh_1=1,V_dz_1=0,V_j_0=0,B=3,C=1] 
2.43/2.49	
2.43/2.49	* Chain [23,[20,21,24],26]: 3*it(20)+1*s(3)+1
2.43/2.49	  Such that:aux(1) =< 2
2.43/2.49	aux(1) =< V_GH_cctk_lsh_0
2.43/2.49	aux(4) =< C
2.43/2.49	it(20) =< aux(4)
2.43/2.49	s(3) =< it(20)*aux(1)
2.43/2.49	
2.43/2.49	  with precondition: [V_j_0=0,B=3,V_GH_cctk_lsh_1=C,2>=V_GH_cctk_lsh_0,1>=V_dz_1,V_GH_cctk_lsh_1>=2,V_dz_1+1>=0] 
2.43/2.49	
2.43/2.49	* Chain [23,26]: 1
2.43/2.49	  with precondition: [V_GH_cctk_lsh_1=1,V_j_0=0,B=3,C=1,2>=V_GH_cctk_lsh_0,1>=V_dz_1,V_dz_1+1>=0] 
2.43/2.49	
2.43/2.49	* Chain [22,[20,21,24],26]: 3*it(20)+1*s(3)+1*s(4)+1
2.43/2.49	  Such that:aux(4) =< C
2.43/2.49	aux(5) =< V_GH_cctk_lsh_0
2.43/2.49	s(4) =< aux(5)
2.43/2.49	it(20) =< aux(4)
2.43/2.49	s(3) =< it(20)*aux(5)
2.43/2.49	
2.43/2.49	  with precondition: [V_j_0=0,B=3,V_GH_cctk_lsh_1=C,1>=V_dz_1,V_GH_cctk_lsh_0>=3,V_GH_cctk_lsh_1>=2,V_dz_1+1>=0] 
2.43/2.49	
2.43/2.49	* Chain [22,26]: 1*s(4)+1
2.43/2.49	  Such that:s(4) =< V_GH_cctk_lsh_0
2.43/2.49	
2.43/2.49	  with precondition: [V_GH_cctk_lsh_1=1,V_j_0=0,B=3,C=1,1>=V_dz_1,V_GH_cctk_lsh_0>=3,V_dz_1+1>=0] 
2.43/2.49	
2.43/2.49	
2.43/2.49	#### Cost of chains of eval_ApplyBndRobin_bb2_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_k_0,B,C):
2.43/2.49	* Chain [41]: 0
2.43/2.49	  with precondition: [B=4,V_k_0=C,V_k_0>=0,V_k_0>=V_GH_cctk_lsh_2] 
2.43/2.49	
2.43/2.49	* Chain [40,[35,36,37],41]: 6*it(35)+2*s(9)+2
2.43/2.49	  Such that:aux(7) =< 2
2.43/2.49	aux(7) =< V_GH_cctk_lsh_0
2.43/2.49	aux(10) =< C
2.43/2.49	it(35) =< aux(10)
2.43/2.49	s(10) =< it(35)*aux(7)
2.43/2.49	s(9) =< s(10)
2.43/2.49	
2.43/2.49	  with precondition: [V_GH_cctk_lsh_1=1,V_k_0=0,B=4,V_GH_cctk_lsh_2=C,2>=V_GH_cctk_lsh_0,V_GH_cctk_lsh_2>=2] 
2.43/2.49	
2.43/2.49	* Chain [40,41]: 2
2.43/2.49	  with precondition: [V_GH_cctk_lsh_1=1,V_GH_cctk_lsh_2=1,V_k_0=0,B=4,C=1,2>=V_GH_cctk_lsh_0] 
2.43/2.49	
2.43/2.49	* Chain [39,[35,36,37],41]: 6*it(35)+2*s(9)+3*s(11)+2
2.43/2.49	  Such that:aux(10) =< C
2.43/2.49	aux(12) =< V_GH_cctk_lsh_0
2.43/2.49	it(35) =< aux(10)
2.43/2.49	s(10) =< it(35)*aux(12)
2.43/2.49	s(9) =< s(10)
2.43/2.49	s(11) =< aux(12)
2.43/2.49	
2.43/2.49	  with precondition: [V_GH_cctk_lsh_1=1,V_k_0=0,B=4,V_GH_cctk_lsh_2=C,V_GH_cctk_lsh_0>=3,V_GH_cctk_lsh_2>=2] 
2.43/2.49	
2.43/2.49	* Chain [39,41]: 3*s(11)+2
2.43/2.49	  Such that:aux(11) =< V_GH_cctk_lsh_0
2.43/2.49	s(11) =< aux(11)
2.43/2.49	
2.43/2.49	  with precondition: [V_GH_cctk_lsh_1=1,V_GH_cctk_lsh_2=1,V_k_0=0,B=4,C=1,V_GH_cctk_lsh_0>=3] 
2.43/2.49	
2.43/2.49	* Chain [38,[35,36,37],41]: 6*it(35)+2*s(9)+2
2.43/2.49	  Such that:aux(7) =< V_GH_cctk_lsh_0
2.43/2.49	aux(10) =< C
2.43/2.49	it(35) =< aux(10)
2.43/2.49	s(10) =< it(35)*aux(7)
2.43/2.49	s(9) =< s(10)
2.43/2.49	
2.43/2.49	  with precondition: [V_GH_cctk_lsh_1=1,V_k_0=0,B=4,V_GH_cctk_lsh_2=C,V_GH_cctk_lsh_2>=2] 
2.43/2.49	
2.43/2.49	* Chain [38,41]: 2
2.43/2.49	  with precondition: [V_GH_cctk_lsh_1=1,V_GH_cctk_lsh_2=1,V_k_0=0,B=4,C=1] 
2.43/2.49	
2.43/2.49	* Chain [34,[27,28,30],41]: 6*it(27)+3*s(52)+1*s(53)+2*s(55)+12*s(56)+2*s(57)+2*s(61)+9*s(65)+3*s(66)+2
2.43/2.49	  Such that:aux(26) =< C
2.43/2.49	aux(31) =< 2
2.43/2.49	aux(32) =< V_GH_cctk_lsh_0
2.43/2.49	aux(33) =< V_GH_cctk_lsh_1
2.43/2.49	aux(29) =< aux(31)
2.43/2.49	aux(29) =< aux(32)
2.43/2.49	it(27) =< aux(26)
2.43/2.49	aux(21) =< aux(33)
2.43/2.49	aux(20) =< aux(29)
2.43/2.49	s(54) =< it(27)*aux(33)
2.43/2.49	s(58) =< it(27)*aux(21)
2.43/2.49	s(59) =< it(27)*aux(20)
2.43/2.49	s(49) =< aux(31)
2.43/2.49	s(49) =< aux(20)
2.43/2.49	s(56) =< s(58)
2.43/2.49	s(61) =< s(56)*s(49)
2.43/2.49	s(55) =< s(59)
2.43/2.49	s(57) =< s(56)*aux(20)
2.43/2.49	s(52) =< s(54)
2.43/2.49	s(53) =< s(52)*aux(29)
2.43/2.49	s(63) =< aux(31)
2.43/2.49	s(63) =< aux(32)
2.43/2.49	s(63) =< aux(29)
2.43/2.49	s(65) =< aux(33)
2.43/2.49	s(66) =< s(65)*s(63)
2.43/2.49	
2.43/2.49	  with precondition: [V_k_0=0,B=4,V_GH_cctk_lsh_2=C,2>=V_GH_cctk_lsh_0,V_GH_cctk_lsh_1>=2,V_GH_cctk_lsh_2>=2] 
2.43/2.49	
2.43/2.49	* Chain [34,41]: 9*s(65)+3*s(66)+2
2.43/2.49	  Such that:aux(30) =< V_GH_cctk_lsh_1
2.43/2.49	aux(34) =< 2
2.43/2.49	aux(35) =< V_GH_cctk_lsh_0
2.43/2.49	aux(29) =< aux(34)
2.43/2.49	aux(29) =< aux(35)
2.43/2.49	s(63) =< aux(34)
2.43/2.49	s(63) =< aux(35)
2.43/2.49	s(63) =< aux(29)
2.43/2.49	s(65) =< aux(30)
2.43/2.49	s(66) =< s(65)*s(63)
2.43/2.49	
2.43/2.49	  with precondition: [V_GH_cctk_lsh_2=1,V_k_0=0,B=4,C=1,2>=V_GH_cctk_lsh_0,V_GH_cctk_lsh_1>=2] 
2.43/2.49	
2.43/2.49	* Chain [33,[29],41]: 1*it(29)+1
2.43/2.49	  Such that:it(29) =< C
2.43/2.49	
2.43/2.49	  with precondition: [V_k_0=0,B=4,V_GH_cctk_lsh_2=C,0>=V_GH_cctk_lsh_1,V_GH_cctk_lsh_2>=2] 
2.43/2.49	
2.43/2.49	* Chain [33,41]: 1
2.43/2.49	  with precondition: [V_GH_cctk_lsh_2=1,V_k_0=0,B=4,C=1,0>=V_GH_cctk_lsh_1] 
2.43/2.49	
2.43/2.49	* Chain [32,[27,28,30],41]: 6*it(27)+3*s(52)+1*s(53)+2*s(55)+12*s(56)+2*s(57)+2*s(61)+3*s(77)+9*s(78)+3*s(79)+2
2.43/2.49	  Such that:aux(23) =< 2
2.43/2.49	aux(26) =< C
2.43/2.49	aux(38) =< V_GH_cctk_lsh_0
2.43/2.49	aux(39) =< V_GH_cctk_lsh_1
2.43/2.49	it(27) =< aux(26)
2.43/2.49	aux(21) =< aux(39)
2.43/2.49	aux(20) =< aux(38)
2.43/2.49	s(54) =< it(27)*aux(39)
2.43/2.49	s(58) =< it(27)*aux(21)
2.43/2.49	s(59) =< it(27)*aux(20)
2.43/2.49	s(49) =< aux(23)
2.43/2.49	s(49) =< aux(20)
2.43/2.49	s(56) =< s(58)
2.43/2.49	s(61) =< s(56)*s(49)
2.43/2.49	s(55) =< s(59)
2.43/2.49	s(57) =< s(56)*aux(20)
2.43/2.49	s(52) =< s(54)
2.43/2.49	s(53) =< s(52)*aux(38)
2.43/2.49	s(77) =< aux(38)
2.43/2.49	s(78) =< aux(39)
2.43/2.49	s(79) =< s(78)*aux(38)
2.43/2.49	
2.43/2.49	  with precondition: [V_k_0=0,B=4,V_GH_cctk_lsh_2=C,V_GH_cctk_lsh_0>=3,V_GH_cctk_lsh_1>=2,V_GH_cctk_lsh_2>=2] 
2.43/2.49	
2.43/2.49	* Chain [32,41]: 3*s(77)+9*s(78)+3*s(79)+2
2.43/2.49	  Such that:aux(36) =< V_GH_cctk_lsh_0
2.43/2.49	aux(37) =< V_GH_cctk_lsh_1
2.43/2.49	s(77) =< aux(36)
2.43/2.49	s(78) =< aux(37)
2.43/2.49	s(79) =< s(78)*aux(36)
2.43/2.49	
2.43/2.49	  with precondition: [V_GH_cctk_lsh_2=1,V_k_0=0,B=4,C=1,V_GH_cctk_lsh_0>=3,V_GH_cctk_lsh_1>=2] 
2.43/2.49	
2.43/2.49	* Chain [31,[27,28,30],41]: 6*it(27)+3*s(52)+1*s(53)+2*s(55)+12*s(56)+2*s(57)+2*s(61)+3*s(92)+1*s(93)+2
2.43/2.49	  Such that:aux(23) =< 2
2.43/2.49	aux(26) =< V_GH_cctk_lsh_2
2.43/2.49	aux(40) =< V_GH_cctk_lsh_0
2.43/2.49	aux(41) =< V_GH_cctk_lsh_1
2.43/2.49	it(27) =< aux(26)
2.43/2.49	aux(21) =< aux(41)
2.43/2.49	aux(20) =< aux(40)
2.43/2.49	s(54) =< it(27)*aux(41)
2.43/2.49	s(58) =< it(27)*aux(21)
2.43/2.49	s(59) =< it(27)*aux(20)
2.43/2.49	s(49) =< aux(23)
2.43/2.49	s(49) =< aux(20)
2.43/2.49	s(56) =< s(58)
2.43/2.49	s(61) =< s(56)*s(49)
2.43/2.49	s(55) =< s(59)
2.43/2.49	s(57) =< s(56)*aux(20)
2.43/2.49	s(52) =< s(54)
2.43/2.49	s(53) =< s(52)*aux(40)
2.43/2.49	s(92) =< aux(41)
2.43/2.49	s(93) =< s(92)*aux(40)
2.43/2.49	
2.43/2.49	  with precondition: [V_k_0=0,B=4,V_GH_cctk_lsh_2=C,V_GH_cctk_lsh_1>=2,V_GH_cctk_lsh_2>=2] 
2.43/2.49	
2.43/2.49	* Chain [31,41]: 3*s(92)+1*s(93)+2
2.43/2.49	  Such that:s(90) =< V_GH_cctk_lsh_0
2.43/2.49	s(91) =< V_GH_cctk_lsh_1
2.43/2.49	s(92) =< s(91)
2.43/2.49	s(93) =< s(92)*s(90)
2.43/2.49	
2.43/2.49	  with precondition: [V_GH_cctk_lsh_2=1,V_k_0=0,B=4,C=1,V_GH_cctk_lsh_1>=2] 
2.43/2.49	
2.43/2.49	
2.43/2.49	#### Cost of chains of eval_ApplyBndRobin_bb1_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_first_var,V_num_vars,V_var_0,B):
2.43/2.49	* Chain [[54,55,56],57]: 9*it(54)+3*s(98)+0
2.43/2.49	  Such that:aux(42) =< V_GH_cctk_lsh_0
2.43/2.49	aux(45) =< V_first_var+V_num_vars-V_var_0
2.43/2.49	it(54) =< aux(45)
2.43/2.49	s(99) =< it(54)*aux(42)
2.43/2.49	s(98) =< s(99)
2.43/2.49	
2.43/2.49	  with precondition: [V_GH_cctk_lsh_1=1,V_GH_cctk_lsh_2=1,B=5,V_var_0>=V_first_var,V_first_var+V_num_vars>=V_var_0+1] 
2.43/2.49	
2.43/2.49	* Chain [[51,52,53],57]: 9*it(51)+6*s(132)+2*s(133)+12*s(136)+2*s(137)+3*s(138)+2*s(143)+0
2.43/2.49	  Such that:s(127) =< 2
2.43/2.49	s(105) =< V_GH_cctk_lsh_0
2.43/2.49	aux(46) =< V_GH_cctk_lsh_2
2.43/2.49	aux(52) =< V_first_var+V_num_vars-V_var_0
2.43/2.49	it(51) =< aux(52)
2.43/2.49	aux(48) =< aux(46)
2.43/2.49	aux(47) =< s(105)
2.43/2.49	s(127) =< s(105)
2.43/2.49	s(135) =< it(51)*aux(46)
2.43/2.49	s(141) =< it(51)*aux(48)
2.43/2.49	s(139) =< it(51)*aux(47)
2.43/2.49	s(136) =< s(141)
2.43/2.49	s(144) =< s(136)*s(127)
2.43/2.49	s(143) =< s(144)
2.43/2.49	s(140) =< s(136)*aux(47)
2.43/2.49	s(137) =< s(140)
2.43/2.49	s(138) =< s(139)
2.43/2.49	s(132) =< s(135)
2.43/2.49	s(134) =< s(132)*s(105)
2.43/2.49	s(133) =< s(134)
2.43/2.49	
2.43/2.49	  with precondition: [V_GH_cctk_lsh_1=1,B=5,V_GH_cctk_lsh_2>=2,V_var_0>=V_first_var,V_first_var+V_num_vars>=V_var_0+1] 
2.43/2.49	
2.43/2.49	* Chain [[49],57]: 2*it(49)+0
2.43/2.49	  Such that:it(49) =< V_first_var+V_num_vars-V_var_0
2.43/2.49	
2.43/2.49	  with precondition: [V_GH_cctk_lsh_2=1,B=5,0>=V_GH_cctk_lsh_1,V_var_0>=V_first_var,V_first_var+V_num_vars>=V_var_0+1] 
2.43/2.49	
2.43/2.49	* Chain [[47,48,50],57]: 9*it(47)+3*s(178)+1*s(179)+3*s(181)+18*s(182)+3*s(183)+3*s(187)+0
2.43/2.49	  Such that:aux(57) =< 2
2.43/2.49	s(150) =< V_GH_cctk_lsh_0
2.43/2.49	aux(53) =< V_GH_cctk_lsh_1
2.43/2.49	aux(60) =< V_first_var+V_num_vars-V_var_0
2.43/2.49	s(172) =< aux(57)
2.43/2.49	it(47) =< aux(60)
2.43/2.49	aux(55) =< aux(53)
2.43/2.49	aux(54) =< s(150)
2.43/2.49	s(172) =< s(150)
2.43/2.49	s(180) =< it(47)*aux(53)
2.43/2.49	s(184) =< it(47)*aux(55)
2.43/2.49	s(185) =< it(47)*aux(54)
2.43/2.49	s(174) =< aux(57)
2.43/2.49	s(174) =< s(172)
2.43/2.49	s(175) =< aux(57)
2.43/2.49	s(175) =< s(172)
2.43/2.49	s(175) =< s(174)
2.43/2.49	s(182) =< s(184)
2.43/2.49	s(187) =< s(182)*s(175)
2.43/2.49	s(181) =< s(185)
2.43/2.49	s(183) =< s(182)*aux(54)
2.43/2.50	s(178) =< s(180)
2.43/2.50	s(179) =< s(178)*s(150)
2.43/2.50	
2.43/2.50	  with precondition: [V_GH_cctk_lsh_2=1,B=5,V_GH_cctk_lsh_1>=2,V_var_0>=V_first_var,V_first_var+V_num_vars>=V_var_0+1] 
2.43/2.50	
2.43/2.50	* Chain [[45],57]: 2*it(45)+1*s(191)+0
2.43/2.50	  Such that:aux(61) =< V_GH_cctk_lsh_2
2.43/2.50	it(45) =< V_first_var+V_num_vars-V_var_0
2.43/2.50	s(191) =< it(45)*aux(61)
2.43/2.50	
2.43/2.50	  with precondition: [B=5,0>=V_GH_cctk_lsh_1,V_GH_cctk_lsh_2>=2,V_var_0>=V_first_var,V_first_var+V_num_vars>=V_var_0+1] 
2.43/2.50	
2.43/2.50	* Chain [[44],57]: 1*it(44)+0
2.43/2.50	  Such that:it(44) =< V_first_var+V_num_vars-V_var_0
2.43/2.50	
2.43/2.50	  with precondition: [B=5,0>=V_GH_cctk_lsh_2,V_var_0>=V_first_var,V_first_var+V_num_vars>=V_var_0+1] 
2.43/2.50	
2.43/2.50	* Chain [[42,43,46],57]: 9*it(42)+6*s(312)+12*s(313)+2*s(314)+2*s(315)+2*s(316)+3*s(317)+1*s(318)+21*s(319)+1*s(320)+12*s(326)+24*s(327)+2*s(328)+2*s(329)+2*s(330)+6*s(331)+1*s(332)+3*s(333)+3*s(335)+2*s(344)+2*s(345)+2*s(346)+1*s(348)+3*s(350)+0
2.43/2.50	  Such that:aux(69) =< 2
2.43/2.50	s(212) =< V_GH_cctk_lsh_0
2.43/2.50	s(213) =< V_GH_cctk_lsh_1
2.43/2.50	aux(63) =< V_GH_cctk_lsh_2
2.43/2.50	aux(72) =< V_first_var+V_num_vars-V_var_0
2.43/2.50	s(292) =< aux(69)
2.43/2.50	it(42) =< aux(72)
2.43/2.50	aux(66) =< aux(63)
2.43/2.50	aux(62) =< s(213)
2.43/2.50	aux(64) =< s(212)
2.43/2.50	s(292) =< s(212)
2.43/2.50	s(325) =< it(42)*aux(63)
2.43/2.50	s(341) =< it(42)*aux(66)
2.43/2.50	s(321) =< it(42)*aux(62)
2.43/2.50	s(337) =< it(42)*aux(64)
2.43/2.50	s(295) =< aux(69)
2.43/2.50	s(295) =< s(292)
2.43/2.50	s(326) =< s(341)
2.43/2.50	s(255) =< aux(62)
2.43/2.50	s(298) =< s(295)
2.43/2.50	s(338) =< s(326)*aux(62)
2.43/2.50	s(340) =< s(326)*s(255)
2.43/2.50	s(353) =< s(326)*s(298)
2.43/2.50	s(302) =< aux(69)
2.43/2.50	s(302) =< s(298)
2.43/2.50	s(327) =< s(340)
2.43/2.50	s(344) =< s(327)*s(302)
2.43/2.50	s(345) =< s(353)
2.43/2.50	s(346) =< s(327)*s(298)
2.43/2.50	s(331) =< s(338)
2.43/2.50	s(348) =< s(331)*s(295)
2.43/2.50	s(309) =< aux(69)
2.43/2.50	s(309) =< s(292)
2.43/2.50	s(309) =< s(295)
2.43/2.50	s(319) =< s(321)
2.43/2.50	s(350) =< s(319)*s(309)
2.43/2.50	s(256) =< aux(64)
2.43/2.50	s(339) =< s(326)*s(256)
2.43/2.50	s(260) =< aux(69)
2.43/2.50	s(260) =< s(256)
2.43/2.50	s(328) =< s(327)*s(260)
2.43/2.50	s(329) =< s(339)
2.43/2.50	s(330) =< s(327)*s(256)
2.43/2.50	s(332) =< s(331)*aux(64)
2.43/2.50	s(333) =< s(337)
2.43/2.50	s(335) =< s(319)*aux(64)
2.43/2.50	s(312) =< s(325)
2.43/2.50	s(322) =< s(312)*s(213)
2.43/2.50	s(324) =< s(312)*aux(62)
2.43/2.50	s(323) =< s(312)*aux(64)
2.43/2.50	s(221) =< aux(69)
2.43/2.50	s(221) =< aux(64)
2.43/2.50	s(313) =< s(324)
2.43/2.50	s(314) =< s(313)*s(221)
2.43/2.50	s(315) =< s(323)
2.43/2.50	s(316) =< s(313)*aux(64)
2.43/2.50	s(317) =< s(322)
2.43/2.50	s(318) =< s(317)*s(212)
2.43/2.50	s(320) =< s(319)*s(212)
2.43/2.50	
2.43/2.50	  with precondition: [B=5,V_GH_cctk_lsh_1>=2,V_GH_cctk_lsh_2>=2,V_var_0>=V_first_var,V_first_var+V_num_vars>=V_var_0+1] 
2.43/2.50	
2.43/2.50	* Chain [57]: 0
2.43/2.50	  with precondition: [B=5,V_var_0>=V_first_var,V_var_0>=V_first_var+V_num_vars] 
2.43/2.50	
2.43/2.50	
2.43/2.50	#### Cost of chains of eval_ApplyBndRobin_bb0_in(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_first_var,V_num_vars,B):
2.43/2.50	* Chain [65]: 9*s(358)+3*s(360)+0
2.43/2.50	  Such that:s(356) =< V_GH_cctk_lsh_0
2.43/2.50	s(357) =< V_num_vars
2.43/2.50	s(358) =< s(357)
2.43/2.50	s(359) =< s(358)*s(356)
2.43/2.50	s(360) =< s(359)
2.43/2.50	
2.43/2.50	  with precondition: [V_GH_cctk_lsh_1=1,V_GH_cctk_lsh_2=1,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [64]: 9*s(365)+12*s(371)+2*s(373)+2*s(375)+3*s(376)+6*s(377)+2*s(379)+0
2.43/2.50	  Such that:s(361) =< 2
2.43/2.50	s(362) =< V_GH_cctk_lsh_0
2.43/2.50	s(363) =< V_GH_cctk_lsh_2
2.43/2.50	s(364) =< V_num_vars
2.43/2.50	s(365) =< s(364)
2.43/2.50	s(366) =< s(363)
2.43/2.50	s(367) =< s(362)
2.43/2.50	s(361) =< s(362)
2.43/2.50	s(368) =< s(365)*s(363)
2.43/2.50	s(369) =< s(365)*s(366)
2.43/2.50	s(370) =< s(365)*s(367)
2.43/2.50	s(371) =< s(369)
2.43/2.50	s(372) =< s(371)*s(361)
2.43/2.50	s(373) =< s(372)
2.43/2.50	s(374) =< s(371)*s(367)
2.43/2.50	s(375) =< s(374)
2.43/2.50	s(376) =< s(370)
2.43/2.50	s(377) =< s(368)
2.43/2.50	s(378) =< s(377)*s(362)
2.43/2.50	s(379) =< s(378)
2.43/2.50	
2.43/2.50	  with precondition: [V_GH_cctk_lsh_1=1,V_GH_cctk_lsh_2>=2,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [63]: 2*s(380)+0
2.43/2.50	  Such that:s(380) =< V_num_vars
2.43/2.50	
2.43/2.50	  with precondition: [V_GH_cctk_lsh_2=1,0>=V_GH_cctk_lsh_1,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [62]: 9*s(386)+18*s(394)+3*s(395)+3*s(396)+3*s(397)+3*s(398)+1*s(399)+0
2.43/2.50	  Such that:s(381) =< 2
2.43/2.50	s(382) =< V_GH_cctk_lsh_0
2.43/2.50	s(383) =< V_GH_cctk_lsh_1
2.43/2.50	s(384) =< V_num_vars
2.43/2.50	s(385) =< s(381)
2.43/2.50	s(386) =< s(384)
2.43/2.50	s(387) =< s(383)
2.43/2.50	s(388) =< s(382)
2.43/2.50	s(385) =< s(382)
2.43/2.50	s(389) =< s(386)*s(383)
2.43/2.50	s(390) =< s(386)*s(387)
2.43/2.50	s(391) =< s(386)*s(388)
2.43/2.50	s(392) =< s(381)
2.43/2.50	s(392) =< s(385)
2.43/2.50	s(393) =< s(381)
2.43/2.50	s(393) =< s(385)
2.43/2.50	s(393) =< s(392)
2.43/2.50	s(394) =< s(390)
2.43/2.50	s(395) =< s(394)*s(393)
2.43/2.50	s(396) =< s(391)
2.43/2.50	s(397) =< s(394)*s(388)
2.43/2.50	s(398) =< s(389)
2.43/2.50	s(399) =< s(398)*s(382)
2.43/2.50	
2.43/2.50	  with precondition: [V_GH_cctk_lsh_2=1,V_GH_cctk_lsh_1>=2,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [61]: 2*s(401)+1*s(402)+0
2.43/2.50	  Such that:s(400) =< V_GH_cctk_lsh_2
2.43/2.50	s(401) =< V_num_vars
2.43/2.50	s(402) =< s(401)*s(400)
2.43/2.50	
2.43/2.50	  with precondition: [0>=V_GH_cctk_lsh_1,V_GH_cctk_lsh_2>=2,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [60]: 1*s(403)+0
2.43/2.50	  Such that:s(403) =< V_num_vars
2.43/2.50	
2.43/2.50	  with precondition: [0>=V_GH_cctk_lsh_2,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [59]: 0
2.43/2.50	  with precondition: [0>=V_num_vars] 
2.43/2.50	
2.43/2.50	* Chain [58]: 9*s(410)+12*s(419)+24*s(426)+2*s(427)+2*s(428)+2*s(429)+6*s(430)+1*s(431)+21*s(433)+3*s(434)+2*s(438)+2*s(439)+2*s(440)+1*s(441)+3*s(442)+3*s(443)+6*s(444)+12*s(449)+2*s(450)+2*s(451)+2*s(452)+3*s(453)+1*s(454)+1*s(455)+0
2.43/2.50	  Such that:s(404) =< 2
2.43/2.50	s(405) =< V_GH_cctk_lsh_0
2.43/2.50	s(406) =< V_GH_cctk_lsh_1
2.43/2.50	s(407) =< V_GH_cctk_lsh_2
2.43/2.50	s(408) =< V_num_vars
2.43/2.50	s(409) =< s(404)
2.43/2.50	s(410) =< s(408)
2.43/2.50	s(411) =< s(407)
2.43/2.50	s(412) =< s(406)
2.43/2.50	s(413) =< s(405)
2.43/2.50	s(409) =< s(405)
2.43/2.50	s(414) =< s(410)*s(407)
2.43/2.50	s(415) =< s(410)*s(411)
2.43/2.50	s(416) =< s(410)*s(412)
2.43/2.50	s(417) =< s(410)*s(413)
2.43/2.50	s(418) =< s(404)
2.43/2.50	s(418) =< s(409)
2.43/2.50	s(419) =< s(415)
2.43/2.50	s(420) =< s(412)
2.43/2.50	s(421) =< s(418)
2.43/2.50	s(422) =< s(419)*s(412)
2.43/2.50	s(423) =< s(419)*s(420)
2.43/2.50	s(424) =< s(419)*s(421)
2.43/2.50	s(425) =< s(404)
2.43/2.50	s(425) =< s(421)
2.43/2.50	s(426) =< s(423)
2.43/2.50	s(427) =< s(426)*s(425)
2.43/2.50	s(428) =< s(424)
2.43/2.50	s(429) =< s(426)*s(421)
2.43/2.50	s(430) =< s(422)
2.43/2.50	s(431) =< s(430)*s(418)
2.43/2.50	s(432) =< s(404)
2.43/2.50	s(432) =< s(409)
2.43/2.50	s(432) =< s(418)
2.43/2.50	s(433) =< s(416)
2.43/2.50	s(434) =< s(433)*s(432)
2.43/2.50	s(435) =< s(413)
2.43/2.50	s(436) =< s(419)*s(435)
2.43/2.50	s(437) =< s(404)
2.43/2.50	s(437) =< s(435)
2.43/2.50	s(438) =< s(426)*s(437)
2.43/2.50	s(439) =< s(436)
2.43/2.50	s(440) =< s(426)*s(435)
2.43/2.50	s(441) =< s(430)*s(413)
2.43/2.50	s(442) =< s(417)
2.43/2.50	s(443) =< s(433)*s(413)
2.43/2.50	s(444) =< s(414)
2.43/2.50	s(445) =< s(444)*s(406)
2.43/2.50	s(446) =< s(444)*s(412)
2.43/2.50	s(447) =< s(444)*s(413)
2.43/2.50	s(448) =< s(404)
2.43/2.50	s(448) =< s(413)
2.43/2.50	s(449) =< s(446)
2.43/2.50	s(450) =< s(449)*s(448)
2.43/2.50	s(451) =< s(447)
2.43/2.50	s(452) =< s(449)*s(413)
2.43/2.50	s(453) =< s(445)
2.43/2.50	s(454) =< s(453)*s(405)
2.43/2.50	s(455) =< s(433)*s(405)
2.43/2.50	
2.43/2.50	  with precondition: [V_GH_cctk_lsh_1>=2,V_GH_cctk_lsh_2>=2,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	
2.43/2.50	#### Cost of chains of eval_ApplyBndRobin_start(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_first_var,V_num_vars,B):
2.43/2.50	* Chain [73]: 9*s(458)+3*s(460)+0
2.43/2.50	  Such that:s(456) =< V_GH_cctk_lsh_0
2.43/2.50	s(457) =< V_num_vars
2.43/2.50	s(458) =< s(457)
2.43/2.50	s(459) =< s(458)*s(456)
2.43/2.50	s(460) =< s(459)
2.43/2.50	
2.43/2.50	  with precondition: [V_GH_cctk_lsh_1=1,V_GH_cctk_lsh_2=1,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [72]: 9*s(465)+12*s(471)+2*s(473)+2*s(475)+3*s(476)+6*s(477)+2*s(479)+0
2.43/2.50	  Such that:s(461) =< 2
2.43/2.50	s(462) =< V_GH_cctk_lsh_0
2.43/2.50	s(463) =< V_GH_cctk_lsh_2
2.43/2.50	s(464) =< V_num_vars
2.43/2.50	s(465) =< s(464)
2.43/2.50	s(466) =< s(463)
2.43/2.50	s(467) =< s(462)
2.43/2.50	s(461) =< s(462)
2.43/2.50	s(468) =< s(465)*s(463)
2.43/2.50	s(469) =< s(465)*s(466)
2.43/2.50	s(470) =< s(465)*s(467)
2.43/2.50	s(471) =< s(469)
2.43/2.50	s(472) =< s(471)*s(461)
2.43/2.50	s(473) =< s(472)
2.43/2.50	s(474) =< s(471)*s(467)
2.43/2.50	s(475) =< s(474)
2.43/2.50	s(476) =< s(470)
2.43/2.50	s(477) =< s(468)
2.43/2.50	s(478) =< s(477)*s(462)
2.43/2.50	s(479) =< s(478)
2.43/2.50	
2.43/2.50	  with precondition: [V_GH_cctk_lsh_1=1,V_GH_cctk_lsh_2>=2,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [71]: 2*s(480)+0
2.43/2.50	  Such that:s(480) =< V_num_vars
2.43/2.50	
2.43/2.50	  with precondition: [V_GH_cctk_lsh_2=1,0>=V_GH_cctk_lsh_1,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [70]: 9*s(486)+18*s(494)+3*s(495)+3*s(496)+3*s(497)+3*s(498)+1*s(499)+0
2.43/2.50	  Such that:s(481) =< 2
2.43/2.50	s(482) =< V_GH_cctk_lsh_0
2.43/2.50	s(483) =< V_GH_cctk_lsh_1
2.43/2.50	s(484) =< V_num_vars
2.43/2.50	s(485) =< s(481)
2.43/2.50	s(486) =< s(484)
2.43/2.50	s(487) =< s(483)
2.43/2.50	s(488) =< s(482)
2.43/2.50	s(485) =< s(482)
2.43/2.50	s(489) =< s(486)*s(483)
2.43/2.50	s(490) =< s(486)*s(487)
2.43/2.50	s(491) =< s(486)*s(488)
2.43/2.50	s(492) =< s(481)
2.43/2.50	s(492) =< s(485)
2.43/2.50	s(493) =< s(481)
2.43/2.50	s(493) =< s(485)
2.43/2.50	s(493) =< s(492)
2.43/2.50	s(494) =< s(490)
2.43/2.50	s(495) =< s(494)*s(493)
2.43/2.50	s(496) =< s(491)
2.43/2.50	s(497) =< s(494)*s(488)
2.43/2.50	s(498) =< s(489)
2.43/2.50	s(499) =< s(498)*s(482)
2.43/2.50	
2.43/2.50	  with precondition: [V_GH_cctk_lsh_2=1,V_GH_cctk_lsh_1>=2,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [69]: 2*s(501)+1*s(502)+0
2.43/2.50	  Such that:s(500) =< V_GH_cctk_lsh_2
2.43/2.50	s(501) =< V_num_vars
2.43/2.50	s(502) =< s(501)*s(500)
2.43/2.50	
2.43/2.50	  with precondition: [0>=V_GH_cctk_lsh_1,V_GH_cctk_lsh_2>=2,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [68]: 1*s(503)+0
2.43/2.50	  Such that:s(503) =< V_num_vars
2.43/2.50	
2.43/2.50	  with precondition: [0>=V_GH_cctk_lsh_2,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	* Chain [67]: 0
2.43/2.50	  with precondition: [0>=V_num_vars] 
2.43/2.50	
2.43/2.50	* Chain [66]: 9*s(510)+12*s(519)+24*s(526)+2*s(527)+2*s(528)+2*s(529)+6*s(530)+1*s(531)+21*s(533)+3*s(534)+2*s(538)+2*s(539)+2*s(540)+1*s(541)+3*s(542)+3*s(543)+6*s(544)+12*s(549)+2*s(550)+2*s(551)+2*s(552)+3*s(553)+1*s(554)+1*s(555)+0
2.43/2.50	  Such that:s(504) =< 2
2.43/2.50	s(505) =< V_GH_cctk_lsh_0
2.43/2.50	s(506) =< V_GH_cctk_lsh_1
2.43/2.50	s(507) =< V_GH_cctk_lsh_2
2.43/2.50	s(508) =< V_num_vars
2.43/2.50	s(509) =< s(504)
2.43/2.50	s(510) =< s(508)
2.43/2.50	s(511) =< s(507)
2.43/2.50	s(512) =< s(506)
2.43/2.50	s(513) =< s(505)
2.43/2.50	s(509) =< s(505)
2.43/2.50	s(514) =< s(510)*s(507)
2.43/2.50	s(515) =< s(510)*s(511)
2.43/2.50	s(516) =< s(510)*s(512)
2.43/2.50	s(517) =< s(510)*s(513)
2.43/2.50	s(518) =< s(504)
2.43/2.50	s(518) =< s(509)
2.43/2.50	s(519) =< s(515)
2.43/2.50	s(520) =< s(512)
2.43/2.50	s(521) =< s(518)
2.43/2.50	s(522) =< s(519)*s(512)
2.43/2.50	s(523) =< s(519)*s(520)
2.43/2.50	s(524) =< s(519)*s(521)
2.43/2.50	s(525) =< s(504)
2.43/2.50	s(525) =< s(521)
2.43/2.50	s(526) =< s(523)
2.43/2.50	s(527) =< s(526)*s(525)
2.43/2.50	s(528) =< s(524)
2.43/2.50	s(529) =< s(526)*s(521)
2.43/2.50	s(530) =< s(522)
2.43/2.50	s(531) =< s(530)*s(518)
2.43/2.50	s(532) =< s(504)
2.43/2.50	s(532) =< s(509)
2.43/2.50	s(532) =< s(518)
2.43/2.50	s(533) =< s(516)
2.43/2.50	s(534) =< s(533)*s(532)
2.43/2.50	s(535) =< s(513)
2.43/2.50	s(536) =< s(519)*s(535)
2.43/2.50	s(537) =< s(504)
2.43/2.50	s(537) =< s(535)
2.43/2.50	s(538) =< s(526)*s(537)
2.43/2.50	s(539) =< s(536)
2.43/2.50	s(540) =< s(526)*s(535)
2.43/2.50	s(541) =< s(530)*s(513)
2.43/2.50	s(542) =< s(517)
2.43/2.50	s(543) =< s(533)*s(513)
2.43/2.50	s(544) =< s(514)
2.43/2.50	s(545) =< s(544)*s(506)
2.43/2.50	s(546) =< s(544)*s(512)
2.43/2.50	s(547) =< s(544)*s(513)
2.43/2.50	s(548) =< s(504)
2.43/2.50	s(548) =< s(513)
2.43/2.50	s(549) =< s(546)
2.43/2.50	s(550) =< s(549)*s(548)
2.43/2.50	s(551) =< s(547)
2.43/2.50	s(552) =< s(549)*s(513)
2.43/2.50	s(553) =< s(545)
2.43/2.50	s(554) =< s(553)*s(505)
2.43/2.50	s(555) =< s(533)*s(505)
2.43/2.50	
2.43/2.50	  with precondition: [V_GH_cctk_lsh_1>=2,V_GH_cctk_lsh_2>=2,V_num_vars>=1] 
2.43/2.50	
2.43/2.50	
2.43/2.50	Closed-form bounds of eval_ApplyBndRobin_start(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_first_var,V_num_vars,B): 
2.43/2.50	-------------------------------------
2.43/2.50	* Chain [73] with precondition: [V_GH_cctk_lsh_1=1,V_GH_cctk_lsh_2=1,V_num_vars>=1] 
2.43/2.50	    - Upper bound: nat(V_GH_cctk_lsh_0)*3*V_num_vars+9*V_num_vars 
2.43/2.50	    - Complexity: n^2 
2.43/2.50	* Chain [72] with precondition: [V_GH_cctk_lsh_1=1,V_GH_cctk_lsh_2>=2,V_num_vars>=1] 
2.43/2.50	    - Upper bound: nat(V_GH_cctk_lsh_0)*4*V_GH_cctk_lsh_2*V_num_vars+nat(V_GH_cctk_lsh_0)*3*V_num_vars+22*V_GH_cctk_lsh_2*V_num_vars+9*V_num_vars 
2.43/2.50	    - Complexity: n^3 
2.43/2.50	* Chain [71] with precondition: [V_GH_cctk_lsh_2=1,0>=V_GH_cctk_lsh_1,V_num_vars>=1] 
2.43/2.50	    - Upper bound: 2*V_num_vars 
2.43/2.50	    - Complexity: n 
2.43/2.50	* Chain [70] with precondition: [V_GH_cctk_lsh_2=1,V_GH_cctk_lsh_1>=2,V_num_vars>=1] 
2.43/2.50	    - Upper bound: nat(V_GH_cctk_lsh_0)*4*V_GH_cctk_lsh_1*V_num_vars+nat(V_GH_cctk_lsh_0)*3*V_num_vars+27*V_GH_cctk_lsh_1*V_num_vars+9*V_num_vars 
2.43/2.50	    - Complexity: n^3 
2.43/2.50	* Chain [69] with precondition: [0>=V_GH_cctk_lsh_1,V_GH_cctk_lsh_2>=2,V_num_vars>=1] 
2.43/2.50	    - Upper bound: 2*V_num_vars+V_num_vars*V_GH_cctk_lsh_2 
2.43/2.50	    - Complexity: n^2 
2.43/2.50	* Chain [68] with precondition: [0>=V_GH_cctk_lsh_2,V_num_vars>=1] 
2.43/2.50	    - Upper bound: V_num_vars 
2.43/2.50	    - Complexity: n 
2.43/2.50	* Chain [67] with precondition: [0>=V_num_vars] 
2.43/2.50	    - Upper bound: 0 
2.43/2.50	    - Complexity: constant 
2.43/2.50	* Chain [66] with precondition: [V_GH_cctk_lsh_1>=2,V_GH_cctk_lsh_2>=2,V_num_vars>=1] 
2.43/2.50	    - Upper bound: nat(V_GH_cctk_lsh_0)*6*V_GH_cctk_lsh_1*V_GH_cctk_lsh_2*V_num_vars+nat(V_GH_cctk_lsh_0)*4*V_GH_cctk_lsh_1*V_num_vars+nat(V_GH_cctk_lsh_0)*4*V_GH_cctk_lsh_2*V_num_vars+nat(V_GH_cctk_lsh_0)*3*V_num_vars+63*V_GH_cctk_lsh_1*V_GH_cctk_lsh_2*V_num_vars+27*V_GH_cctk_lsh_1*V_num_vars+22*V_GH_cctk_lsh_2*V_num_vars+9*V_num_vars 
2.43/2.50	    - Complexity: n^4 
2.43/2.50	
2.43/2.50	### Maximum cost of eval_ApplyBndRobin_start(V_GH_cctk_lsh_0,V_GH_cctk_lsh_1,V_GH_cctk_lsh_2,V_first_var,V_num_vars,B): nat(V_num_vars)+max([nat(V_num_vars)*nat(V_GH_cctk_lsh_2),nat(V_GH_cctk_lsh_0)*3*nat(V_num_vars)+nat(V_num_vars)*7+max([nat(V_GH_cctk_lsh_0)*4*nat(V_GH_cctk_lsh_2)*nat(V_num_vars)+nat(V_GH_cctk_lsh_2)*22*nat(V_num_vars),nat(V_GH_cctk_lsh_0)*6*nat(V_GH_cctk_lsh_1)*nat(V_GH_cctk_lsh_2)*nat(V_num_vars)+nat(V_GH_cctk_lsh_0)*4*nat(V_GH_cctk_lsh_2)*nat(V_num_vars)+nat(V_GH_cctk_lsh_1)*63*nat(V_GH_cctk_lsh_2)*nat(V_num_vars)+nat(V_GH_cctk_lsh_2)*22*nat(V_num_vars)+(nat(V_GH_cctk_lsh_0)*4*nat(V_GH_cctk_lsh_1)*nat(V_num_vars)+nat(V_GH_cctk_lsh_1)*27*nat(V_num_vars))])])+nat(V_num_vars) 
2.43/2.50	Asymptotic class: n^4 
2.43/2.50	* Total analysis performed in 2240 ms.
2.43/2.50	
2.52/2.60	EOF