%------------------------------------------------------------------------------ % File : SPASS-SCL---0.1 % Problem : SYN872-1 : TPTP v9.2.1. Released v2.5.0. % Transfm : none % Format : tptp % Command : /export/starexec/sandbox2/solver/bin/execute.py 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % Computer : n015.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 300s % DateTime : Thu May 7 07:40:21 PM UTC 2026 % Result : Satisfiable 1.91s 0.91s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.11 % Problem : SYN872-1 : TPTP v9.2.1. Released v2.5.0. % 0.00/0.12 % Command : /export/starexec/sandbox2/solver/bin/execute.py 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.14/0.33 % Computer : n015.cluster.edu % 0.14/0.33 % Model : x86_64 x86_64 % 0.14/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.33 % Memory : 8042.1875MB % 0.14/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.33 % CPULimit : 300 % 0.14/0.33 % WCLimit : 300 % 0.14/0.33 % DateTime : Thu May 7 13:50:17 EDT 2026 % 0.14/0.33 % CPUTime : % 0.14/0.33 SPASS-SCL-FOL version: % 0.18/0.42 SPASS-SCL-FOL 0.1 (595c0c7b1) [parallel mode] % 1.91/0.90 Starting: ./SPASS-SCL-FOL --heuristics_normal -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.91/0.90 Starting: ./SPASS-SCL-FOL --heuristics_resolution_1 -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.91/0.90 Starting: ./SPASS-SCL-FOL --heuristics_resolution_2 -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.91/0.90 Starting: ./SPASS-SCL-FOL --heuristics_resolution_3 -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.91/0.90 Starting: ./SPASS-SCL-FOL --heuristics_lmodel_grow -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.91/0.90 Execution lmodel_grow ended with status: satisfiable % 1.91/0.90 Used heuristic: lmodel_grow % 1.91/0.90 % 1.91/0.90 Input Clauses: % 1.91/0.90 % 1.91/0.90 Predicates: ssNder1_0 ssNder1_1r1 ssNder1_2r1r1 ssNder1_3r1r1r1 ssNder1_4r1r1r1r1 ssNder1_5r1r1r1r1r1 ssNder1_6r1r1r1r1r1r1 ssNder1_7r1r1r1r1r1r1r1 ssNder1_8r1r1r1r1r1r1r1r1 ssPv48_9r1r1r1r1r1r1r1r1r1 ssNder1_9r1r1r1r1r1r1r1r1r1 ssNder1_10r1r1r1r1r1r1r1r1r1r1 ssNder1_11r1r1r1r1r1r1r1r1r1r1r1 ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1 ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv56_1r1 ssNder1_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv21_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv54_3r1r1r1 ssNder1_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_40r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv18_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv23_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv17_40r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv51_6r1r1r1r1r1r1 ssNder1_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv55_2r1r1 ssPv20_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv35_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv50_7r1r1r1r1r1r1r1 ssNder1_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv8_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv52_5r1r1r1r1r1 ssNder1_51r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv49_8r1r1r1r1r1r1r1r1 ssPv19_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_52r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv5_52r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv4_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv40_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssNder1_55r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv3_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv1_56r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ssPv53_4r1r1r1r1 % 1.91/0.90 Fol Constants: skc74 skc75 skc72 skc73 skc70 skc71 skc68 skc69 skc66 skc67 skc64 skc65 skc62 skc63 skc60 skc61 skc58 skc59 skc56 skc57 skc54 skc55 skc52 skc53 skc50 skc51 skc48 skc49 skc46 skc47 skc44 skc45 skc42 skc43 skc40 skc41 skc38 skc39 % 1.91/0.90 Fol Functions: % 1.91/0.90 Problem Properties: % 1.91/0.90 This is a Bernays Schoenfinkel problem. % 1.91/0.90 % 1.91/0.90 After reduction: Problem Properties: % 1.91/0.90 This is a Bernays Schoenfinkel problem. % 1.91/0.90 % 1.91/0.90 % 1.91/0.90 Reduced Input Clauses: % 1.91/0.90 115:1:1:[1.0,2.0]:Top: -> ssNder1_1r1(x0) % 1.91/0.90 117:1:2:[115.1,3.0,1.0,116.1]:TopTop: -> ssNder1_2r1r1(x0,x1) % 1.91/0.90 120:1:3:[117.2,4.0,115.1,118.1,1.0,119.2]:TopTopTop: -> ssNder1_3r1r1r1(x0,x1,x2) % 1.91/0.90 124:1:4:[120.3,5.0,117.2,121.1,115.1,122.2,1.0,123.3]:TopTopTopTop: -> ssNder1_4r1r1r1r1(x0,x1,x2,x3) % 1.91/0.90 129:1:5:[124.4,6.0,120.3,125.1,117.2,126.2,115.1,127.3,1.0,128.4]:TopTopTopTopTop: -> ssNder1_5r1r1r1r1r1(x0,x1,x2,x3,x4) % 1.91/0.90 135:1:6:[129.5,7.0,124.4,130.1,120.3,131.2,117.2,132.3,115.1,133.4,1.0,134.5]:TopTopTopTopTopTop: -> ssNder1_6r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5) % 1.91/0.90 142:1:7:[135.6,8.0,129.5,136.1,124.4,137.2,120.3,138.3,117.2,139.4,115.1,140.5,1.0,141.6]:TopTopTopTopTopTopTop: -> ssNder1_7r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6) % 1.91/0.90 150:1:8:[142.7,9.0,135.6,143.1,129.5,144.2,124.4,145.3,120.3,146.4,117.2,147.5,115.1,148.6,1.0,149.7]:TopTopTopTopTopTopTopTop: -> ssNder1_8r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7) % 1.91/0.90 158:1:8:[142.7,10.0,135.6,151.1,129.5,152.2,124.4,153.3,120.3,154.4,117.2,155.5,115.1,156.6,1.0,157.7]:TopTopTopTopTopTopTopTop: -> ssPv48_9r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,skc74) % 1.91/0.90 166:1:8:[142.7,11.1,135.6,159.2,129.5,160.3,124.4,161.4,120.3,162.5,117.2,163.6,115.1,164.7,1.0,165.8]:TopTopTopTopTopTopTopTop: ssPv48_9r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,skc75) -> % 1.91/0.90 175:1:9:[150.8,12.0,142.7,167.1,135.6,168.2,129.5,169.3,124.4,170.4,120.3,171.5,117.2,172.6,115.1,173.7,1.0,174.8]:TopTopTopTopTopTopTopTopTop: -> ssNder1_9r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8) % 1.91/0.90 185:1:10:[175.9,13.0,150.8,176.1,142.7,177.2,135.6,178.3,129.5,179.4,124.4,180.5,120.3,181.6,117.2,182.7,115.1,183.8,1.0,184.9]:TopTopTopTopTopTopTopTopTopTop: -> ssNder1_10r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) % 1.91/0.90 196:1:11:[185.10,14.0,175.9,186.1,150.8,187.2,142.7,188.3,135.6,189.4,129.5,190.5,124.4,191.6,120.3,192.7,117.2,193.8,115.1,194.9,1.0,195.10]:TopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_11r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) % 1.91/0.90 207:1:11:[185.10,15.0,175.9,197.1,150.8,198.2,142.7,199.3,135.6,200.4,129.5,201.5,124.4,202.6,120.3,203.7,117.2,204.8,115.1,205.9,1.0,206.10]:TopTopTopTopTopTopTopTopTopTopTop: -> ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,skc72) % 1.91/0.90 218:1:11:[185.10,16.1,175.9,208.2,150.8,209.3,142.7,210.4,135.6,211.5,129.5,212.6,124.4,213.7,120.3,214.8,117.2,215.9,115.1,216.10,1.0,217.11]:TopTopTopTopTopTopTopTopTopTopTop: ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,skc73) -> % 1.91/0.90 230:1:12:[196.11,17.0,185.10,219.1,175.9,220.2,150.8,221.3,142.7,222.4,135.6,223.5,129.5,224.6,124.4,225.7,120.3,226.8,117.2,227.9,115.1,228.10,1.0,229.11]:TopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) % 1.91/0.90 242:1:12:[196.11,18.0,185.10,231.1,175.9,232.2,150.8,233.3,142.7,234.4,135.6,235.5,129.5,236.6,124.4,237.7,120.3,238.8,117.2,239.9,115.1,240.10,1.0,241.11]:TopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,skc70) % 1.91/0.90 254:1:12:[196.11,19.1,185.10,243.2,175.9,244.3,150.8,245.4,142.7,246.5,135.6,247.6,129.5,248.7,124.4,249.8,120.3,250.9,117.2,251.10,115.1,252.11,1.0,253.12]:TopTopTopTopTopTopTopTopTopTopTopTop: ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,skc71) -> % 1.91/0.90 267:1:13:[230.12,20.0,196.11,255.1,185.10,256.2,175.9,257.3,150.8,258.4,142.7,259.5,135.6,260.6,129.5,261.7,124.4,262.8,120.3,263.9,117.2,264.10,115.1,265.11,1.0,266.12]:TopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) % 1.91/0.90 280:1:13:[230.12,21.0,196.11,268.1,185.10,269.2,175.9,270.3,150.8,271.4,142.7,272.5,135.6,273.6,129.5,274.7,124.4,275.8,120.3,276.9,117.2,277.10,115.1,278.11,1.0,279.12]:TopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,skc68) % 1.91/0.90 293:1:13:[230.12,22.1,196.11,281.2,185.10,282.3,175.9,283.4,150.8,284.5,142.7,285.6,135.6,286.7,129.5,287.8,124.4,288.9,120.3,289.10,117.2,290.11,115.1,291.12,1.0,292.13]:TopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,skc69) -> % 1.91/0.90 307:1:14:[267.13,23.0,230.12,294.1,196.11,295.2,185.10,296.3,175.9,297.4,150.8,298.5,142.7,299.6,135.6,300.7,129.5,301.8,124.4,302.9,120.3,303.10,117.2,304.11,115.1,305.12,1.0,306.13]:TopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13) % 1.91/0.90 321:1:14:[267.13,24.0,230.12,308.1,196.11,309.2,185.10,310.3,175.9,311.4,150.8,312.5,142.7,313.6,135.6,314.7,129.5,315.8,124.4,316.9,120.3,317.10,117.2,318.11,115.1,319.12,1.0,320.13]:TopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,skc66) % 1.91/0.90 335:1:14:[267.13,25.1,230.12,322.2,196.11,323.3,185.10,324.4,175.9,325.5,150.8,326.6,142.7,327.7,135.6,328.8,129.5,329.9,124.4,330.10,120.3,331.11,117.2,332.12,115.1,333.13,1.0,334.14]:TopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,skc67) -> % 1.91/0.90 350:1:15:[307.14,26.0,267.13,336.1,230.12,337.2,196.11,338.3,185.10,339.4,175.9,340.5,150.8,341.6,142.7,342.7,135.6,343.8,129.5,344.9,124.4,345.10,120.3,346.11,117.2,347.12,115.1,348.13,1.0,349.14]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14) % 1.91/0.90 365:1:15:[307.14,27.0,267.13,351.1,230.12,352.2,196.11,353.3,185.10,354.4,175.9,355.5,150.8,356.6,142.7,357.7,135.6,358.8,129.5,359.9,124.4,360.10,120.3,361.11,117.2,362.12,115.1,363.13,1.0,364.14]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,skc64) % 1.91/0.90 380:1:15:[307.14,28.1,267.13,366.2,230.12,367.3,196.11,368.4,185.10,369.5,175.9,370.6,150.8,371.7,142.7,372.8,135.6,373.9,129.5,374.10,124.4,375.11,120.3,376.12,117.2,377.13,115.1,378.14,1.0,379.15]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,skc65) -> % 1.91/0.90 396:1:16:[350.15,29.0,307.14,381.1,267.13,382.2,230.12,383.3,196.11,384.4,185.10,385.5,175.9,386.6,150.8,387.7,142.7,388.8,135.6,389.9,129.5,390.10,124.4,391.11,120.3,392.12,117.2,393.13,115.1,394.14,1.0,395.15]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15) % 1.91/0.90 413:1:17:[396.16,30.0,350.15,397.1,307.14,398.2,267.13,399.3,230.12,400.4,196.11,401.5,185.10,402.6,175.9,403.7,150.8,404.8,142.7,405.9,135.6,406.10,129.5,407.11,124.4,408.12,120.3,409.13,117.2,410.14,115.1,411.15,1.0,412.16]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16) % 1.91/0.90 431:1:18:[413.17,31.0,396.16,414.1,350.15,415.2,307.14,416.3,267.13,417.4,230.12,418.5,196.11,419.6,185.10,420.7,175.9,421.8,150.8,422.9,142.7,423.10,135.6,424.11,129.5,425.12,124.4,426.13,120.3,427.14,117.2,428.15,115.1,429.16,1.0,430.17]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17) % 1.91/0.90 450:1:19:[431.18,32.0,413.17,432.1,396.16,433.2,350.15,434.3,307.14,435.4,267.13,436.5,230.12,437.6,196.11,438.7,185.10,439.8,175.9,440.9,150.8,441.10,142.7,442.11,135.6,443.12,129.5,444.13,124.4,445.14,120.3,446.15,117.2,447.16,115.1,448.17,1.0,449.18]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18) % 1.91/0.90 470:1:20:[450.19,33.0,431.18,451.1,413.17,452.2,396.16,453.3,350.15,454.4,307.14,455.5,267.13,456.6,230.12,457.7,196.11,458.8,185.10,459.9,175.9,460.10,150.8,461.11,142.7,462.12,135.6,463.13,129.5,464.14,124.4,465.15,120.3,466.16,117.2,467.17,115.1,468.18,1.0,469.19]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19) % 1.91/0.90 491:1:21:[470.20,34.0,450.19,471.1,431.18,472.2,413.17,473.3,396.16,474.4,350.15,475.5,307.14,476.6,267.13,477.7,230.12,478.8,196.11,479.9,185.10,480.10,175.9,481.11,150.8,482.12,142.7,483.13,135.6,484.14,129.5,485.15,124.4,486.16,120.3,487.17,117.2,488.18,115.1,489.19,1.0,490.20]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20) % 1.91/0.90 513:1:22:[491.21,35.0,470.20,492.1,450.19,493.2,431.18,494.3,413.17,495.4,396.16,496.5,350.15,497.6,307.14,498.7,267.13,499.8,230.12,500.9,196.11,501.10,185.10,502.11,175.9,503.12,150.8,504.13,142.7,505.14,135.6,506.15,129.5,507.16,124.4,508.17,120.3,509.18,117.2,510.19,115.1,511.20,1.0,512.21]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21) % 1.91/0.90 536:1:23:[513.22,36.0,491.21,514.1,470.20,515.2,450.19,516.3,431.18,517.4,413.17,518.5,396.16,519.6,350.15,520.7,307.14,521.8,267.13,522.9,230.12,523.10,196.11,524.11,185.10,525.12,175.9,526.13,150.8,527.14,142.7,528.15,135.6,529.16,129.5,530.17,124.4,531.18,120.3,532.19,117.2,533.20,115.1,534.21,1.0,535.22]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22) % 1.91/0.90 560:1:24:[536.23,37.0,513.22,537.1,491.21,538.2,470.20,539.3,450.19,540.4,431.18,541.5,413.17,542.6,396.16,543.7,350.15,544.8,307.14,545.9,267.13,546.10,230.12,547.11,196.11,548.12,185.10,549.13,175.9,550.14,150.8,551.15,142.7,552.16,135.6,553.17,129.5,554.18,124.4,555.19,120.3,556.20,117.2,557.21,115.1,558.22,1.0,559.23]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23) % 1.91/0.90 584:1:24:[536.23,38.0,513.22,561.1,491.21,562.2,470.20,563.3,450.19,564.4,431.18,565.5,413.17,566.6,396.16,567.7,350.15,568.8,307.14,569.9,267.13,570.10,230.12,571.11,196.11,572.12,185.10,573.13,175.9,574.14,150.8,575.15,142.7,576.16,135.6,577.17,129.5,578.18,124.4,579.19,120.3,580.20,117.2,581.21,115.1,582.22,1.0,583.23]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,skc62) % 1.91/0.90 608:1:24:[536.23,39.1,513.22,585.2,491.21,586.3,470.20,587.4,450.19,588.5,431.18,589.6,413.17,590.7,396.16,591.8,350.15,592.9,307.14,593.10,267.13,594.11,230.12,595.12,196.11,596.13,185.10,597.14,175.9,598.15,150.8,599.16,142.7,600.17,135.6,601.18,129.5,602.19,124.4,603.20,120.3,604.21,117.2,605.22,115.1,606.23,1.0,607.24]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,skc63) -> % 1.91/0.90 633:1:25:[560.24,40.0,536.23,609.1,513.22,610.2,491.21,611.3,470.20,612.4,450.19,613.5,431.18,614.6,413.17,615.7,396.16,616.8,350.15,617.9,307.14,618.10,267.13,619.11,230.12,620.12,196.11,621.13,185.10,622.14,175.9,623.15,150.8,624.16,142.7,625.17,135.6,626.18,129.5,627.19,124.4,628.20,120.3,629.21,117.2,630.22,115.1,631.23,1.0,632.24]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24) % 1.91/0.90 658:1:25:[560.24,41.0,536.23,634.1,513.22,635.2,491.21,636.3,470.20,637.4,450.19,638.5,431.18,639.6,413.17,640.7,396.16,641.8,350.15,642.9,307.14,643.10,267.13,644.11,230.12,645.12,196.11,646.13,185.10,647.14,175.9,648.15,150.8,649.16,142.7,650.17,135.6,651.18,129.5,652.19,124.4,653.20,120.3,654.21,117.2,655.22,115.1,656.23,1.0,657.24]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,skc60) % 1.91/0.90 683:1:25:[560.24,42.1,536.23,659.2,513.22,660.3,491.21,661.4,470.20,662.5,450.19,663.6,431.18,664.7,413.17,665.8,396.16,666.9,350.15,667.10,307.14,668.11,267.13,669.12,230.12,670.13,196.11,671.14,185.10,672.15,175.9,673.16,150.8,674.17,142.7,675.18,135.6,676.19,129.5,677.20,124.4,678.21,120.3,679.22,117.2,680.23,115.1,681.24,1.0,682.25]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,skc61) -> % 1.91/0.90 709:1:26:[633.25,43.0,560.24,684.1,536.23,685.2,513.22,686.3,491.21,687.4,470.20,688.5,450.19,689.6,431.18,690.7,413.17,691.8,396.16,692.9,350.15,693.10,307.14,694.11,267.13,695.12,230.12,696.13,196.11,697.14,185.10,698.15,175.9,699.16,150.8,700.17,142.7,701.18,135.6,702.19,129.5,703.20,124.4,704.21,120.3,705.22,117.2,706.23,115.1,707.24,1.0,708.25]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25) % 1.91/0.90 735:1:26:[633.25,44.0,560.24,710.1,536.23,711.2,513.22,712.3,491.21,713.4,470.20,714.5,450.19,715.6,431.18,716.7,413.17,717.8,396.16,718.9,350.15,719.10,307.14,720.11,267.13,721.12,230.12,722.13,196.11,723.14,185.10,724.15,175.9,725.16,150.8,726.17,142.7,727.18,135.6,728.19,129.5,729.20,124.4,730.21,120.3,731.22,117.2,732.23,115.1,733.24,1.0,734.25]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,skc58) % 1.91/0.90 761:1:26:[633.25,45.1,560.24,736.2,536.23,737.3,513.22,738.4,491.21,739.5,470.20,740.6,450.19,741.7,431.18,742.8,413.17,743.9,396.16,744.10,350.15,745.11,307.14,746.12,267.13,747.13,230.12,748.14,196.11,749.15,185.10,750.16,175.9,751.17,150.8,752.18,142.7,753.19,135.6,754.20,129.5,755.21,124.4,756.22,120.3,757.23,117.2,758.24,115.1,759.25,1.0,760.26]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,skc59) -> % 1.91/0.90 788:1:27:[709.26,46.0,633.25,762.1,560.24,763.2,536.23,764.3,513.22,765.4,491.21,766.5,470.20,767.6,450.19,768.7,431.18,769.8,413.17,770.9,396.16,771.10,350.15,772.11,307.14,773.12,267.13,774.13,230.12,775.14,196.11,776.15,185.10,777.16,175.9,778.17,150.8,779.18,142.7,780.19,135.6,781.20,129.5,782.21,124.4,783.22,120.3,784.23,117.2,785.24,115.1,786.25,1.0,787.26]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26) % 1.91/0.90 816:1:28:[788.27,47.0,709.26,789.1,633.25,790.2,560.24,791.3,536.23,792.4,513.22,793.5,491.21,794.6,470.20,795.7,450.19,796.8,431.18,797.9,413.17,798.10,396.16,799.11,350.15,800.12,307.14,801.13,267.13,802.14,230.12,803.15,196.11,804.16,185.10,805.17,175.9,806.18,150.8,807.19,142.7,808.20,135.6,809.21,129.5,810.22,124.4,811.23,120.3,812.24,117.2,813.25,115.1,814.26,1.0,815.27]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27) % 1.91/0.90 844:1:28:[788.27,48.0,709.26,817.1,633.25,818.2,560.24,819.3,536.23,820.4,513.22,821.5,491.21,822.6,470.20,823.7,450.19,824.8,431.18,825.9,413.17,826.10,396.16,827.11,350.15,828.12,307.14,829.13,267.13,830.14,230.12,831.15,196.11,832.16,185.10,833.17,175.9,834.18,150.8,835.19,142.7,836.20,135.6,837.21,129.5,838.22,124.4,839.23,120.3,840.24,117.2,841.25,115.1,842.26,1.0,843.27]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,skc56) % 1.91/0.90 872:1:28:[788.27,49.1,709.26,845.2,633.25,846.3,560.24,847.4,536.23,848.5,513.22,849.6,491.21,850.7,470.20,851.8,450.19,852.9,431.18,853.10,413.17,854.11,396.16,855.12,350.15,856.13,307.14,857.14,267.13,858.15,230.12,859.16,196.11,860.17,185.10,861.18,175.9,862.19,150.8,863.20,142.7,864.21,135.6,865.22,129.5,866.23,124.4,867.24,120.3,868.25,117.2,869.26,115.1,870.27,1.0,871.28]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,skc57) -> % 1.91/0.90 901:1:29:[816.28,50.0,788.27,873.1,709.26,874.2,633.25,875.3,560.24,876.4,536.23,877.5,513.22,878.6,491.21,879.7,470.20,880.8,450.19,881.9,431.18,882.10,413.17,883.11,396.16,884.12,350.15,885.13,307.14,886.14,267.13,887.15,230.12,888.16,196.11,889.17,185.10,890.18,175.9,891.19,150.8,892.20,142.7,893.21,135.6,894.22,129.5,895.23,124.4,896.24,120.3,897.25,117.2,898.26,115.1,899.27,1.0,900.28]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28) % 1.91/0.90 930:1:29:[816.28,51.0,788.27,902.1,709.26,903.2,633.25,904.3,560.24,905.4,536.23,906.5,513.22,907.6,491.21,908.7,470.20,909.8,450.19,910.9,431.18,911.10,413.17,912.11,396.16,913.12,350.15,914.13,307.14,915.14,267.13,916.15,230.12,917.16,196.11,918.17,185.10,919.18,175.9,920.19,150.8,921.20,142.7,922.21,135.6,923.22,129.5,924.23,124.4,925.24,120.3,926.25,117.2,927.26,115.1,928.27,1.0,929.28]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,skc54) % 1.91/0.90 959:1:29:[816.28,52.1,788.27,931.2,709.26,932.3,633.25,933.4,560.24,934.5,536.23,935.6,513.22,936.7,491.21,937.8,470.20,938.9,450.19,939.10,431.18,940.11,413.17,941.12,396.16,942.13,350.15,943.14,307.14,944.15,267.13,945.16,230.12,946.17,196.11,947.18,185.10,948.19,175.9,949.20,150.8,950.21,142.7,951.22,135.6,952.23,129.5,953.24,124.4,954.25,120.3,955.26,117.2,956.27,115.1,957.28,1.0,958.29]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,skc55) -> % 1.91/0.90 989:1:30:[901.29,53.0,816.28,960.1,788.27,961.2,709.26,962.3,633.25,963.4,560.24,964.5,536.23,965.6,513.22,966.7,491.21,967.8,470.20,968.9,450.19,969.10,431.18,970.11,413.17,971.12,396.16,972.13,350.15,973.14,307.14,974.15,267.13,975.16,230.12,976.17,196.11,977.18,185.10,978.19,175.9,979.20,150.8,980.21,142.7,981.22,135.6,982.23,129.5,983.24,124.4,984.25,120.3,985.26,117.2,986.27,115.1,987.28,1.0,988.29]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29) % 1.91/0.90 1019:1:30:[901.29,54.0,816.28,990.1,788.27,991.2,709.26,992.3,633.25,993.4,560.24,994.5,536.23,995.6,513.22,996.7,491.21,997.8,470.20,998.9,450.19,999.10,431.18,1000.11,413.17,1001.12,396.16,1002.13,350.15,1003.14,307.14,1004.15,267.13,1005.16,230.12,1006.17,196.11,1007.18,185.10,1008.19,175.9,1009.20,150.8,1010.21,142.7,1011.22,135.6,1012.23,129.5,1013.24,124.4,1014.25,120.3,1015.26,117.2,1016.27,115.1,1017.28,1.0,1018.29]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,skc52) % 1.91/0.90 1049:1:30:[901.29,55.1,816.28,1020.2,788.27,1021.3,709.26,1022.4,633.25,1023.5,560.24,1024.6,536.23,1025.7,513.22,1026.8,491.21,1027.9,470.20,1028.10,450.19,1029.11,431.18,1030.12,413.17,1031.13,396.16,1032.14,350.15,1033.15,307.14,1034.16,267.13,1035.17,230.12,1036.18,196.11,1037.19,185.10,1038.20,175.9,1039.21,150.8,1040.22,142.7,1041.23,135.6,1042.24,129.5,1043.25,124.4,1044.26,120.3,1045.27,117.2,1046.28,115.1,1047.29,1.0,1048.30]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,skc53) -> % 1.91/0.90 1080:1:31:[989.30,56.0,901.29,1050.1,816.28,1051.2,788.27,1052.3,709.26,1053.4,633.25,1054.5,560.24,1055.6,536.23,1056.7,513.22,1057.8,491.21,1058.9,470.20,1059.10,450.19,1060.11,431.18,1061.12,413.17,1062.13,396.16,1063.14,350.15,1064.15,307.14,1065.16,267.13,1066.17,230.12,1067.18,196.11,1068.19,185.10,1069.20,175.9,1070.21,150.8,1071.22,142.7,1072.23,135.6,1073.24,129.5,1074.25,124.4,1075.26,120.3,1076.27,117.2,1077.28,115.1,1078.29,1.0,1079.30]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30) % 1.91/0.90 1112:1:32:[1080.31,57.0,989.30,1081.1,901.29,1082.2,816.28,1083.3,788.27,1084.4,709.26,1085.5,633.25,1086.6,560.24,1087.7,536.23,1088.8,513.22,1089.9,491.21,1090.10,470.20,1091.11,450.19,1092.12,431.18,1093.13,413.17,1094.14,396.16,1095.15,350.15,1096.16,307.14,1097.17,267.13,1098.18,230.12,1099.19,196.11,1100.20,185.10,1101.21,175.9,1102.22,150.8,1103.23,142.7,1104.24,135.6,1105.25,129.5,1106.26,124.4,1107.27,120.3,1108.28,117.2,1109.29,115.1,1110.30,1.0,1111.31]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31) % 1.91/0.90 1143:4:31:[989.30,58.0,901.29,1113.1,816.28,1114.2,788.27,1115.3,709.26,1116.4,633.25,1117.5,560.24,1118.6,536.23,1119.7,513.22,1120.8,491.21,1121.9,470.20,1122.11,450.19,1123.12,431.18,1124.13,413.17,1125.14,396.16,1126.15,350.15,1127.16,307.14,1128.17,267.13,1129.18,230.12,1130.20,196.11,1131.21,185.10,1132.22,175.9,1133.23,150.8,1134.24,142.7,1135.25,135.6,1136.26,129.5,1137.27,124.4,1138.28,120.3,1139.29,117.2,1140.30,115.1,1141.31,1.0,1142.32]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19),ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30),ssPv56_1r1(x0) % 1.91/0.90 1176:1:33:[1112.32,59.0,1080.31,1144.1,989.30,1145.2,901.29,1146.3,816.28,1147.4,788.27,1148.5,709.26,1149.6,633.25,1150.7,560.24,1151.8,536.23,1152.9,513.22,1153.10,491.21,1154.11,470.20,1155.12,450.19,1156.13,431.18,1157.14,413.17,1158.15,396.16,1159.16,350.15,1160.17,307.14,1161.18,267.13,1162.19,230.12,1163.20,196.11,1164.21,185.10,1165.22,175.9,1166.23,150.8,1167.24,142.7,1168.25,135.6,1169.26,129.5,1170.27,124.4,1171.28,120.3,1172.29,117.2,1173.30,115.1,1174.31,1.0,1175.32]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32) % 1.91/0.90 1210:1:34:[1176.33,60.0,1112.32,1177.1,1080.31,1178.2,989.30,1179.3,901.29,1180.4,816.28,1181.5,788.27,1182.6,709.26,1183.7,633.25,1184.8,560.24,1185.9,536.23,1186.10,513.22,1187.11,491.21,1188.12,470.20,1189.13,450.19,1190.14,431.18,1191.15,413.17,1192.16,396.16,1193.17,350.15,1194.18,307.14,1195.19,267.13,1196.20,230.12,1197.21,196.11,1198.22,185.10,1199.23,175.9,1200.24,150.8,1201.25,142.7,1202.26,135.6,1203.27,129.5,1204.28,124.4,1205.29,120.3,1206.30,117.2,1207.31,115.1,1208.32,1.0,1209.33]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33) % 1.91/0.90 1245:1:35:[1210.34,61.0,1176.33,1211.1,1112.32,1212.2,1080.31,1213.3,989.30,1214.4,901.29,1215.5,816.28,1216.6,788.27,1217.7,709.26,1218.8,633.25,1219.9,560.24,1220.10,536.23,1221.11,513.22,1222.12,491.21,1223.13,470.20,1224.14,450.19,1225.15,431.18,1226.16,413.17,1227.17,396.16,1228.18,350.15,1229.19,307.14,1230.20,267.13,1231.21,230.12,1232.22,196.11,1233.23,185.10,1234.24,175.9,1235.25,150.8,1236.26,142.7,1237.27,135.6,1238.28,129.5,1239.29,124.4,1240.30,120.3,1241.31,117.2,1242.32,115.1,1243.33,1.0,1244.34]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34) % 1.91/0.90 1281:1:36:[1245.35,62.0,1210.34,1246.1,1176.33,1247.2,1112.32,1248.3,1080.31,1249.4,989.30,1250.5,901.29,1251.6,816.28,1252.7,788.27,1253.8,709.26,1254.9,633.25,1255.10,560.24,1256.11,536.23,1257.12,513.22,1258.13,491.21,1259.14,470.20,1260.15,450.19,1261.16,431.18,1262.17,413.17,1263.18,396.16,1264.19,350.15,1265.20,307.14,1266.21,267.13,1267.22,230.12,1268.23,196.11,1269.24,185.10,1270.25,175.9,1271.26,150.8,1272.27,142.7,1273.28,135.6,1274.29,129.5,1275.30,124.4,1276.31,120.3,1277.32,117.2,1278.33,115.1,1279.34,1.0,1280.35]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35) % 1.91/0.90 1316:4:35:[1210.34,63.0,1176.33,1282.2,1112.32,1283.3,1080.31,1284.4,989.30,1285.5,901.29,1286.6,816.28,1287.7,788.27,1288.8,709.26,1289.9,633.25,1290.10,560.24,1291.11,536.23,1292.12,513.22,1293.13,491.21,1294.14,470.20,1295.15,450.19,1296.17,431.18,1297.18,413.17,1298.19,396.16,1299.20,350.15,1300.21,307.14,1301.22,267.13,1302.23,230.12,1303.24,196.11,1304.25,185.10,1305.26,175.9,1306.27,150.8,1307.28,142.7,1308.29,135.6,1309.30,129.5,1310.31,124.4,1311.32,120.3,1312.33,117.2,1313.34,115.1,1314.35,1.0,1315.36]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34),ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18) -> ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25),ssPv48_9r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8) % 1.91/0.90 1352:4:36:[1245.35,64.0,1210.34,1317.2,1176.33,1318.3,1112.32,1319.4,1080.31,1320.5,989.30,1321.6,901.29,1322.7,816.28,1323.8,788.27,1324.9,709.26,1325.10,633.25,1326.11,560.24,1327.12,536.23,1328.13,513.22,1329.14,491.21,1330.15,470.20,1331.16,450.19,1332.17,431.18,1333.18,413.17,1334.19,396.16,1335.20,350.15,1336.21,307.14,1337.22,267.13,1338.23,230.12,1339.24,196.11,1340.25,185.10,1341.26,175.9,1342.28,150.8,1343.29,142.7,1344.30,135.6,1345.31,129.5,1346.32,124.4,1347.33,120.3,1348.34,117.2,1349.35,115.1,1350.36,1.0,1351.37]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv21_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35),ssPv48_9r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8) -> ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13),ssPv54_3r1r1r1(x0,x1,x2) % 1.91/0.90 1389:1:37:[1281.36,65.0,1245.35,1353.1,1210.34,1354.2,1176.33,1355.3,1112.32,1356.4,1080.31,1357.5,989.30,1358.6,901.29,1359.7,816.28,1360.8,788.27,1361.9,709.26,1362.10,633.25,1363.11,560.24,1364.12,536.23,1365.13,513.22,1366.14,491.21,1367.15,470.20,1368.16,450.19,1369.17,431.18,1370.18,413.17,1371.19,396.16,1372.20,350.15,1373.21,307.14,1374.22,267.13,1375.23,230.12,1376.24,196.11,1377.25,185.10,1378.26,175.9,1379.27,150.8,1380.28,142.7,1381.29,135.6,1382.30,129.5,1383.31,124.4,1384.32,120.3,1385.33,117.2,1386.34,115.1,1387.35,1.0,1388.36]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36) % 1.91/0.90 1427:1:38:[1389.37,66.0,1281.36,1390.1,1245.35,1391.2,1210.34,1392.3,1176.33,1393.4,1112.32,1394.5,1080.31,1395.6,989.30,1396.7,901.29,1397.8,816.28,1398.9,788.27,1399.10,709.26,1400.11,633.25,1401.12,560.24,1402.13,536.23,1403.14,513.22,1404.15,491.21,1405.16,470.20,1406.17,450.19,1407.18,431.18,1408.19,413.17,1409.20,396.16,1410.21,350.15,1411.22,307.14,1412.23,267.13,1413.24,230.12,1414.25,196.11,1415.26,185.10,1416.27,175.9,1417.28,150.8,1418.29,142.7,1419.30,135.6,1420.31,129.5,1421.32,124.4,1422.33,120.3,1423.34,117.2,1424.35,115.1,1425.36,1.0,1426.37]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37) % 1.91/0.90 1466:1:39:[1427.38,67.0,1389.37,1428.1,1281.36,1429.2,1245.35,1430.3,1210.34,1431.4,1176.33,1432.5,1112.32,1433.6,1080.31,1434.7,989.30,1435.8,901.29,1436.9,816.28,1437.10,788.27,1438.11,709.26,1439.12,633.25,1440.13,560.24,1441.14,536.23,1442.15,513.22,1443.16,491.21,1444.17,470.20,1445.18,450.19,1446.19,431.18,1447.20,413.17,1448.21,396.16,1449.22,350.15,1450.23,307.14,1451.24,267.13,1452.25,230.12,1453.26,196.11,1454.27,185.10,1455.28,175.9,1456.29,150.8,1457.30,142.7,1458.31,135.6,1459.32,129.5,1460.33,124.4,1461.34,120.3,1462.35,117.2,1463.36,115.1,1464.37,1.0,1465.38]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38) % 1.91/0.90 1506:1:40:[1466.39,68.0,1427.38,1467.1,1389.37,1468.2,1281.36,1469.3,1245.35,1470.4,1210.34,1471.5,1176.33,1472.6,1112.32,1473.7,1080.31,1474.8,989.30,1475.9,901.29,1476.10,816.28,1477.11,788.27,1478.12,709.26,1479.13,633.25,1480.14,560.24,1481.15,536.23,1482.16,513.22,1483.17,491.21,1484.18,470.20,1485.19,450.19,1486.20,431.18,1487.21,413.17,1488.22,396.16,1489.23,350.15,1490.24,307.14,1491.25,267.13,1492.26,230.12,1493.27,196.11,1494.28,185.10,1495.29,175.9,1496.30,150.8,1497.31,142.7,1498.32,135.6,1499.33,129.5,1500.34,124.4,1501.35,120.3,1502.36,117.2,1503.37,115.1,1504.38,1.0,1505.39]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_40r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39) % 1.91/0.90 1546:1:40:[1466.39,69.0,1427.38,1507.1,1389.37,1508.2,1281.36,1509.3,1245.35,1510.4,1210.34,1511.5,1176.33,1512.6,1112.32,1513.7,1080.31,1514.8,989.30,1515.9,901.29,1516.10,816.28,1517.11,788.27,1518.12,709.26,1519.13,633.25,1520.14,560.24,1521.15,536.23,1522.16,513.22,1523.17,491.21,1524.18,470.20,1525.19,450.19,1526.20,431.18,1527.21,413.17,1528.22,396.16,1529.23,350.15,1530.24,307.14,1531.25,267.13,1532.26,230.12,1533.27,196.11,1534.28,185.10,1535.29,175.9,1536.30,150.8,1537.31,142.7,1538.32,135.6,1539.33,129.5,1540.34,124.4,1541.35,120.3,1542.36,117.2,1543.37,115.1,1544.38,1.0,1545.39]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,skc50) % 1.91/0.90 1586:1:40:[1466.39,70.1,1427.38,1547.2,1389.37,1548.3,1281.36,1549.4,1245.35,1550.5,1210.34,1551.6,1176.33,1552.7,1112.32,1553.8,1080.31,1554.9,989.30,1555.10,901.29,1556.11,816.28,1557.12,788.27,1558.13,709.26,1559.14,633.25,1560.15,560.24,1561.16,536.23,1562.17,513.22,1563.18,491.21,1564.19,470.20,1565.20,450.19,1566.21,431.18,1567.22,413.17,1568.23,396.16,1569.24,350.15,1570.25,307.14,1571.26,267.13,1572.27,230.12,1573.28,196.11,1574.29,185.10,1575.30,175.9,1576.31,150.8,1577.32,142.7,1578.33,135.6,1579.34,129.5,1580.35,124.4,1581.36,120.3,1582.37,117.2,1583.38,115.1,1584.39,1.0,1585.40]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,skc51) -> % 1.91/0.90 1625:4:39:[1427.38,71.0,1389.37,1587.2,1281.36,1588.3,1245.35,1589.4,1210.34,1590.5,1176.33,1591.6,1112.32,1592.7,1080.31,1593.8,989.30,1594.9,901.29,1595.10,816.28,1596.11,788.27,1597.12,709.26,1598.13,633.25,1599.14,560.24,1600.15,536.23,1601.16,513.22,1602.17,491.21,1603.18,470.20,1604.19,450.19,1605.20,431.18,1606.21,413.17,1607.22,396.16,1608.23,350.15,1609.24,307.14,1610.26,267.13,1611.27,230.12,1612.28,196.11,1613.29,185.10,1614.30,175.9,1615.31,150.8,1616.32,142.7,1617.33,135.6,1618.34,129.5,1619.35,124.4,1620.36,120.3,1621.37,117.2,1622.38,115.1,1623.39,1.0,1624.40]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv18_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38),ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13) -> ssPv23_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33),ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14) % 1.91/0.90 1666:1:41:[1506.40,72.0,1466.39,1626.1,1427.38,1627.2,1389.37,1628.3,1281.36,1629.4,1245.35,1630.5,1210.34,1631.6,1176.33,1632.7,1112.32,1633.8,1080.31,1634.9,989.30,1635.10,901.29,1636.11,816.28,1637.12,788.27,1638.13,709.26,1639.14,633.25,1640.15,560.24,1641.16,536.23,1642.17,513.22,1643.18,491.21,1644.19,470.20,1645.20,450.19,1646.21,431.18,1647.22,413.17,1648.23,396.16,1649.24,350.15,1650.25,307.14,1651.26,267.13,1652.27,230.12,1653.28,196.11,1654.29,185.10,1655.30,175.9,1656.31,150.8,1657.32,142.7,1658.33,135.6,1659.34,129.5,1660.35,124.4,1661.36,120.3,1662.37,117.2,1663.38,115.1,1664.39,1.0,1665.40]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40) % 1.91/0.90 1707:1:41:[1506.40,73.0,1466.39,1667.1,1427.38,1668.2,1389.37,1669.3,1281.36,1670.4,1245.35,1671.5,1210.34,1672.6,1176.33,1673.7,1112.32,1674.8,1080.31,1675.9,989.30,1676.10,901.29,1677.11,816.28,1678.12,788.27,1679.13,709.26,1680.14,633.25,1681.15,560.24,1682.16,536.23,1683.17,513.22,1684.18,491.21,1685.19,470.20,1686.20,450.19,1687.21,431.18,1688.22,413.17,1689.23,396.16,1690.24,350.15,1691.25,307.14,1692.26,267.13,1693.27,230.12,1694.28,196.11,1695.29,185.10,1696.30,175.9,1697.31,150.8,1698.32,142.7,1699.33,135.6,1700.34,129.5,1701.35,124.4,1702.36,120.3,1703.37,117.2,1704.38,115.1,1705.39,1.0,1706.40]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,skc48) % 1.91/0.90 1748:1:41:[1506.40,74.1,1466.39,1708.2,1427.38,1709.3,1389.37,1710.4,1281.36,1711.5,1245.35,1712.6,1210.34,1713.7,1176.33,1714.8,1112.32,1715.9,1080.31,1716.10,989.30,1717.11,901.29,1718.12,816.28,1719.13,788.27,1720.14,709.26,1721.15,633.25,1722.16,560.24,1723.17,536.23,1724.18,513.22,1725.19,491.21,1726.20,470.20,1727.21,450.19,1728.22,431.18,1729.23,413.17,1730.24,396.16,1731.25,350.15,1732.26,307.14,1733.27,267.13,1734.28,230.12,1735.29,196.11,1736.30,185.10,1737.31,175.9,1738.32,150.8,1739.33,142.7,1740.34,135.6,1741.35,129.5,1742.36,124.4,1743.37,120.3,1744.38,117.2,1745.39,115.1,1746.40,1.0,1747.41]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,skc49) -> % 1.91/0.90 1788:4:40:[1466.39,75.0,1427.38,1749.2,1389.37,1750.3,1281.36,1751.4,1245.35,1752.5,1210.34,1753.6,1176.33,1754.7,1112.32,1755.8,1080.31,1756.9,989.30,1757.10,901.29,1758.11,816.28,1759.12,788.27,1760.13,709.26,1761.14,633.25,1762.15,560.24,1763.16,536.23,1764.17,513.22,1765.18,491.21,1766.19,470.20,1767.21,450.19,1768.22,431.18,1769.23,413.17,1770.24,396.16,1771.26,350.15,1772.27,307.14,1773.28,267.13,1774.29,230.12,1775.30,196.11,1776.31,185.10,1777.32,175.9,1778.33,150.8,1779.34,142.7,1780.35,135.6,1781.36,129.5,1782.37,124.4,1783.38,120.3,1784.39,117.2,1785.40,115.1,1786.41,1.0,1787.42]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv17_40r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39),ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19),ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15) -> ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28) % 1.91/0.90 1830:1:42:[1666.41,76.0,1506.40,1789.1,1466.39,1790.2,1427.38,1791.3,1389.37,1792.4,1281.36,1793.5,1245.35,1794.6,1210.34,1795.7,1176.33,1796.8,1112.32,1797.9,1080.31,1798.10,989.30,1799.11,901.29,1800.12,816.28,1801.13,788.27,1802.14,709.26,1803.15,633.25,1804.16,560.24,1805.17,536.23,1806.18,513.22,1807.19,491.21,1808.20,470.20,1809.21,450.19,1810.22,431.18,1811.23,413.17,1812.24,396.16,1813.25,350.15,1814.26,307.14,1815.27,267.13,1816.28,230.12,1817.29,196.11,1818.30,185.10,1819.31,175.9,1820.32,150.8,1821.33,142.7,1822.34,135.6,1823.35,129.5,1824.36,124.4,1825.37,120.3,1826.38,117.2,1827.39,115.1,1828.40,1.0,1829.41]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41) % 1.91/0.90 1872:1:42:[1666.41,77.0,1506.40,1831.1,1466.39,1832.2,1427.38,1833.3,1389.37,1834.4,1281.36,1835.5,1245.35,1836.6,1210.34,1837.7,1176.33,1838.8,1112.32,1839.9,1080.31,1840.10,989.30,1841.11,901.29,1842.12,816.28,1843.13,788.27,1844.14,709.26,1845.15,633.25,1846.16,560.24,1847.17,536.23,1848.18,513.22,1849.19,491.21,1850.20,470.20,1851.21,450.19,1852.22,431.18,1853.23,413.17,1854.24,396.16,1855.25,350.15,1856.26,307.14,1857.27,267.13,1858.28,230.12,1859.29,196.11,1860.30,185.10,1861.31,175.9,1862.32,150.8,1863.33,142.7,1864.34,135.6,1865.35,129.5,1866.36,124.4,1867.37,120.3,1868.38,117.2,1869.39,115.1,1870.40,1.0,1871.41]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,skc46) % 1.91/0.90 1914:1:42:[1666.41,78.1,1506.40,1873.2,1466.39,1874.3,1427.38,1875.4,1389.37,1876.5,1281.36,1877.6,1245.35,1878.7,1210.34,1879.8,1176.33,1880.9,1112.32,1881.10,1080.31,1882.11,989.30,1883.12,901.29,1884.13,816.28,1885.14,788.27,1886.15,709.26,1887.16,633.25,1888.17,560.24,1889.18,536.23,1890.19,513.22,1891.20,491.21,1892.21,470.20,1893.22,450.19,1894.23,431.18,1895.24,413.17,1896.25,396.16,1897.26,350.15,1898.27,307.14,1899.28,267.13,1900.29,230.12,1901.30,196.11,1902.31,185.10,1903.32,175.9,1904.33,150.8,1905.34,142.7,1906.35,135.6,1907.36,129.5,1908.37,124.4,1909.38,120.3,1910.39,117.2,1911.40,115.1,1912.41,1.0,1913.42]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,skc47) -> % 1.91/0.90 1956:4:42:[1666.41,79.0,1506.40,1915.1,1466.39,1916.2,1427.38,1917.3,1389.37,1918.4,1281.36,1919.5,1245.35,1920.6,1210.34,1921.7,1176.33,1922.8,1112.32,1923.9,1080.31,1924.10,989.30,1925.11,901.29,1926.12,816.28,1927.13,788.27,1928.14,709.26,1929.15,633.25,1930.16,560.24,1931.17,536.23,1932.18,513.22,1933.19,491.21,1934.20,470.20,1935.21,450.19,1936.22,431.18,1937.23,413.17,1938.24,396.16,1939.25,350.15,1940.26,307.14,1941.28,267.13,1942.29,230.12,1943.30,196.11,1944.31,185.10,1945.32,175.9,1946.33,150.8,1947.34,142.7,1948.35,135.6,1949.37,129.5,1950.38,124.4,1951.39,120.3,1952.41,117.2,1953.42,115.1,1954.43,1.0,1955.44]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13),ssPv51_6r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5),ssPv54_3r1r1r1(x0,x1,x2) -> ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41) % 1.91/0.90 1999:1:43:[1830.42,80.0,1666.41,1957.1,1506.40,1958.2,1466.39,1959.3,1427.38,1960.4,1389.37,1961.5,1281.36,1962.6,1245.35,1963.7,1210.34,1964.8,1176.33,1965.9,1112.32,1966.10,1080.31,1967.11,989.30,1968.12,901.29,1969.13,816.28,1970.14,788.27,1971.15,709.26,1972.16,633.25,1973.17,560.24,1974.18,536.23,1975.19,513.22,1976.20,491.21,1977.21,470.20,1978.22,450.19,1979.23,431.18,1980.24,413.17,1981.25,396.16,1982.26,350.15,1983.27,307.14,1984.28,267.13,1985.29,230.12,1986.30,196.11,1987.31,185.10,1988.32,175.9,1989.33,150.8,1990.34,142.7,1991.35,135.6,1992.36,129.5,1993.37,124.4,1994.38,120.3,1995.39,117.2,1996.40,115.1,1997.41,1.0,1998.42]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42) % 1.91/0.90 2042:1:43:[1830.42,81.0,1666.41,2000.1,1506.40,2001.2,1466.39,2002.3,1427.38,2003.4,1389.37,2004.5,1281.36,2005.6,1245.35,2006.7,1210.34,2007.8,1176.33,2008.9,1112.32,2009.10,1080.31,2010.11,989.30,2011.12,901.29,2012.13,816.28,2013.14,788.27,2014.15,709.26,2015.16,633.25,2016.17,560.24,2017.18,536.23,2018.19,513.22,2019.20,491.21,2020.21,470.20,2021.22,450.19,2022.23,431.18,2023.24,413.17,2024.25,396.16,2025.26,350.15,2026.27,307.14,2027.28,267.13,2028.29,230.12,2029.30,196.11,2030.31,185.10,2031.32,175.9,2032.33,150.8,2033.34,142.7,2034.35,135.6,2035.36,129.5,2036.37,124.4,2037.38,120.3,2038.39,117.2,2039.40,115.1,2040.41,1.0,2041.42]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,skc44) % 1.91/0.90 2085:1:43:[1830.42,82.1,1666.41,2043.2,1506.40,2044.3,1466.39,2045.4,1427.38,2046.5,1389.37,2047.6,1281.36,2048.7,1245.35,2049.8,1210.34,2050.9,1176.33,2051.10,1112.32,2052.11,1080.31,2053.12,989.30,2054.13,901.29,2055.14,816.28,2056.15,788.27,2057.16,709.26,2058.17,633.25,2059.18,560.24,2060.19,536.23,2061.20,513.22,2062.21,491.21,2063.22,470.20,2064.23,450.19,2065.24,431.18,2066.25,413.17,2067.26,396.16,2068.27,350.15,2069.28,307.14,2070.29,267.13,2071.30,230.12,2072.31,196.11,2073.32,185.10,2074.33,175.9,2075.34,150.8,2076.35,142.7,2077.36,135.6,2078.37,129.5,2079.38,124.4,2080.39,120.3,2081.40,117.2,2082.41,115.1,2083.42,1.0,2084.43]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,skc45) -> % 1.91/0.90 2129:1:44:[1999.43,83.0,1830.42,2086.1,1666.41,2087.2,1506.40,2088.3,1466.39,2089.4,1427.38,2090.5,1389.37,2091.6,1281.36,2092.7,1245.35,2093.8,1210.34,2094.9,1176.33,2095.10,1112.32,2096.11,1080.31,2097.12,989.30,2098.13,901.29,2099.14,816.28,2100.15,788.27,2101.16,709.26,2102.17,633.25,2103.18,560.24,2104.19,536.23,2105.20,513.22,2106.21,491.21,2107.22,470.20,2108.23,450.19,2109.24,431.18,2110.25,413.17,2111.26,396.16,2112.27,350.15,2113.28,307.14,2114.29,267.13,2115.30,230.12,2116.31,196.11,2117.32,185.10,2118.33,175.9,2119.34,150.8,2120.35,142.7,2121.36,135.6,2122.37,129.5,2123.38,124.4,2124.39,120.3,2125.40,117.2,2126.41,115.1,2127.42,1.0,2128.43]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43) % 1.91/0.90 2174:1:45:[2129.44,84.0,1999.43,2130.1,1830.42,2131.2,1666.41,2132.3,1506.40,2133.4,1466.39,2134.5,1427.38,2135.6,1389.37,2136.7,1281.36,2137.8,1245.35,2138.9,1210.34,2139.10,1176.33,2140.11,1112.32,2141.12,1080.31,2142.13,989.30,2143.14,901.29,2144.15,816.28,2145.16,788.27,2146.17,709.26,2147.18,633.25,2148.19,560.24,2149.20,536.23,2150.21,513.22,2151.22,491.21,2152.23,470.20,2153.24,450.19,2154.25,431.18,2155.26,413.17,2156.27,396.16,2157.28,350.15,2158.29,307.14,2159.30,267.13,2160.31,230.12,2161.32,196.11,2162.33,185.10,2163.34,175.9,2164.35,150.8,2165.36,142.7,2166.37,135.6,2167.38,129.5,2168.39,124.4,2169.40,120.3,2170.41,117.2,2171.42,115.1,2172.43,1.0,2173.44]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44) % 1.91/0.90 2219:1:45:[2129.44,85.0,1999.43,2175.1,1830.42,2176.2,1666.41,2177.3,1506.40,2178.4,1466.39,2179.5,1427.38,2180.6,1389.37,2181.7,1281.36,2182.8,1245.35,2183.9,1210.34,2184.10,1176.33,2185.11,1112.32,2186.12,1080.31,2187.13,989.30,2188.14,901.29,2189.15,816.28,2190.16,788.27,2191.17,709.26,2192.18,633.25,2193.19,560.24,2194.20,536.23,2195.21,513.22,2196.22,491.21,2197.23,470.20,2198.24,450.19,2199.25,431.18,2200.26,413.17,2201.27,396.16,2202.28,350.15,2203.29,307.14,2204.30,267.13,2205.31,230.12,2206.32,196.11,2207.33,185.10,2208.34,175.9,2209.35,150.8,2210.36,142.7,2211.37,135.6,2212.38,129.5,2213.39,124.4,2214.40,120.3,2215.41,117.2,2216.42,115.1,2217.43,1.0,2218.44]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,skc42) % 1.91/0.90 2264:1:45:[2129.44,86.1,1999.43,2220.2,1830.42,2221.3,1666.41,2222.4,1506.40,2223.5,1466.39,2224.6,1427.38,2225.7,1389.37,2226.8,1281.36,2227.9,1245.35,2228.10,1210.34,2229.11,1176.33,2230.12,1112.32,2231.13,1080.31,2232.14,989.30,2233.15,901.29,2234.16,816.28,2235.17,788.27,2236.18,709.26,2237.19,633.25,2238.20,560.24,2239.21,536.23,2240.22,513.22,2241.23,491.21,2242.24,470.20,2243.25,450.19,2244.26,431.18,2245.27,413.17,2246.28,396.16,2247.29,350.15,2248.30,307.14,2249.31,267.13,2250.32,230.12,2251.33,196.11,2252.34,185.10,2253.35,175.9,2254.36,150.8,2255.37,142.7,2256.38,135.6,2257.39,129.5,2258.40,124.4,2259.41,120.3,2260.42,117.2,2261.43,115.1,2262.44,1.0,2263.45]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,skc43) -> % 1.91/0.90 2310:1:46:[2174.45,87.0,2129.44,2265.1,1999.43,2266.2,1830.42,2267.3,1666.41,2268.4,1506.40,2269.5,1466.39,2270.6,1427.38,2271.7,1389.37,2272.8,1281.36,2273.9,1245.35,2274.10,1210.34,2275.11,1176.33,2276.12,1112.32,2277.13,1080.31,2278.14,989.30,2279.15,901.29,2280.16,816.28,2281.17,788.27,2282.18,709.26,2283.19,633.25,2284.20,560.24,2285.21,536.23,2286.22,513.22,2287.23,491.21,2288.24,470.20,2289.25,450.19,2290.26,431.18,2291.27,413.17,2292.28,396.16,2293.29,350.15,2294.30,307.14,2295.31,267.13,2296.32,230.12,2297.33,196.11,2298.34,185.10,2299.35,175.9,2300.36,150.8,2301.37,142.7,2302.38,135.6,2303.39,129.5,2304.40,124.4,2305.41,120.3,2306.42,117.2,2307.43,115.1,2308.44,1.0,2309.45]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45) % 1.91/0.90 2356:1:46:[2174.45,88.0,2129.44,2311.1,1999.43,2312.2,1830.42,2313.3,1666.41,2314.4,1506.40,2315.5,1466.39,2316.6,1427.38,2317.7,1389.37,2318.8,1281.36,2319.9,1245.35,2320.10,1210.34,2321.11,1176.33,2322.12,1112.32,2323.13,1080.31,2324.14,989.30,2325.15,901.29,2326.16,816.28,2327.17,788.27,2328.18,709.26,2329.19,633.25,2330.20,560.24,2331.21,536.23,2332.22,513.22,2333.23,491.21,2334.24,470.20,2335.25,450.19,2336.26,431.18,2337.27,413.17,2338.28,396.16,2339.29,350.15,2340.30,307.14,2341.31,267.13,2342.32,230.12,2343.33,196.11,2344.34,185.10,2345.35,175.9,2346.36,150.8,2347.37,142.7,2348.38,135.6,2349.39,129.5,2350.40,124.4,2351.41,120.3,2352.42,117.2,2353.43,115.1,2354.44,1.0,2355.45]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,skc40) % 1.91/0.91 2402:1:46:[2174.45,89.1,2129.44,2357.2,1999.43,2358.3,1830.42,2359.4,1666.41,2360.5,1506.40,2361.6,1466.39,2362.7,1427.38,2363.8,1389.37,2364.9,1281.36,2365.10,1245.35,2366.11,1210.34,2367.12,1176.33,2368.13,1112.32,2369.14,1080.31,2370.15,989.30,2371.16,901.29,2372.17,816.28,2373.18,788.27,2374.19,709.26,2375.20,633.25,2376.21,560.24,2377.22,536.23,2378.23,513.22,2379.24,491.21,2380.25,470.20,2381.26,450.19,2382.27,431.18,2383.28,413.17,2384.29,396.16,2385.30,350.15,2386.31,307.14,2387.32,267.13,2388.33,230.12,2389.34,196.11,2390.35,185.10,2391.36,175.9,2392.37,150.8,2393.38,142.7,2394.39,135.6,2395.40,129.5,2396.41,124.4,2397.42,120.3,2398.43,117.2,2399.44,115.1,2400.45,1.0,2401.46]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,skc41) -> % 1.91/0.91 2449:1:47:[2310.46,90.0,2174.45,2403.1,2129.44,2404.2,1999.43,2405.3,1830.42,2406.4,1666.41,2407.5,1506.40,2408.6,1466.39,2409.7,1427.38,2410.8,1389.37,2411.9,1281.36,2412.10,1245.35,2413.11,1210.34,2414.12,1176.33,2415.13,1112.32,2416.14,1080.31,2417.15,989.30,2418.16,901.29,2419.17,816.28,2420.18,788.27,2421.19,709.26,2422.20,633.25,2423.21,560.24,2424.22,536.23,2425.23,513.22,2426.24,491.21,2427.25,470.20,2428.26,450.19,2429.27,431.18,2430.28,413.17,2431.29,396.16,2432.30,350.15,2433.31,307.14,2434.32,267.13,2435.33,230.12,2436.34,196.11,2437.35,185.10,2438.36,175.9,2439.37,150.8,2440.38,142.7,2441.39,135.6,2442.40,129.5,2443.41,124.4,2444.42,120.3,2445.43,117.2,2446.44,115.1,2447.45,1.0,2448.46]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46) % 1.91/0.91 2496:1:47:[2310.46,91.0,2174.45,2450.1,2129.44,2451.2,1999.43,2452.3,1830.42,2453.4,1666.41,2454.5,1506.40,2455.6,1466.39,2456.7,1427.38,2457.8,1389.37,2458.9,1281.36,2459.10,1245.35,2460.11,1210.34,2461.12,1176.33,2462.13,1112.32,2463.14,1080.31,2464.15,989.30,2465.16,901.29,2466.17,816.28,2467.18,788.27,2468.19,709.26,2469.20,633.25,2470.21,560.24,2471.22,536.23,2472.23,513.22,2473.24,491.21,2474.25,470.20,2475.26,450.19,2476.27,431.18,2477.28,413.17,2478.29,396.16,2479.30,350.15,2480.31,307.14,2481.32,267.13,2482.33,230.12,2483.34,196.11,2484.35,185.10,2485.36,175.9,2486.37,150.8,2487.38,142.7,2488.39,135.6,2489.40,129.5,2490.41,124.4,2491.42,120.3,2492.43,117.2,2493.44,115.1,2494.45,1.0,2495.46]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,skc38) % 1.91/0.91 2543:1:47:[2310.46,92.1,2174.45,2497.2,2129.44,2498.3,1999.43,2499.4,1830.42,2500.5,1666.41,2501.6,1506.40,2502.7,1466.39,2503.8,1427.38,2504.9,1389.37,2505.10,1281.36,2506.11,1245.35,2507.12,1210.34,2508.13,1176.33,2509.14,1112.32,2510.15,1080.31,2511.16,989.30,2512.17,901.29,2513.18,816.28,2514.19,788.27,2515.20,709.26,2516.21,633.25,2517.22,560.24,2518.23,536.23,2519.24,513.22,2520.25,491.21,2521.26,470.20,2522.27,450.19,2523.28,431.18,2524.29,413.17,2525.30,396.16,2526.31,350.15,2527.32,307.14,2528.33,267.13,2529.34,230.12,2530.35,196.11,2531.36,185.10,2532.37,175.9,2533.38,150.8,2534.39,142.7,2535.40,135.6,2536.41,129.5,2537.42,124.4,2538.43,120.3,2539.44,117.2,2540.45,115.1,2541.46,1.0,2542.47]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,skc39) -> % 1.91/0.91 2589:4:46:[2174.45,93.0,2129.44,2544.1,1999.43,2545.2,1830.42,2546.3,1666.41,2547.4,1506.40,2548.5,1466.39,2549.6,1427.38,2550.7,1389.37,2551.8,1281.36,2552.9,1245.35,2553.10,1210.34,2554.11,1176.33,2555.12,1112.32,2556.13,1080.31,2557.14,989.30,2558.15,901.29,2559.17,816.28,2560.18,788.27,2561.19,709.26,2562.20,633.25,2563.21,560.24,2564.22,536.23,2565.23,513.22,2566.24,491.21,2567.25,470.20,2568.26,450.19,2569.27,431.18,2570.28,413.17,2571.29,396.16,2572.30,350.15,2573.31,307.14,2574.32,267.13,2575.33,230.12,2576.34,196.11,2577.35,185.10,2578.36,175.9,2579.37,150.8,2580.38,142.7,2581.39,135.6,2582.40,129.5,2583.41,124.4,2584.42,120.3,2585.43,117.2,2586.45,115.1,2587.46,1.0,2588.47]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28),ssPv55_2r1r1(x0,x1) -> ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45),ssPv20_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36) % 1.91/0.91 2636:4:47:[2310.46,94.0,2174.45,2590.2,2129.44,2591.3,1999.43,2592.4,1830.42,2593.5,1666.41,2594.6,1506.40,2595.7,1466.39,2596.8,1427.38,2597.9,1389.37,2598.10,1281.36,2599.11,1245.35,2600.12,1210.34,2601.13,1176.33,2602.14,1112.32,2603.15,1080.31,2604.16,989.30,2605.17,901.29,2606.18,816.28,2607.19,788.27,2608.20,709.26,2609.21,633.25,2610.22,560.24,2611.23,536.23,2612.24,513.22,2613.26,491.21,2614.27,470.20,2615.28,450.19,2616.29,431.18,2617.30,413.17,2618.31,396.16,2619.32,350.15,2620.33,307.14,2621.34,267.13,2622.35,230.12,2623.36,196.11,2624.37,185.10,2625.38,175.9,2626.39,150.8,2627.40,142.7,2628.41,135.6,2629.42,129.5,2630.43,124.4,2631.44,120.3,2632.45,117.2,2633.46,115.1,2634.47,1.0,2635.48]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46),ssPv35_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21) -> ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12),ssPv50_7r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6) % 1.91/0.91 2684:1:48:[2449.47,95.0,2310.46,2637.1,2174.45,2638.2,2129.44,2639.3,1999.43,2640.4,1830.42,2641.5,1666.41,2642.6,1506.40,2643.7,1466.39,2644.8,1427.38,2645.9,1389.37,2646.10,1281.36,2647.11,1245.35,2648.12,1210.34,2649.13,1176.33,2650.14,1112.32,2651.15,1080.31,2652.16,989.30,2653.17,901.29,2654.18,816.28,2655.19,788.27,2656.20,709.26,2657.21,633.25,2658.22,560.24,2659.23,536.23,2660.24,513.22,2661.25,491.21,2662.26,470.20,2663.27,450.19,2664.28,431.18,2665.29,413.17,2666.30,396.16,2667.31,350.15,2668.32,307.14,2669.33,267.13,2670.34,230.12,2671.35,196.11,2672.36,185.10,2673.37,175.9,2674.38,150.8,2675.39,142.7,2676.40,135.6,2677.41,129.5,2678.42,124.4,2679.43,120.3,2680.44,117.2,2681.45,115.1,2682.46,1.0,2683.47]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47) % 1.91/0.91 2733:1:49:[2684.48,96.0,2449.47,2685.1,2310.46,2686.2,2174.45,2687.3,2129.44,2688.4,1999.43,2689.5,1830.42,2690.6,1666.41,2691.7,1506.40,2692.8,1466.39,2693.9,1427.38,2694.10,1389.37,2695.11,1281.36,2696.12,1245.35,2697.13,1210.34,2698.14,1176.33,2699.15,1112.32,2700.16,1080.31,2701.17,989.30,2702.18,901.29,2703.19,816.28,2704.20,788.27,2705.21,709.26,2706.22,633.25,2707.23,560.24,2708.24,536.23,2709.25,513.22,2710.26,491.21,2711.27,470.20,2712.28,450.19,2713.29,431.18,2714.30,413.17,2715.31,396.16,2716.32,350.15,2717.33,307.14,2718.34,267.13,2719.35,230.12,2720.36,196.11,2721.37,185.10,2722.38,175.9,2723.39,150.8,2724.40,142.7,2725.41,135.6,2726.42,129.5,2727.43,124.4,2728.44,120.3,2729.45,117.2,2730.46,115.1,2731.47,1.0,2732.48]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48) % 1.91/0.91 2780:4:47:[2310.46,97.0,2174.45,2734.2,2129.44,2735.3,1999.43,2736.4,1830.42,2737.5,1666.41,2738.6,1506.40,2739.7,1466.39,2740.8,1427.38,2741.9,1389.37,2742.10,1281.36,2743.12,1245.35,2744.14,1210.34,2745.15,1176.33,2746.16,1112.32,2747.17,1080.31,2748.18,989.30,2749.19,901.29,2750.20,816.28,2751.21,788.27,2752.22,709.26,2753.23,633.25,2754.24,560.24,2755.25,536.23,2756.26,513.22,2757.27,491.21,2758.28,470.20,2759.29,450.19,2760.30,431.18,2761.31,413.17,2762.32,396.16,2763.33,350.15,2764.34,307.14,2765.35,267.13,2766.36,230.12,2767.37,196.11,2768.38,185.10,2769.39,175.9,2770.40,150.8,2771.41,142.7,2772.42,135.6,2773.43,129.5,2774.44,124.4,2775.45,120.3,2776.46,117.2,2777.47,115.1,2778.48,1.0,2779.49]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46),ssPv21_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35),ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34) -> ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29) % 1.91/0.91 2830:1:50:[2733.49,98.0,2684.48,2781.1,2449.47,2782.2,2310.46,2783.3,2174.45,2784.4,2129.44,2785.5,1999.43,2786.6,1830.42,2787.7,1666.41,2788.8,1506.40,2789.9,1466.39,2790.10,1427.38,2791.11,1389.37,2792.12,1281.36,2793.13,1245.35,2794.14,1210.34,2795.15,1176.33,2796.16,1112.32,2797.17,1080.31,2798.18,989.30,2799.19,901.29,2800.20,816.28,2801.21,788.27,2802.22,709.26,2803.23,633.25,2804.24,560.24,2805.25,536.23,2806.26,513.22,2807.27,491.21,2808.28,470.20,2809.29,450.19,2810.30,431.18,2811.31,413.17,2812.32,396.16,2813.33,350.15,2814.34,307.14,2815.35,267.13,2816.36,230.12,2817.37,196.11,2818.38,185.10,2819.39,175.9,2820.40,150.8,2821.41,142.7,2822.42,135.6,2823.43,129.5,2824.44,124.4,2825.45,120.3,2826.46,117.2,2827.47,115.1,2828.48,1.0,2829.49]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49) % 1.91/0.91 2879:4:49:[2684.48,99.0,2449.47,2831.2,2310.46,2832.3,2174.45,2833.4,2129.44,2834.5,1999.43,2835.7,1830.42,2836.8,1666.41,2837.9,1506.40,2838.10,1466.39,2839.11,1427.38,2840.12,1389.37,2841.13,1281.36,2842.14,1245.35,2843.15,1210.34,2844.16,1176.33,2845.17,1112.32,2846.18,1080.31,2847.19,989.30,2848.20,901.29,2849.22,816.28,2850.23,788.27,2851.24,709.26,2852.25,633.25,2853.26,560.24,2854.27,536.23,2855.28,513.22,2856.29,491.21,2857.30,470.20,2858.31,450.19,2859.32,431.18,2860.33,413.17,2861.34,396.16,2862.35,350.15,2863.36,307.14,2864.37,267.13,2865.38,230.12,2866.39,196.11,2867.40,185.10,2868.41,175.9,2869.42,150.8,2870.43,142.7,2871.44,135.6,2872.45,129.5,2873.46,124.4,2874.47,120.3,2875.48,117.2,2876.49,115.1,2877.50,1.0,2878.51]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv8_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48),ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42),ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28) -> ssPv54_3r1r1r1(x0,x1,x2) % 1.91/0.91 2929:4:50:[2733.49,100.0,2684.48,2880.2,2449.47,2881.3,2310.46,2882.4,2174.45,2883.5,2129.44,2884.6,1999.43,2885.7,1830.42,2886.8,1666.41,2887.9,1506.40,2888.10,1466.39,2889.11,1427.38,2890.12,1389.37,2891.13,1281.36,2892.14,1245.35,2893.15,1210.34,2894.16,1176.33,2895.17,1112.32,2896.18,1080.31,2897.19,989.30,2898.20,901.29,2899.21,816.28,2900.22,788.27,2901.23,709.26,2902.24,633.25,2903.26,560.24,2904.27,536.23,2905.28,513.22,2906.29,491.21,2907.30,470.20,2908.31,450.19,2909.32,431.18,2910.33,413.17,2911.34,396.16,2912.35,350.15,2913.36,307.14,2914.37,267.13,2915.38,230.12,2916.39,196.11,2917.40,185.10,2918.41,175.9,2919.42,150.8,2920.43,142.7,2921.44,135.6,2922.45,129.5,2923.46,124.4,2924.47,120.3,2925.48,117.2,2926.49,115.1,2927.50,1.0,2928.51]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49),ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24) -> ssPv48_9r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8),ssPv52_5r1r1r1r1r1(x0,x1,x2,x3,x4) % 1.91/0.91 2980:1:51:[2830.50,101.0,2733.49,2930.1,2684.48,2931.2,2449.47,2932.3,2310.46,2933.4,2174.45,2934.5,2129.44,2935.6,1999.43,2936.7,1830.42,2937.8,1666.41,2938.9,1506.40,2939.10,1466.39,2940.11,1427.38,2941.12,1389.37,2942.13,1281.36,2943.14,1245.35,2944.15,1210.34,2945.16,1176.33,2946.17,1112.32,2947.18,1080.31,2948.19,989.30,2949.20,901.29,2950.21,816.28,2951.22,788.27,2952.23,709.26,2953.24,633.25,2954.25,560.24,2955.26,536.23,2956.27,513.22,2957.28,491.21,2958.29,470.20,2959.30,450.19,2960.31,431.18,2961.32,413.17,2962.33,396.16,2963.34,350.15,2964.35,307.14,2965.36,267.13,2966.37,230.12,2967.38,196.11,2968.39,185.10,2969.40,175.9,2970.41,150.8,2971.42,142.7,2972.43,135.6,2973.44,129.5,2974.45,124.4,2975.46,120.3,2976.47,117.2,2977.48,115.1,2978.49,1.0,2979.50]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_51r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50) % 1.91/0.91 3030:4:50:[2733.49,102.0,2684.48,2981.1,2449.47,2982.2,2310.46,2983.4,2174.45,2984.5,2129.44,2985.6,1999.43,2986.7,1830.42,2987.8,1666.41,2988.9,1506.40,2989.10,1466.39,2990.11,1427.38,2991.12,1389.37,2992.13,1281.36,2993.14,1245.35,2994.15,1210.34,2995.16,1176.33,2996.17,1112.32,2997.18,1080.31,2998.19,989.30,2999.20,901.29,3000.22,816.28,3001.23,788.27,3002.24,709.26,3003.25,633.25,3004.26,560.24,3005.27,536.23,3006.28,513.22,3007.29,491.21,3008.30,470.20,3009.31,450.19,3010.32,431.18,3011.33,413.17,3012.34,396.16,3013.35,350.15,3014.36,307.14,3015.37,267.13,3016.38,230.12,3017.39,196.11,3018.40,185.10,3019.41,175.9,3020.42,150.8,3021.44,142.7,3022.45,135.6,3023.46,129.5,3024.47,124.4,3025.48,120.3,3026.49,117.2,3027.50,115.1,3028.51,1.0,3029.52]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45),ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28),ssPv49_8r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7) -> ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49) % 1.91/0.91 3080:4:50:[2733.49,103.0,2684.48,3031.1,2449.47,3032.3,2310.46,3033.4,2174.45,3034.5,2129.44,3035.6,1999.43,3036.7,1830.42,3037.8,1666.41,3038.9,1506.40,3039.10,1466.39,3040.11,1427.38,3041.12,1389.37,3042.13,1281.36,3043.14,1245.35,3044.15,1210.34,3045.16,1176.33,3046.17,1112.32,3047.18,1080.31,3048.19,989.30,3049.20,901.29,3050.21,816.28,3051.22,788.27,3052.23,709.26,3053.24,633.25,3054.25,560.24,3055.26,536.23,3056.27,513.22,3057.28,491.21,3058.29,470.20,3059.30,450.19,3060.31,431.18,3061.32,413.17,3062.33,396.16,3063.34,350.15,3064.35,307.14,3065.36,267.13,3066.37,230.12,3067.38,196.11,3068.39,185.10,3069.40,175.9,3070.41,150.8,3071.42,142.7,3072.43,135.6,3073.44,129.5,3074.45,124.4,3075.46,120.3,3076.47,117.2,3077.48,115.1,3078.49,1.0,3079.50]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46) -> ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49),ssPv19_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37),ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) % 1.91/0.91 3132:1:52:[2980.51,104.0,2830.50,3081.1,2733.49,3082.2,2684.48,3083.3,2449.47,3084.4,2310.46,3085.5,2174.45,3086.6,2129.44,3087.7,1999.43,3088.8,1830.42,3089.9,1666.41,3090.10,1506.40,3091.11,1466.39,3092.12,1427.38,3093.13,1389.37,3094.14,1281.36,3095.15,1245.35,3096.16,1210.34,3097.17,1176.33,3098.18,1112.32,3099.19,1080.31,3100.20,989.30,3101.21,901.29,3102.22,816.28,3103.23,788.27,3104.24,709.26,3105.25,633.25,3106.26,560.24,3107.27,536.23,3108.28,513.22,3109.29,491.21,3110.30,470.20,3111.31,450.19,3112.32,431.18,3113.33,413.17,3114.34,396.16,3115.35,350.15,3116.36,307.14,3117.37,267.13,3118.38,230.12,3119.39,196.11,3120.40,185.10,3121.41,175.9,3122.42,150.8,3123.43,142.7,3124.44,135.6,3125.45,129.5,3126.46,124.4,3127.47,120.3,3128.48,117.2,3129.49,115.1,3130.50,1.0,3131.51]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_52r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51) % 1.91/0.91 3185:1:53:[3132.52,105.0,2980.51,3133.1,2830.50,3134.2,2733.49,3135.3,2684.48,3136.4,2449.47,3137.5,2310.46,3138.6,2174.45,3139.7,2129.44,3140.8,1999.43,3141.9,1830.42,3142.10,1666.41,3143.11,1506.40,3144.12,1466.39,3145.13,1427.38,3146.14,1389.37,3147.15,1281.36,3148.16,1245.35,3149.17,1210.34,3150.18,1176.33,3151.19,1112.32,3152.20,1080.31,3153.21,989.30,3154.22,901.29,3155.23,816.28,3156.24,788.27,3157.25,709.26,3158.26,633.25,3159.27,560.24,3160.28,536.23,3161.29,513.22,3162.30,491.21,3163.31,470.20,3164.32,450.19,3165.33,431.18,3166.34,413.17,3167.35,396.16,3168.36,350.15,3169.37,307.14,3170.38,267.13,3171.39,230.12,3172.40,196.11,3173.41,185.10,3174.42,175.9,3175.43,150.8,3176.44,142.7,3177.45,135.6,3178.46,129.5,3179.47,124.4,3180.48,120.3,3181.49,117.2,3182.50,115.1,3183.51,1.0,3184.52]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52) % 1.91/0.91 3239:1:54:[3185.53,106.0,3132.52,3186.1,2980.51,3187.2,2830.50,3188.3,2733.49,3189.4,2684.48,3190.5,2449.47,3191.6,2310.46,3192.7,2174.45,3193.8,2129.44,3194.9,1999.43,3195.10,1830.42,3196.11,1666.41,3197.12,1506.40,3198.13,1466.39,3199.14,1427.38,3200.15,1389.37,3201.16,1281.36,3202.17,1245.35,3203.18,1210.34,3204.19,1176.33,3205.20,1112.32,3206.21,1080.31,3207.22,989.30,3208.23,901.29,3209.24,816.28,3210.25,788.27,3211.26,709.26,3212.27,633.25,3213.28,560.24,3214.29,536.23,3215.30,513.22,3216.31,491.21,3217.32,470.20,3218.33,450.19,3219.34,431.18,3220.35,413.17,3221.36,396.16,3222.37,350.15,3223.38,307.14,3224.39,267.13,3225.40,230.12,3226.41,196.11,3227.42,185.10,3228.43,175.9,3229.44,150.8,3230.45,142.7,3231.46,135.6,3232.47,129.5,3233.48,124.4,3234.49,120.3,3235.50,117.2,3236.51,115.1,3237.52,1.0,3238.53]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53) % 1.91/0.91 3291:4:52:[2980.51,107.0,2830.50,3240.2,2733.49,3241.3,2684.48,3242.4,2449.47,3243.5,2310.46,3244.6,2174.45,3245.7,2129.44,3246.9,1999.43,3247.10,1830.42,3248.11,1666.41,3249.12,1506.40,3250.13,1466.39,3251.14,1427.38,3252.15,1389.37,3253.16,1281.36,3254.17,1245.35,3255.18,1210.34,3256.19,1176.33,3257.20,1112.32,3258.21,1080.31,3259.23,989.30,3260.24,901.29,3261.25,816.28,3262.26,788.27,3263.27,709.26,3264.28,633.25,3265.29,560.24,3266.30,536.23,3267.31,513.22,3268.32,491.21,3269.33,470.20,3270.34,450.19,3271.35,431.18,3272.36,413.17,3273.37,396.16,3274.38,350.15,3275.39,307.14,3276.40,267.13,3277.41,230.12,3278.42,196.11,3279.43,185.10,3280.44,175.9,3281.45,150.8,3282.46,142.7,3283.47,135.6,3284.48,129.5,3285.49,124.4,3286.50,120.3,3287.51,117.2,3288.52,115.1,3289.53,1.0,3290.54]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv5_52r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51),ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43),ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30) -> ssPv20_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36) % 1.91/0.91 3344:4:53:[3132.52,108.0,2980.51,3292.2,2830.50,3293.3,2733.49,3294.4,2684.48,3295.5,2449.47,3296.6,2310.46,3297.7,2174.45,3298.8,2129.44,3299.9,1999.43,3300.10,1830.42,3301.12,1666.41,3302.13,1506.40,3303.14,1466.39,3304.15,1427.38,3305.16,1389.37,3306.17,1281.36,3307.18,1245.35,3308.19,1210.34,3309.20,1176.33,3310.21,1112.32,3311.22,1080.31,3312.23,989.30,3313.24,901.29,3314.25,816.28,3315.26,788.27,3316.27,709.26,3317.28,633.25,3318.29,560.24,3319.30,536.23,3320.31,513.22,3321.32,491.21,3322.33,470.20,3323.34,450.19,3324.35,431.18,3325.36,413.17,3326.37,396.16,3327.39,350.15,3328.40,307.14,3329.41,267.13,3330.42,230.12,3331.43,196.11,3332.44,185.10,3333.45,175.9,3334.46,150.8,3335.47,142.7,3336.48,135.6,3337.49,129.5,3338.50,124.4,3339.51,120.3,3340.52,117.2,3341.53,115.1,3342.54,1.0,3343.55]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv4_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52),ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41),ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15) -> ssPv40_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16) % 1.91/0.91 3399:1:55:[3239.54,109.0,3185.53,3345.1,3132.52,3346.2,2980.51,3347.3,2830.50,3348.4,2733.49,3349.5,2684.48,3350.6,2449.47,3351.7,2310.46,3352.8,2174.45,3353.9,2129.44,3354.10,1999.43,3355.11,1830.42,3356.12,1666.41,3357.13,1506.40,3358.14,1466.39,3359.15,1427.38,3360.16,1389.37,3361.17,1281.36,3362.18,1245.35,3363.19,1210.34,3364.20,1176.33,3365.21,1112.32,3366.22,1080.31,3367.23,989.30,3368.24,901.29,3369.25,816.28,3370.26,788.27,3371.27,709.26,3372.28,633.25,3373.29,560.24,3374.30,536.23,3375.31,513.22,3376.32,491.21,3377.33,470.20,3378.34,450.19,3379.35,431.18,3380.36,413.17,3381.37,396.16,3382.38,350.15,3383.39,307.14,3384.40,267.13,3385.41,230.12,3386.42,196.11,3387.43,185.10,3388.44,175.9,3389.45,150.8,3390.46,142.7,3391.47,135.6,3392.48,129.5,3393.49,124.4,3394.50,120.3,3395.51,117.2,3396.52,115.1,3397.53,1.0,3398.54]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: -> ssNder1_55r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53,x54) % 1.91/0.91 3452:4:53:[3132.52,110.0,2980.51,3400.2,2830.50,3401.3,2733.49,3402.4,2684.48,3403.5,2449.47,3404.7,2310.46,3405.8,2174.45,3406.9,2129.44,3407.10,1999.43,3408.11,1830.42,3409.12,1666.41,3410.13,1506.40,3411.14,1466.39,3412.16,1427.38,3413.17,1389.37,3414.18,1281.36,3415.19,1245.35,3416.20,1210.34,3417.21,1176.33,3418.22,1112.32,3419.23,1080.31,3420.24,989.30,3421.25,901.29,3422.26,816.28,3423.27,788.27,3424.28,709.26,3425.29,633.25,3426.30,560.24,3427.31,536.23,3428.32,513.22,3429.33,491.21,3430.34,470.20,3431.35,450.19,3432.36,431.18,3433.37,413.17,3434.38,396.16,3435.39,350.15,3436.40,307.14,3437.41,267.13,3438.42,230.12,3439.43,196.11,3440.44,185.10,3441.45,175.9,3442.46,150.8,3443.47,142.7,3444.48,135.6,3445.49,129.5,3446.50,124.4,3447.51,120.3,3448.52,117.2,3449.53,115.1,3450.54,1.0,3451.55]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv4_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52),ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46),ssPv18_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38) -> ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29) % 1.91/0.91 3506:4:54:[3185.53,111.0,3132.52,3453.1,2980.51,3454.2,2830.50,3455.3,2733.49,3456.4,2684.48,3457.5,2449.47,3458.6,2310.46,3459.7,2174.45,3460.8,2129.44,3461.9,1999.43,3462.10,1830.42,3463.11,1666.41,3464.12,1506.40,3465.13,1466.39,3466.14,1427.38,3467.15,1389.37,3468.16,1281.36,3469.17,1245.35,3470.18,1210.34,3471.19,1176.33,3472.20,1112.32,3473.21,1080.31,3474.22,989.30,3475.23,901.29,3476.24,816.28,3477.25,788.27,3478.26,709.26,3479.27,633.25,3480.28,560.24,3481.29,536.23,3482.30,513.22,3483.31,491.21,3484.32,470.20,3485.33,450.19,3486.34,431.18,3487.35,413.17,3488.36,396.16,3489.37,350.15,3490.38,307.14,3491.39,267.13,3492.41,230.12,3493.42,196.11,3494.43,185.10,3495.44,175.9,3496.45,150.8,3497.46,142.7,3498.47,135.6,3499.48,129.5,3500.49,124.4,3501.50,120.3,3502.51,117.2,3503.52,115.1,3504.53,1.0,3505.54]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) -> ssPv3_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53),ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34),ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29) % 1.91/0.91 3560:4:54:[3185.53,112.0,3132.52,3507.2,2980.51,3508.3,2830.50,3509.4,2733.49,3510.5,2684.48,3511.6,2449.47,3512.7,2310.46,3513.8,2174.45,3514.9,2129.44,3515.10,1999.43,3516.11,1830.42,3517.12,1666.41,3518.14,1506.40,3519.15,1466.39,3520.16,1427.38,3521.17,1389.37,3522.18,1281.36,3523.19,1245.35,3524.20,1210.34,3525.21,1176.33,3526.22,1112.32,3527.23,1080.31,3528.24,989.30,3529.26,901.29,3530.27,816.28,3531.28,788.27,3532.29,709.26,3533.30,633.25,3534.31,560.24,3535.32,536.23,3536.33,513.22,3537.34,491.21,3538.35,470.20,3539.36,450.19,3540.38,431.18,3541.39,413.17,3542.40,396.16,3543.41,350.15,3544.42,307.14,3545.43,267.13,3546.44,230.12,3547.45,196.11,3548.46,185.10,3549.47,175.9,3550.48,150.8,3551.49,142.7,3552.50,135.6,3553.51,129.5,3554.52,124.4,3555.53,120.3,3556.54,117.2,3557.55,115.1,3558.56,1.0,3559.57]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv3_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53),ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40),ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29),ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18) -> % 1.91/0.91 3616:4:56:[3399.55,113.0,3239.54,3561.2,3185.53,3562.3,3132.52,3563.4,2980.51,3564.5,2830.50,3565.6,2733.49,3566.7,2684.48,3567.9,2449.47,3568.10,2310.46,3569.11,2174.45,3570.12,2129.44,3571.13,1999.43,3572.14,1830.42,3573.15,1666.41,3574.16,1506.40,3575.17,1466.39,3576.18,1427.38,3577.19,1389.37,3578.20,1281.36,3579.21,1245.35,3580.22,1210.34,3581.23,1176.33,3582.24,1112.32,3583.25,1080.31,3584.27,989.30,3585.28,901.29,3586.29,816.28,3587.30,788.27,3588.31,709.26,3589.32,633.25,3590.33,560.24,3591.34,536.23,3592.35,513.22,3593.36,491.21,3594.37,470.20,3595.38,450.19,3596.39,431.18,3597.40,413.17,3598.41,396.16,3599.42,350.15,3600.43,307.14,3601.44,267.13,3602.45,230.12,3603.46,196.11,3604.47,185.10,3605.48,175.9,3606.49,150.8,3607.50,142.7,3608.51,135.6,3609.52,129.5,3610.53,124.4,3611.55,120.3,3612.56,117.2,3613.57,115.1,3614.58,1.0,3615.59]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv1_56r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53,x54,x55),ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47),ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30),ssPv53_4r1r1r1r1(x0,x1,x2,x3) -> % 1.91/0.91 3672:4:56:[3399.55,114.0,3239.54,3617.2,3185.53,3618.3,3132.52,3619.4,2980.51,3620.5,2830.50,3621.6,2733.49,3622.7,2684.48,3623.9,2449.47,3624.10,2310.46,3625.11,2174.45,3626.12,2129.44,3627.13,1999.43,3628.14,1830.42,3629.15,1666.41,3630.16,1506.40,3631.17,1466.39,3632.18,1427.38,3633.19,1389.37,3634.20,1281.36,3635.21,1245.35,3636.23,1210.34,3637.24,1176.33,3638.25,1112.32,3639.26,1080.31,3640.27,989.30,3641.28,901.29,3642.29,816.28,3643.30,788.27,3644.31,709.26,3645.32,633.25,3646.33,560.24,3647.34,536.23,3648.35,513.22,3649.36,491.21,3650.37,470.20,3651.38,450.19,3652.39,431.18,3653.40,413.17,3654.41,396.16,3655.42,350.15,3656.43,307.14,3657.44,267.13,3658.45,230.12,3659.46,196.11,3660.47,185.10,3661.48,175.9,3662.49,150.8,3663.50,142.7,3664.51,135.6,3665.52,129.5,3666.53,124.4,3667.54,120.3,3668.55,117.2,3669.56,115.1,3670.57,1.0,3671.58]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssPv1_56r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53,x54,x55),ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47),ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34) -> ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26) % 1.91/0.91 % 1.91/0.91 Most General Atoms: ssNder1_0 ssNder1_1r1(x0) ssNder1_2r1r1(x0,x1) ssNder1_3r1r1r1(x0,x1,x2) ssNder1_4r1r1r1r1(x0,x1,x2,x3) ssNder1_5r1r1r1r1r1(x0,x1,x2,x3,x4) ssNder1_6r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5) ssNder1_7r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6) ssNder1_8r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7) ssNder1_9r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8) ssNder1_10r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) ssNder1_11r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13) ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14) ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15) ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16) ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17) ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18) ssNder1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19) ssNder1_21r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20) ssNder1_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21) ssNder1_23r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22) ssNder1_24r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23) ssNder1_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24) ssNder1_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25) ssNder1_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26) ssNder1_28r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27) ssNder1_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28) ssNder1_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29) ssNder1_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30) ssNder1_32r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31) ssPv37_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19) ssPv45_12r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) ssPv26_31r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30) ssPv56_1r1(x0) ssNder1_33r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32) ssNder1_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33) ssNder1_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34) ssNder1_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35) ssPv22_35r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34) ssPv38_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18) ssPv31_26r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25) ssPv48_9r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8) ssPv21_36r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35) ssPv43_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13) ssPv54_3r1r1r1(x0,x1,x2) ssNder1_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36) ssNder1_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37) ssNder1_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38) ssNder1_40r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39) ssPv18_39r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38) ssPv23_34r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33) ssPv42_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14) ssNder1_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40) ssPv17_40r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39) ssPv41_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15) ssPv28_29r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28) ssNder1_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41) ssPv51_6r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5) ssPv15_42r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41) ssNder1_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42) ssNder1_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43) ssNder1_45r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44) ssNder1_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45) ssNder1_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46) ssPv55_2r1r1(x0,x1) ssPv11_46r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45) ssPv20_37r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36) ssPv10_47r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46) ssPv35_22r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21) ssPv44_13r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12) ssPv50_7r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6) ssNder1_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47) ssNder1_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48) ssPv27_30r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29) ssNder1_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49) ssPv8_49r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48) ssPv14_43r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42) ssPv7_50r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49) ssPv32_25r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24) ssPv52_5r1r1r1r1r1(x0,x1,x2,x3,x4) ssNder1_51r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50) ssPv49_8r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7) ssPv19_38r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37) ssNder1_52r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51) ssNder1_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52) ssNder1_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53) ssPv5_52r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51) ssPv13_44r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43) ssPv4_53r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52) ssPv40_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16) ssNder1_55r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53,x54) ssPv3_54r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53) ssPv16_41r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40) ssPv1_56r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47,x48,x49,x50,x51,x52,x53,x54,x55) ssPv9_48r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26,x27,x28,x29,x30,x31,x32,x33,x34,x35,x36,x37,x38,x39,x40,x41,x42,x43,x44,x45,x46,x47) ssPv53_4r1r1r1r1(x0,x1,x2,x3) ssPv30_27r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x21,x22,x23,x24,x25,x26) % 1.91/0.91 % 1.91/0.91 === Starting SPASS-SCL-FOL A Little Less Naive, considering 138 atoms initially, heuristics mode: lmodel_grow === % 1.91/0.91 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 142 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 145 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 149 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 151 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 153 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 155 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 157 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 159 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 161 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 163 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 165 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 167 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 169 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 171 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 173 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 175 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 177 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 179 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 181 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 183 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 185 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 187 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 189 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 191 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 193 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 195 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 197 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 199 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 201 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 203 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 205 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 207 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 209 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 211 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 213 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 215 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 217 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 219 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 221 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 223 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 225 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 227 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 229 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 231 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 233 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 235 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 237 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 239 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 241 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 243 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 245 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 247 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 249 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 251 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 253 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 255 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 257 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 259 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 261 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 263 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 265 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 267 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 269 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 271 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 273 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 275 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 277 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 279 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 281 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 283 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 285 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 287 % 1.91/0.91 === Clause set with instances from active satisfied. Growing active. New size: 289 % 1.91/0.91 % 1.91/0.91 Linear Model Building succeeded. % 1.91/0.91 SZS status Satisfiable % 1.91/0.91 % 1.91/0.91 Problem: /export/starexec/sandbox2/benchmark/theBenchmark.p % 1.91/0.91 % 1.91/0.91 SPASS-SCL-FOL Statistics: % 1.91/0.91 Number of learned clauses: 0 % 1.91/0.91 Number of propagations: 247 % 1.91/0.91 Number of decisions: 42 % 1.91/0.91 Number of resolutions: 0 % 1.91/0.91 Number of condensations: 0 % 1.91/0.91 Number of sub resolutions: 3558 % 1.91/0.91 Number of input literals (deduplicated): 138 % 1.91/0.91 Number of grows: 73 % 1.91/0.91 Number of considered ground atoms: 289 % 1.91/0.91 % 1.91/0.91 Needed: 0:00:00.32 % 1.91/0.91 %------------------------------------------------------------------------------