TSTP Solution File: SWW095+1 by SPASS---3.9
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SPASS---3.9
% Problem : SWW095+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp
% Command : run_spass %d %s
% Computer : n023.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 : 600s
% DateTime : Thu Jul 21 01:27:55 EDT 2022
% Result : Theorem 14.47s 14.66s
% Output : Refutation 40.39s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : SWW095+1 : TPTP v8.1.0. Released v5.2.0.
% 0.04/0.13 % Command : run_spass %d %s
% 0.14/0.34 % Computer : n023.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Sun Jun 5 10:24:09 EDT 2022
% 0.14/0.34 % CPUTime :
% 14.47/14.66
% 14.47/14.66 SPASS V 3.9
% 14.47/14.66 SPASS beiseite: Proof found.
% 14.47/14.66 % SZS status Theorem
% 14.47/14.66 Problem: /export/starexec/sandbox/benchmark/theBenchmark.p
% 14.47/14.66 SPASS derived 40430 clauses, backtracked 26026 clauses, performed 511 splits and kept 29789 clauses.
% 14.47/14.66 SPASS allocated 140265 KBytes.
% 14.47/14.66 SPASS spent 0:0:14.23 on the problem.
% 14.47/14.66 0:00:00.04 for the input.
% 14.47/14.66 0:00:00.08 for the FLOTTER CNF translation.
% 14.47/14.66 0:00:00.39 for inferences.
% 14.47/14.66 0:00:00.34 for the backtracking.
% 14.47/14.66 0:0:13.21 for the reduction.
% 14.47/14.66
% 14.47/14.66
% 14.47/14.66 Here is a proof with depth 5, length 1492 :
% 14.47/14.66 % SZS output start Refutation
% 14.47/14.66 1[0:Inp] || -> object(skc1)*.
% 14.47/14.66 2[0:Inp] || -> object(nn)*.
% 14.47/14.66 4[0:Inp] || -> object(prev_2)*.
% 14.47/14.66 5[0:Inp] || -> object(null)*.
% 14.47/14.66 6[0:Inp] || -> object(sortedList_first)*.
% 14.47/14.66 7[0:Inp] || -> node(prev_2)*.
% 14.47/14.66 8[0:Inp] || -> object_alloc(prev_2)*.
% 14.47/14.66 13[0:Inp] || -> object_alloc(nn)*.
% 14.47/14.66 14[0:Inp] || -> node(nn)*.
% 14.47/14.66 15[0:Inp] || -> node(sortedList_first)*.
% 14.47/14.66 16[0:Inp] || -> object_alloc(sortedList_first)*.
% 14.47/14.66 17[0:Inp] || -> object_alloc(null)*.
% 14.47/14.66 19[0:Inp] || -> integer(node_key(u))*.
% 14.47/14.66 20[0:Inp] || -> object(node_next(u))*.
% 14.47/14.66 22[0:Inp] || equal(null,skc1)** -> .
% 14.47/14.66 26[0:Inp] || equal(prev_2,null)** -> .
% 14.47/14.66 29[0:Inp] || equal(nn,null)** -> .
% 14.47/14.66 30[0:Inp] || -> equal(node_next(null),null)**.
% 14.47/14.66 42[0:Inp] || object(null) -> sortedList(null)*.
% 14.47/14.66 44[0:Inp] || object(null) -> node(null)*.
% 14.47/14.66 45[0:Inp] || object(null) -> array(null)*.
% 14.47/14.66 46[0:Inp] || equal(prev_2,u) -> SkP1(u)*.
% 14.47/14.66 47[0:Inp] || -> SkP2(u) v__1(sortedList_first,u,prev_2)*.
% 14.47/14.66 52[0:Inp] || -> SkP5(u) v__1(sortedList_first,prev_2,u)*.
% 14.47/14.66 54[0:Inp] || -> SkP6(u)* v__1(sortedList_first,prev_2,nn)*.
% 14.47/14.66 56[0:Inp] || -> SkP7(u) v__1(null,prev_2,u)*.
% 14.47/14.66 60[0:Inp] || equal(nn,u) -> SkP12(u)*.
% 14.47/14.66 61[0:Inp] || -> SkP14(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 63[0:Inp] || -> SkP15(u) v__1(sortedList_first,u,nn)*.
% 14.47/14.66 66[0:Inp] || -> SkP11(u) v__1(node_next(nn),u,u)*.
% 14.47/14.66 67[0:Inp] || -> SkP13(u) v__1(node_next(nn),u,nn)*.
% 14.47/14.66 68[0:Inp] || v__1(null,u,nn)* -> SkP16(u).
% 14.47/14.66 70[0:Inp] || -> SkP17(u) v__1(node_next(nn),nn,u)*.
% 14.47/14.66 71[0:Inp] object(u) || -> v__1(u,u,u)*.
% 14.47/14.66 72[0:Inp] || -> v__1(sortedList_first,prev_2,prev_2)* equal(prev_2,null).
% 14.47/14.66 73[0:Inp] || -> v__1(sortedList_first,nn,nn)* equal(nn,null).
% 14.47/14.66 75[0:Inp] || -> equal(prev_2,null) equal(node_next(prev_2),nn)**.
% 14.47/14.66 77[0:Inp] || SkP17(prev_2) SkP13(nn) -> SkP9(u)*.
% 14.47/14.66 79[0:Inp] || SkP17(prev_2) SkP13(nn) -> SkP10(u)*.
% 14.47/14.66 81[0:Inp] SkP13(u) || SkP18(nn)*+ -> SkP11(u)*.
% 14.47/14.66 84[0:Inp] || v__1(node_next(nn),u,u)* -> SkP18(u).
% 14.47/14.66 88[0:Inp] || equal(prev_2,skc1) SkP0(skc1) SkP1(skc1)* -> .
% 14.47/14.66 91[0:Inp] || -> SkP3(u)* v__1(null,prev_2,prev_2) v__1(null,prev_2,nn)*.
% 14.47/14.66 93[0:Inp] || -> SkP4(u)* v__1(null,prev_2,prev_2) v__1(null,prev_2,nn)*.
% 14.47/14.66 96[0:Inp] || -> SkP6(u) v__1(null,u,u)* v__1(null,u,nn)*.
% 14.47/14.66 98[0:Inp] || -> SkP7(u) v__1(null,u,u)* v__1(null,u,nn)*.
% 14.47/14.66 99[0:Inp] || SkP13(prev_2)+ -> SkP8(u)* v__1(node_next(nn),prev_2,prev_2)*.
% 14.47/14.66 102[0:Inp] || -> SkP12(u) v__1(null,u,u)* v__1(null,u,nn)*.
% 14.47/14.66 104[0:Inp] || -> SkP15(u) v__1(null,u,u)* v__1(null,u,nn)*.
% 14.47/14.66 105[0:Inp] || v__1(sortedList_first,skc1,skc1)* -> equal(null,skc1) equal(nn,skc1).
% 14.47/14.66 106[0:Inp] SkP4(u) SkP3(u) SkP2(u) || -> SkP1(u)*.
% 14.47/14.66 107[0:Inp] || v__1(sortedList_first,nn,nn)* -> v__1(sortedList_first,prev_2,nn) SkP2(u)*.
% 14.47/14.66 108[0:Inp] || v__1(sortedList_first,prev_2,prev_2) -> v__1(sortedList_first,nn,prev_2)* SkP3(u)*.
% 14.47/14.66 110[0:Inp] || v__1(sortedList_first,prev_2,prev_2) -> v__1(sortedList_first,nn,prev_2)* SkP4(u)*.
% 14.47/14.66 112[0:Inp] || v__1(sortedList_first,nn,nn)* -> v__1(sortedList_first,u,nn)* SkP5(u).
% 14.47/14.66 117[0:Inp] || v__1(null,nn,nn)*+ -> SkP9(u)* v__1(null,prev_2,nn).
% 14.47/14.66 118[0:Inp] || v__1(null,nn,nn)*+ -> SkP10(u)* v__1(null,prev_2,nn).
% 14.47/14.66 119[0:Inp] || v__1(null,nn,nn)*+ -> SkP12(u) v__1(null,u,nn)*.
% 14.47/14.66 120[0:Inp] || v__1(sortedList_first,nn,nn)* -> v__1(sortedList_first,u,nn)* SkP14(u).
% 14.47/14.66 121[0:Inp] || v__1(sortedList_first,u,u)*+ -> SkP15(u) v__1(sortedList_first,nn,u)*.
% 14.47/14.66 123[0:Inp] || v__1(null,u,u)*+ -> SkP16(u) v__1(null,nn,nn)*.
% 14.47/14.66 124[0:Inp] object(u) || equal(node_next(u),sortedList_first)** -> equal(null,sortedList_first).
% 14.47/14.66 129[0:Inp] || v__1(sortedList_first,nn,nn) -> v__1(nn,nn,nn)* equal(nn,null).
% 14.47/14.66 134[0:Inp] object(u) || object(node_next(u)) -> v__1(u,node_next(u),node_next(u))*.
% 14.47/14.66 136[0:Inp] object(u) object(v) || equal(u,node_next(v))*+ -> object_alloc(u)*.
% 14.47/14.66 138[0:Inp] object(u) node(u) || object(node_next(u)) -> node(node_next(u))*.
% 14.47/14.66 139[0:Inp] object(u) object(v) || v__1(v,u,v)* -> equal(v,u).
% 14.47/14.66 140[0:Inp] || equal(nn,skc1) SkP11(skc1) SkP12(skc1)* SkP0(skc1) SkP1(skc1) -> .
% 14.47/14.66 141[0:Inp] || SkP1(skc1) SkP0(skc1) SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 143[0:Inp] SkP10(u) SkP9(u) SkP8(u) || SkC0 SkP18(prev_2)*+ -> SkP1(u)*.
% 14.47/14.66 150[0:Inp] || SkP1(skc1) SkP0(skc1) SkP12(skc1)* SkP11(skc1) SkP17(skc1) SkP13(nn) -> .
% 14.47/14.66 152[0:Inp] object(u) object(v) object(w) || v__1(w,v,u)*+ -> v__1(w,v,v)*.
% 14.47/14.66 153[0:Inp] object(u) object(v) object(w) || v__1(w,v,u)*+ -> v__1(v,u,u)*.
% 14.47/14.66 154[0:Inp] object(u) object(v) || equal(node_next(v),v) v__1(v,u,u)* -> equal(v,u).
% 14.47/14.66 155[0:Inp] object(u) || object(node_next(u)) -> v__1(sortedList_first,node_next(u),node_next(u))* equal(u,null) equal(node_next(u),null).
% 14.47/14.66 164[0:Inp] SkP2(u) SkP3(u) SkP4(u) || v__1(sortedList_first,prev_2,prev_2) v__1(sortedList_first,prev_2,nn)* -> SkP0(u)*.
% 14.47/14.66 165[0:Inp] || SkP1(skc1) SkP0(skc1) SkP10(skc1) SkP9(skc1) SkP8(skc1) SkP13(nn) SkP18(prev_2)* -> .
% 14.47/14.66 166[0:Inp] || v__1(null,nn,nn)* SkP11(skc1) SkP12(skc1) SkP0(skc1) SkP1(skc1) -> v__1(null,skc1,nn).
% 14.47/14.66 169[0:Inp] object(u) object(v) object(w) || v__1(v,u,u)*+ v__1(w,v,v)* -> v__1(w,u,u)*.
% 14.47/14.66 173[0:Inp] || SkP1(skc1) SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP5(skc1) SkP4(prev_2) SkP15(prev_2)* SkP14(prev_2) -> .
% 14.47/14.66 176[0:Inp] || v__1(sortedList_first,skc1,nn)* v__1(sortedList_first,skc1,skc1) SkP5(skc1) SkP6(skc1) SkP7(skc1) SkP0(skc1) SkP1(skc1) -> .
% 14.47/14.66 177[0:Inp] object(u) object(v) object(w) object(x) || v__1(w,x,v)*+ v__1(w,v,u)* -> v__1(x,v,u)*.
% 14.47/14.66 179[0:Inp] object(u) object(v) object(w) object(x) || v__1(v,x,u)*+ v__1(w,v,u)* -> v__1(w,x,u)*.
% 14.47/14.66 183[0:Inp] object(u) object(v) object(w) || v__1(w,u,u)*+ v__1(w,v,v)* -> v__1(w,u,v)* v__1(w,v,u)*.
% 14.47/14.66 197[0:Inp] || SkC0 SkP1(skc1) SkP0(skc1) SkP10(skc1) SkP9(skc1) SkP8(skc1) SkP16(prev_2) SkP18(nn) -> equal(nn,prev_2) v__1(node_next(nn),prev_2,prev_2)*.
% 14.47/14.66 202[0:Inp] || v__1(sortedList_first,nn,nn) v__1(null,skc1,skc1)* SkP16(skc1) SkP5(skc1) SkP6(skc1) SkP7(skc1) SkP0(skc1) SkP1(skc1) -> v__1(sortedList_first,skc1,skc1) equal(nn,skc1).
% 14.47/14.66 204[0:Inp] object(u) object(v) || integer(node_key(u)) v__1(sortedList_first,u,u)* object(node_next(u)) v__1(node_next(u),v,v)* equal(node_key(u),node_key(v)) -> equal(u,null) equal(v,null).
% 14.47/14.66 205[0:Inp] object(u) object(v) || integer(node_key(u)) v__1(sortedList_first,u,u)* object(node_next(u)) v__1(node_next(u),v,v)* integer(node_key(v)) -> lteq(node_key(u),node_key(v))* equal(u,null) equal(v,null).
% 14.47/14.66 206[0:MRR:45.0,5.0] || -> array(null)*.
% 14.47/14.66 207[0:MRR:44.0,5.0] || -> node(null)*.
% 14.47/14.66 208[0:MRR:42.0,5.0] || -> sortedList(null)*.
% 14.47/14.66 209[0:MRR:75.0,26.0] || -> equal(node_next(prev_2),nn)**.
% 14.47/14.66 210[0:MRR:73.1,29.0] || -> v__1(sortedList_first,nn,nn)*.
% 14.47/14.66 211[0:MRR:72.1,26.0] || -> v__1(sortedList_first,prev_2,prev_2)*.
% 14.47/14.66 212[0:MRR:88.2,46.1] || SkP0(skc1)* equal(prev_2,skc1) -> .
% 14.47/14.66 213[0:MRR:120.0,210.0] || -> SkP14(u) v__1(sortedList_first,u,nn)*.
% 14.47/14.66 214[0:MRR:112.0,210.0] || -> SkP5(u) v__1(sortedList_first,u,nn)*.
% 14.47/14.66 215[0:MRR:110.0,211.0] || -> SkP4(u)* v__1(sortedList_first,nn,prev_2)*.
% 14.47/14.66 216[0:MRR:108.0,211.0] || -> SkP3(u)* v__1(sortedList_first,nn,prev_2)*.
% 14.47/14.66 217[0:MRR:107.0,210.0] || -> SkP2(u)* v__1(sortedList_first,prev_2,nn)*.
% 14.47/14.66 218[0:MRR:105.1,22.0] || v__1(sortedList_first,skc1,skc1)* -> equal(nn,skc1).
% 14.47/14.66 219[0:MRR:129.0,129.2,210.0,29.0] || -> v__1(nn,nn,nn)*.
% 14.47/14.66 221[0:MRR:138.2,20.0] node(u) object(u) || -> node(node_next(u))*.
% 14.47/14.66 222[0:MRR:134.1,20.0] object(u) || -> v__1(u,node_next(u),node_next(u))*.
% 14.47/14.66 223[0:MRR:140.2,60.1] || SkP1(skc1) SkP0(skc1) SkP11(skc1)* equal(nn,skc1) -> .
% 14.47/14.66 226[0:MRR:155.1,20.0] object(u) || -> equal(u,null) equal(node_next(u),null) v__1(sortedList_first,node_next(u),node_next(u))*.
% 14.47/14.66 228[0:MRR:164.3,211.0] SkP4(u) SkP3(u) SkP2(u) || v__1(sortedList_first,prev_2,nn)*+ -> SkP0(u)*.
% 14.47/14.66 229[0:MRR:166.2,119.2] || SkP1(skc1) SkP0(skc1) SkP11(skc1) v__1(null,nn,nn)* -> v__1(null,skc1,nn).
% 14.47/14.66 233[0:Rew:218.1,176.0] || v__1(sortedList_first,skc1,skc1)* v__1(sortedList_first,skc1,skc1)* SkP5(skc1) SkP6(skc1) SkP7(skc1) SkP0(skc1) SkP1(skc1) -> .
% 14.47/14.66 234[0:Obv:233.0] || SkP1(skc1) SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP5(skc1) v__1(sortedList_first,skc1,skc1)* -> .
% 14.47/14.66 238[0:MRR:202.0,202.8,210.0,234.0] || SkP1(skc1) SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP5(skc1) SkP16(skc1) v__1(null,skc1,skc1)* -> equal(nn,skc1).
% 14.47/14.66 240[0:MRR:204.2,204.4,19.0,20.0] object(u) object(v) || equal(node_key(v),node_key(u))+ v__1(sortedList_first,v,v)* v__1(node_next(v),u,u)* -> equal(u,null) equal(v,null).
% 14.47/14.66 241[0:MRR:205.2,205.4,205.6,19.0,20.0,19.0] object(u) object(v) || v__1(sortedList_first,v,v)* v__1(node_next(v),u,u)*+ -> equal(u,null) equal(v,null) lteq(node_key(v),node_key(u))*.
% 14.47/14.66 242[1:Spt:197.8] || -> equal(nn,prev_2)**.
% 14.47/14.66 264[1:Rew:242.0,84.0] || v__1(node_next(prev_2),u,u)* -> SkP18(u).
% 14.47/14.66 312[1:Rew:242.0,209.0] || -> equal(node_next(prev_2),prev_2)**.
% 14.47/14.66 314[1:Rew:242.0,219.0] || -> v__1(prev_2,prev_2,prev_2)*.
% 14.47/14.66 336[1:Rew:312.0,264.0] || v__1(prev_2,u,u)* -> SkP18(u).
% 14.47/14.66 375[1:Res:314.0,336.0] || -> SkP18(prev_2)*.
% 14.47/14.66 622[0:EqR:136.2] object(node_next(u)) object(u) || -> object_alloc(node_next(u))*.
% 14.47/14.66 626[0:SSi:622.0,20.0] object(u) || -> object_alloc(node_next(u))*.
% 14.47/14.66 2065[0:EqR:240.2] object(u) object(u) || v__1(sortedList_first,u,u) v__1(node_next(u),u,u)* -> equal(u,null) equal(u,null).
% 14.47/14.66 2066[0:Obv:2065.4] object(u) || v__1(sortedList_first,u,u) v__1(node_next(u),u,u)* -> equal(u,null).
% 14.47/14.66 7569[1:SpL:312.0,2066.2] object(prev_2) || v__1(sortedList_first,prev_2,prev_2) v__1(prev_2,prev_2,prev_2)* -> equal(prev_2,null).
% 14.47/14.66 7574[1:SSi:7569.0,375.0,4.0,8.0,7.0] || v__1(sortedList_first,prev_2,prev_2) v__1(prev_2,prev_2,prev_2)* -> equal(prev_2,null).
% 14.47/14.66 7575[1:MRR:7574.1,314.0] || v__1(sortedList_first,prev_2,prev_2)* -> equal(prev_2,null).
% 14.47/14.66 7576[1:MRR:7575.0,7575.1,211.0,26.0] || -> .
% 14.47/14.66 7579[1:Spt:7576.0,197.8,242.0] || equal(nn,prev_2)** -> .
% 14.47/14.66 7580[1:Spt:7576.0,197.0,197.1,197.2,197.3,197.4,197.5,197.6,197.7,197.9] || SkC0 SkP1(skc1) SkP0(skc1) SkP10(skc1) SkP9(skc1) SkP8(skc1) SkP16(prev_2) SkP18(nn) -> v__1(node_next(nn),prev_2,prev_2)*.
% 14.47/14.66 7613[2:Spt:218.1] || -> equal(nn,skc1)**.
% 14.47/14.66 7616[2:Rew:7613.0,13.0] || -> object_alloc(skc1)*.
% 14.47/14.66 7617[2:Rew:7613.0,14.0] || -> node(skc1)*.
% 14.47/14.66 7619[2:Rew:7613.0,210.0] || -> v__1(sortedList_first,skc1,skc1)*.
% 14.47/14.66 7620[2:Rew:7613.0,209.0] || -> equal(node_next(prev_2),skc1)**.
% 14.47/14.66 7626[2:Rew:7613.0,216.1] || -> SkP3(u)* v__1(sortedList_first,skc1,prev_2)*.
% 14.47/14.66 7627[2:Rew:7613.0,215.1] || -> SkP4(u)* v__1(sortedList_first,skc1,prev_2)*.
% 14.47/14.66 7628[2:Rew:7613.0,228.3] SkP4(u) SkP3(u) SkP2(u) || v__1(sortedList_first,prev_2,skc1)* -> SkP0(u)*.
% 14.47/14.66 7629[2:Rew:7613.0,217.1] || -> SkP2(u)* v__1(sortedList_first,prev_2,skc1)*.
% 14.47/14.66 7630[2:Rew:7613.0,54.1] || -> SkP6(u)* v__1(sortedList_first,prev_2,skc1)*.
% 14.47/14.66 7648[2:Rew:7613.0,66.1] || -> SkP11(u) v__1(node_next(skc1),u,u)*.
% 14.47/14.66 7672[2:Rew:7613.0,223.3] || SkP1(skc1) SkP0(skc1) SkP11(skc1)* equal(skc1,skc1) -> .
% 14.47/14.66 7709[2:Obv:7672.3] || SkP1(skc1) SkP0(skc1) SkP11(skc1)* -> .
% 14.47/14.66 7758[0:Res:211.0,169.3] object(prev_2) object(sortedList_first) object(u) || v__1(u,sortedList_first,sortedList_first) -> v__1(u,prev_2,prev_2)*.
% 14.47/14.66 7772[0:SSi:7758.1,7758.0,15.0,16.0,6.0,4.0,8.0,7.0] object(u) || v__1(u,sortedList_first,sortedList_first) -> v__1(u,prev_2,prev_2)*.
% 14.47/14.66 7795[2:Res:7619.0,183.3] object(skc1) object(u) object(sortedList_first) || v__1(sortedList_first,u,u)* -> v__1(sortedList_first,skc1,u)* v__1(sortedList_first,u,skc1)*.
% 14.47/14.66 7811[2:SSi:7795.2,7795.0,15.0,16.0,6.0,1.0,7616.0,7617.0] object(u) || v__1(sortedList_first,u,u)*+ -> v__1(sortedList_first,skc1,u)* v__1(sortedList_first,u,skc1)*.
% 14.47/14.66 7820[2:SpL:7620.0,2066.2] object(prev_2) || v__1(sortedList_first,prev_2,prev_2) v__1(skc1,prev_2,prev_2)* -> equal(prev_2,null).
% 14.47/14.66 7826[2:SSi:7820.0,4.0,8.0,7.0] || v__1(sortedList_first,prev_2,prev_2) v__1(skc1,prev_2,prev_2)* -> equal(prev_2,null).
% 14.47/14.66 7827[2:MRR:7826.0,7826.2,211.0,26.0] || v__1(skc1,prev_2,prev_2)* -> .
% 14.47/14.66 7852[3:Spt:7626.1] || -> v__1(sortedList_first,skc1,prev_2)*.
% 14.47/14.66 7855[3:Res:7852.0,153.3] object(prev_2) object(skc1) object(sortedList_first) || -> v__1(skc1,prev_2,prev_2)*.
% 14.47/14.66 7860[3:SSi:7855.2,7855.1,7855.0,15.0,16.0,6.0,1.0,7616.0,7617.0,4.0,8.0,7.0] || -> v__1(skc1,prev_2,prev_2)*.
% 14.47/14.66 7861[3:MRR:7860.0,7827.0] || -> .
% 14.47/14.66 7866[3:Spt:7861.0,7626.1,7852.0] || v__1(sortedList_first,skc1,prev_2)* -> .
% 14.47/14.66 7867[3:Spt:7861.0,7626.0] || -> SkP3(u)*.
% 14.47/14.66 7868[3:MRR:106.1,7867.0] SkP4(u) SkP2(u) || -> SkP1(u)*.
% 14.47/14.66 7869[3:MRR:7628.1,7867.0] SkP4(u) SkP2(u) || v__1(sortedList_first,prev_2,skc1)* -> SkP0(u)*.
% 14.47/14.66 7870[3:MRR:7627.1,7866.0] || -> SkP4(u)*.
% 14.47/14.66 7871[3:MRR:7868.0,7870.0] SkP2(u) || -> SkP1(u)*.
% 14.47/14.66 7872[3:MRR:7869.0,7870.0] SkP2(u) || v__1(sortedList_first,prev_2,skc1)* -> SkP0(u)*.
% 14.47/14.66 7873[4:Spt:7629.0] || -> SkP2(u)*.
% 14.47/14.66 7874[4:MRR:7871.0,7873.0] || -> SkP1(u)*.
% 14.47/14.66 7875[4:MRR:7872.0,7873.0] || v__1(sortedList_first,prev_2,skc1)* -> SkP0(u)*.
% 14.47/14.66 7876[4:MRR:7709.0,7874.0] || SkP0(skc1) SkP11(skc1)* -> .
% 14.47/14.66 7891[5:Spt:7876.0] || SkP0(skc1)* -> .
% 14.47/14.66 7892[6:Spt:7630.1] || -> v__1(sortedList_first,prev_2,skc1)*.
% 14.47/14.66 7893[6:MRR:7875.0,7892.0] || -> SkP0(u)*.
% 14.47/14.66 7894[6:UnC:7893.0,7891.0] || -> .
% 14.47/14.66 7895[6:Spt:7894.0,7630.1,7892.0] || v__1(sortedList_first,prev_2,skc1)* -> .
% 14.47/14.66 7896[6:Spt:7894.0,7630.0] || -> SkP6(u)*.
% 14.47/14.66 7899[0:Res:56.1,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> SkP7(prev_2) equal(prev_2,null).
% 14.47/14.66 7901[0:Res:56.1,139.2] object(prev_2) object(null) || -> SkP7(null)* equal(prev_2,null).
% 14.47/14.66 7902[0:Res:56.1,152.3] object(u) object(prev_2) object(null) || -> SkP7(u)* v__1(null,prev_2,prev_2)*.
% 14.47/14.66 7908[0:SSi:7901.1,7901.0,5.0,17.0,207.0,208.0,206.0,4.0,8.0,7.0] || -> SkP7(null)* equal(prev_2,null).
% 14.47/14.66 7909[0:MRR:7908.1,26.0] || -> SkP7(null)*.
% 14.47/14.66 7910[0:SSi:7902.2,7902.1,5.0,17.0,207.0,208.0,206.0,4.0,8.0,7.0] object(u) || -> SkP7(u)* v__1(null,prev_2,prev_2)*.
% 14.47/14.66 7915[0:Rew:30.0,7899.2] object(prev_2) object(null) || equal(null,null) -> SkP7(prev_2)* equal(prev_2,null).
% 14.47/14.66 7916[0:Obv:7915.2] object(prev_2) object(null) || -> SkP7(prev_2)* equal(prev_2,null).
% 14.47/14.66 7917[0:SSi:7916.1,7916.0,5.0,17.0,207.0,208.0,206.0,4.0,8.0,7.0] || -> SkP7(prev_2)* equal(prev_2,null).
% 14.47/14.66 7918[0:MRR:7917.1,26.0] || -> SkP7(prev_2)*.
% 14.47/14.66 7927[0:Res:52.1,139.2] object(prev_2) object(sortedList_first) || -> SkP5(sortedList_first)* equal(prev_2,sortedList_first).
% 14.47/14.66 7935[0:SSi:7927.1,7927.0,15.0,16.0,6.0,4.0,8.0,7.0,7918.0] || -> SkP5(sortedList_first)* equal(prev_2,sortedList_first).
% 14.47/14.66 8250[2:Res:7648.1,2066.2] object(skc1) || v__1(sortedList_first,skc1,skc1)* -> SkP11(skc1) equal(null,skc1).
% 14.47/14.66 10027[2:Res:211.0,7811.1] object(prev_2) || -> v__1(sortedList_first,skc1,prev_2) v__1(sortedList_first,prev_2,skc1)*.
% 14.47/14.66 10043[2:SSi:10027.0,7918.0,7.0,8.0,4.0] || -> v__1(sortedList_first,skc1,prev_2) v__1(sortedList_first,prev_2,skc1)*.
% 14.47/14.66 10044[6:MRR:10043.0,10043.1,7866.0,7895.0] || -> .
% 14.47/14.66 10049[5:Spt:10044.0,7876.0,7891.0] || -> SkP0(skc1)*.
% 14.47/14.66 10050[5:Spt:10044.0,7876.1] || SkP11(skc1)* -> .
% 14.47/14.66 10053[3:MRR:10043.0,7866.0] || -> v__1(sortedList_first,prev_2,skc1)*.
% 14.47/14.66 10067[2:SSi:8250.0,1.0,7616.0,7617.0] || v__1(sortedList_first,skc1,skc1)* -> SkP11(skc1) equal(null,skc1).
% 14.47/14.66 10068[2:MRR:10067.0,10067.2,7619.0,22.0] || -> SkP11(skc1)*.
% 14.47/14.66 10069[5:MRR:10068.0,10050.0] || -> .
% 14.47/14.66 10158[4:Spt:10069.0,7629.1] || -> v__1(sortedList_first,prev_2,skc1)*.
% 14.47/14.66 10159[2:MRR:7709.2,10068.0] || SkP1(skc1)* SkP0(skc1) -> .
% 14.47/14.66 10160[3:MRR:7872.1,10053.0] SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 10463[5:Spt:10159.0] || SkP1(skc1)* -> .
% 14.47/14.66 10465[5:Res:7871.1,10463.0] SkP2(skc1) || -> .
% 14.47/14.66 10827[0:Res:47.1,152.3] object(prev_2) object(u) object(sortedList_first) || -> SkP2(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 10828[0:Res:47.1,153.3] object(prev_2) object(u) object(sortedList_first) || -> SkP2(u) v__1(u,prev_2,prev_2)*.
% 14.47/14.66 10833[3:Res:47.1,7866.0] || -> SkP2(skc1)*.
% 14.47/14.66 10834[5:MRR:10833.0,10465.0] || -> .
% 14.47/14.66 10841[5:Spt:10834.0,10159.0,10463.0] || -> SkP1(skc1)*.
% 14.47/14.66 10842[5:Spt:10834.0,10159.1] || SkP0(skc1)* -> .
% 14.47/14.66 10871[5:Res:10160.1,10842.0] SkP2(skc1) || -> .
% 14.47/14.66 10872[5:MRR:10871.0,10833.0] || -> .
% 14.47/14.66 10873[2:Spt:10872.0,218.1,7613.0] || equal(nn,skc1)** -> .
% 14.47/14.66 10874[2:Spt:10872.0,218.0] || v__1(sortedList_first,skc1,skc1)* -> .
% 14.47/14.66 10875[0:SSi:10827.2,10827.0,15.0,16.0,6.0,4.0,8.0,7.0,7918.0] object(u) || -> SkP2(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 10876[0:SSi:10828.2,10828.0,15.0,16.0,6.0,4.0,8.0,7.0,7918.0] object(u) || -> SkP2(u) v__1(u,prev_2,prev_2)*.
% 14.47/14.66 10882[2:MRR:238.7,10873.0] || SkP1(skc1) SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP5(skc1) SkP16(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 10883[2:Res:61.1,10874.0] || -> SkP14(skc1)*.
% 14.47/14.66 10884[3:Spt:123.0,123.1] || v__1(null,u,u)* -> SkP16(u).
% 14.47/14.66 10892[3:MRR:10882.5,10884.1] || SkP1(skc1) SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP5(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 10893[3:Res:71.1,10884.0] object(null) || -> SkP16(null)*.
% 14.47/14.66 10896[3:SSi:10893.0,5.0,17.0,207.0,208.0,206.0,7909.0] || -> SkP16(null)*.
% 14.47/14.66 10898[4:Spt:143.0,143.1,143.2,143.5] SkP10(u) SkP9(u) SkP8(u) || -> SkP1(u)*.
% 14.47/14.66 10899[5:Spt:118.1] || -> SkP10(u)*.
% 14.47/14.66 10900[5:MRR:10898.0,10899.0] SkP9(u) SkP8(u) || -> SkP1(u)*.
% 14.47/14.66 10902[5:MRR:165.2,10899.0] || SkP1(skc1) SkP0(skc1) SkP9(skc1) SkP8(skc1) SkP13(nn) SkP18(prev_2)* -> .
% 14.47/14.66 10914[6:Spt:117.1] || -> SkP9(u)*.
% 14.47/14.66 10915[6:MRR:10900.0,10914.0] SkP8(u) || -> SkP1(u)*.
% 14.47/14.66 10917[6:MRR:10902.2,10914.0] || SkP1(skc1) SkP0(skc1) SkP8(skc1) SkP13(nn) SkP18(prev_2)* -> .
% 14.47/14.66 10929[7:Spt:99.1] || -> SkP8(u)*.
% 14.47/14.66 10930[7:MRR:10915.0,10929.0] || -> SkP1(u)*.
% 14.47/14.66 10932[7:MRR:10917.2,10929.0] || SkP1(skc1) SkP0(skc1) SkP13(nn) SkP18(prev_2)* -> .
% 14.47/14.66 10944[7:MRR:141.0,10930.0] || SkP0(skc1) SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 10946[7:MRR:150.0,10930.0] || SkP0(skc1) SkP12(skc1)* SkP11(skc1) SkP17(skc1) SkP13(nn) -> .
% 14.47/14.66 10948[7:MRR:173.0,10930.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP5(skc1) SkP4(prev_2) SkP15(prev_2)* SkP14(prev_2) -> .
% 14.47/14.66 10950[7:MRR:10892.0,10930.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP5(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 10952[7:MRR:10932.0,10930.0] || SkP0(skc1) SkP13(nn) SkP18(prev_2)* -> .
% 14.47/14.66 10964[8:Spt:81.1] || SkP18(nn)* -> .
% 14.47/14.66 10965[9:Spt:228.0,228.1,228.2,228.4] SkP4(u) SkP3(u) SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 10967[10:Spt:93.0] || -> SkP4(u)*.
% 14.47/14.66 10968[10:MRR:10965.0,10967.0] SkP3(u) SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 10969[10:MRR:10948.4,10967.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP5(skc1) SkP15(prev_2)* SkP14(prev_2) -> .
% 14.47/14.66 10970[11:Spt:54.0] || -> SkP6(u)*.
% 14.47/14.66 10971[11:MRR:10950.2,10970.0] || SkP0(skc1) SkP7(skc1) SkP5(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 10974[12:Spt:212.0] || SkP0(skc1)* -> .
% 14.47/14.66 10975[13:Spt:91.0] || -> SkP3(u)*.
% 14.47/14.66 10976[13:MRR:10968.0,10975.0] SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 11001[0:SpR:209.0,222.1] object(prev_2) || -> v__1(prev_2,nn,nn)*.
% 14.47/14.66 11006[0:SpL:209.0,2066.2] object(prev_2) || v__1(sortedList_first,prev_2,prev_2) v__1(nn,prev_2,prev_2)* -> equal(prev_2,null).
% 14.47/14.66 11008[0:SpL:209.0,241.3] object(u) object(prev_2) || v__1(sortedList_first,prev_2,prev_2) v__1(nn,u,u)* -> equal(u,null) equal(prev_2,null) lteq(node_key(prev_2),node_key(u))*.
% 14.47/14.66 11010[0:SSi:11006.0,4.0,8.0,7.0,7918.0] || v__1(sortedList_first,prev_2,prev_2) v__1(nn,prev_2,prev_2)* -> equal(prev_2,null).
% 14.47/14.66 11011[0:MRR:11010.0,11010.2,211.0,26.0] || v__1(nn,prev_2,prev_2)* -> .
% 14.47/14.66 11012[0:SSi:11008.1,4.0,8.0,7.0,7918.0] object(u) || v__1(sortedList_first,prev_2,prev_2) v__1(nn,u,u)* -> equal(u,null) equal(prev_2,null) lteq(node_key(prev_2),node_key(u))*.
% 14.47/14.66 11013[0:MRR:11012.1,11012.4,211.0,26.0] object(u) || v__1(nn,u,u)*+ -> equal(u,null) lteq(node_key(prev_2),node_key(u))*.
% 14.47/14.66 11014[0:Res:210.0,169.3] object(nn) object(sortedList_first) object(u) || v__1(u,sortedList_first,sortedList_first) -> v__1(u,nn,nn)*.
% 14.47/14.66 11017[0:Res:210.0,183.3] object(nn) object(u) object(sortedList_first) || v__1(sortedList_first,u,u)* -> v__1(sortedList_first,nn,u)* v__1(sortedList_first,u,nn)*.
% 14.47/14.66 11020[0:Res:210.0,179.4] object(nn) object(sortedList_first) object(u) object(nn) || v__1(u,sortedList_first,nn) -> v__1(u,nn,nn)*.
% 14.47/14.66 11028[0:SSi:11014.1,11014.0,15.0,16.0,6.0,14.0,13.0,2.0] object(u) || v__1(u,sortedList_first,sortedList_first) -> v__1(u,nn,nn)*.
% 14.47/14.66 11031[0:Obv:11020.0] object(sortedList_first) object(u) object(nn) || v__1(u,sortedList_first,nn) -> v__1(u,nn,nn)*.
% 14.47/14.66 11032[0:SSi:11031.2,11031.0,14.0,13.0,2.0,15.0,16.0,6.0] object(u) || v__1(u,sortedList_first,nn) -> v__1(u,nn,nn)*.
% 14.47/14.66 11033[0:SSi:11017.2,11017.0,15.0,16.0,6.0,14.0,13.0,2.0] object(u) || v__1(sortedList_first,u,u)*+ -> v__1(sortedList_first,nn,u)* v__1(sortedList_first,u,nn)*.
% 14.47/14.66 11166[13:Res:10976.1,10974.0] SkP2(skc1) || -> .
% 14.47/14.66 11171[0:Res:63.1,152.3] object(nn) object(u) object(sortedList_first) || -> SkP15(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 11172[0:Res:63.1,153.3] object(nn) object(u) object(sortedList_first) || -> SkP15(u) v__1(u,nn,nn)*.
% 14.47/14.66 11175[0:Res:63.1,177.4] object(u) object(nn) object(sortedList_first) object(v) || v__1(sortedList_first,nn,u)* -> SkP15(v) v__1(v,nn,u)*.
% 14.47/14.66 11190[0:Res:213.1,153.3] object(nn) object(u) object(sortedList_first) || -> SkP14(u) v__1(u,nn,nn)*.
% 14.47/14.66 11205[0:Res:214.1,152.3] object(nn) object(u) object(sortedList_first) || -> SkP5(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 11206[0:Res:214.1,153.3] object(nn) object(u) object(sortedList_first) || -> SkP5(u) v__1(u,nn,nn)*.
% 14.47/14.66 11271[0:Res:70.1,2066.2] object(nn) || v__1(sortedList_first,nn,nn)* -> SkP17(nn) equal(nn,null).
% 14.47/14.66 11272[0:Res:70.1,139.2] object(nn) object(node_next(nn)) || -> SkP17(node_next(nn))* equal(node_next(nn),nn).
% 14.47/14.66 11274[0:Res:70.1,153.3] object(u) object(nn) object(node_next(nn)) || -> SkP17(u) v__1(nn,u,u)*.
% 14.47/14.66 11279[0:SSi:11271.0,14.0,13.0,2.0] || v__1(sortedList_first,nn,nn)* -> SkP17(nn) equal(nn,null).
% 14.47/14.66 11280[0:MRR:11279.0,11279.2,210.0,29.0] || -> SkP17(nn)*.
% 14.47/14.66 11281[0:SSi:11272.1,11272.0,20.0,14.0,13.0,2.0,221.0,14.0,13.1,2.0,626.0,14.0,13.2,2.0,14.0,13.0,2.0] || -> SkP17(node_next(nn))* equal(node_next(nn),nn).
% 14.47/14.66 11282[0:SSi:11274.2,11274.1,20.0,14.0,13.0,2.0,221.0,14.0,13.1,2.0,626.0,14.0,13.2,2.0,14.0,13.0,2.0] object(u) || -> SkP17(u) v__1(nn,u,u)*.
% 14.47/14.66 11342[0:Res:67.1,2066.2] object(nn) || v__1(sortedList_first,nn,nn)* -> SkP13(nn) equal(nn,null).
% 14.47/14.66 11343[0:Res:67.1,152.3] object(nn) object(u) object(node_next(nn)) || -> SkP13(u) v__1(node_next(nn),u,u)*.
% 14.47/14.66 11344[0:Res:67.1,153.3] object(nn) object(u) object(node_next(nn)) || -> SkP13(u) v__1(u,nn,nn)*.
% 14.47/14.66 11350[0:SSi:11342.0,14.0,13.0,2.0,11280.0] || v__1(sortedList_first,nn,nn)* -> SkP13(nn) equal(nn,null).
% 14.47/14.66 11351[0:MRR:11350.0,11350.2,210.0,29.0] || -> SkP13(nn)*.
% 14.47/14.66 11360[0:Res:66.1,169.3] object(u) object(node_next(nn)) object(v) || v__1(v,node_next(nn),node_next(nn))* -> SkP11(u) v__1(v,u,u)*.
% 14.47/14.66 11365[0:Res:66.1,2066.2] object(nn) || v__1(sortedList_first,nn,nn)* -> SkP11(nn) equal(nn,null).
% 14.47/14.66 11371[0:Res:66.1,177.4] object(u) object(v) object(node_next(nn)) object(v) || v__1(node_next(nn),v,u)* -> SkP11(v) v__1(v,v,u)*.
% 14.47/14.66 11373[0:SSi:11365.0,14.0,13.0,2.0,11280.0] || v__1(sortedList_first,nn,nn)* -> SkP11(nn) equal(nn,null).
% 14.47/14.66 11374[0:MRR:11373.0,11373.2,210.0,29.0] || -> SkP11(nn)*.
% 14.47/14.66 11382[0:Obv:11371.1] object(u) object(node_next(nn)) object(v) || v__1(node_next(nn),v,u)* -> SkP11(v) v__1(v,v,u)*.
% 14.47/14.66 11404[0:SSi:11171.2,11171.0,15.0,16.0,6.0,14.0,13.0,2.0,11280.0,11351.0,11374.0] object(u) || -> SkP15(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 11405[0:SSi:11172.2,11172.0,15.0,16.0,6.0,14.0,13.0,2.0,11280.0,11351.0,11374.0] object(u) || -> SkP15(u) v__1(u,nn,nn)*.
% 14.47/14.66 11406[0:SSi:11190.2,11190.0,15.0,16.0,6.0,14.0,13.0,2.0,11280.0,11351.0,11374.0] object(u) || -> SkP14(u) v__1(u,nn,nn)*.
% 14.47/14.66 11407[0:SSi:11205.2,11205.0,15.0,16.0,6.0,14.0,13.0,2.0,11280.0,11351.0,11374.0] object(u) || -> SkP5(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 11408[0:SSi:11206.2,11206.0,15.0,16.0,6.0,14.0,13.0,2.0,11280.0,11351.0,11374.0] object(u) || -> SkP5(u) v__1(u,nn,nn)*.
% 14.47/14.66 11409[0:SSi:11344.2,11344.0,20.0,14.0,13.0,2.0,11280.0,11351.0,11374.0,221.0,14.0,13.0,2.0,11280.0,11351.1,11374.0,626.0,14.0,13.0,2.0,11280.0,11351.2,11374.0,14.0,13.0,2.0,11280.0,11351.0,11374.0] object(u) || -> SkP13(u) v__1(u,nn,nn)*.
% 14.47/14.66 11410[0:SSi:11343.2,11343.0,20.0,14.0,13.0,2.0,11280.0,11351.0,11374.0,221.0,14.0,13.0,2.0,11280.0,11351.1,11374.0,626.0,14.0,13.0,2.0,11280.0,11351.2,11374.0,14.0,13.0,2.0,11280.0,11351.0,11374.0] object(u) || -> SkP13(u) v__1(node_next(nn),u,u)*.
% 14.47/14.66 11414[0:SSi:11382.1,20.0,14.0,13.0,2.0,11280.0,11351.0,11374.1,221.0,14.0,13.0,2.0,11280.0,11351.0,11374.2,626.0,14.0,13.0,2.0,11280.0,11351.0,11374.0] object(u) object(v) || v__1(node_next(nn),v,u)*+ -> SkP11(v) v__1(v,v,u)*.
% 14.47/14.66 11425[0:SSi:11175.2,11175.1,15.0,16.0,6.0,14.0,13.0,2.0,11280.0,11351.0,11374.0] object(u) object(v) || v__1(sortedList_first,nn,u)*+ -> SkP15(v) v__1(v,nn,u)*.
% 14.47/14.66 11427[0:SSi:11360.1,20.0,14.0,13.0,2.0,11280.0,11351.0,11374.1,221.0,14.0,13.0,2.0,11280.0,11351.0,11374.2,626.0,14.0,13.0,2.0,11280.0,11351.0,11374.0] object(u) object(v) || v__1(v,node_next(nn),node_next(nn))*+ -> SkP11(u) v__1(v,u,u)*.
% 14.47/14.66 11969[0:Res:71.1,84.0] object(node_next(nn)) || -> SkP18(node_next(nn))*.
% 14.47/14.66 11970[0:Res:66.1,84.0] || -> SkP11(u) SkP18(u)*.
% 14.47/14.66 11972[0:Res:222.1,84.0] object(node_next(nn)) || -> SkP18(node_next(node_next(nn)))*.
% 14.47/14.66 11998[0:Res:104.2,152.3] object(nn) object(u) object(null) || -> SkP15(u) v__1(null,u,u)* v__1(null,u,u)*.
% 14.47/14.66 12007[0:Obv:11998.4] object(nn) object(u) object(null) || -> SkP15(u) v__1(null,u,u)*.
% 14.47/14.66 12008[3:SSi:12007.2,12007.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] object(u) || -> SkP15(u) v__1(null,u,u)*.
% 14.47/14.66 12026[3:Res:10876.2,10884.0] object(null) || -> SkP2(null) SkP16(prev_2)*.
% 14.47/14.66 12034[0:Res:10876.2,11011.0] object(nn) || -> SkP2(nn)*.
% 14.47/14.66 12036[3:SSi:12026.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0] || -> SkP2(null) SkP16(prev_2)*.
% 14.47/14.66 12060[3:Res:102.1,10884.0] || -> SkP12(u) v__1(null,u,nn)* SkP16(u).
% 14.47/14.66 12068[0:Res:102.2,152.3] object(nn) object(u) object(null) || -> SkP12(u) v__1(null,u,u)* v__1(null,u,u)*.
% 14.47/14.66 12074[3:MRR:12060.1,68.0] || -> SkP12(u) SkP16(u)*.
% 14.47/14.66 12077[0:Obv:12068.4] object(nn) object(u) object(null) || -> SkP12(u) v__1(null,u,u)*.
% 14.47/14.66 12090[0:Fac:98.1,98.2] || -> SkP7(nn) v__1(null,nn,nn)*.
% 14.47/14.66 12122[0:Res:11405.2,84.0] object(node_next(nn)) || -> SkP15(node_next(nn))* SkP18(nn).
% 14.47/14.66 12123[3:Res:11405.2,10884.0] object(null) || -> SkP15(null) SkP16(nn)*.
% 14.47/14.66 12132[3:SSi:12123.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0] || -> SkP15(null) SkP16(nn)*.
% 14.47/14.66 12173[0:Res:11406.2,154.3] object(u) object(nn) object(u) || equal(node_next(u),u)** -> SkP14(u) equal(u,nn).
% 14.47/14.66 12177[0:Res:11406.2,84.0] object(node_next(nn)) || -> SkP14(node_next(nn))* SkP18(nn).
% 14.47/14.66 12194[0:Obv:12173.0] object(nn) object(u) || equal(node_next(u),u)** -> SkP14(u) equal(u,nn).
% 14.47/14.66 12233[0:Res:11408.2,154.3] object(u) object(nn) object(u) || equal(node_next(u),u)** -> SkP5(u) equal(u,nn).
% 14.47/14.66 12237[0:Res:11408.2,84.0] object(node_next(nn)) || -> SkP5(node_next(nn))* SkP18(nn).
% 14.47/14.66 12253[0:Obv:12233.0] object(nn) object(u) || equal(node_next(u),u)** -> SkP5(u) equal(u,nn).
% 14.47/14.66 12289[0:Res:11409.2,154.3] object(u) object(nn) object(u) || equal(node_next(u),u)** -> SkP13(u) equal(u,nn).
% 14.47/14.66 12293[0:Res:11409.2,84.0] object(node_next(nn)) || -> SkP13(node_next(nn))* SkP18(nn).
% 14.47/14.66 12309[0:Obv:12289.0] object(nn) object(u) || equal(node_next(u),u)** -> SkP13(u) equal(u,nn).
% 14.47/14.66 12324[0:SpL:209.0,124.1] object(prev_2) || equal(nn,sortedList_first)** -> equal(null,sortedList_first).
% 14.47/14.66 12371[2:Res:10875.2,10874.0] object(skc1) || -> SkP2(skc1)*.
% 14.47/14.66 12372[2:SSi:12371.0,10883.0,1.0] || -> SkP2(skc1)*.
% 14.47/14.66 12373[13:MRR:12372.0,11166.0] || -> .
% 14.47/14.66 12387[13:Spt:12373.0,91.1,91.2] || -> v__1(null,prev_2,prev_2) v__1(null,prev_2,nn)*.
% 14.47/14.66 12388[0:SSi:12034.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] || -> SkP2(nn)*.
% 14.47/14.66 12391[0:SSi:11969.0,20.0,11374.0,2.0,11351.0,11280.0,13.0,14.1,221.0,11374.0,2.0,11351.0,11280.0,13.0,14.2,626.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] || -> SkP18(node_next(nn))*.
% 14.47/14.66 12392[0:SSi:11001.0,7.0,7918.0,8.0,4.0] || -> v__1(prev_2,nn,nn)*.
% 14.47/14.66 12393[0:SSi:11972.0,20.0,11374.0,2.0,11351.0,11280.0,13.0,14.1,221.0,11374.0,2.0,11351.0,11280.0,13.0,14.2,626.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] || -> SkP18(node_next(node_next(nn)))*.
% 14.47/14.66 12394[0:SSi:12237.0,20.0,11374.0,2.0,11351.0,11280.0,13.0,14.1,221.0,11374.0,2.0,11351.0,11280.0,13.0,14.2,626.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] || -> SkP5(node_next(nn))* SkP18(nn).
% 14.47/14.66 12395[8:MRR:12394.1,10964.0] || -> SkP5(node_next(nn))*.
% 14.47/14.66 12396[0:SSi:12293.0,20.0,11374.0,2.0,11351.0,11280.0,13.0,14.1,221.0,11374.0,2.0,11351.0,11280.0,13.0,14.2,626.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] || -> SkP13(node_next(nn))* SkP18(nn).
% 14.47/14.66 12397[8:MRR:12396.1,10964.0] || -> SkP13(node_next(nn))*.
% 14.47/14.66 12398[0:SSi:12122.0,20.0,11374.0,2.0,11351.0,11280.0,13.0,14.1,221.0,11374.0,2.0,11351.0,11280.0,13.0,14.2,626.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] || -> SkP15(node_next(nn))* SkP18(nn).
% 14.47/14.66 12399[8:MRR:12398.1,10964.0] || -> SkP15(node_next(nn))*.
% 14.47/14.66 12400[0:SSi:12177.0,20.0,11374.0,2.0,11351.0,11280.0,13.0,14.1,221.0,11374.0,2.0,11351.0,11280.0,13.0,14.2,626.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] || -> SkP14(node_next(nn))* SkP18(nn).
% 14.47/14.66 12401[8:MRR:12400.1,10964.0] || -> SkP14(node_next(nn))*.
% 14.47/14.66 12404[0:SSi:12324.0,7.0,7918.0,8.0,4.0] || equal(nn,sortedList_first)** -> equal(null,sortedList_first).
% 14.47/14.66 12405[3:SSi:12077.2,12077.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] object(u) || -> SkP12(u) v__1(null,u,u)*.
% 14.47/14.66 12408[0:SSi:12253.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] object(u) || equal(node_next(u),u)** -> SkP5(u) equal(u,nn).
% 14.47/14.66 12410[0:SSi:12309.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] object(u) || equal(node_next(u),u)** -> SkP13(u) equal(u,nn).
% 14.47/14.66 12414[0:SSi:12194.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] object(u) || equal(node_next(u),u)** -> SkP14(u) equal(u,nn).
% 14.47/14.66 12498[14:Spt:12387.0] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 12501[14:Res:12498.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 12515[14:Rew:30.0,12501.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 12516[14:Obv:12515.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 12517[14:SSi:12516.1,12516.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,7.0,7918.0,8.0,4.0] || -> equal(prev_2,null)**.
% 14.47/14.66 12518[14:MRR:12517.0,26.0] || -> .
% 14.47/14.66 12525[14:Spt:12518.0,12387.0,12498.0] || v__1(null,prev_2,prev_2)* -> .
% 14.47/14.66 12526[14:Spt:12518.0,12387.1] || -> v__1(null,prev_2,nn)*.
% 14.47/14.66 12529[14:Res:12526.0,152.3] object(nn) object(prev_2) object(null) || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 12535[14:SSi:12529.2,12529.1,12529.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,7.0,7918.0,8.0,4.0,11374.0,2.0,11351.0,11280.0,13.0,14.0] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 12536[14:MRR:12535.0,12525.0] || -> .
% 14.47/14.66 12541[12:Spt:12536.0,212.0,10974.0] || -> SkP0(skc1)*.
% 14.47/14.66 12542[12:Spt:12536.0,212.1] || equal(prev_2,skc1)** -> .
% 14.47/14.66 12544[7:MRR:10952.1,11351.0] || SkP0(skc1) SkP18(prev_2)* -> .
% 14.47/14.66 12545[12:MRR:12544.0,12541.0] || SkP18(prev_2)* -> .
% 14.47/14.66 12547[12:MRR:10944.0,12541.0] || SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 12550[12:MRR:10971.0,12541.0] || SkP7(skc1) SkP5(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 12552[7:MRR:10946.4,11351.0] || SkP0(skc1) SkP12(skc1)* SkP11(skc1) SkP17(skc1) -> .
% 14.47/14.66 12553[12:MRR:12552.0,12541.0] || SkP12(skc1)* SkP11(skc1) SkP17(skc1) -> .
% 14.47/14.66 12562[12:Res:11970.1,12545.0] || -> SkP11(prev_2)*.
% 14.47/14.66 12583[0:Res:12392.0,169.3] object(nn) object(prev_2) object(u) || v__1(u,prev_2,prev_2) -> v__1(u,nn,nn)*.
% 14.47/14.66 12589[0:Res:12392.0,179.4] object(nn) object(prev_2) object(u) object(nn) || v__1(u,prev_2,nn) -> v__1(u,nn,nn)*.
% 14.47/14.66 12600[0:Obv:12589.0] object(prev_2) object(u) object(nn) || v__1(u,prev_2,nn) -> v__1(u,nn,nn)*.
% 14.47/14.66 15825[2:Res:11404.2,10874.0] object(skc1) || -> SkP15(skc1)*.
% 14.47/14.66 15876[2:Res:11407.2,10874.0] object(skc1) || -> SkP5(skc1)*.
% 14.47/14.66 16248[3:Res:12405.2,154.3] object(u) object(u) object(null) || equal(node_next(null),null)** -> SkP12(u)* equal(null,u).
% 14.47/14.66 16268[3:Obv:16248.0] object(u) object(null) || equal(node_next(null),null)** -> SkP12(u)* equal(null,u).
% 14.47/14.66 16269[3:Rew:30.0,16268.2] object(u) object(null) || equal(null,null) -> SkP12(u)* equal(null,u).
% 14.47/14.66 16270[3:Obv:16269.2] object(u) object(null) || -> SkP12(u)* equal(null,u).
% 14.47/14.66 16282[2:SSi:15825.0,10883.0,1.0] || -> SkP15(skc1)*.
% 14.47/14.66 16283[2:SSi:15876.0,10883.0,1.0] || -> SkP5(skc1)*.
% 14.47/14.66 16289[3:SSi:16270.1,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0] object(u) || -> SkP12(u)* equal(null,u).
% 14.47/14.66 16290[12:MRR:12550.1,16283.0] || SkP7(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 16650[0:SSi:12583.0,14.0,11280.0,11351.0,13.0,11374.0,2.0] object(prev_2) object(u) || v__1(u,prev_2,prev_2) -> v__1(u,nn,nn)*.
% 14.47/14.66 16651[0:MRR:16650.0,4.0] object(u) || v__1(u,prev_2,prev_2) -> v__1(u,nn,nn)*.
% 14.47/14.66 16654[0:SSi:12600.2,14.0,11280.0,11351.0,13.0,11374.0,2.0] object(prev_2) object(u) || v__1(u,prev_2,nn) -> v__1(u,nn,nn)*.
% 14.47/14.66 16655[0:MRR:16654.0,4.0] object(u) || v__1(u,prev_2,nn) -> v__1(u,nn,nn)*.
% 14.47/14.66 17127[0:Res:11410.2,84.0] object(u) || -> SkP13(u) SkP18(u)*.
% 14.47/14.66 17177[0:Res:11404.2,121.0] object(u) || -> SkP15(u) SkP15(u) v__1(sortedList_first,nn,u)*.
% 14.47/14.66 17194[0:Obv:17177.1] object(u) || -> SkP15(u) v__1(sortedList_first,nn,u)*.
% 14.47/14.66 17389[0:Res:11028.2,84.0] object(node_next(nn)) || v__1(node_next(nn),sortedList_first,sortedList_first)* -> SkP18(nn).
% 14.47/14.66 17444[0:Res:11032.2,2066.2] object(node_next(nn)) object(nn) || v__1(node_next(nn),sortedList_first,nn)* v__1(sortedList_first,nn,nn) -> equal(nn,null).
% 14.47/14.66 17445[0:Res:11032.2,84.0] object(node_next(nn)) || v__1(node_next(nn),sortedList_first,nn)* -> SkP18(nn).
% 14.47/14.66 17741[0:SpL:30.0,12408.1] object(null) || equal(null,null) -> SkP5(null)* equal(nn,null).
% 14.47/14.66 17743[0:Obv:17741.1] object(null) || -> SkP5(null)* equal(nn,null).
% 14.47/14.66 17853[0:SpL:30.0,12410.1] object(null) || equal(null,null) -> SkP13(null)* equal(nn,null).
% 14.47/14.66 17855[0:Obv:17853.1] object(null) || -> SkP13(null)* equal(nn,null).
% 14.47/14.66 17904[0:Res:71.1,11033.1] object(sortedList_first) object(sortedList_first) || -> v__1(sortedList_first,nn,sortedList_first)* v__1(sortedList_first,sortedList_first,nn).
% 14.47/14.66 17931[0:Obv:17904.0] object(sortedList_first) || -> v__1(sortedList_first,nn,sortedList_first)* v__1(sortedList_first,sortedList_first,nn).
% 14.47/14.66 18715[0:SpL:30.0,12414.1] object(null) || equal(null,null) -> SkP14(null)* equal(nn,null).
% 14.47/14.66 18717[0:Obv:18715.1] object(null) || -> SkP14(null)* equal(nn,null).
% 14.47/14.66 20662[0:Res:17194.2,11425.2] object(u) object(u) object(v) || -> SkP15(u) SkP15(v) v__1(v,nn,u)*.
% 14.47/14.66 20669[0:Obv:20662.0] object(u) object(v) || -> SkP15(u) SkP15(v) v__1(v,nn,u)*.
% 14.47/14.66 20694[0:Res:20669.4,139.2] object(u) object(u) object(nn) object(u) || -> SkP15(u)* SkP15(u)* equal(u,nn).
% 14.47/14.66 20697[0:Res:20669.4,153.3] object(u) object(v) object(u) object(nn) object(v) || -> SkP15(u) SkP15(v)* v__1(nn,u,u)*.
% 14.47/14.66 20716[0:Obv:20694.4] object(nn) object(u) || -> SkP15(u)* equal(u,nn).
% 14.47/14.66 20727[0:Obv:20697.1] object(u) object(nn) object(v) || -> SkP15(u) SkP15(v)* v__1(nn,u,u)*.
% 14.47/14.66 20728[0:Con:20727.2] object(u) object(nn) || -> SkP15(u) v__1(nn,u,u)*.
% 14.47/14.66 22406[0:Res:67.1,11414.2] object(nn) object(u) || -> SkP13(u) SkP11(u) v__1(u,u,nn)*.
% 14.47/14.66 22766[0:Res:222.1,11427.2] object(nn) object(u) object(nn) || -> SkP11(u) v__1(nn,u,u)*.
% 14.47/14.66 22772[0:Res:226.3,11427.2] object(nn) object(u) object(sortedList_first) || -> equal(nn,null) equal(node_next(nn),null) SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 22779[0:Obv:22766.0] object(u) object(nn) || -> SkP11(u) v__1(nn,u,u)*.
% 14.47/14.66 24496[0:SSi:17931.0,15.0,16.0,6.0] || -> v__1(sortedList_first,nn,sortedList_first)* v__1(sortedList_first,sortedList_first,nn).
% 14.47/14.66 24573[12:Res:17127.2,12545.0] object(prev_2) || -> SkP13(prev_2)*.
% 14.47/14.66 24575[12:SSi:24573.0,12562.0,4.0,8.0,7.0,7918.0] || -> SkP13(prev_2)*.
% 14.47/14.66 24577[0:Res:211.0,11033.1] object(prev_2) || -> v__1(sortedList_first,nn,prev_2)* v__1(sortedList_first,prev_2,nn).
% 14.47/14.66 25643[0:Res:24496.0,139.2] object(nn) object(sortedList_first) || -> v__1(sortedList_first,sortedList_first,nn)* equal(nn,sortedList_first).
% 14.47/14.66 27217[0:Res:11282.2,11011.0] object(prev_2) || -> SkP17(prev_2)*.
% 14.47/14.66 28447[0:Res:7772.2,11011.0] object(nn) || v__1(nn,sortedList_first,sortedList_first)* -> .
% 14.47/14.66 28986[0:Res:16651.2,2066.2] object(node_next(nn)) object(nn) || v__1(node_next(nn),prev_2,prev_2)* v__1(sortedList_first,nn,nn) -> equal(nn,null).
% 14.47/14.66 28987[0:Res:16651.2,84.0] object(node_next(nn)) || v__1(node_next(nn),prev_2,prev_2)* -> SkP18(nn).
% 14.47/14.66 29042[0:Res:16655.2,2066.2] object(node_next(nn)) object(nn) || v__1(node_next(nn),prev_2,nn)* v__1(sortedList_first,nn,nn) -> equal(nn,null).
% 14.47/14.66 29043[0:Res:16655.2,84.0] object(node_next(nn)) || v__1(node_next(nn),prev_2,nn)* -> SkP18(nn).
% 14.47/14.66 29398[0:Res:222.1,11013.1] object(nn) object(node_next(nn)) || -> equal(node_next(nn),null) lteq(node_key(prev_2),node_key(node_next(nn)))*.
% 14.47/14.66 30821[0:SSi:28447.0,14.0,13.0,11280.0,11351.0,11374.0,2.0] || v__1(nn,sortedList_first,sortedList_first)* -> .
% 14.47/14.66 30827[0:SSi:20716.0,14.0,13.0,11280.0,11351.0,11374.0,2.0] object(u) || -> SkP15(u)* equal(u,nn).
% 14.47/14.66 30830[8:SSi:17389.0,12391.0,12395.0,12397.0,12399.0,12401.0,20.0,14.1,13.0,11280.0,11351.0,11374.0,2.0,221.0,14.2,13.0,11280.0,11351.0,11374.0,2.0,626.0,14.0,13.0,11280.0,11351.0,11374.0,2.0] || v__1(node_next(nn),sortedList_first,sortedList_first)* -> SkP18(nn).
% 14.47/14.66 30831[8:MRR:30830.1,10964.0] || v__1(node_next(nn),sortedList_first,sortedList_first)* -> .
% 14.47/14.66 30832[8:SSi:17445.0,12391.0,12395.0,12397.0,12399.0,12401.0,20.0,14.1,13.0,11280.0,11351.0,11374.0,2.0,221.0,14.2,13.0,11280.0,11351.0,11374.0,2.0,626.0,14.0,13.0,11280.0,11351.0,11374.0,2.0] || v__1(node_next(nn),sortedList_first,nn)* -> SkP18(nn).
% 14.47/14.66 30833[8:MRR:30832.1,10964.0] || v__1(node_next(nn),sortedList_first,nn)* -> .
% 14.47/14.66 30835[0:SSi:22779.1,14.0,13.0,11280.0,11351.0,11374.0,2.0] object(u) || -> SkP11(u) v__1(nn,u,u)*.
% 14.47/14.66 30836[0:SSi:20728.1,14.0,13.0,11280.0,11351.0,11374.0,2.0] object(u) || -> SkP15(u) v__1(nn,u,u)*.
% 14.47/14.66 30839[8:SSi:28987.0,12391.0,12395.0,12397.0,12399.0,12401.0,20.0,14.1,13.0,11280.0,11351.0,11374.0,2.0,221.0,14.2,13.0,11280.0,11351.0,11374.0,2.0,626.0,14.0,13.0,11280.0,11351.0,11374.0,2.0] || v__1(node_next(nn),prev_2,prev_2)* -> SkP18(nn).
% 14.47/14.66 30840[8:MRR:30839.1,10964.0] || v__1(node_next(nn),prev_2,prev_2)* -> .
% 14.47/14.66 30841[8:SSi:29043.0,12391.0,12395.0,12397.0,12399.0,12401.0,20.0,14.1,13.0,11280.0,11351.0,11374.0,2.0,221.0,14.2,13.0,11280.0,11351.0,11374.0,2.0,626.0,14.0,13.0,11280.0,11351.0,11374.0,2.0] || v__1(node_next(nn),prev_2,nn)* -> SkP18(nn).
% 14.47/14.66 30842[8:MRR:30841.1,10964.0] || v__1(node_next(nn),prev_2,nn)* -> .
% 14.47/14.66 30845[0:SSi:25643.1,25643.0,15.0,16.0,6.0,14.0,13.0,11280.0,11351.0,11374.0,2.0] || -> v__1(sortedList_first,sortedList_first,nn)* equal(nn,sortedList_first).
% 14.47/14.66 30850[0:SSi:22406.0,14.0,13.0,11280.0,11351.0,11374.0,2.0] object(u) || -> SkP13(u) SkP11(u) v__1(u,u,nn)*.
% 14.47/14.66 30881[8:SSi:29398.1,29398.0,12391.0,12395.0,12397.0,12399.0,12401.0,20.0,14.0,13.0,11280.0,11351.0,11374.0,2.0,221.1,14.0,13.0,11280.0,11351.0,11374.0,2.0,626.2,14.0,13.0,11280.0,11351.0,11374.0,2.0,14.0,13.0,11280.0,11351.0,11374.0,2.0] || -> equal(node_next(nn),null) lteq(node_key(prev_2),node_key(node_next(nn)))*.
% 14.47/14.66 30910[0:SSi:22772.2,22772.0,15.0,16.0,6.0,14.0,13.0,11280.0,11351.0,11374.0,2.0] object(u) || -> equal(nn,null) equal(node_next(nn),null) SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 30911[0:MRR:30910.1,29.0] object(u) || -> equal(node_next(nn),null) SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 31295[0:Res:11282.2,30821.0] object(sortedList_first) || -> SkP17(sortedList_first)*.
% 14.47/14.66 31305[8:Res:66.1,30831.0] || -> SkP11(sortedList_first)*.
% 14.47/14.66 31307[8:Res:67.1,30833.0] || -> SkP13(sortedList_first)*.
% 14.47/14.66 31582[0:SSi:31295.0,15.0,16.0,6.0] || -> SkP17(sortedList_first)*.
% 14.47/14.66 31695[3:SSi:17743.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0] || -> SkP5(null)* equal(nn,null).
% 14.47/14.66 31696[3:MRR:31695.1,29.0] || -> SkP5(null)*.
% 14.47/14.66 31697[3:SSi:17855.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0] || -> SkP13(null)* equal(nn,null).
% 14.47/14.66 31698[3:MRR:31697.1,29.0] || -> SkP13(null)*.
% 14.47/14.66 31700[3:SSi:18717.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0] || -> SkP14(null)* equal(nn,null).
% 14.47/14.66 31701[3:MRR:31700.1,29.0] || -> SkP14(null)*.
% 14.47/14.66 31753[0:MRR:27217.0,4.0] || -> SkP17(prev_2)*.
% 14.47/14.66 31872[0:Res:56.1,68.0] || -> SkP7(nn) SkP16(prev_2)*.
% 14.47/14.66 31873[13:Spt:12132.0] || -> SkP15(null)*.
% 14.47/14.66 32690[14:Spt:16290.0] || SkP7(skc1)* -> .
% 14.47/14.66 32693[8:Res:66.1,30840.0] || -> SkP11(prev_2)*.
% 14.47/14.66 32695[8:Res:67.1,30842.0] || -> SkP13(prev_2)*.
% 14.47/14.66 32697[15:Spt:11281.1] || -> equal(node_next(nn),nn)**.
% 14.47/14.66 32704[15:Rew:32697.0,12393.0] || -> SkP18(node_next(nn))*.
% 14.47/14.66 32756[15:Rew:32697.0,32704.0] || -> SkP18(nn)*.
% 14.47/14.66 32757[15:MRR:32756.0,10964.0] || -> .
% 14.47/14.66 32777[15:Spt:32757.0,11281.1,32697.0] || equal(node_next(nn),nn)** -> .
% 14.47/14.66 32778[15:Spt:32757.0,11281.0] || -> SkP17(node_next(nn))*.
% 14.47/14.66 32879[16:Spt:12553.0] || SkP12(skc1)* -> .
% 14.47/14.66 32881[16:Res:16289.1,32879.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 32884[16:SSi:32881.0,10883.0,1.0,16282.0,16283.0] || -> equal(null,skc1)**.
% 14.47/14.66 32885[16:MRR:32884.0,22.0] || -> .
% 14.47/14.66 32886[16:Spt:32885.0,12553.0,32879.0] || -> SkP12(skc1)*.
% 14.47/14.66 32887[16:Spt:32885.0,12553.1,12553.2] || SkP11(skc1)* SkP17(skc1) -> .
% 14.47/14.66 32889[17:Spt:30845.1] || -> equal(nn,sortedList_first)**.
% 14.47/14.66 32896[17:Rew:32889.0,29.0] || equal(null,sortedList_first)** -> .
% 14.47/14.66 32956[17:Rew:32889.0,12404.0] || equal(sortedList_first,sortedList_first) -> equal(null,sortedList_first)**.
% 14.47/14.66 33206[17:Obv:32956.0] || -> equal(null,sortedList_first)**.
% 14.47/14.66 33207[17:MRR:33206.0,32896.0] || -> .
% 14.47/14.66 33332[17:Spt:33207.0,30845.1,32889.0] || equal(nn,sortedList_first)** -> .
% 14.47/14.66 33333[17:Spt:33207.0,30845.0] || -> v__1(sortedList_first,sortedList_first,nn)*.
% 14.47/14.66 33759[18:Spt:7910.0,7910.1] object(u) || -> SkP7(u)*.
% 14.47/14.66 33760[18:Res:33759.1,32690.0] object(skc1) || -> .
% 14.47/14.66 33761[18:SSi:33760.0,10883.0,1.0,16282.0,16283.0,32886.0] || -> .
% 14.47/14.66 33762[18:Spt:33761.0,7910.2] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 33768[18:Res:33762.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 33783[18:Rew:30.0,33768.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 33784[18:Obv:33783.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 33785[18:SSi:33784.1,33784.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,31873.0,4.0,31753.0,12562.0,8.0,7.0,7918.0,24575.0] || -> equal(prev_2,null)**.
% 14.47/14.66 33786[18:MRR:33785.0,26.0] || -> .
% 14.47/14.66 33793[14:Spt:33786.0,16290.0,32690.0] || -> SkP7(skc1)*.
% 14.47/14.66 33794[14:Spt:33786.0,16290.1] || v__1(null,skc1,skc1)* -> .
% 14.47/14.66 33796[14:MRR:12547.2,33794.0] || SkP12(skc1)* SkP11(skc1) -> .
% 14.47/14.66 33802[14:Res:12405.2,33794.0] object(skc1) || -> SkP12(skc1)*.
% 14.47/14.66 33804[14:SSi:33802.0,10883.0,1.0,16282.0,16283.0] || -> SkP12(skc1)*.
% 14.47/14.66 33805[14:MRR:33796.0,33804.0] || SkP11(skc1)* -> .
% 14.47/14.66 33859[15:Spt:30845.1] || -> equal(nn,sortedList_first)**.
% 14.47/14.66 33889[15:Rew:33859.0,29.0] || equal(null,sortedList_first)** -> .
% 14.47/14.66 33911[15:Rew:33859.0,12404.0] || equal(sortedList_first,sortedList_first) -> equal(null,sortedList_first)**.
% 14.47/14.66 34178[15:Obv:33911.0] || -> equal(null,sortedList_first)**.
% 14.47/14.66 34179[15:MRR:34178.0,33889.0] || -> .
% 14.47/14.66 34307[15:Spt:34179.0,30845.1,33859.0] || equal(nn,sortedList_first)** -> .
% 14.47/14.66 34308[15:Spt:34179.0,30845.0] || -> v__1(sortedList_first,sortedList_first,nn)*.
% 14.47/14.66 34506[16:Spt:11281.1] || -> equal(node_next(nn),nn)**.
% 14.47/14.66 34512[16:Rew:34506.0,12393.0] || -> SkP18(node_next(nn))*.
% 14.47/14.66 34565[16:Rew:34506.0,34512.0] || -> SkP18(nn)*.
% 14.47/14.66 34566[16:MRR:34565.0,10964.0] || -> .
% 14.47/14.66 34586[16:Spt:34566.0,11281.1,34506.0] || equal(node_next(nn),nn)** -> .
% 14.47/14.66 34587[16:Spt:34566.0,11281.0] || -> SkP17(node_next(nn))*.
% 14.47/14.66 35108[0:Res:30836.2,30821.0] object(sortedList_first) || -> SkP15(sortedList_first)*.
% 14.47/14.66 35111[0:Res:30836.2,11011.0] object(prev_2) || -> SkP15(prev_2)*.
% 14.47/14.66 35140[0:Res:30835.2,30821.0] object(sortedList_first) || -> SkP11(sortedList_first)*.
% 14.47/14.66 35143[0:Res:30835.2,11011.0] object(prev_2) || -> SkP11(prev_2)*.
% 14.47/14.66 35159[17:Spt:30881.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 35177[17:Rew:35159.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 35352[17:Res:35177.1,33794.0] || -> SkP11(skc1)*.
% 14.47/14.66 35358[17:MRR:35352.0,33805.0] || -> .
% 14.47/14.66 35365[17:Spt:35358.0,30881.0,35159.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 35366[17:Spt:35358.0,30881.1] || -> lteq(node_key(prev_2),node_key(node_next(nn)))*.
% 14.47/14.66 35367[17:MRR:30911.1,35365.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 35519[17:Res:35367.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 35524[17:SSi:35519.0,10883.0,1.0,16282.0,16283.0,33793.0,33804.0] || -> SkP11(skc1)*.
% 14.47/14.66 35525[17:MRR:35524.0,33805.0] || -> .
% 14.47/14.66 35545[13:Spt:35525.0,12132.0,31873.0] || SkP15(null)* -> .
% 14.47/14.66 35546[13:Spt:35525.0,12132.1] || -> SkP16(nn)*.
% 14.47/14.66 35582[13:Res:30827.1,35545.0] object(null) || -> equal(nn,null)**.
% 14.47/14.66 35585[13:SSi:35582.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0] || -> equal(nn,null)**.
% 14.47/14.66 35586[13:MRR:35585.0,29.0] || -> .
% 14.47/14.66 35587[11:Spt:35586.0,54.1] || -> v__1(sortedList_first,prev_2,nn)*.
% 14.47/14.66 35588[8:SSi:35108.0,15.0,16.0,6.0,31305.0,31307.0,31582.0] || -> SkP15(sortedList_first)*.
% 14.47/14.66 35589[0:SSi:35111.0,4.0,31753.0,8.0,7.0,7918.0] || -> SkP15(prev_2)*.
% 14.47/14.66 35601[7:MRR:10950.3,16283.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 35602[10:MRR:10969.3,16283.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP15(prev_2)* SkP14(prev_2) -> .
% 14.47/14.66 35603[10:MRR:35602.3,35589.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 35635[12:Spt:212.0] || SkP0(skc1)* -> .
% 14.47/14.66 35636[13:Spt:91.2] || -> v__1(null,prev_2,nn)*.
% 14.47/14.66 35640[13:Res:35636.0,152.3] object(nn) object(prev_2) object(null) || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 35646[13:Res:35636.0,68.0] || -> SkP16(prev_2)*.
% 14.47/14.66 35647[13:SSi:35640.2,35640.1,35640.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,4.0,31753.0,8.0,7.0,7918.0,14.0,13.0,11280.0,11351.0,11374.0,2.0] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 35672[13:Res:35647.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 35687[13:Rew:30.0,35672.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 35688[13:Obv:35687.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 35689[13:SSi:35688.1,35688.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,4.0,31753.0,8.0,7.0,7918.0,32693.0,32695.0,35589.0,35646.0] || -> equal(prev_2,null)**.
% 14.47/14.66 35690[13:MRR:35689.0,26.0] || -> .
% 14.47/14.66 35697[13:Spt:35690.0,91.2,35636.0] || v__1(null,prev_2,nn)* -> .
% 14.47/14.66 35698[13:Spt:35690.0,91.0,91.1] || -> SkP3(u)* v__1(null,prev_2,prev_2)*.
% 14.47/14.66 35700[14:Spt:35698.1] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 35706[14:Res:35700.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 35721[14:Rew:30.0,35706.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 35722[14:Obv:35721.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 35723[14:SSi:35722.1,35722.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,4.0,31753.0,8.0,7.0,7918.0,32693.0,32695.0,35589.0] || -> equal(prev_2,null)**.
% 14.47/14.66 35724[14:MRR:35723.0,26.0] || -> .
% 14.47/14.66 35731[14:Spt:35724.0,35698.1,35700.0] || v__1(null,prev_2,prev_2)* -> .
% 14.47/14.66 35732[14:Spt:35724.0,35698.0] || -> SkP3(u)*.
% 14.47/14.66 35733[14:MRR:10968.0,35732.0] SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 35983[14:Res:35733.1,35635.0] SkP2(skc1) || -> .
% 14.47/14.66 35984[14:SSi:35983.0,10883.0,1.0,16282.0,16283.0,12372.0] || -> .
% 14.47/14.66 35985[12:Spt:35984.0,212.0,35635.0] || -> SkP0(skc1)*.
% 14.47/14.66 35986[12:Spt:35984.0,212.1] || equal(prev_2,skc1)** -> .
% 14.47/14.66 35990[12:MRR:12552.0,35985.0] || SkP12(skc1)* SkP11(skc1) SkP17(skc1) -> .
% 14.47/14.66 35991[12:MRR:35603.0,35985.0] || SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 35992[12:MRR:10944.0,35985.0] || SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 35995[12:MRR:35601.0,35985.0] || SkP7(skc1) SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 35998[13:Spt:91.1] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 36005[13:Res:35998.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 36020[13:Rew:30.0,36005.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 36021[13:Obv:36020.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 36022[13:SSi:36021.1,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0] object(prev_2) || -> equal(prev_2,null)**.
% 14.47/14.66 36023[13:MRR:36022.0,36022.1,4.0,26.0] || -> .
% 14.47/14.66 36034[13:Spt:36023.0,91.1,35998.0] || v__1(null,prev_2,prev_2)* -> .
% 14.47/14.66 36035[13:Spt:36023.0,91.0,91.2] || -> SkP3(u)* v__1(null,prev_2,nn)*.
% 14.47/14.66 36036[13:MRR:7910.2,36034.0] object(u) || -> SkP7(u)*.
% 14.47/14.66 36037[14:Spt:36035.1] || -> v__1(null,prev_2,nn)*.
% 14.47/14.66 36041[14:Res:36037.0,152.3] object(nn) object(prev_2) object(null) || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 36049[14:SSi:36041.2,36041.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,14.0,13.0,11280.0,11351.0,11374.0,2.0,12388.0] object(prev_2) || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 36050[14:MRR:36049.0,36049.1,4.0,36034.0] || -> .
% 14.47/14.66 36059[14:Spt:36050.0,36035.1,36037.0] || v__1(null,prev_2,nn)* -> .
% 14.47/14.66 36060[14:Spt:36050.0,36035.0] || -> SkP3(u)*.
% 14.47/14.66 36126[15:Spt:12132.0] || -> SkP15(null)*.
% 14.47/14.66 36127[16:Spt:12036.0] || -> SkP2(null)*.
% 14.47/14.66 36128[17:Spt:31872.0] || -> SkP7(nn)*.
% 14.47/14.66 36774[0:Res:96.2,152.3] object(nn) object(u) object(null) || -> SkP6(u) v__1(null,u,u)* v__1(null,u,u)*.
% 14.47/14.66 36788[0:Obv:36774.4] object(nn) object(u) object(null) || -> SkP6(u) v__1(null,u,u)*.
% 14.47/14.66 36917[17:SSi:36788.2,36788.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,36126.0,36127.0,14.0,13.0,11280.0,11351.0,11374.0,2.0,12388.0,36128.0] object(u) || -> SkP6(u) v__1(null,u,u)*.
% 14.47/14.66 37120[14:Res:56.1,36059.0] || -> SkP7(nn)*.
% 14.47/14.66 37122[18:Spt:11281.1] || -> equal(node_next(nn),nn)**.
% 14.47/14.66 37130[18:Rew:37122.0,12393.0] || -> SkP18(node_next(nn))*.
% 14.47/14.66 37184[18:Rew:37122.0,37130.0] || -> SkP18(nn)*.
% 14.47/14.66 37185[18:MRR:37184.0,10964.0] || -> .
% 14.47/14.66 37204[18:Spt:37185.0,11281.1,37122.0] || equal(node_next(nn),nn)** -> .
% 14.47/14.66 37205[18:Spt:37185.0,11281.0] || -> SkP17(node_next(nn))*.
% 14.47/14.66 37282[19:Spt:30845.1] || -> equal(nn,sortedList_first)**.
% 14.47/14.66 37290[19:Rew:37282.0,29.0] || equal(null,sortedList_first)** -> .
% 14.47/14.66 37534[19:Rew:37282.0,12404.0] || equal(sortedList_first,sortedList_first) -> equal(null,sortedList_first)**.
% 14.47/14.66 37608[19:Obv:37534.0] || -> equal(null,sortedList_first)**.
% 14.47/14.66 37609[19:MRR:37608.0,37290.0] || -> .
% 14.47/14.66 37740[19:Spt:37609.0,30845.1,37282.0] || equal(nn,sortedList_first)** -> .
% 14.47/14.66 37741[19:Spt:37609.0,30845.0] || -> v__1(sortedList_first,sortedList_first,nn)*.
% 14.47/14.66 38093[20:Spt:35990.0] || SkP12(skc1)* -> .
% 14.47/14.66 38095[20:Res:16289.1,38093.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 38098[20:SSi:38095.0,10883.0,1.0,16282.0,16283.0,12372.0,35985.0] || -> equal(null,skc1)**.
% 14.47/14.66 38099[20:MRR:38098.0,22.0] || -> .
% 14.47/14.66 38100[20:Spt:38099.0,35990.0,38093.0] || -> SkP12(skc1)*.
% 14.47/14.66 38101[20:Spt:38099.0,35990.1,35990.2] || SkP11(skc1)* SkP17(skc1) -> .
% 14.47/14.66 38102[20:MRR:35992.0,38100.0] || SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 38103[21:Spt:38102.0] || SkP11(skc1)* -> .
% 14.47/14.66 38104[22:Spt:35991.0] || SkP7(skc1)* -> .
% 14.47/14.66 38106[22:Res:36036.1,38104.0] object(skc1) || -> .
% 14.47/14.66 38107[22:SSi:38106.0,10883.0,1.0,16282.0,16283.0,12372.0,35985.0,38100.0] || -> .
% 14.47/14.66 38108[22:Spt:38107.0,35991.0,38104.0] || -> SkP7(skc1)*.
% 14.47/14.66 38109[22:Spt:38107.0,35991.1,35991.2] || SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 38110[22:MRR:35995.0,38108.0] || SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 38112[23:Spt:38110.0] || SkP6(skc1)* -> .
% 14.47/14.66 38145[13:Res:10876.2,36034.0] object(null) || -> SkP2(null)*.
% 14.47/14.66 38328[17:Res:36917.2,154.3] object(u) object(u) object(null) || equal(node_next(null),null)** -> SkP6(u)* equal(null,u).
% 14.47/14.66 38360[17:Obv:38328.0] object(u) object(null) || equal(node_next(null),null)** -> SkP6(u)* equal(null,u).
% 14.47/14.66 38361[17:Rew:30.0,38360.2] object(u) object(null) || equal(null,null) -> SkP6(u)* equal(null,u).
% 14.47/14.66 38362[17:Obv:38361.2] object(u) object(null) || -> SkP6(u)* equal(null,u).
% 14.47/14.66 38363[17:SSi:38362.1,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,36126.0,36127.0] object(u) || -> SkP6(u)* equal(null,u).
% 14.47/14.66 38377[23:Res:38363.1,38112.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 38378[23:SSi:38377.0,10883.0,1.0,16282.0,16283.0,12372.0,35985.0,38100.0,38108.0] || -> equal(null,skc1)**.
% 14.47/14.66 38379[23:MRR:38378.0,22.0] || -> .
% 14.47/14.66 38380[23:Spt:38379.0,38110.0,38112.0] || -> SkP6(skc1)*.
% 14.47/14.66 38381[23:Spt:38379.0,38110.1] || v__1(null,skc1,skc1)* -> .
% 14.47/14.66 38614[24:Spt:30881.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 38633[24:Rew:38614.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 38808[24:Res:38633.1,38381.0] || -> SkP11(skc1)*.
% 14.47/14.66 38813[24:MRR:38808.0,38103.0] || -> .
% 14.47/14.66 38820[24:Spt:38813.0,30881.0,38614.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 38821[24:Spt:38813.0,30881.1] || -> lteq(node_key(prev_2),node_key(node_next(nn)))*.
% 14.47/14.66 38822[24:MRR:30911.1,38820.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 38931[0:Fac:96.1,96.2] || -> SkP6(nn) v__1(null,nn,nn)*.
% 14.47/14.66 39001[24:Res:38822.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 39006[24:SSi:39001.0,10883.0,1.0,16282.0,16283.0,12372.0,35985.0,38100.0,38108.0,38380.0] || -> SkP11(skc1)*.
% 14.47/14.66 39007[24:MRR:39006.0,38103.0] || -> .
% 14.47/14.66 39027[21:Spt:39007.0,38102.0,38103.0] || -> SkP11(skc1)*.
% 14.47/14.66 39028[21:Spt:39007.0,38102.1] || -> v__1(null,skc1,skc1)*.
% 14.47/14.66 39034[21:Res:39028.0,154.3] object(skc1) object(null) || equal(node_next(null),null)** -> equal(null,skc1).
% 14.47/14.66 39049[21:Rew:30.0,39034.2] object(skc1) object(null) || equal(null,null)* -> equal(null,skc1).
% 14.47/14.66 39050[21:Obv:39049.2] object(skc1) object(null) || -> equal(null,skc1)**.
% 14.47/14.66 39051[21:SSi:39050.1,39050.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,36126.0,36127.0,10883.0,1.0,16282.0,16283.0,12372.0,35985.0,38100.0] || -> equal(null,skc1)**.
% 14.47/14.66 39052[21:MRR:39051.0,22.0] || -> .
% 14.47/14.66 39059[17:Spt:39052.0,31872.0,36128.0] || SkP7(nn)* -> .
% 14.47/14.66 39060[17:Spt:39052.0,31872.1] || -> SkP16(prev_2)*.
% 14.47/14.66 39062[17:MRR:39059.0,37120.0] || -> .
% 14.47/14.66 39068[16:Spt:39062.0,12036.0,36127.0] || SkP2(null)* -> .
% 14.47/14.66 39069[16:Spt:39062.0,12036.1] || -> SkP16(prev_2)*.
% 14.47/14.66 39070[15:SSi:38145.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,36126.0] || -> SkP2(null)*.
% 14.47/14.66 39071[16:MRR:39070.0,39068.0] || -> .
% 14.47/14.66 39083[15:Spt:39071.0,12132.0,36126.0] || SkP15(null)* -> .
% 14.47/14.66 39084[15:Spt:39071.0,12132.1] || -> SkP16(nn)*.
% 14.47/14.66 39090[3:SSi:36788.2,36788.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,2.0,12388.0,13.0,11374.0,11351.0,11280.0,14.0] object(u) || -> SkP6(u) v__1(null,u,u)*.
% 14.47/14.66 39096[15:Res:30827.1,39083.0] object(null) || -> equal(nn,null)**.
% 14.47/14.66 39099[15:SSi:39096.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0] || -> equal(nn,null)**.
% 14.47/14.66 39100[15:MRR:39099.0,29.0] || -> .
% 14.47/14.66 39101[10:Spt:39100.0,93.1,93.2] || -> v__1(null,prev_2,prev_2) v__1(null,prev_2,nn)*.
% 14.47/14.66 39103[8:SSi:24577.0,4.0,31753.0,8.0,7918.0,32693.0,7.0,32695.0,35589.0] || -> v__1(sortedList_first,nn,prev_2)* v__1(sortedList_first,prev_2,nn).
% 14.47/14.66 39104[7:MRR:10948.3,10948.5,16283.0,35589.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP4(prev_2) SkP14(prev_2)* -> .
% 14.47/14.66 39105[11:Spt:39101.0] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 39112[11:Res:39105.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 39127[11:Rew:30.0,39112.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 39128[11:Obv:39127.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 39129[11:SSi:39128.1,39128.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,4.0,31753.0,8.0,7918.0,32693.0,7.0,32695.0,35589.0] || -> equal(prev_2,null)**.
% 14.47/14.66 39130[11:MRR:39129.0,26.0] || -> .
% 14.47/14.66 39137[11:Spt:39130.0,39101.0,39105.0] || v__1(null,prev_2,prev_2)* -> .
% 14.47/14.66 39138[11:Spt:39130.0,39101.1] || -> v__1(null,prev_2,nn)*.
% 14.47/14.66 39144[11:Res:39138.0,152.3] object(nn) object(prev_2) object(null) || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 39151[11:SSi:39144.2,39144.1,39144.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,4.0,31753.0,8.0,7918.0,32693.0,7.0,32695.0,35589.0,2.0,12388.0,13.0,11374.0,11351.0,11280.0,14.0] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 39152[11:MRR:39151.0,39137.0] || -> .
% 14.47/14.66 39157[9:Spt:39152.0,228.3] || v__1(sortedList_first,prev_2,nn)* -> .
% 14.47/14.66 39160[9:MRR:39103.1,39157.0] || -> v__1(sortedList_first,nn,prev_2)*.
% 14.47/14.66 39169[9:Res:52.1,39157.0] || -> SkP5(nn)*.
% 14.47/14.66 39170[9:Res:214.1,39157.0] || -> SkP5(prev_2)*.
% 14.47/14.66 39171[9:Res:213.1,39157.0] || -> SkP14(prev_2)*.
% 14.47/14.66 39237[9:Res:39160.0,153.3] object(prev_2) object(nn) object(sortedList_first) || -> v__1(nn,prev_2,prev_2)*.
% 14.47/14.66 39254[9:SSi:39237.2,39237.1,39237.0,15.0,16.0,6.0,31305.0,31307.0,31582.0,35588.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,39169.0,4.0,31753.0,8.0,7918.0,32693.0,7.0,32695.0,35589.0,39170.0,39171.0] || -> v__1(nn,prev_2,prev_2)*.
% 14.47/14.66 39255[9:MRR:39254.0,11011.0] || -> .
% 14.47/14.66 39260[8:Spt:39255.0,81.1,10964.0] || -> SkP18(nn)*.
% 14.47/14.66 39261[8:Spt:39255.0,81.0,81.2] SkP13(u) || -> SkP11(u)*.
% 14.47/14.66 39262[0:SSi:35140.0,15.0,16.0,6.0,31582.0] || -> SkP11(sortedList_first)*.
% 14.47/14.66 39263[0:SSi:35108.0,15.0,16.0,6.0,31582.0] || -> SkP15(sortedList_first)*.
% 14.47/14.66 39264[0:SSi:35143.0,4.0,31753.0,8.0,7918.0,7.0,35589.0] || -> SkP11(prev_2)*.
% 14.47/14.66 39265[8:MRR:30850.1,39261.0] object(u) || -> SkP11(u) v__1(u,u,nn)*.
% 14.47/14.66 39268[0:SSi:24577.0,4.0,31753.0,8.0,7918.0,7.0,35589.0] || -> v__1(sortedList_first,nn,prev_2)* v__1(sortedList_first,prev_2,nn).
% 14.47/14.66 39294[0:SSi:29398.1,29398.0,12391.0,20.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,221.0,2.0,13.0,11374.0,11351.1,11280.0,14.0,626.0,2.0,13.0,11374.0,11351.2,11280.0,14.0,2.0,13.0,11374.0,11351.0,11280.0,14.0] || -> equal(node_next(nn),null) lteq(node_key(prev_2),node_key(node_next(nn)))*.
% 14.47/14.66 39309[0:SSi:17444.1,17444.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,12391.1,20.0,2.0,13.0,11374.0,11351.0,11280.0,14.2,221.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,626.0,2.0,13.0,11374.0,11351.0,11280.0,14.0] || v__1(node_next(nn),sortedList_first,nn)* v__1(sortedList_first,nn,nn) -> equal(nn,null).
% 14.47/14.66 39310[0:MRR:39309.1,39309.2,210.0,29.0] || v__1(node_next(nn),sortedList_first,nn)* -> .
% 14.47/14.66 39312[0:SSi:28986.1,28986.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,12391.1,20.0,2.0,13.0,11374.0,11351.0,11280.0,14.2,221.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,626.0,2.0,13.0,11374.0,11351.0,11280.0,14.0] || v__1(node_next(nn),prev_2,prev_2)* v__1(sortedList_first,nn,nn) -> equal(nn,null).
% 14.47/14.66 39313[0:MRR:39312.1,39312.2,210.0,29.0] || v__1(node_next(nn),prev_2,prev_2)* -> .
% 14.47/14.66 39316[0:SSi:29042.1,29042.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,12391.1,20.0,2.0,13.0,11374.0,11351.0,11280.0,14.2,221.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,626.0,2.0,13.0,11374.0,11351.0,11280.0,14.0] || v__1(node_next(nn),prev_2,nn)* v__1(sortedList_first,nn,nn) -> equal(nn,null).
% 14.47/14.66 39317[0:MRR:39316.1,39316.2,210.0,29.0] || v__1(node_next(nn),prev_2,nn)* -> .
% 14.47/14.66 39333[9:Spt:228.0,228.1,228.2,228.4] SkP4(u) SkP3(u) SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 39334[10:Spt:93.2] || -> v__1(null,prev_2,nn)*.
% 14.47/14.66 39338[10:Res:39334.0,68.0] || -> SkP16(prev_2)*.
% 14.47/14.66 39339[10:Res:39334.0,152.3] object(nn) object(prev_2) object(null) || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 39346[10:SSi:39339.2,39339.1,39339.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,4.0,31753.0,8.0,7918.0,7.0,35589.0,2.0,13.0,11374.0,11351.0,11280.0,14.0] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 39382[10:Res:39346.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 39397[10:Rew:30.0,39382.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 39398[10:Obv:39397.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 39399[10:SSi:39398.1,39398.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,4.0,31753.0,8.0,7918.0,7.0,35589.0,39264.0,39338.0] || -> equal(prev_2,null)**.
% 14.47/14.66 39400[10:MRR:39399.0,26.0] || -> .
% 14.47/14.66 39407[10:Spt:39400.0,93.2,39334.0] || v__1(null,prev_2,nn)* -> .
% 14.47/14.66 39408[10:Spt:39400.0,93.0,93.1] || -> SkP4(u)* v__1(null,prev_2,prev_2)*.
% 14.47/14.66 39409[10:MRR:91.2,39407.0] || -> SkP3(u)* v__1(null,prev_2,prev_2)*.
% 14.47/14.66 39412[11:Spt:39408.1] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 39419[11:Res:39412.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 39434[11:Rew:30.0,39419.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 39435[11:Obv:39434.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 39436[11:SSi:39435.1,39435.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,4.0,31753.0,8.0,7918.0,7.0,35589.0,39264.0] || -> equal(prev_2,null)**.
% 14.47/14.66 39437[11:MRR:39436.0,26.0] || -> .
% 14.47/14.66 39444[11:Spt:39437.0,39408.1,39412.0] || v__1(null,prev_2,prev_2)* -> .
% 14.47/14.66 39445[11:Spt:39437.0,39408.0] || -> SkP4(u)*.
% 14.47/14.66 39446[11:MRR:39333.0,39445.0] SkP3(u) SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 39447[11:MRR:39409.1,39444.0] || -> SkP3(u)*.
% 14.47/14.66 39448[11:MRR:39446.0,39447.0] SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 39449[11:MRR:7910.2,39444.0] object(u) || -> SkP7(u)*.
% 14.47/14.66 39450[11:MRR:39104.3,39445.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 39451[12:Spt:54.0] || -> SkP6(u)*.
% 14.47/14.66 39452[12:MRR:35601.2,39451.0] || SkP0(skc1) SkP7(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 39453[12:MRR:39450.2,39451.0] || SkP0(skc1) SkP7(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 39455[13:Spt:212.0] || SkP0(skc1)* -> .
% 14.47/14.66 39474[10:Res:56.1,39407.0] || -> SkP7(nn)*.
% 14.47/14.66 39717[13:Res:39448.1,39455.0] SkP2(skc1) || -> .
% 14.47/14.66 39718[13:SSi:39717.0,10883.0,1.0,16282.0,16283.0,12372.0] || -> .
% 14.47/14.66 39719[13:Spt:39718.0,212.0,39455.0] || -> SkP0(skc1)*.
% 14.47/14.66 39720[13:Spt:39718.0,212.1] || equal(prev_2,skc1)** -> .
% 14.47/14.66 39726[13:MRR:39453.0,39719.0] || SkP7(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 39727[13:MRR:39452.0,39719.0] || SkP7(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 39729[13:MRR:10944.0,39719.0] || SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 39796[14:Spt:7935.1] || -> equal(prev_2,sortedList_first)**.
% 14.47/14.66 39821[14:Rew:39796.0,39294.1] || -> equal(node_next(nn),null) lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 39855[14:Rew:39796.0,39726.1] || SkP7(skc1) SkP14(sortedList_first)* -> .
% 14.47/14.66 40007[15:Spt:39855.0] || SkP7(skc1)* -> .
% 14.47/14.66 40008[15:Res:39449.1,40007.0] object(skc1) || -> .
% 14.47/14.66 40010[15:SSi:40008.0,10883.0,1.0,16282.0,16283.0] || -> .
% 14.47/14.66 40011[15:Spt:40010.0,39855.0,40007.0] || -> SkP7(skc1)*.
% 14.47/14.66 40012[15:Spt:40010.0,39855.1] || SkP14(sortedList_first)* -> .
% 14.47/14.66 40014[15:MRR:39727.0,40011.0] || v__1(null,skc1,skc1)* -> .
% 14.47/14.66 40015[15:MRR:39729.2,40014.0] || SkP12(skc1)* SkP11(skc1) -> .
% 14.47/14.66 40023[15:Res:12405.2,40014.0] object(skc1) || -> SkP12(skc1)*.
% 14.47/14.66 40025[15:SSi:40023.0,10883.0,1.0,16282.0,16283.0,40011.0] || -> SkP12(skc1)*.
% 14.47/14.66 40026[15:MRR:40015.0,40025.0] || SkP11(skc1)* -> .
% 14.47/14.66 40051[0:Res:67.1,39310.0] || -> SkP13(sortedList_first)*.
% 14.47/14.66 40297[8:Res:39265.2,153.3] object(u) object(nn) object(u) object(u) || -> SkP11(u) v__1(u,nn,nn)*.
% 14.47/14.66 40309[8:Obv:40297.2] object(nn) object(u) || -> SkP11(u) v__1(u,nn,nn)*.
% 14.47/14.66 40410[16:Spt:39821.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 40425[16:Rew:40410.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 40594[16:Res:40425.1,40014.0] || -> SkP11(skc1)*.
% 14.47/14.66 40597[16:MRR:40594.0,40026.0] || -> .
% 14.47/14.66 40604[16:Spt:40597.0,39821.0,40410.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 40605[16:Spt:40597.0,39821.1] || -> lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 40606[16:MRR:30911.1,40604.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 40768[16:Res:40606.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 40773[16:SSi:40768.0,10883.0,1.0,16282.0,16283.0,40011.0,40025.0] || -> SkP11(skc1)*.
% 14.47/14.66 40774[16:MRR:40773.0,40026.0] || -> .
% 14.47/14.66 40795[14:Spt:40774.0,7935.1,39796.0] || equal(prev_2,sortedList_first)** -> .
% 14.47/14.66 40796[14:Spt:40774.0,7935.0] || -> SkP5(sortedList_first)*.
% 14.47/14.66 40800[10:SSi:40309.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,39260.0,39474.0] object(u) || -> SkP11(u) v__1(u,nn,nn)*.
% 14.47/14.66 40919[15:Spt:39726.0] || SkP7(skc1)* -> .
% 14.47/14.66 40920[15:Res:39449.1,40919.0] object(skc1) || -> .
% 14.47/14.66 40922[15:SSi:40920.0,10883.0,1.0,16282.0,16283.0] || -> .
% 14.47/14.66 40923[15:Spt:40922.0,39726.0,40919.0] || -> SkP7(skc1)*.
% 14.47/14.66 40924[15:Spt:40922.0,39726.1] || SkP14(prev_2)* -> .
% 14.47/14.66 40926[15:MRR:39727.0,40923.0] || v__1(null,skc1,skc1)* -> .
% 14.47/14.66 40927[15:MRR:39729.2,40926.0] || SkP12(skc1)* SkP11(skc1) -> .
% 14.47/14.66 40929[15:Res:12405.2,40926.0] object(skc1) || -> SkP12(skc1)*.
% 14.47/14.66 40931[15:SSi:40929.0,10883.0,1.0,16282.0,16283.0,40923.0] || -> SkP12(skc1)*.
% 14.47/14.66 40932[15:MRR:40927.0,40931.0] || SkP11(skc1)* -> .
% 14.47/14.66 40971[0:Res:67.1,39317.0] || -> SkP13(prev_2)*.
% 14.47/14.66 41146[16:Spt:30845.1] || -> equal(nn,sortedList_first)**.
% 14.47/14.66 41156[16:Rew:41146.0,29.0] || equal(null,sortedList_first)** -> .
% 14.47/14.66 41209[16:Rew:41146.0,12404.0] || equal(sortedList_first,sortedList_first) -> equal(null,sortedList_first)**.
% 14.47/14.66 41451[16:Obv:41209.0] || -> equal(null,sortedList_first)**.
% 14.47/14.66 41452[16:MRR:41451.0,41156.0] || -> .
% 14.47/14.66 41577[16:Spt:41452.0,30845.1,41146.0] || equal(nn,sortedList_first)** -> .
% 14.47/14.66 41578[16:Spt:41452.0,30845.0] || -> v__1(sortedList_first,sortedList_first,nn)*.
% 14.47/14.66 41899[0:Res:39268.0,153.3] object(prev_2) object(nn) object(sortedList_first) || -> v__1(sortedList_first,prev_2,nn) v__1(nn,prev_2,prev_2)*.
% 14.47/14.66 42214[10:Res:40800.2,10884.0] object(null) || -> SkP11(null) SkP16(nn)*.
% 14.47/14.66 42537[17:Spt:39294.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 42555[17:Rew:42537.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 42733[17:Res:42555.1,40926.0] || -> SkP11(skc1)*.
% 14.47/14.66 42738[17:MRR:42733.0,40932.0] || -> .
% 14.47/14.66 42745[17:Spt:42738.0,39294.0,42537.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 42746[17:Spt:42738.0,39294.1] || -> lteq(node_key(prev_2),node_key(node_next(nn)))*.
% 14.47/14.66 42747[17:MRR:30911.1,42745.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 42926[17:Res:42747.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 42931[17:SSi:42926.0,10883.0,1.0,16282.0,16283.0,40923.0,40931.0] || -> SkP11(skc1)*.
% 14.47/14.66 42932[17:MRR:42931.0,40932.0] || -> .
% 14.47/14.66 42952[12:Spt:42932.0,54.1] || -> v__1(sortedList_first,prev_2,nn)*.
% 14.47/14.66 42953[10:SSi:42214.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0] || -> SkP11(null) SkP16(nn)*.
% 14.47/14.66 42985[13:Spt:212.0] || SkP0(skc1)* -> .
% 14.47/14.66 43270[13:Res:39448.1,42985.0] SkP2(skc1) || -> .
% 14.47/14.66 43271[13:SSi:43270.0,10883.0,1.0,16282.0,16283.0,12372.0] || -> .
% 14.47/14.66 43272[13:Spt:43271.0,212.0,42985.0] || -> SkP0(skc1)*.
% 14.47/14.66 43273[13:Spt:43271.0,212.1] || equal(prev_2,skc1)** -> .
% 14.47/14.66 43278[13:MRR:12552.0,43272.0] || SkP12(skc1)* SkP11(skc1) SkP17(skc1) -> .
% 14.47/14.66 43279[13:MRR:39450.0,43272.0] || SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 43280[13:MRR:10944.0,43272.0] || SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 43281[13:MRR:35601.0,43272.0] || SkP7(skc1) SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 43343[14:Spt:42953.0] || -> SkP11(null)*.
% 14.47/14.66 43345[15:Spt:12036.0] || -> SkP2(null)*.
% 14.47/14.66 43350[16:Spt:12132.0] || -> SkP15(null)*.
% 14.47/14.66 43372[17:Spt:7935.1] || -> equal(prev_2,sortedList_first)**.
% 14.47/14.66 43399[17:Rew:43372.0,39294.1] || -> equal(node_next(nn),null) lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 43437[17:Rew:43372.0,43279.2] || SkP7(skc1) SkP6(skc1) SkP14(sortedList_first)* -> .
% 14.47/14.66 43873[18:Spt:43278.0] || SkP12(skc1)* -> .
% 14.47/14.66 43876[18:Res:16289.1,43873.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 43878[18:SSi:43876.0,10883.0,1.0,16282.0,16283.0,12372.0,43272.0] || -> equal(null,skc1)**.
% 14.47/14.66 43879[18:MRR:43878.0,22.0] || -> .
% 14.47/14.66 43880[18:Spt:43879.0,43278.0,43873.0] || -> SkP12(skc1)*.
% 14.47/14.66 43881[18:Spt:43879.0,43278.1,43278.2] || SkP11(skc1)* SkP17(skc1) -> .
% 14.47/14.66 43882[18:MRR:43280.0,43880.0] || SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 43884[19:Spt:43882.0] || SkP11(skc1)* -> .
% 14.47/14.66 43886[20:Spt:43437.0] || SkP7(skc1)* -> .
% 14.47/14.66 43888[20:Res:39449.1,43886.0] object(skc1) || -> .
% 14.47/14.66 43889[20:SSi:43888.0,10883.0,1.0,16282.0,16283.0,12372.0,43272.0,43880.0] || -> .
% 14.47/14.66 43890[20:Spt:43889.0,43437.0,43886.0] || -> SkP7(skc1)*.
% 14.47/14.66 43891[20:Spt:43889.0,43437.1,43437.2] || SkP6(skc1) SkP14(sortedList_first)* -> .
% 14.47/14.66 43892[20:MRR:43281.0,43890.0] || SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 43894[21:Spt:43892.0] || SkP6(skc1)* -> .
% 14.47/14.66 43996[3:Res:39090.2,154.3] object(u) object(u) object(null) || equal(node_next(null),null)** -> SkP6(u)* equal(null,u).
% 14.47/14.66 44022[3:Obv:43996.0] object(u) object(null) || equal(node_next(null),null)** -> SkP6(u)* equal(null,u).
% 14.47/14.66 44023[3:Rew:30.0,44022.2] object(u) object(null) || equal(null,null) -> SkP6(u)* equal(null,u).
% 14.47/14.66 44024[3:Obv:44023.2] object(u) object(null) || -> SkP6(u)* equal(null,u).
% 14.47/14.66 44025[16:SSi:44024.1,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,43343.0,43345.0,43350.0] object(u) || -> SkP6(u)* equal(null,u).
% 14.47/14.66 44034[21:Res:44025.1,43894.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 44035[21:SSi:44034.0,10883.0,1.0,16282.0,16283.0,12372.0,43272.0,43880.0,43890.0] || -> equal(null,skc1)**.
% 14.47/14.66 44036[21:MRR:44035.0,22.0] || -> .
% 14.47/14.66 44037[21:Spt:44036.0,43892.0,43894.0] || -> SkP6(skc1)*.
% 14.47/14.66 44038[21:Spt:44036.0,43892.1] || v__1(null,skc1,skc1)* -> .
% 14.47/14.66 44106[22:Spt:43399.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 44123[22:Rew:44106.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 44291[22:Res:44123.1,44038.0] || -> SkP11(skc1)*.
% 14.47/14.66 44295[22:MRR:44291.0,43884.0] || -> .
% 14.47/14.66 44302[22:Spt:44295.0,43399.0,44106.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 44303[22:Spt:44295.0,43399.1] || -> lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 44304[22:MRR:30911.1,44302.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 44442[22:Res:44304.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 44447[22:SSi:44442.0,10883.0,1.0,16282.0,16283.0,12372.0,43272.0,43880.0,43890.0,44037.0] || -> SkP11(skc1)*.
% 14.47/14.66 44448[22:MRR:44447.0,43884.0] || -> .
% 14.47/14.66 44469[19:Spt:44448.0,43882.0,43884.0] || -> SkP11(skc1)*.
% 14.47/14.66 44470[19:Spt:44448.0,43882.1] || -> v__1(null,skc1,skc1)*.
% 14.47/14.66 44476[19:Res:44470.0,154.3] object(skc1) object(null) || equal(node_next(null),null)** -> equal(null,skc1).
% 14.47/14.66 44491[19:Rew:30.0,44476.2] object(skc1) object(null) || equal(null,null)* -> equal(null,skc1).
% 14.47/14.66 44492[19:Obv:44491.2] object(skc1) object(null) || -> equal(null,skc1)**.
% 14.47/14.66 44493[19:SSi:44492.1,44492.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,43343.0,43345.0,43350.0,10883.0,1.0,16282.0,16283.0,12372.0,43272.0,43880.0] || -> equal(null,skc1)**.
% 14.47/14.66 44494[19:MRR:44493.0,22.0] || -> .
% 14.47/14.66 44501[17:Spt:44494.0,7935.1,43372.0] || equal(prev_2,sortedList_first)** -> .
% 14.47/14.66 44502[17:Spt:44494.0,7935.0] || -> SkP5(sortedList_first)*.
% 14.47/14.66 44865[18:Spt:30845.1] || -> equal(nn,sortedList_first)**.
% 14.47/14.66 44874[18:Rew:44865.0,29.0] || equal(null,sortedList_first)** -> .
% 14.47/14.66 45136[18:Rew:44865.0,12404.0] || equal(sortedList_first,sortedList_first) -> equal(null,sortedList_first)**.
% 14.47/14.66 45193[18:Obv:45136.0] || -> equal(null,sortedList_first)**.
% 14.47/14.66 45194[18:MRR:45193.0,44874.0] || -> .
% 14.47/14.66 45329[18:Spt:45194.0,30845.1,44865.0] || equal(nn,sortedList_first)** -> .
% 14.47/14.66 45330[18:Spt:45194.0,30845.0] || -> v__1(sortedList_first,sortedList_first,nn)*.
% 14.47/14.66 45669[19:Spt:43278.0] || SkP12(skc1)* -> .
% 14.47/14.66 45672[19:Res:16289.1,45669.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 45674[19:SSi:45672.0,10883.0,1.0,16282.0,16283.0,12372.0,43272.0] || -> equal(null,skc1)**.
% 14.47/14.66 45675[19:MRR:45674.0,22.0] || -> .
% 14.47/14.66 45676[19:Spt:45675.0,43278.0,45669.0] || -> SkP12(skc1)*.
% 14.47/14.66 45677[19:Spt:45675.0,43278.1,43278.2] || SkP11(skc1)* SkP17(skc1) -> .
% 14.47/14.66 45678[19:MRR:43280.0,45676.0] || SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 45680[20:Spt:45678.0] || SkP11(skc1)* -> .
% 14.47/14.66 45682[21:Spt:43279.0] || SkP7(skc1)* -> .
% 14.47/14.66 45684[21:Res:39449.1,45682.0] object(skc1) || -> .
% 14.47/14.66 45685[21:SSi:45684.0,10883.0,1.0,16282.0,16283.0,12372.0,43272.0,45676.0] || -> .
% 14.47/14.66 45686[21:Spt:45685.0,43279.0,45682.0] || -> SkP7(skc1)*.
% 14.47/14.66 45687[21:Spt:45685.0,43279.1,43279.2] || SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 45688[21:MRR:43281.0,45686.0] || SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 45690[22:Spt:45688.0] || SkP6(skc1)* -> .
% 14.47/14.66 45692[22:Res:44025.1,45690.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 45693[22:SSi:45692.0,10883.0,1.0,16282.0,16283.0,12372.0,43272.0,45676.0,45686.0] || -> equal(null,skc1)**.
% 14.47/14.66 45694[22:MRR:45693.0,22.0] || -> .
% 14.47/14.66 45695[22:Spt:45694.0,45688.0,45690.0] || -> SkP6(skc1)*.
% 14.47/14.66 45696[22:Spt:45694.0,45688.1] || v__1(null,skc1,skc1)* -> .
% 14.47/14.66 45754[11:Res:10876.2,39444.0] object(null) || -> SkP2(null)*.
% 14.47/14.66 45879[0:Fac:104.1,104.2] || -> SkP15(nn) v__1(null,nn,nn)*.
% 14.47/14.66 46118[0:Fac:102.1,102.2] || -> SkP12(nn) v__1(null,nn,nn)*.
% 14.47/14.66 46198[23:Spt:39294.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 46218[23:Rew:46198.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 46393[23:Res:46218.1,45696.0] || -> SkP11(skc1)*.
% 14.47/14.66 46398[23:MRR:46393.0,45680.0] || -> .
% 14.47/14.66 46405[23:Spt:46398.0,39294.0,46198.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 46406[23:Spt:46398.0,39294.1] || -> lteq(node_key(prev_2),node_key(node_next(nn)))*.
% 14.47/14.66 46407[23:MRR:30911.1,46405.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 46559[23:Res:46407.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 46564[23:SSi:46559.0,10883.0,1.0,16282.0,16283.0,12372.0,43272.0,45676.0,45686.0,45695.0] || -> SkP11(skc1)*.
% 14.47/14.66 46565[23:MRR:46564.0,45680.0] || -> .
% 14.47/14.66 46585[20:Spt:46565.0,45678.0,45680.0] || -> SkP11(skc1)*.
% 14.47/14.66 46586[20:Spt:46565.0,45678.1] || -> v__1(null,skc1,skc1)*.
% 14.47/14.66 46592[20:Res:46586.0,154.3] object(skc1) object(null) || equal(node_next(null),null)** -> equal(null,skc1).
% 14.47/14.66 46607[20:Rew:30.0,46592.2] object(skc1) object(null) || equal(null,null)* -> equal(null,skc1).
% 14.47/14.66 46608[20:Obv:46607.2] object(skc1) object(null) || -> equal(null,skc1)**.
% 14.47/14.66 46609[20:SSi:46608.1,46608.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,43343.0,43345.0,43350.0,10883.0,1.0,16282.0,16283.0,12372.0,43272.0,45676.0] || -> equal(null,skc1)**.
% 14.47/14.66 46610[20:MRR:46609.0,22.0] || -> .
% 14.47/14.66 46617[16:Spt:46610.0,12132.0,43350.0] || SkP15(null)* -> .
% 14.47/14.66 46618[16:Spt:46610.0,12132.1] || -> SkP16(nn)*.
% 14.47/14.66 46635[16:Res:30827.1,46617.0] object(null) || -> equal(nn,null)**.
% 14.47/14.66 46638[16:SSi:46635.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,43343.0,43345.0] || -> equal(nn,null)**.
% 14.47/14.66 46639[16:MRR:46638.0,29.0] || -> .
% 14.47/14.66 46640[15:Spt:46639.0,12036.0,43345.0] || SkP2(null)* -> .
% 14.47/14.66 46641[15:Spt:46639.0,12036.1] || -> SkP16(prev_2)*.
% 14.47/14.66 46643[14:SSi:45754.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,43343.0] || -> SkP2(null)*.
% 14.47/14.66 46644[15:MRR:46643.0,46640.0] || -> .
% 14.47/14.66 46650[14:Spt:46644.0,42953.0,43343.0] || SkP11(null)* -> .
% 14.47/14.66 46651[14:Spt:46644.0,42953.1] || -> SkP16(nn)*.
% 14.47/14.66 46652[11:SSi:45754.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0] || -> SkP2(null)*.
% 14.47/14.66 46657[3:SSi:44024.1,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0] object(u) || -> SkP6(u)* equal(null,u).
% 14.47/14.66 46663[14:Res:39261.1,46650.0] SkP13(null) || -> .
% 14.47/14.66 46664[14:SSi:46663.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,46652.0] || -> .
% 14.47/14.66 46665[9:Spt:46664.0,228.3] || v__1(sortedList_first,prev_2,nn)* -> .
% 14.47/14.66 46675[8:SSi:41899.2,41899.1,41899.0,15.0,16.0,6.0,31582.0,39262.0,39263.0,40051.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,39260.0,4.0,31753.0,7918.0,35589.0,8.0,39264.0,7.0,40971.0] || -> v__1(sortedList_first,prev_2,nn) v__1(nn,prev_2,prev_2)*.
% 14.47/14.66 46676[8:MRR:46675.1,11011.0] || -> v__1(sortedList_first,prev_2,nn)*.
% 14.47/14.66 46677[9:MRR:46676.0,46665.0] || -> .
% 14.47/14.66 46688[7:Spt:46677.0,99.0,99.2] || SkP13(prev_2) -> v__1(node_next(nn),prev_2,prev_2)*.
% 14.47/14.66 46691[7:MRR:46688.0,46688.1,40971.0,39313.0] || -> .
% 14.47/14.66 46694[0:SSi:41899.2,41899.1,41899.0,15.0,16.0,6.0,31582.0,39262.0,39263.0,40051.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,4.0,31753.0,7918.0,35589.0,8.0,39264.0,7.0,40971.0] || -> v__1(sortedList_first,prev_2,nn) v__1(nn,prev_2,prev_2)*.
% 14.47/14.66 46695[0:MRR:46694.1,11011.0] || -> v__1(sortedList_first,prev_2,nn)*.
% 14.47/14.66 46696[0:MRR:228.3,46695.0] SkP4(u) SkP3(u) SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 46697[0:MRR:150.5,11351.0] || SkP1(skc1) SkP0(skc1) SkP12(skc1)* SkP11(skc1) SkP17(skc1) -> .
% 14.47/14.66 46698[3:MRR:10892.4,16283.0] || SkP1(skc1) SkP0(skc1) SkP7(skc1) SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 46706[2:MRR:173.4,173.6,16283.0,35589.0] || SkP1(skc1) SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP4(prev_2) SkP14(prev_2)* -> .
% 14.47/14.66 46707[6:Spt:46691.0,117.0,117.2] || v__1(null,nn,nn)* -> v__1(null,prev_2,nn).
% 14.47/14.66 46709[0:MRR:77.0,77.1,31753.0,11351.0] || -> SkP9(u)*.
% 14.47/14.66 46710[5:MRR:10900.0,46709.0] SkP8(u) || -> SkP1(u)*.
% 14.47/14.66 46711[0:MRR:99.0,99.2,40971.0,39313.0] || -> SkP8(u)*.
% 14.47/14.66 46712[5:MRR:46710.0,46711.0] || -> SkP1(u)*.
% 14.47/14.66 46713[5:MRR:141.0,46712.0] || SkP0(skc1) SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 46716[5:MRR:46698.0,46712.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 46718[5:MRR:46706.0,46712.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP4(prev_2) SkP14(prev_2)* -> .
% 14.47/14.66 46729[6:Res:12405.2,46707.0] object(nn) || -> SkP12(nn) v__1(null,prev_2,nn)*.
% 14.47/14.66 46730[6:Res:12008.2,46707.0] object(nn) || -> SkP15(nn) v__1(null,prev_2,nn)*.
% 14.47/14.66 46735[6:SSi:46729.0,2.0,13.0,11374.0,11351.0,11280.0,14.0] || -> SkP12(nn) v__1(null,prev_2,nn)*.
% 14.47/14.66 46736[6:SSi:46730.0,2.0,13.0,11374.0,11351.0,11280.0,14.0] || -> SkP15(nn) v__1(null,prev_2,nn)*.
% 14.47/14.66 46740[7:Spt:93.2] || -> v__1(null,prev_2,nn)*.
% 14.47/14.66 46744[7:Res:46740.0,152.3] object(nn) object(prev_2) object(null) || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 46750[7:Res:46740.0,68.0] || -> SkP16(prev_2)*.
% 14.47/14.66 46753[7:SSi:46744.2,46744.1,46744.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,4.0,31753.0,7918.0,35589.0,8.0,39264.0,7.0,40971.0,2.0,13.0,11374.0,11351.0,11280.0,14.0] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 46834[7:Res:46753.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 46849[7:Rew:30.0,46834.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 46850[7:Obv:46849.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 46851[7:SSi:46850.1,46850.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,4.0,31753.0,7918.0,35589.0,8.0,39264.0,7.0,40971.0,46750.0] || -> equal(prev_2,null)**.
% 14.47/14.66 46852[7:MRR:46851.0,26.0] || -> .
% 14.47/14.66 46859[7:Spt:46852.0,93.2,46740.0] || v__1(null,prev_2,nn)* -> .
% 14.47/14.66 46860[7:Spt:46852.0,93.0,93.1] || -> SkP4(u)* v__1(null,prev_2,prev_2)*.
% 14.47/14.66 46861[7:MRR:46735.1,46859.0] || -> SkP12(nn)*.
% 14.47/14.66 46862[7:MRR:46736.1,46859.0] || -> SkP15(nn)*.
% 14.47/14.66 46864[7:MRR:46707.1,46859.0] || v__1(null,nn,nn)* -> .
% 14.47/14.66 46868[7:MRR:38931.1,46864.0] || -> SkP6(nn)*.
% 14.47/14.66 46870[7:MRR:12090.1,46864.0] || -> SkP7(nn)*.
% 14.47/14.66 46871[7:MRR:91.2,46859.0] || -> SkP3(u)* v__1(null,prev_2,prev_2)*.
% 14.47/14.66 46876[8:Spt:46860.1] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 46884[8:Res:46876.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 46899[8:Rew:30.0,46884.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 46900[8:Obv:46899.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 46901[8:SSi:46900.1,46900.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,4.0,31753.0,7918.0,35589.0,8.0,39264.0,7.0,40971.0] || -> equal(prev_2,null)**.
% 14.47/14.66 46902[8:MRR:46901.0,26.0] || -> .
% 14.47/14.66 46909[8:Spt:46902.0,46860.1,46876.0] || v__1(null,prev_2,prev_2)* -> .
% 14.47/14.66 46910[8:Spt:46902.0,46860.0] || -> SkP4(u)*.
% 14.47/14.66 46911[8:MRR:46696.0,46910.0] SkP3(u) SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 46912[8:MRR:46718.3,46910.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 46913[8:MRR:46871.1,46909.0] || -> SkP3(u)*.
% 14.47/14.66 46914[8:MRR:46911.0,46913.0] SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 46915[8:MRR:7910.2,46909.0] object(u) || -> SkP7(u)*.
% 14.47/14.66 46916[9:Spt:212.0] || SkP0(skc1)* -> .
% 14.47/14.66 47167[9:Res:46914.1,46916.0] SkP2(skc1) || -> .
% 14.47/14.66 47168[9:SSi:47167.0,10883.0,1.0,16282.0,16283.0,12372.0] || -> .
% 14.47/14.66 47169[9:Spt:47168.0,212.0,46916.0] || -> SkP0(skc1)*.
% 14.47/14.66 47170[9:Spt:47168.0,212.1] || equal(prev_2,skc1)** -> .
% 14.47/14.66 47176[9:MRR:46912.0,47169.0] || SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 47177[9:MRR:46713.0,47169.0] || SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 47178[9:MRR:46716.0,47169.0] || SkP7(skc1) SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 47250[10:Spt:7935.1] || -> equal(prev_2,sortedList_first)**.
% 14.47/14.66 47277[10:Rew:47250.0,39294.1] || -> equal(node_next(nn),null) lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 47316[10:Rew:47250.0,47176.2] || SkP7(skc1) SkP6(skc1) SkP14(sortedList_first)* -> .
% 14.47/14.66 47557[11:Spt:11281.1] || -> equal(node_next(nn),nn)**.
% 14.47/14.66 47645[11:SpL:47557.0,2066.2] object(nn) || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 47650[11:SSi:47645.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,12388.0,46861.0,46862.0,46868.0,46870.0] || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 47651[11:MRR:47650.0,47650.1,47650.2,210.0,219.0,29.0] || -> .
% 14.47/14.66 47654[11:Spt:47651.0,11281.1,47557.0] || equal(node_next(nn),nn)** -> .
% 14.47/14.66 47655[11:Spt:47651.0,11281.0] || -> SkP17(node_next(nn))*.
% 14.47/14.66 47751[12:Spt:47316.0] || SkP7(skc1)* -> .
% 14.47/14.66 47752[12:Res:46915.1,47751.0] object(skc1) || -> .
% 14.47/14.66 47754[12:SSi:47752.0,10883.0,1.0,16282.0,16283.0,12372.0,47169.0] || -> .
% 14.47/14.66 47755[12:Spt:47754.0,47316.0,47751.0] || -> SkP7(skc1)*.
% 14.47/14.66 47756[12:Spt:47754.0,47316.1,47316.2] || SkP6(skc1) SkP14(sortedList_first)* -> .
% 14.47/14.66 47757[12:MRR:47178.0,47755.0] || SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 47759[13:Spt:47757.0] || SkP6(skc1)* -> .
% 14.47/14.66 47760[13:Res:46657.1,47759.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 47762[13:SSi:47760.0,10883.0,1.0,16282.0,16283.0,12372.0,47169.0,47755.0] || -> equal(null,skc1)**.
% 14.47/14.66 47763[13:MRR:47762.0,22.0] || -> .
% 14.47/14.66 47764[13:Spt:47763.0,47757.0,47759.0] || -> SkP6(skc1)*.
% 14.47/14.66 47765[13:Spt:47763.0,47757.1] || v__1(null,skc1,skc1)* -> .
% 14.47/14.66 47766[13:MRR:47177.2,47765.0] || SkP12(skc1)* SkP11(skc1) -> .
% 14.47/14.66 47770[13:Res:12405.2,47765.0] object(skc1) || -> SkP12(skc1)*.
% 14.47/14.66 47772[13:SSi:47770.0,10883.0,1.0,16282.0,16283.0,12372.0,47169.0,47755.0] || -> SkP12(skc1)*.
% 14.47/14.66 47773[13:MRR:47766.0,47772.0] || SkP11(skc1)* -> .
% 14.47/14.66 48059[14:Spt:47277.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 48075[14:Rew:48059.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 48229[14:Res:48075.1,47765.0] || -> SkP11(skc1)*.
% 14.47/14.66 48233[14:MRR:48229.0,47773.0] || -> .
% 14.47/14.66 48240[14:Spt:48233.0,47277.0,48059.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 48241[14:Spt:48233.0,47277.1] || -> lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 48242[14:MRR:30911.1,48240.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 48379[14:Res:48242.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 48384[14:SSi:48379.0,10883.0,1.0,16282.0,16283.0,12372.0,47169.0,47755.0,47764.0,47772.0] || -> SkP11(skc1)*.
% 14.47/14.66 48385[14:MRR:48384.0,47773.0] || -> .
% 14.47/14.66 48406[10:Spt:48385.0,7935.1,47250.0] || equal(prev_2,sortedList_first)** -> .
% 14.47/14.66 48407[10:Spt:48385.0,7935.0] || -> SkP5(sortedList_first)*.
% 14.47/14.66 48587[11:Spt:47176.0] || SkP7(skc1)* -> .
% 14.47/14.66 48588[11:Res:46915.1,48587.0] object(skc1) || -> .
% 14.47/14.66 48590[11:SSi:48588.0,10883.0,1.0,16282.0,16283.0,12372.0,47169.0] || -> .
% 14.47/14.66 48591[11:Spt:48590.0,47176.0,48587.0] || -> SkP7(skc1)*.
% 14.47/14.66 48592[11:Spt:48590.0,47176.1,47176.2] || SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 48593[11:MRR:47178.0,48591.0] || SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 48595[12:Spt:11281.1] || -> equal(node_next(nn),nn)**.
% 14.47/14.66 48687[12:SpL:48595.0,2066.2] object(nn) || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 48692[12:SSi:48687.0,2.0,13.0,11374.0,11351.0,11280.0,14.0,12388.0,46861.0,46862.0,46868.0,46870.0] || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 48693[12:MRR:48692.0,48692.1,48692.2,210.0,219.0,29.0] || -> .
% 14.47/14.66 48696[12:Spt:48693.0,11281.1,48595.0] || equal(node_next(nn),nn)** -> .
% 14.47/14.66 48697[12:Spt:48693.0,11281.0] || -> SkP17(node_next(nn))*.
% 14.47/14.66 48776[13:Spt:30845.1] || -> equal(nn,sortedList_first)**.
% 14.47/14.66 48786[13:Rew:48776.0,29.0] || equal(null,sortedList_first)** -> .
% 14.47/14.66 49023[13:Rew:48776.0,12404.0] || equal(sortedList_first,sortedList_first) -> equal(null,sortedList_first)**.
% 14.47/14.66 49082[13:Obv:49023.0] || -> equal(null,sortedList_first)**.
% 14.47/14.66 49083[13:MRR:49082.0,48786.0] || -> .
% 14.47/14.66 49206[13:Spt:49083.0,30845.1,48776.0] || equal(nn,sortedList_first)** -> .
% 14.47/14.66 49207[13:Spt:49083.0,30845.0] || -> v__1(sortedList_first,sortedList_first,nn)*.
% 14.47/14.66 49472[14:Spt:48593.0] || SkP6(skc1)* -> .
% 14.47/14.66 49474[14:Res:46657.1,49472.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 49475[14:SSi:49474.0,10883.0,1.0,16282.0,16283.0,12372.0,47169.0,48591.0] || -> equal(null,skc1)**.
% 14.47/14.66 49476[14:MRR:49475.0,22.0] || -> .
% 14.47/14.66 49477[14:Spt:49476.0,48593.0,49472.0] || -> SkP6(skc1)*.
% 14.47/14.66 49478[14:Spt:49476.0,48593.1] || v__1(null,skc1,skc1)* -> .
% 14.47/14.66 49479[14:MRR:47177.2,49478.0] || SkP12(skc1)* SkP11(skc1) -> .
% 14.47/14.66 49484[14:Res:12405.2,49478.0] object(skc1) || -> SkP12(skc1)*.
% 14.47/14.66 49486[14:SSi:49484.0,10883.0,1.0,16282.0,16283.0,12372.0,47169.0,48591.0] || -> SkP12(skc1)*.
% 14.47/14.66 49487[14:MRR:49479.0,49486.0] || SkP11(skc1)* -> .
% 14.47/14.66 50100[15:Spt:39294.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 50120[15:Rew:50100.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 50281[15:Res:50120.1,49478.0] || -> SkP11(skc1)*.
% 14.47/14.66 50286[15:MRR:50281.0,49487.0] || -> .
% 14.47/14.66 50293[15:Spt:50286.0,39294.0,50100.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 50294[15:Spt:50286.0,39294.1] || -> lteq(node_key(prev_2),node_key(node_next(nn)))*.
% 14.47/14.66 50295[15:MRR:30911.1,50293.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 50448[15:Res:50295.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 50453[15:SSi:50448.0,10883.0,1.0,16282.0,16283.0,12372.0,47169.0,48591.0,49477.0,49486.0] || -> SkP11(skc1)*.
% 14.47/14.66 50454[15:MRR:50453.0,49487.0] || -> .
% 14.47/14.66 50474[5:Spt:50454.0,118.0,118.2] || v__1(null,nn,nn)* -> v__1(null,prev_2,nn).
% 14.47/14.66 50476[0:MRR:79.0,79.1,31753.0,11351.0] || -> SkP10(u)*.
% 14.47/14.66 50477[4:SSi:10898.2,10898.1,46711.0,46709.0] SkP10(u) || -> SkP1(u)*.
% 14.47/14.66 50478[4:MRR:50477.0,50476.0] || -> SkP1(u)*.
% 14.47/14.66 50480[4:MRR:141.0,50478.0] || SkP0(skc1) SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 50482[4:MRR:46698.0,50478.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 50483[4:MRR:46706.0,50478.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP4(prev_2) SkP14(prev_2)* -> .
% 14.47/14.66 50500[5:Res:39090.2,50474.0] object(nn) || -> SkP6(nn) v__1(null,prev_2,nn)*.
% 14.47/14.66 50501[5:Res:12405.2,50474.0] object(nn) || -> SkP12(nn) v__1(null,prev_2,nn)*.
% 14.47/14.66 50502[5:Res:12008.2,50474.0] object(nn) || -> SkP15(nn) v__1(null,prev_2,nn)*.
% 14.47/14.66 50507[5:SSi:50500.0,14.0,12388.0,13.0,11280.0,11351.0,11374.0,2.0] || -> SkP6(nn) v__1(null,prev_2,nn)*.
% 14.47/14.66 50508[5:SSi:50501.0,14.0,12388.0,13.0,11280.0,11351.0,11374.0,2.0] || -> SkP12(nn) v__1(null,prev_2,nn)*.
% 14.47/14.66 50509[5:SSi:50502.0,14.0,12388.0,13.0,11280.0,11351.0,11374.0,2.0] || -> SkP15(nn) v__1(null,prev_2,nn)*.
% 14.47/14.66 50513[6:Spt:93.2] || -> v__1(null,prev_2,nn)*.
% 14.47/14.66 50517[6:Res:50513.0,68.0] || -> SkP16(prev_2)*.
% 14.47/14.66 50518[6:Res:50513.0,152.3] object(nn) object(prev_2) object(null) || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 50526[6:SSi:50518.2,50518.1,50518.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,31753.0,4.0,7918.0,35589.0,8.0,39264.0,7.0,40971.0,14.0,12388.0,13.0,11280.0,11351.0,11374.0,2.0] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 50595[6:Res:50526.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 50610[6:Rew:30.0,50595.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 50611[6:Obv:50610.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 50612[6:SSi:50611.1,50611.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,31753.0,4.0,7918.0,35589.0,8.0,39264.0,7.0,40971.0,50517.0] || -> equal(prev_2,null)**.
% 14.47/14.66 50613[6:MRR:50612.0,26.0] || -> .
% 14.47/14.66 50620[6:Spt:50613.0,93.2,50513.0] || v__1(null,prev_2,nn)* -> .
% 14.47/14.66 50621[6:Spt:50613.0,93.0,93.1] || -> SkP4(u)* v__1(null,prev_2,prev_2)*.
% 14.47/14.66 50622[6:MRR:50507.1,50620.0] || -> SkP6(nn)*.
% 14.47/14.66 50623[6:MRR:50508.1,50620.0] || -> SkP12(nn)*.
% 14.47/14.66 50624[6:MRR:50509.1,50620.0] || -> SkP15(nn)*.
% 14.47/14.66 50626[6:MRR:50474.1,50620.0] || v__1(null,nn,nn)* -> .
% 14.47/14.66 50631[6:MRR:12090.1,50626.0] || -> SkP7(nn)*.
% 14.47/14.66 50632[6:MRR:91.2,50620.0] || -> SkP3(u)* v__1(null,prev_2,prev_2)*.
% 14.47/14.66 50633[7:Spt:50621.1] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 50641[7:Res:50633.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 50656[7:Rew:30.0,50641.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 50657[7:Obv:50656.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 50658[7:SSi:50657.1,50657.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,31753.0,4.0,7918.0,35589.0,8.0,39264.0,7.0,40971.0] || -> equal(prev_2,null)**.
% 14.47/14.66 50659[7:MRR:50658.0,26.0] || -> .
% 14.47/14.66 50666[7:Spt:50659.0,50621.1,50633.0] || v__1(null,prev_2,prev_2)* -> .
% 14.47/14.66 50667[7:Spt:50659.0,50621.0] || -> SkP4(u)*.
% 14.47/14.66 50668[7:MRR:46696.0,50667.0] SkP3(u) SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 50669[7:MRR:50483.3,50667.0] || SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 50670[7:MRR:50632.1,50666.0] || -> SkP3(u)*.
% 14.47/14.66 50671[7:MRR:50668.0,50670.0] SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 50672[7:MRR:7910.2,50666.0] object(u) || -> SkP7(u)*.
% 14.47/14.66 50673[8:Spt:212.0] || SkP0(skc1)* -> .
% 14.47/14.66 50690[8:Res:50671.1,50673.0] SkP2(skc1) || -> .
% 14.47/14.66 50691[8:SSi:50690.0,10883.0,1.0,16282.0,16283.0,12372.0] || -> .
% 14.47/14.66 50692[8:Spt:50691.0,212.0,50673.0] || -> SkP0(skc1)*.
% 14.47/14.66 50693[8:Spt:50691.0,212.1] || equal(prev_2,skc1)** -> .
% 14.47/14.66 50698[8:MRR:50669.0,50692.0] || SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 50699[8:MRR:50480.0,50692.0] || SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 50700[8:MRR:50482.0,50692.0] || SkP7(skc1) SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 50713[9:Spt:7935.1] || -> equal(prev_2,sortedList_first)**.
% 14.47/14.66 50807[9:Rew:50713.0,39294.1] || -> equal(node_next(nn),null) lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 50825[9:Rew:50713.0,50698.2] || SkP7(skc1) SkP6(skc1) SkP14(sortedList_first)* -> .
% 14.47/14.66 51038[10:Spt:11281.1] || -> equal(node_next(nn),nn)**.
% 14.47/14.66 51126[10:SpL:51038.0,2066.2] object(nn) || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 51132[10:SSi:51126.0,14.0,12388.0,13.0,11280.0,11351.0,11374.0,2.0,50622.0,50623.0,50624.0,50631.0] || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 51133[10:MRR:51132.0,51132.1,51132.2,210.0,219.0,29.0] || -> .
% 14.47/14.66 51136[10:Spt:51133.0,11281.1,51038.0] || equal(node_next(nn),nn)** -> .
% 14.47/14.66 51137[10:Spt:51133.0,11281.0] || -> SkP17(node_next(nn))*.
% 14.47/14.66 51223[11:Spt:50825.0] || SkP7(skc1)* -> .
% 14.47/14.66 51224[11:Res:50672.1,51223.0] object(skc1) || -> .
% 14.47/14.66 51226[11:SSi:51224.0,10883.0,1.0,16282.0,16283.0,12372.0,50692.0] || -> .
% 14.47/14.66 51227[11:Spt:51226.0,50825.0,51223.0] || -> SkP7(skc1)*.
% 14.47/14.66 51228[11:Spt:51226.0,50825.1,50825.2] || SkP6(skc1) SkP14(sortedList_first)* -> .
% 14.47/14.66 51229[11:MRR:50700.0,51227.0] || SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 51231[12:Spt:51229.0] || SkP6(skc1)* -> .
% 14.47/14.66 51233[12:Res:46657.1,51231.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 51234[12:SSi:51233.0,10883.0,1.0,16282.0,16283.0,12372.0,50692.0,51227.0] || -> equal(null,skc1)**.
% 14.47/14.66 51235[12:MRR:51234.0,22.0] || -> .
% 14.47/14.66 51236[12:Spt:51235.0,51229.0,51231.0] || -> SkP6(skc1)*.
% 14.47/14.66 51237[12:Spt:51235.0,51229.1] || v__1(null,skc1,skc1)* -> .
% 14.47/14.66 51238[12:MRR:50699.2,51237.0] || SkP12(skc1)* SkP11(skc1) -> .
% 14.47/14.66 51243[12:Res:12405.2,51237.0] object(skc1) || -> SkP12(skc1)*.
% 14.47/14.66 51245[12:SSi:51243.0,10883.0,1.0,16282.0,16283.0,12372.0,50692.0,51227.0] || -> SkP12(skc1)*.
% 14.47/14.66 51246[12:MRR:51238.0,51245.0] || SkP11(skc1)* -> .
% 14.47/14.66 51439[13:Spt:50807.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 51455[13:Rew:51439.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 51610[13:Res:51455.1,51237.0] || -> SkP11(skc1)*.
% 14.47/14.66 51613[13:MRR:51610.0,51246.0] || -> .
% 14.47/14.66 51620[13:Spt:51613.0,50807.0,51439.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 51621[13:Spt:51613.0,50807.1] || -> lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 51622[13:MRR:30911.1,51620.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 51759[13:Res:51622.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 51764[13:SSi:51759.0,10883.0,1.0,16282.0,16283.0,12372.0,50692.0,51227.0,51236.0,51245.0] || -> SkP11(skc1)*.
% 14.47/14.66 51765[13:MRR:51764.0,51246.0] || -> .
% 14.47/14.66 51786[9:Spt:51765.0,7935.1,50713.0] || equal(prev_2,sortedList_first)** -> .
% 14.47/14.66 51787[9:Spt:51765.0,7935.0] || -> SkP5(sortedList_first)*.
% 14.47/14.66 51967[10:Spt:50698.0] || SkP7(skc1)* -> .
% 14.47/14.66 51968[10:Res:50672.1,51967.0] object(skc1) || -> .
% 14.47/14.66 51970[10:SSi:51968.0,10883.0,1.0,16282.0,16283.0,12372.0,50692.0] || -> .
% 14.47/14.66 51971[10:Spt:51970.0,50698.0,51967.0] || -> SkP7(skc1)*.
% 14.47/14.66 51972[10:Spt:51970.0,50698.1,50698.2] || SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 51973[10:MRR:50700.0,51971.0] || SkP6(skc1) v__1(null,skc1,skc1)* -> .
% 14.47/14.66 51975[11:Spt:11281.1] || -> equal(node_next(nn),nn)**.
% 14.47/14.66 52067[11:SpL:51975.0,2066.2] object(nn) || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 52072[11:SSi:52067.0,14.0,12388.0,13.0,11280.0,11351.0,11374.0,2.0,50622.0,50623.0,50624.0,50631.0] || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 52073[11:MRR:52072.0,52072.1,52072.2,210.0,219.0,29.0] || -> .
% 14.47/14.66 52076[11:Spt:52073.0,11281.1,51975.0] || equal(node_next(nn),nn)** -> .
% 14.47/14.66 52077[11:Spt:52073.0,11281.0] || -> SkP17(node_next(nn))*.
% 14.47/14.66 52156[12:Spt:30845.1] || -> equal(nn,sortedList_first)**.
% 14.47/14.66 52164[12:Rew:52156.0,29.0] || equal(null,sortedList_first)** -> .
% 14.47/14.66 52228[12:Rew:52156.0,12404.0] || equal(sortedList_first,sortedList_first) -> equal(null,sortedList_first)**.
% 14.47/14.66 52462[12:Obv:52228.0] || -> equal(null,sortedList_first)**.
% 14.47/14.66 52463[12:MRR:52462.0,52164.0] || -> .
% 14.47/14.66 52585[12:Spt:52463.0,30845.1,52156.0] || equal(nn,sortedList_first)** -> .
% 14.47/14.66 52586[12:Spt:52463.0,30845.0] || -> v__1(sortedList_first,sortedList_first,nn)*.
% 14.47/14.66 52851[13:Spt:51973.0] || SkP6(skc1)* -> .
% 14.47/14.66 52853[13:Res:46657.1,52851.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 52854[13:SSi:52853.0,10883.0,1.0,16282.0,16283.0,12372.0,50692.0,51971.0] || -> equal(null,skc1)**.
% 14.47/14.66 52855[13:MRR:52854.0,22.0] || -> .
% 14.47/14.66 52856[13:Spt:52855.0,51973.0,52851.0] || -> SkP6(skc1)*.
% 14.47/14.66 52857[13:Spt:52855.0,51973.1] || v__1(null,skc1,skc1)* -> .
% 14.47/14.66 52858[13:MRR:50699.2,52857.0] || SkP12(skc1)* SkP11(skc1) -> .
% 14.47/14.66 52863[13:Res:12405.2,52857.0] object(skc1) || -> SkP12(skc1)*.
% 14.47/14.66 52865[13:SSi:52863.0,10883.0,1.0,16282.0,16283.0,12372.0,50692.0,51971.0] || -> SkP12(skc1)*.
% 14.47/14.66 52866[13:MRR:52858.0,52865.0] || SkP11(skc1)* -> .
% 14.47/14.66 53404[14:Spt:39294.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 53424[14:Rew:53404.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 53583[14:Res:53424.1,52857.0] || -> SkP11(skc1)*.
% 14.47/14.66 53588[14:MRR:53583.0,52866.0] || -> .
% 14.47/14.66 53595[14:Spt:53588.0,39294.0,53404.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 53596[14:Spt:53588.0,39294.1] || -> lteq(node_key(prev_2),node_key(node_next(nn)))*.
% 14.47/14.66 53597[14:MRR:30911.1,53595.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 53749[14:Res:53597.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 53754[14:SSi:53749.0,10883.0,1.0,16282.0,16283.0,12372.0,50692.0,51971.0,52856.0,52865.0] || -> SkP11(skc1)*.
% 14.47/14.66 53755[14:MRR:53754.0,52866.0] || -> .
% 14.47/14.66 53775[4:Spt:53755.0,143.3,143.4] || SkC0 SkP18(prev_2)* -> .
% 14.47/14.66 53803[5:Spt:81.0,81.2] SkP13(u) || -> SkP11(u)*.
% 14.47/14.66 53804[5:MRR:30850.1,53803.0] object(u) || -> SkP11(u) v__1(u,u,nn)*.
% 14.47/14.66 53805[6:Spt:229.3] || v__1(null,nn,nn)* -> .
% 14.47/14.66 53806[6:MRR:38931.1,53805.0] || -> SkP6(nn)*.
% 14.47/14.66 53807[6:MRR:46118.1,53805.0] || -> SkP12(nn)*.
% 14.47/14.66 53808[6:MRR:45879.1,53805.0] || -> SkP15(nn)*.
% 14.47/14.66 53809[6:MRR:12090.1,53805.0] || -> SkP7(nn)*.
% 14.47/14.66 53820[6:Res:11405.2,53805.0] object(null) || -> SkP15(null)*.
% 14.47/14.66 53821[6:SSi:53820.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0] || -> SkP15(null)*.
% 14.47/14.66 53822[7:Spt:93.1] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 53832[7:Res:53822.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 53847[7:Rew:30.0,53832.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 53848[7:Obv:53847.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 53849[7:SSi:53848.1,53848.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,7.0,40971.0,39264.0,8.0,35589.0,4.0,7918.0,31753.0] || -> equal(prev_2,null)**.
% 14.47/14.66 53850[7:MRR:53849.0,26.0] || -> .
% 14.47/14.66 53857[7:Spt:53850.0,93.1,53822.0] || v__1(null,prev_2,prev_2)* -> .
% 14.47/14.66 53858[7:Spt:53850.0,93.0,93.2] || -> SkP4(u)* v__1(null,prev_2,nn)*.
% 14.47/14.66 53859[7:MRR:7910.2,53857.0] object(u) || -> SkP7(u)*.
% 14.47/14.66 53860[7:MRR:91.1,53857.0] || -> SkP3(u)* v__1(null,prev_2,nn)*.
% 14.47/14.66 53861[8:Spt:53858.1] || -> v__1(null,prev_2,nn)*.
% 14.47/14.66 53865[8:Res:53861.0,152.3] object(nn) object(prev_2) object(null) || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 53876[8:SSi:53865.2,53865.1,53865.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,7.0,40971.0,39264.0,8.0,35589.0,4.0,7918.0,31753.0,2.0,13.0,11374.0,11351.0,11280.0,12388.0,14.0] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 53877[8:MRR:53876.0,53857.0] || -> .
% 14.47/14.66 53882[8:Spt:53877.0,53858.1,53861.0] || v__1(null,prev_2,nn)* -> .
% 14.47/14.66 53883[8:Spt:53877.0,53858.0] || -> SkP4(u)*.
% 14.47/14.66 53884[8:MRR:46696.0,53883.0] SkP3(u) SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 53885[8:MRR:106.0,53883.0] SkP3(u) SkP2(u) || -> SkP1(u)*.
% 14.47/14.66 53887[8:MRR:46706.4,53883.0] || SkP1(skc1) SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 53888[8:MRR:53860.1,53882.0] || -> SkP3(u)*.
% 14.47/14.66 53889[8:MRR:53884.0,53888.0] SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 53890[8:MRR:53885.0,53888.0] SkP2(u) || -> SkP1(u)*.
% 14.47/14.66 53891[9:Spt:212.0] || SkP0(skc1)* -> .
% 14.47/14.66 53898[7:Res:10876.2,53857.0] object(null) || -> SkP2(null)*.
% 14.47/14.66 53901[7:SSi:53898.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,53821.0] || -> SkP2(null)*.
% 14.47/14.66 54160[9:Res:53889.1,53891.0] SkP2(skc1) || -> .
% 14.47/14.66 54161[9:SSi:54160.0,10883.0,1.0,16282.0,16283.0,12372.0] || -> .
% 14.47/14.66 54162[9:Spt:54161.0,212.0,53891.0] || -> SkP0(skc1)*.
% 14.47/14.66 54163[9:Spt:54161.0,212.1] || equal(prev_2,skc1)** -> .
% 14.47/14.66 54168[9:MRR:46697.1,54162.0] || SkP1(skc1) SkP12(skc1)* SkP11(skc1) SkP17(skc1) -> .
% 14.47/14.66 54169[9:MRR:53887.1,54162.0] || SkP1(skc1) SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 54170[9:MRR:141.1,54162.0] || SkP1(skc1) SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 54244[10:Spt:7935.1] || -> equal(prev_2,sortedList_first)**.
% 14.47/14.66 54272[10:Rew:54244.0,39294.1] || -> equal(node_next(nn),null) lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 54312[10:Rew:54244.0,54169.3] || SkP1(skc1) SkP7(skc1) SkP6(skc1) SkP14(sortedList_first)* -> .
% 14.47/14.66 54555[11:Spt:11281.1] || -> equal(node_next(nn),nn)**.
% 14.47/14.66 54643[11:SpL:54555.0,2066.2] object(nn) || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 54648[11:SSi:54643.0,2.0,13.0,11374.0,11351.0,11280.0,12388.0,14.0,53806.0,53807.0,53808.0,53809.0] || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 54649[11:MRR:54648.0,54648.1,54648.2,210.0,219.0,29.0] || -> .
% 14.47/14.66 54652[11:Spt:54649.0,11281.1,54555.0] || equal(node_next(nn),nn)** -> .
% 14.47/14.66 54653[11:Spt:54649.0,11281.0] || -> SkP17(node_next(nn))*.
% 14.47/14.66 54785[5:Res:53804.2,153.3] object(u) object(nn) object(u) object(u) || -> SkP11(u) v__1(u,nn,nn)*.
% 14.47/14.66 54798[5:Obv:54785.2] object(nn) object(u) || -> SkP11(u) v__1(u,nn,nn)*.
% 14.47/14.66 54799[6:SSi:54798.0,2.0,13.0,11374.0,11351.0,11280.0,12388.0,14.0,53806.0,53807.0,53808.0,53809.0] object(u) || -> SkP11(u) v__1(u,nn,nn)*.
% 14.47/14.66 54821[6:Res:54799.2,53805.0] object(null) || -> SkP11(null)*.
% 14.47/14.66 54824[7:SSi:54821.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,53821.0,53901.0] || -> SkP11(null)*.
% 14.47/14.66 54901[12:Spt:54272.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 54902[12:Rew:54901.0,54653.0] || -> SkP17(null)*.
% 14.47/14.66 54910[12:Rew:54901.0,12391.0] || -> SkP18(null)*.
% 14.47/14.66 54917[12:Rew:54901.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 54960[12:MRR:54170.2,54917.0] || SkP1(skc1) SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 55154[13:Spt:54960.0] || SkP1(skc1)* -> .
% 14.47/14.66 55158[13:Res:53890.1,55154.0] SkP2(skc1) || -> .
% 14.47/14.66 55159[13:SSi:55158.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0] || -> .
% 14.47/14.66 55161[13:Spt:55159.0,54960.0,55154.0] || -> SkP1(skc1)*.
% 14.47/14.66 55162[13:Spt:55159.0,54960.1,54960.2] || SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 55169[13:Res:55162.1,154.3] object(skc1) object(null) || SkP12(skc1) equal(node_next(null),null)** -> equal(null,skc1).
% 14.47/14.66 55173[13:Res:55162.1,10884.0] || SkP12(skc1) -> SkP16(skc1)*.
% 14.47/14.66 55180[13:MRR:55173.0,12074.0] || -> SkP16(skc1)*.
% 14.47/14.66 55187[13:Rew:30.0,55169.3] object(skc1) object(null) || SkP12(skc1)* equal(null,null) -> equal(null,skc1).
% 14.47/14.66 55188[13:Obv:55187.3] object(skc1) object(null) || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 55189[13:SSi:55188.1,55188.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,53821.0,53901.0,54824.0,54902.0,54910.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0] || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 55190[13:MRR:55189.1,22.0] || SkP12(skc1)* -> .
% 14.47/14.66 55195[13:Res:16289.1,55190.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 55198[13:SSi:55195.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0,55161.0,55180.0] || -> equal(null,skc1)**.
% 14.47/14.66 55199[13:MRR:55198.0,22.0] || -> .
% 14.47/14.66 55200[12:Spt:55199.0,54272.0,54901.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 55201[12:Spt:55199.0,54272.1] || -> lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 55202[12:MRR:30911.1,55200.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 55339[12:Res:55202.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 55344[12:SSi:55339.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0] || -> SkP11(skc1)*.
% 14.47/14.66 55345[12:MRR:54168.2,55344.0] || SkP1(skc1) SkP12(skc1)* SkP17(skc1) -> .
% 14.47/14.66 55346[12:MRR:54170.2,55344.0] || SkP1(skc1) SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 55367[13:Spt:55345.0] || SkP1(skc1)* -> .
% 14.47/14.66 55371[13:Res:53890.1,55367.0] SkP2(skc1) || -> .
% 14.47/14.66 55372[13:SSi:55371.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0,55344.0] || -> .
% 14.47/14.66 55374[13:Spt:55372.0,55345.0,55367.0] || -> SkP1(skc1)*.
% 14.47/14.66 55375[13:Spt:55372.0,55345.1,55345.2] || SkP12(skc1)* SkP17(skc1) -> .
% 14.47/14.66 55376[13:MRR:55346.0,55374.0] || SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 55377[13:MRR:54312.0,55374.0] || SkP7(skc1) SkP6(skc1) SkP14(sortedList_first)* -> .
% 14.47/14.66 55387[13:Res:55376.1,154.3] object(skc1) object(null) || SkP12(skc1) equal(node_next(null),null)** -> equal(null,skc1).
% 14.47/14.66 55390[13:Res:55376.1,10884.0] || SkP12(skc1) -> SkP16(skc1)*.
% 14.47/14.66 55397[13:MRR:55390.0,12074.0] || -> SkP16(skc1)*.
% 14.47/14.66 55404[13:Rew:30.0,55387.3] object(skc1) object(null) || SkP12(skc1)* equal(null,null) -> equal(null,skc1).
% 14.47/14.66 55405[13:Obv:55404.3] object(skc1) object(null) || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 55406[13:SSi:55405.1,55405.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,53821.0,53901.0,54824.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0,55344.0,55374.0] || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 55407[13:MRR:55406.1,22.0] || SkP12(skc1)* -> .
% 14.47/14.66 55410[14:Spt:55377.0] || SkP7(skc1)* -> .
% 14.47/14.66 55411[14:Res:53859.1,55410.0] object(skc1) || -> .
% 14.47/14.66 55413[14:SSi:55411.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0,55344.0,55374.0,55397.0] || -> .
% 14.47/14.66 55414[14:Spt:55413.0,55377.0,55410.0] || -> SkP7(skc1)*.
% 14.47/14.66 55415[14:Spt:55413.0,55377.1,55377.2] || SkP6(skc1) SkP14(sortedList_first)* -> .
% 14.47/14.66 55420[13:Res:16289.1,55407.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 55422[14:SSi:55420.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0,55344.0,55374.0,55397.0,55414.0] || -> equal(null,skc1)**.
% 14.47/14.66 55423[14:MRR:55422.0,22.0] || -> .
% 14.47/14.66 55424[10:Spt:55423.0,7935.1,54244.0] || equal(prev_2,sortedList_first)** -> .
% 14.47/14.66 55425[10:Spt:55423.0,7935.0] || -> SkP5(sortedList_first)*.
% 14.47/14.66 55604[11:Spt:11281.1] || -> equal(node_next(nn),nn)**.
% 14.47/14.66 55696[11:SpL:55604.0,2066.2] object(nn) || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 55701[11:SSi:55696.0,2.0,13.0,11374.0,11351.0,11280.0,12388.0,14.0,53806.0,53807.0,53808.0,53809.0] || v__1(sortedList_first,nn,nn) v__1(nn,nn,nn)* -> equal(nn,null).
% 14.47/14.66 55702[11:MRR:55701.0,55701.1,55701.2,210.0,219.0,29.0] || -> .
% 14.47/14.66 55705[11:Spt:55702.0,11281.1,55604.0] || equal(node_next(nn),nn)** -> .
% 14.47/14.66 55706[11:Spt:55702.0,11281.0] || -> SkP17(node_next(nn))*.
% 14.47/14.66 55800[12:Spt:30845.1] || -> equal(nn,sortedList_first)**.
% 14.47/14.66 55811[12:Rew:55800.0,29.0] || equal(null,sortedList_first)** -> .
% 14.47/14.66 56055[12:Rew:55800.0,12404.0] || equal(sortedList_first,sortedList_first) -> equal(null,sortedList_first)**.
% 14.47/14.66 56111[12:Obv:56055.0] || -> equal(null,sortedList_first)**.
% 14.47/14.66 56112[12:MRR:56111.0,55811.0] || -> .
% 14.47/14.66 56236[12:Spt:56112.0,30845.1,55800.0] || equal(nn,sortedList_first)** -> .
% 14.47/14.66 56237[12:Spt:56112.0,30845.0] || -> v__1(sortedList_first,sortedList_first,nn)*.
% 14.47/14.66 56984[13:Spt:39294.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 56985[13:Rew:56984.0,12391.0] || -> SkP18(null)*.
% 14.47/14.66 56992[13:Rew:56984.0,55706.0] || -> SkP17(null)*.
% 14.47/14.66 57004[13:Rew:56984.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 57046[13:MRR:54170.2,57004.0] || SkP1(skc1) SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 57267[14:Spt:57046.0] || SkP1(skc1)* -> .
% 14.47/14.66 57271[14:Res:53890.1,57267.0] SkP2(skc1) || -> .
% 14.47/14.66 57272[14:SSi:57271.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0] || -> .
% 14.47/14.66 57274[14:Spt:57272.0,57046.0,57267.0] || -> SkP1(skc1)*.
% 14.47/14.66 57275[14:Spt:57272.0,57046.1,57046.2] || SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 57282[14:Res:57275.1,154.3] object(skc1) object(null) || SkP12(skc1) equal(node_next(null),null)** -> equal(null,skc1).
% 14.47/14.66 57286[14:Res:57275.1,10884.0] || SkP12(skc1) -> SkP16(skc1)*.
% 14.47/14.66 57293[14:MRR:57286.0,12074.0] || -> SkP16(skc1)*.
% 14.47/14.66 57300[14:Rew:30.0,57282.3] object(skc1) object(null) || SkP12(skc1)* equal(null,null) -> equal(null,skc1).
% 14.47/14.66 57301[14:Obv:57300.3] object(skc1) object(null) || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 57302[14:SSi:57301.1,57301.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,53821.0,53901.0,54824.0,56985.0,56992.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0] || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 57303[14:MRR:57302.1,22.0] || SkP12(skc1)* -> .
% 14.47/14.66 57308[14:Res:16289.1,57303.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 57311[14:SSi:57308.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0,57274.0,57293.0] || -> equal(null,skc1)**.
% 14.47/14.66 57312[14:MRR:57311.0,22.0] || -> .
% 14.47/14.66 57313[13:Spt:57312.0,39294.0,56984.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 57314[13:Spt:57312.0,39294.1] || -> lteq(node_key(prev_2),node_key(node_next(nn)))*.
% 14.47/14.66 57315[13:MRR:30911.1,57313.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 57495[13:Res:57315.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 57500[13:SSi:57495.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0] || -> SkP11(skc1)*.
% 14.47/14.66 57501[13:MRR:54168.2,57500.0] || SkP1(skc1) SkP12(skc1)* SkP17(skc1) -> .
% 14.47/14.66 57502[13:MRR:54170.2,57500.0] || SkP1(skc1) SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 57522[14:Spt:57501.0] || SkP1(skc1)* -> .
% 14.47/14.66 57526[14:Res:53890.1,57522.0] SkP2(skc1) || -> .
% 14.47/14.66 57527[14:SSi:57526.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0,57500.0] || -> .
% 14.47/14.66 57529[14:Spt:57527.0,57501.0,57522.0] || -> SkP1(skc1)*.
% 14.47/14.66 57530[14:Spt:57527.0,57501.1,57501.2] || SkP12(skc1)* SkP17(skc1) -> .
% 14.47/14.66 57531[14:MRR:57502.0,57529.0] || SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 57542[14:Res:57531.1,154.3] object(skc1) object(null) || SkP12(skc1) equal(node_next(null),null)** -> equal(null,skc1).
% 14.47/14.66 57545[14:Res:57531.1,10884.0] || SkP12(skc1) -> SkP16(skc1)*.
% 14.47/14.66 57552[14:MRR:57545.0,12074.0] || -> SkP16(skc1)*.
% 14.47/14.66 57559[14:Rew:30.0,57542.3] object(skc1) object(null) || SkP12(skc1)* equal(null,null) -> equal(null,skc1).
% 14.47/14.66 57560[14:Obv:57559.3] object(skc1) object(null) || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 57561[14:SSi:57560.1,57560.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,53821.0,53901.0,54824.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0,57500.0,57529.0] || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 57562[14:MRR:57561.1,22.0] || SkP12(skc1)* -> .
% 14.47/14.66 57567[14:Res:16289.1,57562.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 57569[14:SSi:57567.0,10883.0,1.0,16282.0,16283.0,12372.0,54162.0,57500.0,57529.0,57552.0] || -> equal(null,skc1)**.
% 14.47/14.66 57570[14:MRR:57569.0,22.0] || -> .
% 14.47/14.66 57571[6:Spt:57570.0,229.3,53805.0] || -> v__1(null,nn,nn)*.
% 14.47/14.66 57572[6:Spt:57570.0,229.0,229.1,229.2,229.4] || SkP1(skc1) SkP0(skc1) SkP11(skc1) -> v__1(null,skc1,nn)*.
% 14.47/14.66 57611[6:Res:57571.0,154.3] object(nn) object(null) || equal(node_next(null),null)** -> equal(nn,null).
% 14.47/14.66 57627[6:Rew:30.0,57611.2] object(nn) object(null) || equal(null,null) -> equal(nn,null)**.
% 14.47/14.66 57628[6:Obv:57627.2] object(nn) object(null) || -> equal(nn,null)**.
% 14.47/14.66 57629[6:SSi:57628.1,57628.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,14.0,12388.0,11280.0,11351.0,13.0,11374.0,2.0] || -> equal(nn,null)**.
% 14.47/14.66 57630[6:MRR:57629.0,29.0] || -> .
% 14.47/14.66 57637[5:Spt:57630.0,81.1] || SkP18(nn)* -> .
% 14.47/14.66 57640[6:Spt:229.3] || v__1(null,nn,nn)* -> .
% 14.47/14.66 57655[6:Res:11405.2,57640.0] object(null) || -> SkP15(null)*.
% 14.47/14.66 57656[6:SSi:57655.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0] || -> SkP15(null)*.
% 14.47/14.66 57657[7:Spt:93.1] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 57665[7:Res:57657.0,154.3] object(prev_2) object(null) || equal(node_next(null),null)** -> equal(prev_2,null).
% 14.47/14.66 57680[7:Rew:30.0,57665.2] object(prev_2) object(null) || equal(null,null) -> equal(prev_2,null)**.
% 14.47/14.66 57681[7:Obv:57680.2] object(prev_2) object(null) || -> equal(prev_2,null)**.
% 14.47/14.66 57682[7:SSi:57681.1,57681.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,7.0,40971.0,8.0,39264.0,35589.0,4.0,7918.0,31753.0] || -> equal(prev_2,null)**.
% 14.47/14.66 57683[7:MRR:57682.0,26.0] || -> .
% 14.47/14.66 57690[7:Spt:57683.0,93.1,57657.0] || v__1(null,prev_2,prev_2)* -> .
% 14.47/14.66 57691[7:Spt:57683.0,93.0,93.2] || -> SkP4(u)* v__1(null,prev_2,nn)*.
% 14.47/14.66 57692[7:MRR:7910.2,57690.0] object(u) || -> SkP7(u)*.
% 14.47/14.66 57693[7:MRR:91.1,57690.0] || -> SkP3(u)* v__1(null,prev_2,nn)*.
% 14.47/14.66 57694[8:Spt:57691.1] || -> v__1(null,prev_2,nn)*.
% 14.47/14.66 57698[8:Res:57694.0,152.3] object(nn) object(prev_2) object(null) || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 57707[8:SSi:57698.2,57698.1,57698.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,7.0,40971.0,8.0,39264.0,35589.0,4.0,7918.0,31753.0,14.0,12388.0,11280.0,11351.0,13.0,11374.0,2.0] || -> v__1(null,prev_2,prev_2)*.
% 14.47/14.66 57708[8:MRR:57707.0,57690.0] || -> .
% 14.47/14.66 57713[8:Spt:57708.0,57691.1,57694.0] || v__1(null,prev_2,nn)* -> .
% 14.47/14.66 57714[8:Spt:57708.0,57691.0] || -> SkP4(u)*.
% 14.47/14.66 57715[8:MRR:46696.0,57714.0] SkP3(u) SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 57716[8:MRR:106.0,57714.0] SkP3(u) SkP2(u) || -> SkP1(u)*.
% 14.47/14.66 57718[8:MRR:46706.4,57714.0] || SkP1(skc1) SkP0(skc1) SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 57719[8:MRR:57693.1,57713.0] || -> SkP3(u)*.
% 14.47/14.66 57720[8:MRR:57715.0,57719.0] SkP2(u) || -> SkP0(u)*.
% 14.47/14.66 57721[8:MRR:57716.0,57719.0] SkP2(u) || -> SkP1(u)*.
% 14.47/14.66 57722[9:Spt:212.0] || SkP0(skc1)* -> .
% 14.47/14.66 57731[7:Res:10876.2,57690.0] object(null) || -> SkP2(null)*.
% 14.47/14.66 57734[7:SSi:57731.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,57656.0] || -> SkP2(null)*.
% 14.47/14.66 57982[9:Res:57720.1,57722.0] SkP2(skc1) || -> .
% 14.47/14.66 57983[9:SSi:57982.0,10883.0,1.0,16282.0,16283.0,12372.0] || -> .
% 14.47/14.66 57984[9:Spt:57983.0,212.0,57722.0] || -> SkP0(skc1)*.
% 14.47/14.66 57985[9:Spt:57983.0,212.1] || equal(prev_2,skc1)** -> .
% 14.47/14.66 57989[9:MRR:46697.1,57984.0] || SkP1(skc1) SkP12(skc1)* SkP11(skc1) SkP17(skc1) -> .
% 14.47/14.66 57990[9:MRR:57718.1,57984.0] || SkP1(skc1) SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 14.47/14.66 57991[9:MRR:141.1,57984.0] || SkP1(skc1) SkP12(skc1) SkP11(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 58063[10:Spt:7935.1] || -> equal(prev_2,sortedList_first)**.
% 14.47/14.66 58090[10:Rew:58063.0,39294.1] || -> equal(node_next(nn),null) lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 58373[11:Spt:11281.1] || -> equal(node_next(nn),nn)**.
% 14.47/14.66 58380[11:Rew:58373.0,12393.0] || -> SkP18(node_next(nn))*.
% 14.47/14.66 58432[11:Rew:58373.0,58380.0] || -> SkP18(nn)*.
% 14.47/14.66 58433[11:MRR:58432.0,57637.0] || -> .
% 14.47/14.66 58452[11:Spt:58433.0,11281.1,58373.0] || equal(node_next(nn),nn)** -> .
% 14.47/14.66 58453[11:Spt:58433.0,11281.0] || -> SkP17(node_next(nn))*.
% 14.47/14.66 58632[12:Spt:58090.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 58633[12:Rew:58632.0,58453.0] || -> SkP17(null)*.
% 14.47/14.66 58634[12:Rew:58632.0,12391.0] || -> SkP18(null)*.
% 14.47/14.66 58648[12:Rew:58632.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 58690[12:MRR:57991.2,58648.0] || SkP1(skc1) SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 58901[13:Spt:58690.0] || SkP1(skc1)* -> .
% 14.47/14.66 58905[13:Res:57721.1,58901.0] SkP2(skc1) || -> .
% 14.47/14.66 58906[13:SSi:58905.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0] || -> .
% 14.47/14.66 58908[13:Spt:58906.0,58690.0,58901.0] || -> SkP1(skc1)*.
% 14.47/14.66 58909[13:Spt:58906.0,58690.1,58690.2] || SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 58916[13:Res:58909.1,154.3] object(skc1) object(null) || SkP12(skc1) equal(node_next(null),null)** -> equal(null,skc1).
% 14.47/14.66 58920[13:Res:58909.1,10884.0] || SkP12(skc1) -> SkP16(skc1)*.
% 14.47/14.66 58927[13:MRR:58920.0,12074.0] || -> SkP16(skc1)*.
% 14.47/14.66 58934[13:Rew:30.0,58916.3] object(skc1) object(null) || SkP12(skc1)* equal(null,null) -> equal(null,skc1).
% 14.47/14.66 58935[13:Obv:58934.3] object(skc1) object(null) || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 58936[13:SSi:58935.1,58935.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,57656.0,57734.0,58633.0,58634.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0] || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 58937[13:MRR:58936.1,22.0] || SkP12(skc1)* -> .
% 14.47/14.66 58942[13:Res:16289.1,58937.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 58945[13:SSi:58942.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0,58908.0,58927.0] || -> equal(null,skc1)**.
% 14.47/14.66 58946[13:MRR:58945.0,22.0] || -> .
% 14.47/14.66 58947[12:Spt:58946.0,58090.0,58632.0] || equal(node_next(nn),null)** -> .
% 14.47/14.66 58948[12:Spt:58946.0,58090.1] || -> lteq(node_key(sortedList_first),node_key(node_next(nn)))*.
% 14.47/14.66 58949[12:MRR:30911.1,58947.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 14.47/14.66 59084[12:Res:58949.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 14.47/14.66 59089[12:SSi:59084.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0] || -> SkP11(skc1)*.
% 14.47/14.66 59090[12:MRR:57989.2,59089.0] || SkP1(skc1) SkP12(skc1)* SkP17(skc1) -> .
% 14.47/14.66 59091[12:MRR:57991.2,59089.0] || SkP1(skc1) SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 59112[13:Spt:59090.0] || SkP1(skc1)* -> .
% 14.47/14.66 59116[13:Res:57721.1,59112.0] SkP2(skc1) || -> .
% 14.47/14.66 59117[13:SSi:59116.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0,59089.0] || -> .
% 14.47/14.66 59119[13:Spt:59117.0,59090.0,59112.0] || -> SkP1(skc1)*.
% 14.47/14.66 59120[13:Spt:59117.0,59090.1,59090.2] || SkP12(skc1)* SkP17(skc1) -> .
% 14.47/14.66 59121[13:MRR:59091.0,59119.0] || SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 59132[13:Res:59121.1,154.3] object(skc1) object(null) || SkP12(skc1) equal(node_next(null),null)** -> equal(null,skc1).
% 14.47/14.66 59135[13:Res:59121.1,10884.0] || SkP12(skc1) -> SkP16(skc1)*.
% 14.47/14.66 59142[13:MRR:59135.0,12074.0] || -> SkP16(skc1)*.
% 14.47/14.66 59149[13:Rew:30.0,59132.3] object(skc1) object(null) || SkP12(skc1)* equal(null,null) -> equal(null,skc1).
% 14.47/14.66 59150[13:Obv:59149.3] object(skc1) object(null) || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 59151[13:SSi:59150.1,59150.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,57656.0,57734.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0,59089.0,59119.0] || SkP12(skc1)* -> equal(null,skc1).
% 14.47/14.66 59152[13:MRR:59151.1,22.0] || SkP12(skc1)* -> .
% 14.47/14.66 59157[13:Res:16289.1,59152.0] object(skc1) || -> equal(null,skc1)**.
% 14.47/14.66 59159[13:SSi:59157.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0,59089.0,59119.0,59142.0] || -> equal(null,skc1)**.
% 14.47/14.66 59160[13:MRR:59159.0,22.0] || -> .
% 14.47/14.66 59161[10:Spt:59160.0,7935.1,58063.0] || equal(prev_2,sortedList_first)** -> .
% 14.47/14.66 59162[10:Spt:59160.0,7935.0] || -> SkP5(sortedList_first)*.
% 14.47/14.66 59363[11:Spt:11281.1] || -> equal(node_next(nn),nn)**.
% 14.47/14.66 59370[11:Rew:59363.0,12393.0] || -> SkP18(node_next(nn))*.
% 14.47/14.66 59425[11:Rew:59363.0,59370.0] || -> SkP18(nn)*.
% 14.47/14.66 59426[11:MRR:59425.0,57637.0] || -> .
% 14.47/14.66 59445[11:Spt:59426.0,11281.1,59363.0] || equal(node_next(nn),nn)** -> .
% 14.47/14.66 59446[11:Spt:59426.0,11281.0] || -> SkP17(node_next(nn))*.
% 14.47/14.66 59524[12:Spt:30845.1] || -> equal(nn,sortedList_first)**.
% 14.47/14.66 59532[12:Rew:59524.0,29.0] || equal(null,sortedList_first)** -> .
% 14.47/14.66 59769[12:Rew:59524.0,12404.0] || equal(sortedList_first,sortedList_first) -> equal(null,sortedList_first)**.
% 14.47/14.66 59825[12:Obv:59769.0] || -> equal(null,sortedList_first)**.
% 14.47/14.66 59826[12:MRR:59825.0,59532.0] || -> .
% 14.47/14.66 59946[12:Spt:59826.0,30845.1,59524.0] || equal(nn,sortedList_first)** -> .
% 14.47/14.66 59947[12:Spt:59826.0,30845.0] || -> v__1(sortedList_first,sortedList_first,nn)*.
% 14.47/14.66 60612[13:Spt:39294.0] || -> equal(node_next(nn),null)**.
% 14.47/14.66 60618[13:Rew:60612.0,12391.0] || -> SkP18(null)*.
% 14.47/14.66 60619[13:Rew:60612.0,59446.0] || -> SkP17(null)*.
% 14.47/14.66 60631[13:Rew:60612.0,66.1] || -> SkP11(u) v__1(null,u,u)*.
% 14.47/14.66 60673[13:MRR:57991.2,60631.0] || SkP1(skc1) SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 14.47/14.66 60872[14:Spt:60673.0] || SkP1(skc1)* -> .
% 14.47/14.66 60876[14:Res:57721.1,60872.0] SkP2(skc1) || -> .
% 14.47/14.66 60877[14:SSi:60876.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0] || -> .
% 14.47/14.66 60879[14:Spt:60877.0,60673.0,60872.0] || -> SkP1(skc1)*.
% 40.39/40.55 60880[14:Spt:60877.0,60673.1,60673.2] || SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 40.39/40.55 60887[14:Res:60880.1,154.3] object(skc1) object(null) || SkP12(skc1) equal(node_next(null),null)** -> equal(null,skc1).
% 40.39/40.55 60891[14:Res:60880.1,10884.0] || SkP12(skc1) -> SkP16(skc1)*.
% 40.39/40.55 60898[14:MRR:60891.0,12074.0] || -> SkP16(skc1)*.
% 40.39/40.55 60905[14:Rew:30.0,60887.3] object(skc1) object(null) || SkP12(skc1)* equal(null,null) -> equal(null,skc1).
% 40.39/40.55 60906[14:Obv:60905.3] object(skc1) object(null) || SkP12(skc1)* -> equal(null,skc1).
% 40.39/40.55 60907[14:SSi:60906.1,60906.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,57656.0,57734.0,60618.0,60619.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0] || SkP12(skc1)* -> equal(null,skc1).
% 40.39/40.55 60908[14:MRR:60907.1,22.0] || SkP12(skc1)* -> .
% 40.39/40.55 60913[14:Res:16289.1,60908.0] object(skc1) || -> equal(null,skc1)**.
% 40.39/40.55 60916[14:SSi:60913.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0,60879.0,60898.0] || -> equal(null,skc1)**.
% 40.39/40.55 60917[14:MRR:60916.0,22.0] || -> .
% 40.39/40.55 60918[13:Spt:60917.0,39294.0,60612.0] || equal(node_next(nn),null)** -> .
% 40.39/40.55 60919[13:Spt:60917.0,39294.1] || -> lteq(node_key(prev_2),node_key(node_next(nn)))*.
% 40.39/40.55 60920[13:MRR:30911.1,60918.0] object(u) || -> SkP11(u) v__1(sortedList_first,u,u)*.
% 40.39/40.55 61068[13:Res:60920.2,10874.0] object(skc1) || -> SkP11(skc1)*.
% 40.39/40.55 61073[13:SSi:61068.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0] || -> SkP11(skc1)*.
% 40.39/40.55 61074[13:MRR:57989.2,61073.0] || SkP1(skc1) SkP12(skc1)* SkP17(skc1) -> .
% 40.39/40.55 61075[13:MRR:57991.2,61073.0] || SkP1(skc1) SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 40.39/40.55 61095[14:Spt:61074.0] || SkP1(skc1)* -> .
% 40.39/40.55 61099[14:Res:57721.1,61095.0] SkP2(skc1) || -> .
% 40.39/40.55 61100[14:SSi:61099.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0] || -> .
% 40.39/40.55 61102[14:Spt:61100.0,61074.0,61095.0] || -> SkP1(skc1)*.
% 40.39/40.55 61103[14:Spt:61100.0,61074.1,61074.2] || SkP12(skc1)* SkP17(skc1) -> .
% 40.39/40.55 61104[14:MRR:61075.0,61102.0] || SkP12(skc1) -> v__1(null,skc1,skc1)*.
% 40.39/40.55 61105[14:MRR:57990.0,61102.0] || SkP7(skc1) SkP6(skc1) SkP14(prev_2)* -> .
% 40.39/40.55 61115[14:Res:61104.1,154.3] object(skc1) object(null) || SkP12(skc1) equal(node_next(null),null)** -> equal(null,skc1).
% 40.39/40.55 61118[14:Res:61104.1,10884.0] || SkP12(skc1) -> SkP16(skc1)*.
% 40.39/40.55 61125[14:MRR:61118.0,12074.0] || -> SkP16(skc1)*.
% 40.39/40.55 61132[14:Rew:30.0,61115.3] object(skc1) object(null) || SkP12(skc1)* equal(null,null) -> equal(null,skc1).
% 40.39/40.55 61133[14:Obv:61132.3] object(skc1) object(null) || SkP12(skc1)* -> equal(null,skc1).
% 40.39/40.55 61134[14:SSi:61133.1,61133.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,57656.0,57734.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0,61073.0,61102.0] || SkP12(skc1)* -> equal(null,skc1).
% 40.39/40.55 61135[14:MRR:61134.1,22.0] || SkP12(skc1)* -> .
% 40.39/40.55 61138[15:Spt:61105.0] || SkP7(skc1)* -> .
% 40.39/40.55 61140[15:Res:57692.1,61138.0] object(skc1) || -> .
% 40.39/40.55 61141[15:SSi:61140.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0,61073.0,61102.0] || -> .
% 40.39/40.55 61142[15:Spt:61141.0,61105.0,61138.0] || -> SkP7(skc1)*.
% 40.39/40.55 61143[15:Spt:61141.0,61105.1,61105.2] || SkP6(skc1) SkP14(prev_2)* -> .
% 40.39/40.55 61148[14:Res:16289.1,61135.0] object(skc1) || -> equal(null,skc1)**.
% 40.39/40.55 61150[15:SSi:61148.0,10883.0,1.0,16282.0,16283.0,12372.0,57984.0,61073.0,61102.0,61125.0,61142.0] || -> equal(null,skc1)**.
% 40.39/40.55 61151[15:MRR:61150.0,22.0] || -> .
% 40.39/40.55 61152[6:Spt:61151.0,229.3,57640.0] || -> v__1(null,nn,nn)*.
% 40.39/40.55 61153[6:Spt:61151.0,229.0,229.1,229.2,229.4] || SkP1(skc1) SkP0(skc1) SkP11(skc1) -> v__1(null,skc1,nn)*.
% 40.39/40.55 61188[6:Res:61152.0,154.3] object(nn) object(null) || equal(node_next(null),null)** -> equal(nn,null).
% 40.39/40.55 61204[6:Rew:30.0,61188.2] object(nn) object(null) || equal(null,null) -> equal(nn,null)**.
% 40.39/40.55 61205[6:Obv:61204.2] object(nn) object(null) || -> equal(nn,null)**.
% 40.39/40.55 61206[6:SSi:61205.1,61205.0,5.0,17.0,207.0,208.0,206.0,7909.0,10896.0,31696.0,31701.0,31698.0,2.0,11374.0,13.0,11351.0,14.0,11280.0,12388.0] || -> equal(nn,null)**.
% 40.39/40.55 61207[6:MRR:61206.0,29.0] || -> .
% 40.39/40.55 61214[3:Spt:61207.0,123.2] || -> v__1(null,nn,nn)*.
% 40.39/40.55 61287[3:Res:61214.0,154.3] object(nn) object(null) || equal(node_next(null),null)** -> equal(nn,null).
% 40.39/40.55 61302[3:Rew:30.0,61287.2] object(nn) object(null) || equal(null,null) -> equal(nn,null)**.
% 40.39/40.55 61303[3:Obv:61302.2] object(nn) object(null) || -> equal(nn,null)**.
% 40.39/40.55 61304[3:SSi:61303.1,61303.0,5.0,17.0,207.0,208.0,206.0,7909.0,2.0,11374.0,13.0,11351.0,14.0,11280.0,12388.0] || -> equal(nn,null)**.
% 40.39/40.55 61305[3:MRR:61304.0,29.0] || -> .
% 40.39/40.55 % SZS output end Refutation
% 40.39/40.55 Formulae used in the proof : goal sort_info_nn sort_info_prev_2 sort_info_null sort_info_sortedList_first hyp_tptp_21 hyp_tptp_22 hyp_tptp_28 hyp_tptp_29 hyp_tptp_34 hyp_tptp_37 hyp_tptp_38 sort_info_node_key sort_info_node_next hyp_tptp_12 hyp_tptp_33 hyp_tptp_43 hyp_tptp_40 hyp_tptp_41 hyp_tptp_7 hyp_tptp_17 hyp_tptp_18 hyp_tptp_20 hyp_tptp_32 hyp_tptp_16 hyp_tptp_10 hyp_tptp_35 hyp_tptp_36 hyp_tptp_8 hyp_tptp_6 hyp_tptp_9 hyp_tptp_31 hyp_tptp_2 hyp_tptp_4 hyp_tptp_3 hyp_tptp_5 hyp_tptp_30
% 40.39/40.55
%------------------------------------------------------------------------------