0 [] tassume(" dll(?k,null,hd,?end,null)"); 1 2 Dll(?k,0,hd,?end,0) --Imp-- 3 Dll(?k,0,hd,?end,0) next = (Listp )0; 4 (next = 0) * Dll(k,0,hd,end,0) --Imp-- 5 (next = 0) * Dll(k,0,hd,end,0) prev = (Listp )0; 6 (prev = 0) * (next = 0) * Dll(k,0,hd,end,0) --Imp-- 7 (prev = 0) * (next = 0) * Dll(k,0,hd,end,0) curr = hd; 8 (curr = hd) * (prev = 0) * (next = 0) * Dll(k,0,hd,end,0) --Imp-- 9 (curr = hd) * (prev = 0) * (next = 0) * Dll(k,0,hd,end,0) less = (Listp )0; 10 (less = 0) * (curr = hd) * (prev = 0) * (next = 0) * Dll(k,0,hd,end,0) --Imp-- 11 (less = 0) * (curr = hd) * (prev = 0) * (next = 0) * Dll(k,0,hd,end,0) more = (Listp )0; 12 (more = 0) * (less = 0) * (curr = hd) * (prev = 0) * (next = 0) * Dll(k,0,hd,end,0) --Imp-- 13 (more = 0) * (less = 0) * (curr = hd) * (prev = 0) * (next = 0) * Dll(k,0,hd,end,0) hd = (List *)0; 14 15 16 (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * Dll(k,0,curr,end,0) --Abs-- 17 18 (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * Dll(k,0,curr,end,0) if((unsigned int )curr != (unsigned int )((Listp )0)) { 20 (~(curr = 0)) * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * Dll(k,0,curr,end,0) --Imp-- 21 curr -> [n: V279, data: V308, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * Dll((k - 1),curr,V279,end,0) * (~(curr = 0)) tmp = curr->data; 22 curr -> [n: V279, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * Dll((k - 1),curr,V279,end,0) * (~(curr = 0)) if(tmp >= v) { 24 (tmp >= v) * curr -> [n: V279, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * Dll((k - 1),curr,V279,end,0) * (~(curr = 0)) --Imp-- 25 curr -> [n: V279, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * (tmp >= v) * (~(curr = 0)) * Dll((k - 1),curr,V279,end,0) next = curr->n; 26 curr -> [n: next, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (tmp >= v) * (~(curr = 0)) * Dll((k - 1),curr,next,end,0) --Imp-- 27 curr -> [n: next, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (tmp >= v) * (~(curr = 0)) * Dll((k - 1),curr,next,end,0) --Imp-- 28 curr -> [n: next, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * Dll((k - 1),curr,next,end,0) * (~(curr = 0)) * (tmp >= v) curr->n = more; 29 30 curr -> [n: more, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * Dll((k - 1),curr,next,end,0) * (~(curr = 0)) * (tmp >= v) --Imp-- 31 curr -> [n: more, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * Dll((k - 1),curr,next,end,0) * (~(curr = 0)) * (tmp >= v) more = curr; 32 (more = curr) * curr -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (less = 0) * (prev = 0) * Dll((k - 1),curr,next,end,0) * (~(curr = 0)) * (tmp >= v) --Imp-- 33 (more = curr) * curr -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (less = 0) * (prev = 0) * Dll((k - 1),curr,next,end,0) * (~(curr = 0)) * (tmp >= v) --Imp-- 34 more -> [n: 0, data: tmp, b: 0, V309] * (more = curr) * (hd = 0) * (less = 0) * (prev = 0) * (tmp >= v) * (~(curr = 0)) * Dll((k - 1),curr,next,end,0) more->b = (struct list *)0; 35 more -> [n: 0, data: tmp, b: 0, V309] * (more = curr) * (hd = 0) * (less = 0) * (prev = 0) * (tmp >= v) * (~(curr = 0)) * Dll((k - 1),curr,next,end,0) --Imp-- 36 more -> [n: 0, data: tmp, b: 0, V309] * (more = curr) * (hd = 0) * (less = 0) * (prev = 0) * (tmp >= v) * (~(curr = 0)) * Dll((k - 1),curr,next,end,0) curr = next; 37 (curr = next) * more -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (less = 0) * (prev = 0) * (tmp >= v) * (~(more = 0)) * Dll((k - 1),more,next,end,0) if((unsigned int )curr != (unsigned int )((Listp )0)) { 39 (~(curr = 0)) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (less = 0) * (prev = 0) * (tmp >= v) * (~(more = 0)) * Dll((k - 1),more,next,end,0) --Imp-- 40 (~(curr = 0)) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (less = 0) * (prev = 0) * (tmp >= v) * (~(more = 0)) * Dll((k - 1),more,next,end,0) --Imp-- 41 curr -> [n: V861, b: more, V862] * (curr = next) * (hd = 0) * (less = 0) * (prev = 0) * Dll(((k - 1) - 1),next,V861,end,0) * (~(more = 0)) * (tmp >= v) * (~(next = 0)) * more -> [n: 0, data: tmp, b: 0, V309] curr->b = (struct list *)0; 42 curr -> [n: V861, b: 0, V862] * (curr = next) * (hd = 0) * (less = 0) * (prev = 0) * Dll(((k - 1) - 1),next,V861,end,0) * (~(more = 0)) * (tmp >= v) * (~(next = 0)) * more -> [n: 0, data: tmp, b: 0, V309] --Abs-- V954 = (k - 1) - 1; 43 44 45 Dll(V954,next,V861,end,0) * (~(more = 0)) * (~(next = 0)) * more -> [n: 0, data: tmp, b: 0, V309] * (prev = 0) * (less = 0) * (hd = 0) * (curr = next) * curr -> [n: V861, b: 0, V862] --Imp-- 46 curr -> [n: V861, data: V1670, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V309] * (~(next = 0)) * (~(more = 0)) * Dll(V954,next,V861,end,0) tmp = curr->data; 47 curr -> [n: V861, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * (curr = next) * more -> [n: 0, data: V1691, b: 0, V309] * (~(next = 0)) * (~(more = 0)) * Dll(V954,next,V861,end,0) if(tmp >= v) { 49 (tmp >= v) * curr -> [n: V861, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * (curr = next) * more -> [n: 0, data: V1691, b: 0, V309] * (~(next = 0)) * (~(more = 0)) * Dll(V954,next,V861,end,0) --Imp-- 50 curr -> [n: V861, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * (curr = next) * (tmp >= v) * Dll(V954,next,V861,end,0) * (~(more = 0)) * (~(next = 0)) * more -> [n: 0, data: V1691, b: 0, V309] next = curr->n; 51 curr -> [n: next, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * (tmp >= v) * Dll(V954,curr,next,end,0) * (~(more = 0)) * (~(curr = 0)) * more -> [n: 0, data: V1691, b: 0, V309] --Imp-- 52 curr -> [n: next, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * (tmp >= v) * Dll(V954,curr,next,end,0) * (~(more = 0)) * (~(curr = 0)) * more -> [n: 0, data: V1691, b: 0, V309] --Imp-- 53 curr -> [n: next, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * more -> [n: 0, data: V1691, b: 0, V309] * (~(curr = 0)) * (~(more = 0)) * Dll(V954,curr,next,end,0) * (tmp >= v) curr->n = more; 54 55 curr -> [n: more, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * more -> [n: 0, data: V1691, b: 0, V309] * (~(curr = 0)) * (~(more = 0)) * Dll(V954,curr,next,end,0) * (tmp >= v) --Imp-- 56 curr -> [n: more, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * more -> [n: 0, data: V1691, b: 0, V309] * (~(curr = 0)) * (~(more = 0)) * Dll(V954,curr,next,end,0) * (tmp >= v) --Imp-- 57 more -> [n: 0, data: V1691, b: 0, V309] * (prev = 0) * (less = 0) * (hd = 0) * (~(curr = 0)) * (~(more = 0)) * Dll(V954,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V1671] more->b = curr; 58 more -> [n: 0, data: V1691, b: curr, V309] * (prev = 0) * (less = 0) * (hd = 0) * (~(curr = 0)) * (~(more = 0)) * Dll(V954,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V1671] --Imp-- 59 more -> [n: 0, data: V1691, b: curr, V309] * (prev = 0) * (less = 0) * (hd = 0) * (~(curr = 0)) * (~(more = 0)) * Dll(V954,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V1671] more = curr; 60 (more = curr) * V1998 -> [n: 0, data: V1691, b: curr, V309] * (prev = 0) * (less = 0) * (hd = 0) * (~(curr = 0)) * (~(V1998 = 0)) * Dll(V954,curr,next,end,0) * (tmp >= v) * curr -> [n: V1998, data: tmp, b: 0, V1671] --Imp-- 61 (more = curr) * V1998 -> [n: 0, data: V1691, b: curr, V309] * (prev = 0) * (less = 0) * (hd = 0) * (~(curr = 0)) * (~(V1998 = 0)) * Dll(V954,curr,next,end,0) * (tmp >= v) * curr -> [n: V1998, data: tmp, b: 0, V1671] --Imp-- 62 more -> [n: V1998, data: tmp, b: 0, V1671] * (more = curr) * (prev = 0) * (less = 0) * (hd = 0) * V1998 -> [n: 0, data: V1691, b: curr, V309] * (tmp >= v) * Dll(V954,curr,next,end,0) * (~(V1998 = 0)) * (~(curr = 0)) more->b = (struct list *)0; 63 more -> [n: V1998, data: tmp, b: 0, V1671] * (more = curr) * (prev = 0) * (less = 0) * (hd = 0) * V1998 -> [n: 0, data: V1691, b: curr, V309] * (tmp >= v) * Dll(V954,curr,next,end,0) * (~(V1998 = 0)) * (~(curr = 0)) --Imp-- 64 more -> [n: V1998, data: tmp, b: 0, V1671] * (more = curr) * (prev = 0) * (less = 0) * (hd = 0) * V1998 -> [n: 0, data: V1691, b: curr, V309] * (tmp >= v) * Dll(V954,curr,next,end,0) * (~(V1998 = 0)) * (~(curr = 0)) curr = next; 65 (curr = next) * more -> [n: V1998, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * V1998 -> [n: 0, data: V1691, b: more, V309] * (tmp >= v) * Dll(V954,more,next,end,0) * (~(V1998 = 0)) * (~(more = 0)) if((unsigned int )curr != (unsigned int )((Listp )0)) { 67 (~(curr = 0)) * (curr = next) * more -> [n: V1998, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * V1998 -> [n: 0, data: V1691, b: more, V309] * (tmp >= v) * Dll(V954,more,next,end,0) * (~(V1998 = 0)) * (~(more = 0)) --Imp-- 68 (~(curr = 0)) * (curr = next) * more -> [n: V1998, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * V1998 -> [n: 0, data: V1691, b: more, V309] * (tmp >= v) * Dll(V954,more,next,end,0) * (~(V1998 = 0)) * (~(more = 0)) --Imp-- 69 curr -> [n: V2326, b: more, V2327] * (curr = next) * (prev = 0) * (less = 0) * (hd = 0) * Dll((V954 - 1),next,V2326,end,0) * (tmp >= v) * V1998 -> [n: 0, data: V1691, b: more, V309] * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * more -> [n: V1998, data: tmp, b: 0, V1671] curr->b = (struct list *)0; 70 curr -> [n: V2326, b: 0, V2327] * (curr = next) * (prev = 0) * (less = 0) * (hd = 0) * Dll((V954 - 1),next,V2326,end,0) * (tmp >= v) * V1998 -> [n: 0, data: V1691, b: more, V309] * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * more -> [n: V1998, data: tmp, b: 0, V1671] --Abs-- V2475 = V954 - 1; V2449 = 2; 71 label71: 72 73 Dll(V2475,next,V2326,end,0) * (hd = 0) * (less = 0) * (prev = 0) * (curr = next) * curr -> [n: V2326, b: 0, V2327] * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) --Imp-- 74 curr -> [n: V2326, data: V3236, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (curr = next) * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,next,V2326,end,0) tmp = curr->data; 75 curr -> [n: V2326, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (curr = next) * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,next,V2326,end,0) if(tmp >= v) { 77 (tmp >= v) * curr -> [n: V2326, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (curr = next) * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,next,V2326,end,0) --Imp-- 78 curr -> [n: V2326, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (curr = next) * (tmp >= v) * Dll(V2475,next,V2326,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(next = 0)) * (~(more = 0)) * (~(V1998 = 0)) next = curr->n; 79 curr -> [n: next, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (tmp >= v) * Dll(V2475,curr,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) --Imp-- 80 curr -> [n: next, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (tmp >= v) * Dll(V2475,curr,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) --Imp-- 81 curr -> [n: next, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,curr,next,end,0) * (tmp >= v) curr->n = more; 82 83 curr -> [n: more, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,curr,next,end,0) * (tmp >= v) --Imp-- 84 curr -> [n: more, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,curr,next,end,0) * (tmp >= v) --Imp-- 85 more -> [n: V3547, b: 0, V3548] * (hd = 0) * (less = 0) * (prev = 0) * Dll((V2449 - 1),more,V3547,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * Dll(V2475,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V3237] more->b = curr; 86 more -> [n: V3547, b: curr, V3548] * (hd = 0) * (less = 0) * (prev = 0) * Dll((V2449 - 1),more,V3547,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * Dll(V2475,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V3237] --Imp-- 87 more -> [n: V3547, b: curr, V3548] * (hd = 0) * (less = 0) * (prev = 0) * Dll((V2449 - 1),more,V3547,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * Dll(V2475,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V3237] more = curr; 88 (more = curr) * V3594 -> [n: V3547, b: curr, V3548] * (hd = 0) * (less = 0) * (prev = 0) * Dll((V2449 - 1),V3594,V3547,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(V3594 = 0)) * (~(V1998 = 0)) * Dll(V2475,curr,next,end,0) * (tmp >= v) * curr -> [n: V3594, data: tmp, b: 0, V3237] --Imp-- 89 (more = curr) * V3594 -> [n: V3547, b: curr, V3548] * (hd = 0) * (less = 0) * (prev = 0) * Dll((V2449 - 1),V3594,V3547,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(V3594 = 0)) * (~(V1998 = 0)) * Dll(V2475,curr,next,end,0) * (tmp >= v) * curr -> [n: V3594, data: tmp, b: 0, V3237] --Imp-- 90 more -> [n: V3594, data: tmp, b: 0, V3237] * (more = curr) * (hd = 0) * (less = 0) * (prev = 0) * V3594 -> [n: V3547, b: curr, V3548] * (tmp >= v) * Dll(V2475,curr,next,end,0) * (~(V1998 = 0)) * (~(V3594 = 0)) * (~(curr = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V3594,V3547,V1998,0) more->b = (struct list *)0; 91 more -> [n: V3594, data: tmp, b: 0, V3237] * (more = curr) * (hd = 0) * (less = 0) * (prev = 0) * V3594 -> [n: V3547, b: curr, V3548] * (tmp >= v) * Dll(V2475,curr,next,end,0) * (~(V1998 = 0)) * (~(V3594 = 0)) * (~(curr = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V3594,V3547,V1998,0) --Imp-- 92 more -> [n: V3594, data: tmp, b: 0, V3237] * (more = curr) * (hd = 0) * (less = 0) * (prev = 0) * V3594 -> [n: V3547, b: curr, V3548] * (tmp >= v) * Dll(V2475,curr,next,end,0) * (~(V1998 = 0)) * (~(V3594 = 0)) * (~(curr = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V3594,V3547,V1998,0) curr = next; 93 (curr = next) * more -> [n: V3594, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * V3594 -> [n: V3547, b: more, V3548] * (tmp >= v) * Dll(V2475,more,next,end,0) * (~(V1998 = 0)) * (~(V3594 = 0)) * (~(more = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V3594,V3547,V1998,0) if((unsigned int )curr != (unsigned int )((Listp )0)) { 95 (~(curr = 0)) * (curr = next) * more -> [n: V3594, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * V3594 -> [n: V3547, b: more, V3548] * (tmp >= v) * Dll(V2475,more,next,end,0) * (~(V1998 = 0)) * (~(V3594 = 0)) * (~(more = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V3594,V3547,V1998,0) --Imp-- 96 (~(curr = 0)) * (curr = next) * more -> [n: V3594, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * V3594 -> [n: V3547, b: more, V3548] * (tmp >= v) * Dll(V2475,more,next,end,0) * (~(V1998 = 0)) * (~(V3594 = 0)) * (~(more = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V3594,V3547,V1998,0) --Imp-- 97 curr -> [n: V3914, b: more, V3915] * (curr = next) * (hd = 0) * (less = 0) * (prev = 0) * Dll((V2475 - 1),next,V3914,end,0) * (tmp >= v) * V3594 -> [n: V3547, b: more, V3548] * (~(V1998 = 0)) * (~(V3594 = 0)) * (~(more = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V3594,V3547,V1998,0) * (~(next = 0)) * more -> [n: V3594, data: tmp, b: 0, V3237] curr->b = (struct list *)0; 98 curr -> [n: V3914, b: 0, V3915] * (curr = next) * (hd = 0) * (less = 0) * (prev = 0) * Dll((V2475 - 1),next,V3914,end,0) * (tmp >= v) * V3594 -> [n: V3547, b: more, V3548] * (~(V1998 = 0)) * (~(V3594 = 0)) * (~(more = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V3594,V3547,V1998,0) * (~(next = 0)) * more -> [n: V3594, data: tmp, b: 0, V3237] --Abs-- V4092 = V2475 - 1; V4046 = ((V2449 - 1) + 1) + 1; 99 Dll(V4092,next,V3914,end,0) * (prev = 0) * (less = 0) * (hd = 0) * (curr = next) * curr -> [n: V3914, b: 0, V3915] * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V4046 = 0)) * Dll(V4046,0,more,V1998,0) --Imp-- 100 Dll(V4092,next,V3914,end,0) * (prev = 0) * (less = 0) * (hd = 0) * (curr = next) * curr -> [n: V3914, b: 0, V3915] * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V4046 = 0)) * Dll(V4046,0,more,V1998,0) V2475 = V4092; V2449 = V4046; goto label71; } else { 94 (curr = 0) * (curr = next) * more -> [n: V3594, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * V3594 -> [n: V3547, b: more, V3548] * (tmp >= v) * Dll(V2475,more,next,end,0) * (~(V1998 = 0)) * (~(V3594 = 0)) * (~(more = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V3594,V3547,V1998,0) --Abs-- V4357 = ((V2449 - 1) + 1) + 1; 101 label101: 102 103 Dll(V4357,0,more,V1998,0) * (~(V4357 = 0)) * (curr = next) * (curr = 0) * Dll(V2475,more,next,end,0) * (~(V1998 = 0)) * (~(more = 0)) * (hd = 0) * (less = 0) * (prev = 0) goto while_0_break; 104 Dll(V4357,0,more,V1998,0) * (~(V4357 = 0)) * (curr = next) * (curr = 0) * Dll(V2475,more,next,end,0) * (~(V1998 = 0)) * (~(more = 0)) * (hd = 0) * (less = 0) * (prev = 0) --Abs-- 105 106 Dll(V4357,0,more,V1998,0) * (~(V4357 = 0)) * (curr = next) * (curr = 0) * Dll(V2475,more,next,end,0) * (~(V1998 = 0)) * (~(more = 0)) * (hd = 0) * (less = 0) * (prev = 0) return; } } else { 76 (~(tmp >= v)) * curr -> [n: V2326, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (curr = next) * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,next,V2326,end,0) --Imp-- 107 curr -> [n: V2326, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (curr = next) * (~(tmp >= v)) * Dll(V2475,next,V2326,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(next = 0)) * (~(more = 0)) * (~(V1998 = 0)) next = curr->n; 108 curr -> [n: next, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,curr,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) --Imp-- 109 curr -> [n: next, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,curr,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) --Imp-- 110 curr -> [n: next, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,curr,next,end,0) * (~(tmp >= v)) curr->n = less; 111 112 curr -> [n: less, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,curr,next,end,0) * (~(tmp >= v)) --Imp-- 113 curr -> [n: less, data: tmp, b: 0, V3237] * (hd = 0) * (less = 0) * (prev = 0) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,curr,next,end,0) * (~(tmp >= v)) less = curr; 114 (less = curr) * curr -> [n: 0, data: tmp, b: 0, V3237] * (hd = 0) * (prev = 0) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,curr,next,end,0) * (~(tmp >= v)) --Imp-- 115 (less = curr) * curr -> [n: 0, data: tmp, b: 0, V3237] * (hd = 0) * (prev = 0) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * Dll(V2475,curr,next,end,0) * (~(tmp >= v)) --Imp-- 116 less -> [n: 0, data: tmp, b: 0, V3237] * (less = curr) * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,curr,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) less->b = (struct list *)0; 117 less -> [n: 0, data: tmp, b: 0, V3237] * (less = curr) * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,curr,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) --Imp-- 118 less -> [n: 0, data: tmp, b: 0, V3237] * (less = curr) * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,curr,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) curr = next; 119 (curr = next) * less -> [n: 0, data: tmp, b: 0, V3237] * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,less,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) if((unsigned int )curr != (unsigned int )((Listp )0)) { 121 (~(curr = 0)) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V3237] * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,less,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) --Imp-- 122 (~(curr = 0)) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V3237] * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,less,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) --Imp-- 123 curr -> [n: V5131, b: less, V5132] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V2475 - 1),next,V5131,end,0) * (~(tmp >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(next = 0)) * less -> [n: 0, data: tmp, b: 0, V3237] curr->b = (struct list *)0; 124 curr -> [n: V5131, b: 0, V5132] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V2475 - 1),next,V5131,end,0) * (~(tmp >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(next = 0)) * less -> [n: 0, data: tmp, b: 0, V3237] --Abs-- V5205 = V2475 - 1; 125 126 127 Dll(V5205,next,V5131,end,0) * (~(tmp >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(next = 0)) * less -> [n: 0, data: tmp, b: 0, V3237] * (prev = 0) * (hd = 0) * (curr = next) * curr -> [n: V5131, b: 0, V5132] --Imp-- 128 curr -> [n: V5131, data: V11258, b: 0, V11259] * (prev = 0) * (hd = 0) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V3237] * (~(next = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(tmp >= v)) * Dll(V5205,next,V5131,end,0) tmp = curr->data; 129 curr -> [n: V5131, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * (curr = next) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(next = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,next,V5131,end,0) if(tmp >= v) { 131 (tmp >= v) * curr -> [n: V5131, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * (curr = next) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(next = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,next,V5131,end,0) --Imp-- 132 curr -> [n: V5131, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * (curr = next) * (tmp >= v) * Dll(V5205,next,V5131,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(next = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] next = curr->n; 133 curr -> [n: next, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * (tmp >= v) * Dll(V5205,curr,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(curr = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] --Imp-- 134 curr -> [n: next, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * (tmp >= v) * Dll(V5205,curr,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(curr = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] --Imp-- 135 curr -> [n: next, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(curr = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (tmp >= v) curr->n = more; 136 137 curr -> [n: more, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(curr = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (tmp >= v) --Imp-- 138 curr -> [n: more, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(curr = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (tmp >= v) --Imp-- 139 more -> [n: V11593, b: 0, V11594] * (prev = 0) * (hd = 0) * Dll((V2449 - 1),more,V11593,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(curr = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V11259] more->b = curr; 140 more -> [n: V11593, b: curr, V11594] * (prev = 0) * (hd = 0) * Dll((V2449 - 1),more,V11593,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(curr = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V11259] --Imp-- 141 more -> [n: V11593, b: curr, V11594] * (prev = 0) * (hd = 0) * Dll((V2449 - 1),more,V11593,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(curr = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V11259] more = curr; 142 (more = curr) * V11645 -> [n: V11593, b: curr, V11594] * (prev = 0) * (hd = 0) * Dll((V2449 - 1),V11645,V11593,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(V11645 = 0)) * (~(V1998 = 0)) * (~(curr = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (tmp >= v) * curr -> [n: V11645, data: tmp, b: 0, V11259] --Imp-- 143 (more = curr) * V11645 -> [n: V11593, b: curr, V11594] * (prev = 0) * (hd = 0) * Dll((V2449 - 1),V11645,V11593,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(V11645 = 0)) * (~(V1998 = 0)) * (~(curr = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (tmp >= v) * curr -> [n: V11645, data: tmp, b: 0, V11259] --Imp-- 144 more -> [n: V11645, data: tmp, b: 0, V11259] * (more = curr) * (prev = 0) * (hd = 0) * V11645 -> [n: V11593, b: curr, V11594] * (tmp >= v) * Dll(V5205,curr,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(curr = 0)) * (~(V1998 = 0)) * (~(V11645 = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V11645,V11593,V1998,0) more->b = (struct list *)0; 145 more -> [n: V11645, data: tmp, b: 0, V11259] * (more = curr) * (prev = 0) * (hd = 0) * V11645 -> [n: V11593, b: curr, V11594] * (tmp >= v) * Dll(V5205,curr,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(curr = 0)) * (~(V1998 = 0)) * (~(V11645 = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V11645,V11593,V1998,0) --Imp-- 146 more -> [n: V11645, data: tmp, b: 0, V11259] * (more = curr) * (prev = 0) * (hd = 0) * V11645 -> [n: V11593, b: curr, V11594] * (tmp >= v) * Dll(V5205,curr,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(curr = 0)) * (~(V1998 = 0)) * (~(V11645 = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V11645,V11593,V1998,0) curr = next; 147 (curr = next) * more -> [n: V11645, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * V11645 -> [n: V11593, b: more, V11594] * (tmp >= v) * Dll(V5205,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(V11645 = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V11645,V11593,V1998,0) if((unsigned int )curr != (unsigned int )((Listp )0)) { 149 (~(curr = 0)) * (curr = next) * more -> [n: V11645, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * V11645 -> [n: V11593, b: more, V11594] * (tmp >= v) * Dll(V5205,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(V11645 = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V11645,V11593,V1998,0) --Imp-- 150 (~(curr = 0)) * (curr = next) * more -> [n: V11645, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * V11645 -> [n: V11593, b: more, V11594] * (tmp >= v) * Dll(V5205,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(V11645 = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V11645,V11593,V1998,0) --Imp-- 151 curr -> [n: V11993, b: more, V11994] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V5205 - 1),next,V11993,end,0) * (tmp >= v) * V11645 -> [n: V11593, b: more, V11594] * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(V11645 = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V11645,V11593,V1998,0) * (~(next = 0)) * more -> [n: V11645, data: tmp, b: 0, V11259] curr->b = (struct list *)0; 152 curr -> [n: V11993, b: 0, V11994] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V5205 - 1),next,V11993,end,0) * (tmp >= v) * V11645 -> [n: V11593, b: more, V11594] * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(V11645 = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V11645,V11593,V1998,0) * (~(next = 0)) * more -> [n: V11645, data: tmp, b: 0, V11259] --Abs-- V12186 = V5205 - 1; V12136 = ((V2449 - 1) + 1) + 1; 153 label153: 154 155 Dll(V12186,next,V11993,end,0) * (hd = 0) * (prev = 0) * (curr = next) * curr -> [n: V11993, b: 0, V11994] * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(next = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) --Imp-- 156 curr -> [n: V11993, data: V21229, b: 0, V21230] * (hd = 0) * (prev = 0) * (curr = next) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(next = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,next,V11993,end,0) tmp = curr->data; 157 curr -> [n: V11993, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (curr = next) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(next = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,next,V11993,end,0) if(tmp >= v) { 159 (tmp >= v) * curr -> [n: V11993, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (curr = next) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(next = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,next,V11993,end,0) --Imp-- 160 curr -> [n: V11993, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (curr = next) * (tmp >= v) * Dll(V12186,next,V11993,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(next = 0)) * (~(less = 0)) * (~(V1998 = 0)) * (~(more = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) next = curr->n; 161 curr -> [n: next, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (tmp >= v) * Dll(V12186,curr,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(less = 0)) * (~(V1998 = 0)) * (~(more = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) --Imp-- 162 curr -> [n: next, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (tmp >= v) * Dll(V12186,curr,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(less = 0)) * (~(V1998 = 0)) * (~(more = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) --Imp-- 163 curr -> [n: next, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,curr,next,end,0) * (tmp >= v) curr->n = more; 164 165 curr -> [n: more, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,curr,next,end,0) * (tmp >= v) --Imp-- 166 curr -> [n: more, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,curr,next,end,0) * (tmp >= v) --Imp-- 167 more -> [n: V21564, b: 0, V21565] * (hd = 0) * (prev = 0) * Dll((V12136 - 1),more,V21564,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(less = 0)) * (~(V1998 = 0)) * (~(more = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) * Dll(V12186,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V21230] more->b = curr; 168 more -> [n: V21564, b: curr, V21565] * (hd = 0) * (prev = 0) * Dll((V12136 - 1),more,V21564,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(less = 0)) * (~(V1998 = 0)) * (~(more = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) * Dll(V12186,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V21230] --Imp-- 169 more -> [n: V21564, b: curr, V21565] * (hd = 0) * (prev = 0) * Dll((V12136 - 1),more,V21564,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(less = 0)) * (~(V1998 = 0)) * (~(more = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) * Dll(V12186,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V21230] more = curr; 170 (more = curr) * V21616 -> [n: V21564, b: curr, V21565] * (hd = 0) * (prev = 0) * Dll((V12136 - 1),V21616,V21564,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(less = 0)) * (~(V1998 = 0)) * (~(V21616 = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) * Dll(V12186,curr,next,end,0) * (tmp >= v) * curr -> [n: V21616, data: tmp, b: 0, V21230] --Imp-- 171 (more = curr) * V21616 -> [n: V21564, b: curr, V21565] * (hd = 0) * (prev = 0) * Dll((V12136 - 1),V21616,V21564,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(less = 0)) * (~(V1998 = 0)) * (~(V21616 = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) * Dll(V12186,curr,next,end,0) * (tmp >= v) * curr -> [n: V21616, data: tmp, b: 0, V21230] --Imp-- 172 more -> [n: V21616, data: tmp, b: 0, V21230] * (more = curr) * (hd = 0) * (prev = 0) * V21616 -> [n: V21564, b: curr, V21565] * (tmp >= v) * Dll(V12186,curr,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V21616 = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll((V12136 - 1),V21616,V21564,V1998,0) more->b = (struct list *)0; 173 more -> [n: V21616, data: tmp, b: 0, V21230] * (more = curr) * (hd = 0) * (prev = 0) * V21616 -> [n: V21564, b: curr, V21565] * (tmp >= v) * Dll(V12186,curr,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V21616 = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll((V12136 - 1),V21616,V21564,V1998,0) --Imp-- 174 more -> [n: V21616, data: tmp, b: 0, V21230] * (more = curr) * (hd = 0) * (prev = 0) * V21616 -> [n: V21564, b: curr, V21565] * (tmp >= v) * Dll(V12186,curr,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V21616 = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll((V12136 - 1),V21616,V21564,V1998,0) curr = next; 175 (curr = next) * more -> [n: V21616, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * V21616 -> [n: V21564, b: more, V21565] * (tmp >= v) * Dll(V12186,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V21616 = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V12136 = 0)) * Dll((V12136 - 1),V21616,V21564,V1998,0) if((unsigned int )curr != (unsigned int )((Listp )0)) { 177 (~(curr = 0)) * (curr = next) * more -> [n: V21616, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * V21616 -> [n: V21564, b: more, V21565] * (tmp >= v) * Dll(V12186,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V21616 = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V12136 = 0)) * Dll((V12136 - 1),V21616,V21564,V1998,0) --Imp-- 178 (~(curr = 0)) * (curr = next) * more -> [n: V21616, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * V21616 -> [n: V21564, b: more, V21565] * (tmp >= v) * Dll(V12186,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V21616 = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V12136 = 0)) * Dll((V12136 - 1),V21616,V21564,V1998,0) --Imp-- 179 curr -> [n: V21964, b: more, V21965] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V12186 - 1),next,V21964,end,0) * (tmp >= v) * V21616 -> [n: V21564, b: more, V21565] * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V21616 = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V12136 = 0)) * Dll((V12136 - 1),V21616,V21564,V1998,0) * (~(next = 0)) * more -> [n: V21616, data: tmp, b: 0, V21230] curr->b = (struct list *)0; 180 curr -> [n: V21964, b: 0, V21965] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V12186 - 1),next,V21964,end,0) * (tmp >= v) * V21616 -> [n: V21564, b: more, V21565] * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V21616 = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V12136 = 0)) * Dll((V12136 - 1),V21616,V21564,V1998,0) * (~(next = 0)) * more -> [n: V21616, data: tmp, b: 0, V21230] --Abs-- V22157 = V12186 - 1; V22107 = ((V12136 - 1) + 1) + 1; 181 Dll(V22157,next,V21964,end,0) * (prev = 0) * (hd = 0) * (curr = next) * curr -> [n: V21964, b: 0, V21965] * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V1998 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V22107 = 0)) * Dll(V22107,0,more,V1998,0) --Imp-- 182 Dll(V22157,next,V21964,end,0) * (prev = 0) * (hd = 0) * (curr = next) * curr -> [n: V21964, b: 0, V21965] * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V1998 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V22107 = 0)) * Dll(V22107,0,more,V1998,0) V11279 = V11279; V12186 = V22157; V12136 = V22107; goto label153; } else { 176 (curr = 0) * (curr = next) * more -> [n: V21616, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * V21616 -> [n: V21564, b: more, V21565] * (tmp >= v) * Dll(V12186,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V21616 = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V12136 = 0)) * Dll((V12136 - 1),V21616,V21564,V1998,0) --Abs-- V22434 = ((V12136 - 1) + 1) + 1; 183 184 185 Dll(V22434,0,more,V1998,0) * (~(V22434 = 0)) * (curr = next) * (curr = 0) * Dll(V12186,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V1998 = 0)) * (~(less = 0)) * (~(more = 0)) * (hd = 0) * (prev = 0) goto while_0_break; 186 Dll(V22434,0,more,V1998,0) * (~(V22434 = 0)) * (curr = next) * (curr = 0) * Dll(V12186,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V1998 = 0)) * (~(less = 0)) * (~(more = 0)) * (hd = 0) * (prev = 0) --Abs-- 187 188 Dll(V22434,0,more,V1998,0) * (~(V22434 = 0)) * (curr = next) * (curr = 0) * Dll(V12186,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V1998 = 0)) * (~(less = 0)) * (~(more = 0)) * (hd = 0) * (prev = 0) return; } } else { 158 (~(tmp >= v)) * curr -> [n: V11993, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (curr = next) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(next = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,next,V11993,end,0) --Imp-- 189 curr -> [n: V11993, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (curr = next) * (~(tmp >= v)) * Dll(V12186,next,V11993,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(next = 0)) * (~(less = 0)) * (~(V1998 = 0)) * (~(more = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) next = curr->n; 190 curr -> [n: next, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V12186,curr,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(less = 0)) * (~(V1998 = 0)) * (~(more = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) --Imp-- 191 curr -> [n: next, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V12186,curr,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(less = 0)) * (~(V1998 = 0)) * (~(more = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(V11279 >= v)) --Imp-- 192 curr -> [n: next, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,curr,next,end,0) * (~(tmp >= v)) curr->n = less; 193 194 curr -> [n: less, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,curr,next,end,0) * (~(tmp >= v)) --Imp-- 195 curr -> [n: less, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,curr,next,end,0) * (~(tmp >= v)) --Imp-- 196 less -> [n: 0, data: V11279, b: 0, V3237] * (hd = 0) * (prev = 0) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V21230] * (~(V11279 >= v)) less->b = curr; 197 less -> [n: 0, data: V11279, b: curr, V3237] * (hd = 0) * (prev = 0) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V21230] * (~(V11279 >= v)) --Imp-- 198 less -> [n: 0, data: V11279, b: curr, V3237] * (hd = 0) * (prev = 0) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V21230] * (~(V11279 >= v)) less = curr; 199 (less = curr) * V25384 -> [n: 0, data: V11279, b: curr, V3237] * (hd = 0) * (prev = 0) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V25384, data: tmp, b: 0, V21230] * (~(V11279 >= v)) --Imp-- 200 (less = curr) * V25384 -> [n: 0, data: V11279, b: curr, V3237] * (hd = 0) * (prev = 0) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(curr = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * Dll(V12186,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V25384, data: tmp, b: 0, V21230] * (~(V11279 >= v)) --Imp-- 201 less -> [n: V25384, data: tmp, b: 0, V21230] * (less = curr) * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * V25384 -> [n: 0, data: V11279, b: curr, V3237] * (~(tmp >= v)) * Dll(V12186,curr,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) less->b = (struct list *)0; 202 less -> [n: V25384, data: tmp, b: 0, V21230] * (less = curr) * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * V25384 -> [n: 0, data: V11279, b: curr, V3237] * (~(tmp >= v)) * Dll(V12186,curr,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) --Imp-- 203 less -> [n: V25384, data: tmp, b: 0, V21230] * (less = curr) * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * V25384 -> [n: 0, data: V11279, b: curr, V3237] * (~(tmp >= v)) * Dll(V12186,curr,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(curr = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) curr = next; 204 (curr = next) * less -> [n: V25384, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * V25384 -> [n: 0, data: V11279, b: less, V3237] * (~(tmp >= v)) * Dll(V12186,less,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) if((unsigned int )curr != (unsigned int )((Listp )0)) { 206 (~(curr = 0)) * (curr = next) * less -> [n: V25384, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * V25384 -> [n: 0, data: V11279, b: less, V3237] * (~(tmp >= v)) * Dll(V12186,less,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) --Imp-- 207 (~(curr = 0)) * (curr = next) * less -> [n: V25384, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * V25384 -> [n: 0, data: V11279, b: less, V3237] * (~(tmp >= v)) * Dll(V12186,less,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) --Imp-- 208 curr -> [n: V25700, b: less, V25701] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V12186 - 1),next,V25700,end,0) * (~(tmp >= v)) * V25384 -> [n: 0, data: V11279, b: less, V3237] * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * less -> [n: V25384, data: tmp, b: 0, V21230] curr->b = (struct list *)0; 209 curr -> [n: V25700, b: 0, V25701] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V12186 - 1),next,V25700,end,0) * (~(tmp >= v)) * V25384 -> [n: 0, data: V11279, b: less, V3237] * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * less -> [n: V25384, data: tmp, b: 0, V21230] --Abs-- V25829 = V12186 - 1; V25803 = 2; 210 211 212 Dll(V25829,next,V25700,end,0) * (prev = 0) * (hd = 0) * (curr = next) * curr -> [n: V25700, b: 0, V25701] * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(tmp >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) --Imp-- 213 curr -> [n: V25700, data: V36330, b: 0, V36331] * (prev = 0) * (hd = 0) * (curr = next) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(tmp >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,next,V25700,end,0) tmp = curr->data; 214 curr -> [n: V25700, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (curr = next) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,next,V25700,end,0) if(tmp >= v) { 216 (tmp >= v) * curr -> [n: V25700, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (curr = next) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,next,V25700,end,0) --Imp-- 217 curr -> [n: V25700, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (curr = next) * (tmp >= v) * Dll(V25829,next,V25700,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(next = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * (~(V11279 >= v)) next = curr->n; 218 curr -> [n: next, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (tmp >= v) * Dll(V25829,curr,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * (~(V11279 >= v)) --Imp-- 219 curr -> [n: next, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (tmp >= v) * Dll(V25829,curr,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * (~(V11279 >= v)) --Imp-- 220 curr -> [n: next, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,curr,next,end,0) * (tmp >= v) curr->n = more; 221 222 curr -> [n: more, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,curr,next,end,0) * (tmp >= v) --Imp-- 223 curr -> [n: more, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,curr,next,end,0) * (tmp >= v) --Imp-- 224 more -> [n: V36620, b: 0, V36621] * (prev = 0) * (hd = 0) * Dll((V12136 - 1),more,V36620,V1998,0) * (~(V11279 >= v)) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V36331] more->b = curr; 225 more -> [n: V36620, b: curr, V36621] * (prev = 0) * (hd = 0) * Dll((V12136 - 1),more,V36620,V1998,0) * (~(V11279 >= v)) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V36331] --Imp-- 226 more -> [n: V36620, b: curr, V36621] * (prev = 0) * (hd = 0) * Dll((V12136 - 1),more,V36620,V1998,0) * (~(V11279 >= v)) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V36331] more = curr; 227 (more = curr) * V36667 -> [n: V36620, b: curr, V36621] * (prev = 0) * (hd = 0) * Dll((V12136 - 1),V36667,V36620,V1998,0) * (~(V11279 >= v)) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(V36667 = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,curr,next,end,0) * (tmp >= v) * curr -> [n: V36667, data: tmp, b: 0, V36331] --Imp-- 228 (more = curr) * V36667 -> [n: V36620, b: curr, V36621] * (prev = 0) * (hd = 0) * Dll((V12136 - 1),V36667,V36620,V1998,0) * (~(V11279 >= v)) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(V36667 = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,curr,next,end,0) * (tmp >= v) * curr -> [n: V36667, data: tmp, b: 0, V36331] --Imp-- 229 more -> [n: V36667, data: tmp, b: 0, V36331] * (more = curr) * (prev = 0) * (hd = 0) * V36667 -> [n: V36620, b: curr, V36621] * (tmp >= v) * Dll(V25829,curr,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(V36667 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * (~(V11279 >= v)) * Dll((V12136 - 1),V36667,V36620,V1998,0) more->b = (struct list *)0; 230 more -> [n: V36667, data: tmp, b: 0, V36331] * (more = curr) * (prev = 0) * (hd = 0) * V36667 -> [n: V36620, b: curr, V36621] * (tmp >= v) * Dll(V25829,curr,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(V36667 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * (~(V11279 >= v)) * Dll((V12136 - 1),V36667,V36620,V1998,0) --Imp-- 231 more -> [n: V36667, data: tmp, b: 0, V36331] * (more = curr) * (prev = 0) * (hd = 0) * V36667 -> [n: V36620, b: curr, V36621] * (tmp >= v) * Dll(V25829,curr,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(V36667 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * (~(V11279 >= v)) * Dll((V12136 - 1),V36667,V36620,V1998,0) curr = next; 232 (curr = next) * more -> [n: V36667, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * V36667 -> [n: V36620, b: more, V36621] * (tmp >= v) * Dll(V25829,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V36667 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * (~(V11279 >= v)) * Dll((V12136 - 1),V36667,V36620,V1998,0) if((unsigned int )curr != (unsigned int )((Listp )0)) { 234 (~(curr = 0)) * (curr = next) * more -> [n: V36667, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * V36667 -> [n: V36620, b: more, V36621] * (tmp >= v) * Dll(V25829,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V36667 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * (~(V11279 >= v)) * Dll((V12136 - 1),V36667,V36620,V1998,0) --Imp-- 235 (~(curr = 0)) * (curr = next) * more -> [n: V36667, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * V36667 -> [n: V36620, b: more, V36621] * (tmp >= v) * Dll(V25829,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V36667 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * (~(V11279 >= v)) * Dll((V12136 - 1),V36667,V36620,V1998,0) --Imp-- 236 curr -> [n: V36975, b: more, V36976] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V25829 - 1),next,V36975,end,0) * (tmp >= v) * V36667 -> [n: V36620, b: more, V36621] * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V36667 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * (~(V11279 >= v)) * Dll((V12136 - 1),V36667,V36620,V1998,0) * (~(next = 0)) * more -> [n: V36667, data: tmp, b: 0, V36331] curr->b = (struct list *)0; 237 curr -> [n: V36975, b: 0, V36976] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V25829 - 1),next,V36975,end,0) * (tmp >= v) * V36667 -> [n: V36620, b: more, V36621] * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V36667 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * (~(V11279 >= v)) * Dll((V12136 - 1),V36667,V36620,V1998,0) * (~(next = 0)) * more -> [n: V36667, data: tmp, b: 0, V36331] --Abs-- V37153 = V25829 - 1; V37107 = ((V12136 - 1) + 1) + 1; 238 label238: 239 240 Dll(V37153,next,V36975,end,0) * (hd = 0) * (prev = 0) * (curr = next) * curr -> [n: V36975, b: 0, V36976] * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(next = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) --Imp-- 241 curr -> [n: V36975, data: V69345, b: 0, V69346] * (hd = 0) * (prev = 0) * (curr = next) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(next = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,next,V36975,end,0) tmp = curr->data; 242 curr -> [n: V36975, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * (curr = next) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(next = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,next,V36975,end,0) if(tmp >= v) { 244 (tmp >= v) * curr -> [n: V36975, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * (curr = next) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(next = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,next,V36975,end,0) --Imp-- 245 curr -> [n: V36975, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * (curr = next) * (tmp >= v) * Dll(V37153,next,V36975,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(next = 0)) * (~(V11279 >= v)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) next = curr->n; 246 curr -> [n: next, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * (tmp >= v) * Dll(V37153,curr,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) --Imp-- 247 curr -> [n: next, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * (tmp >= v) * Dll(V37153,curr,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) --Imp-- 248 curr -> [n: next, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,curr,next,end,0) * (tmp >= v) curr->n = more; 249 250 curr -> [n: more, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,curr,next,end,0) * (tmp >= v) --Imp-- 251 curr -> [n: more, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,curr,next,end,0) * (tmp >= v) --Imp-- 252 more -> [n: V69635, b: 0, V69636] * (hd = 0) * (prev = 0) * Dll((V37107 - 1),more,V69635,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V37153,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V69346] more->b = curr; 253 more -> [n: V69635, b: curr, V69636] * (hd = 0) * (prev = 0) * Dll((V37107 - 1),more,V69635,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V37153,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V69346] --Imp-- 254 more -> [n: V69635, b: curr, V69636] * (hd = 0) * (prev = 0) * Dll((V37107 - 1),more,V69635,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V37153,curr,next,end,0) * (tmp >= v) * curr -> [n: more, data: tmp, b: 0, V69346] more = curr; 255 (more = curr) * V69682 -> [n: V69635, b: curr, V69636] * (hd = 0) * (prev = 0) * Dll((V37107 - 1),V69682,V69635,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(V69682 = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V37153,curr,next,end,0) * (tmp >= v) * curr -> [n: V69682, data: tmp, b: 0, V69346] --Imp-- 256 (more = curr) * V69682 -> [n: V69635, b: curr, V69636] * (hd = 0) * (prev = 0) * Dll((V37107 - 1),V69682,V69635,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(V69682 = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V37153,curr,next,end,0) * (tmp >= v) * curr -> [n: V69682, data: tmp, b: 0, V69346] --Imp-- 257 more -> [n: V69682, data: tmp, b: 0, V69346] * (more = curr) * (hd = 0) * (prev = 0) * V69682 -> [n: V69635, b: curr, V69636] * (tmp >= v) * Dll(V37153,curr,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V69682 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll((V37107 - 1),V69682,V69635,V1998,0) more->b = (struct list *)0; 258 more -> [n: V69682, data: tmp, b: 0, V69346] * (more = curr) * (hd = 0) * (prev = 0) * V69682 -> [n: V69635, b: curr, V69636] * (tmp >= v) * Dll(V37153,curr,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V69682 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll((V37107 - 1),V69682,V69635,V1998,0) --Imp-- 259 more -> [n: V69682, data: tmp, b: 0, V69346] * (more = curr) * (hd = 0) * (prev = 0) * V69682 -> [n: V69635, b: curr, V69636] * (tmp >= v) * Dll(V37153,curr,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V69682 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll((V37107 - 1),V69682,V69635,V1998,0) curr = next; 260 (curr = next) * more -> [n: V69682, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * V69682 -> [n: V69635, b: more, V69636] * (tmp >= v) * Dll(V37153,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V69682 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(more = 0)) * (~(V37107 = 0)) * Dll((V37107 - 1),V69682,V69635,V1998,0) if((unsigned int )curr != (unsigned int )((Listp )0)) { 262 (~(curr = 0)) * (curr = next) * more -> [n: V69682, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * V69682 -> [n: V69635, b: more, V69636] * (tmp >= v) * Dll(V37153,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V69682 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(more = 0)) * (~(V37107 = 0)) * Dll((V37107 - 1),V69682,V69635,V1998,0) --Imp-- 263 (~(curr = 0)) * (curr = next) * more -> [n: V69682, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * V69682 -> [n: V69635, b: more, V69636] * (tmp >= v) * Dll(V37153,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V69682 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(more = 0)) * (~(V37107 = 0)) * Dll((V37107 - 1),V69682,V69635,V1998,0) --Imp-- 264 curr -> [n: V69990, b: more, V69991] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V37153 - 1),next,V69990,end,0) * (tmp >= v) * V69682 -> [n: V69635, b: more, V69636] * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V69682 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(more = 0)) * (~(V37107 = 0)) * Dll((V37107 - 1),V69682,V69635,V1998,0) * (~(next = 0)) * more -> [n: V69682, data: tmp, b: 0, V69346] curr->b = (struct list *)0; 265 curr -> [n: V69990, b: 0, V69991] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V37153 - 1),next,V69990,end,0) * (tmp >= v) * V69682 -> [n: V69635, b: more, V69636] * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V69682 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(more = 0)) * (~(V37107 = 0)) * Dll((V37107 - 1),V69682,V69635,V1998,0) * (~(next = 0)) * more -> [n: V69682, data: tmp, b: 0, V69346] --Abs-- V70168 = V37153 - 1; V70122 = ((V37107 - 1) + 1) + 1; 266 Dll(V70168,next,V69990,end,0) * (prev = 0) * (hd = 0) * (curr = next) * curr -> [n: V69990, b: 0, V69991] * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(more = 0)) * (~(next = 0)) * (~(V70122 = 0)) * Dll(V70122,0,more,V1998,0) --Imp-- 267 Dll(V70168,next,V69990,end,0) * (prev = 0) * (hd = 0) * (curr = next) * curr -> [n: V69990, b: 0, V69991] * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(more = 0)) * (~(next = 0)) * (~(V70122 = 0)) * Dll(V70122,0,more,V1998,0) V37153 = V70168; V25803 = V25803; V37107 = V70122; goto label238; } else { 261 (curr = 0) * (curr = next) * more -> [n: V69682, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * V69682 -> [n: V69635, b: more, V69636] * (tmp >= v) * Dll(V37153,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V69682 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(more = 0)) * (~(V37107 = 0)) * Dll((V37107 - 1),V69682,V69635,V1998,0) --Abs-- V70469 = ((V37107 - 1) + 1) + 1; 268 label268: 269 270 Dll(V70469,0,more,V1998,0) * (~(V70469 = 0)) * (curr = next) * (curr = 0) * Dll(V37153,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(more = 0)) * (hd = 0) * (prev = 0) goto while_0_break; 271 Dll(V70469,0,more,V1998,0) * (~(V70469 = 0)) * (curr = next) * (curr = 0) * Dll(V37153,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(more = 0)) * (hd = 0) * (prev = 0) --Abs-- 272 273 Dll(V70469,0,more,V1998,0) * (~(V70469 = 0)) * (curr = next) * (curr = 0) * Dll(V37153,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(more = 0)) * (hd = 0) * (prev = 0) return; } } else { 243 (~(tmp >= v)) * curr -> [n: V36975, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * (curr = next) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(next = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,next,V36975,end,0) --Imp-- 274 curr -> [n: V36975, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * (curr = next) * (~(tmp >= v)) * Dll(V37153,next,V36975,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(next = 0)) * (~(V11279 >= v)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) next = curr->n; 275 curr -> [n: next, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V37153,curr,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) --Imp-- 276 curr -> [n: next, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V37153,curr,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) --Imp-- 277 curr -> [n: next, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,curr,next,end,0) * (~(tmp >= v)) curr->n = less; 278 279 curr -> [n: less, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,curr,next,end,0) * (~(tmp >= v)) --Imp-- 280 curr -> [n: less, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,curr,next,end,0) * (~(tmp >= v)) --Imp-- 281 less -> [n: V76040, b: 0, V76041] * (hd = 0) * (prev = 0) * Dll((V25803 - 1),less,V76040,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V69346] less->b = curr; 282 less -> [n: V76040, b: curr, V76041] * (hd = 0) * (prev = 0) * Dll((V25803 - 1),less,V76040,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V69346] --Imp-- 283 less -> [n: V76040, b: curr, V76041] * (hd = 0) * (prev = 0) * Dll((V25803 - 1),less,V76040,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V69346] less = curr; 284 (less = curr) * V76087 -> [n: V76040, b: curr, V76041] * (hd = 0) * (prev = 0) * Dll((V25803 - 1),V76087,V76040,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(V76087 = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V76087, data: tmp, b: 0, V69346] --Imp-- 285 (less = curr) * V76087 -> [n: V76040, b: curr, V76041] * (hd = 0) * (prev = 0) * Dll((V25803 - 1),V76087,V76040,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(V76087 = 0)) * (~(V11279 >= v)) * (~(curr = 0)) * (~(V37107 = 0)) * Dll(V37107,0,more,V1998,0) * Dll(V37153,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V76087, data: tmp, b: 0, V69346] --Imp-- 286 less -> [n: V76087, data: tmp, b: 0, V69346] * (less = curr) * (hd = 0) * (prev = 0) * V76087 -> [n: V76040, b: curr, V76041] * (~(tmp >= v)) * Dll(V37153,curr,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(V76087 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V76087,V76040,V25384,0) less->b = (struct list *)0; 287 less -> [n: V76087, data: tmp, b: 0, V69346] * (less = curr) * (hd = 0) * (prev = 0) * V76087 -> [n: V76040, b: curr, V76041] * (~(tmp >= v)) * Dll(V37153,curr,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(V76087 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V76087,V76040,V25384,0) --Imp-- 288 less -> [n: V76087, data: tmp, b: 0, V69346] * (less = curr) * (hd = 0) * (prev = 0) * V76087 -> [n: V76040, b: curr, V76041] * (~(tmp >= v)) * Dll(V37153,curr,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(curr = 0)) * (~(V11279 >= v)) * (~(V76087 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V76087,V76040,V25384,0) curr = next; 289 (curr = next) * less -> [n: V76087, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * V76087 -> [n: V76040, b: less, V76041] * (~(tmp >= v)) * Dll(V37153,less,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(V76087 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V76087,V76040,V25384,0) if((unsigned int )curr != (unsigned int )((Listp )0)) { 291 (~(curr = 0)) * (curr = next) * less -> [n: V76087, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * V76087 -> [n: V76040, b: less, V76041] * (~(tmp >= v)) * Dll(V37153,less,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(V76087 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V76087,V76040,V25384,0) --Imp-- 292 (~(curr = 0)) * (curr = next) * less -> [n: V76087, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * V76087 -> [n: V76040, b: less, V76041] * (~(tmp >= v)) * Dll(V37153,less,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(V76087 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V76087,V76040,V25384,0) --Imp-- 293 curr -> [n: V76395, b: less, V76396] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V37153 - 1),next,V76395,end,0) * (~(tmp >= v)) * V76087 -> [n: V76040, b: less, V76041] * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(V76087 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V76087,V76040,V25384,0) * (~(next = 0)) * less -> [n: V76087, data: tmp, b: 0, V69346] curr->b = (struct list *)0; 294 curr -> [n: V76395, b: 0, V76396] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V37153 - 1),next,V76395,end,0) * (~(tmp >= v)) * V76087 -> [n: V76040, b: less, V76041] * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(V76087 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V76087,V76040,V25384,0) * (~(next = 0)) * less -> [n: V76087, data: tmp, b: 0, V69346] --Abs-- V76553 = V37153 - 1; V76507 = ((V25803 - 1) + 1) + 1; 295 Dll(V76553,next,V76395,end,0) * (~(tmp >= v)) * (prev = 0) * (hd = 0) * (curr = next) * curr -> [n: V76395, b: 0, V76396] * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(next = 0)) * (~(V76507 = 0)) * Dll(V76507,0,less,V25384,0) --Imp-- 296 Dll(V76553,next,V76395,end,0) * (~(tmp >= v)) * (prev = 0) * (hd = 0) * (curr = next) * curr -> [n: V76395, b: 0, V76396] * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(next = 0)) * (~(V76507 = 0)) * Dll(V76507,0,less,V25384,0) V37153 = V76553; V25803 = V76507; V37107 = V37107; goto label238; } else { 290 (curr = 0) * (curr = next) * less -> [n: V76087, data: tmp, b: 0, V69346] * (hd = 0) * (prev = 0) * V76087 -> [n: V76040, b: less, V76041] * (~(tmp >= v)) * Dll(V37153,less,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(V76087 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V76087,V76040,V25384,0) --Abs-- V87793 = ((V25803 - 1) + 1) + 1; 297 Dll(V87793,0,less,V25384,0) * (~(V87793 = 0)) * (curr = next) * (curr = 0) * (~(tmp >= v)) * Dll(V37153,less,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (hd = 0) * (prev = 0) --Imp-- 298 Dll(V87793,0,less,V25384,0) * (~(V87793 = 0)) * (curr = next) * (curr = 0) * (~(tmp >= v)) * Dll(V37153,less,next,end,0) * Dll(V37107,0,more,V1998,0) * (~(V37107 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V36346 >= v)) * (hd = 0) * (prev = 0) V70469 = V37107; V25803 = V87793; goto label268; } } } else { 233 (curr = 0) * (curr = next) * more -> [n: V36667, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * V36667 -> [n: V36620, b: more, V36621] * (tmp >= v) * Dll(V25829,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V36667 = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * (~(V11279 >= v)) * Dll((V12136 - 1),V36667,V36620,V1998,0) --Abs-- V88308 = ((V12136 - 1) + 1) + 1; 299 Dll(V88308,0,more,V1998,0) * (~(V88308 = 0)) * (curr = next) * (curr = 0) * Dll(V25829,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (prev = 0) * (hd = 0) --Imp-- 300 Dll(V88308,0,more,V1998,0) * (~(V88308 = 0)) * (curr = next) * (curr = 0) * Dll(V25829,more,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V11279 >= v)) * (prev = 0) * (hd = 0) V70469 = V88308; V25803 = V25803; V37153 = V25829; goto label268; } } else { 215 (~(tmp >= v)) * curr -> [n: V25700, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (curr = next) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(next = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,next,V25700,end,0) --Imp-- 301 curr -> [n: V25700, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (curr = next) * (~(tmp >= v)) * Dll(V25829,next,V25700,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(next = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * (~(V11279 >= v)) next = curr->n; 302 curr -> [n: next, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V25829,curr,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * (~(V11279 >= v)) --Imp-- 303 curr -> [n: next, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V25829,curr,next,end,0) * Dll(V25803,0,less,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * (~(V11279 >= v)) --Imp-- 304 curr -> [n: next, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,curr,next,end,0) * (~(tmp >= v)) curr->n = less; 305 306 curr -> [n: less, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,curr,next,end,0) * (~(tmp >= v)) --Imp-- 307 curr -> [n: less, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll(V25803,0,less,V25384,0) * Dll(V25829,curr,next,end,0) * (~(tmp >= v)) --Imp-- 308 less -> [n: V88769, b: 0, V88770] * (prev = 0) * (hd = 0) * Dll((V25803 - 1),less,V88769,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V25829,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V36331] less->b = curr; 309 less -> [n: V88769, b: curr, V88770] * (prev = 0) * (hd = 0) * Dll((V25803 - 1),less,V88769,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V25829,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V36331] --Imp-- 310 less -> [n: V88769, b: curr, V88770] * (prev = 0) * (hd = 0) * Dll((V25803 - 1),less,V88769,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(less = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V25829,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V36331] less = curr; 311 (less = curr) * V88816 -> [n: V88769, b: curr, V88770] * (prev = 0) * (hd = 0) * Dll((V25803 - 1),V88816,V88769,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(V88816 = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V25829,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V88816, data: tmp, b: 0, V36331] --Imp-- 312 (less = curr) * V88816 -> [n: V88769, b: curr, V88770] * (prev = 0) * (hd = 0) * Dll((V25803 - 1),V88816,V88769,V25384,0) * (~(V25803 = 0)) * (~(V36346 >= v)) * (~(curr = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(V25384 = 0)) * (~(V88816 = 0)) * (~(V12136 = 0)) * Dll(V12136,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V25829,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V88816, data: tmp, b: 0, V36331] --Imp-- 313 less -> [n: V88816, data: tmp, b: 0, V36331] * (less = curr) * (prev = 0) * (hd = 0) * V88816 -> [n: V88769, b: curr, V88770] * (~(tmp >= v)) * Dll(V25829,curr,next,end,0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V88816 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V88816,V88769,V25384,0) less->b = (struct list *)0; 314 less -> [n: V88816, data: tmp, b: 0, V36331] * (less = curr) * (prev = 0) * (hd = 0) * V88816 -> [n: V88769, b: curr, V88770] * (~(tmp >= v)) * Dll(V25829,curr,next,end,0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V88816 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V88816,V88769,V25384,0) --Imp-- 315 less -> [n: V88816, data: tmp, b: 0, V36331] * (less = curr) * (prev = 0) * (hd = 0) * V88816 -> [n: V88769, b: curr, V88770] * (~(tmp >= v)) * Dll(V25829,curr,next,end,0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V88816 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(curr = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V88816,V88769,V25384,0) curr = next; 316 (curr = next) * less -> [n: V88816, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * V88816 -> [n: V88769, b: less, V88770] * (~(tmp >= v)) * Dll(V25829,less,next,end,0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V88816 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V88816,V88769,V25384,0) if((unsigned int )curr != (unsigned int )((Listp )0)) { 318 (~(curr = 0)) * (curr = next) * less -> [n: V88816, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * V88816 -> [n: V88769, b: less, V88770] * (~(tmp >= v)) * Dll(V25829,less,next,end,0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V88816 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V88816,V88769,V25384,0) --Imp-- 319 (~(curr = 0)) * (curr = next) * less -> [n: V88816, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * V88816 -> [n: V88769, b: less, V88770] * (~(tmp >= v)) * Dll(V25829,less,next,end,0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V88816 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V88816,V88769,V25384,0) --Imp-- 320 curr -> [n: V89124, b: less, V89125] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V25829 - 1),next,V89124,end,0) * (~(tmp >= v)) * V88816 -> [n: V88769, b: less, V88770] * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V88816 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V88816,V88769,V25384,0) * (~(next = 0)) * less -> [n: V88816, data: tmp, b: 0, V36331] curr->b = (struct list *)0; 321 curr -> [n: V89124, b: 0, V89125] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V25829 - 1),next,V89124,end,0) * (~(tmp >= v)) * V88816 -> [n: V88769, b: less, V88770] * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V88816 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V88816,V88769,V25384,0) * (~(next = 0)) * less -> [n: V88816, data: tmp, b: 0, V36331] --Abs-- V89282 = V25829 - 1; V89236 = ((V25803 - 1) + 1) + 1; 322 Dll(V89282,next,V89124,end,0) * (~(tmp >= v)) * (hd = 0) * (prev = 0) * (curr = next) * curr -> [n: V89124, b: 0, V89125] * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V36346 >= v)) * (~(next = 0)) * (~(V89236 = 0)) * Dll(V89236,0,less,V25384,0) --Imp-- 323 Dll(V89282,next,V89124,end,0) * (~(tmp >= v)) * (hd = 0) * (prev = 0) * (curr = next) * curr -> [n: V89124, b: 0, V89125] * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V36346 >= v)) * (~(next = 0)) * (~(V89236 = 0)) * Dll(V89236,0,less,V25384,0) V37153 = V89282; V25803 = V89236; V37107 = V12136; goto label238; } else { 317 (curr = 0) * (curr = next) * less -> [n: V88816, data: tmp, b: 0, V36331] * (prev = 0) * (hd = 0) * V88816 -> [n: V88769, b: less, V88770] * (~(tmp >= v)) * Dll(V25829,less,next,end,0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V88816 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V36346 >= v)) * (~(V25803 = 0)) * Dll((V25803 - 1),V88816,V88769,V25384,0) --Abs-- V100522 = ((V25803 - 1) + 1) + 1; 324 Dll(V100522,0,less,V25384,0) * (~(V100522 = 0)) * (curr = next) * (curr = 0) * (~(tmp >= v)) * Dll(V25829,less,next,end,0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V36346 >= v)) * (prev = 0) * (hd = 0) --Imp-- 325 Dll(V100522,0,less,V25384,0) * (~(V100522 = 0)) * (curr = next) * (curr = 0) * (~(tmp >= v)) * Dll(V25829,less,next,end,0) * (~(V11279 >= v)) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V36346 >= v)) * (prev = 0) * (hd = 0) V70469 = V12136; V25803 = V100522; goto label268; } } } else { 205 (curr = 0) * (curr = next) * less -> [n: V25384, data: tmp, b: 0, V21230] * (hd = 0) * (prev = 0) * (~(V11279 >= v)) * V25384 -> [n: 0, data: V11279, b: less, V3237] * (~(tmp >= v)) * Dll(V12186,less,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) --Abs-- V101005 = 2; 326 Dll(V101005,0,less,V25384,0) * (~(V101005 = 0)) * (~(tmp >= v)) * Dll(V12186,less,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (curr = next) * (curr = 0) * (~(V11279 >= v)) * (prev = 0) * (hd = 0) --Imp-- 327 Dll(V101005,0,less,V25384,0) * (~(V101005 = 0)) * (~(tmp >= v)) * Dll(V12186,less,next,end,0) * Dll(V12136,0,more,V1998,0) * (~(V12136 = 0)) * (~(less = 0)) * (~(V25384 = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (curr = next) * (curr = 0) * (~(V11279 >= v)) * (prev = 0) * (hd = 0) V70469 = V12136; V25803 = V101005; goto label268; } } } else { 148 (curr = 0) * (curr = next) * more -> [n: V11645, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * V11645 -> [n: V11593, b: more, V11594] * (tmp >= v) * Dll(V5205,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(V11645 = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll((V2449 - 1),V11645,V11593,V1998,0) --Abs-- V101506 = ((V2449 - 1) + 1) + 1; 328 Dll(V101506,0,more,V1998,0) * (~(V101506 = 0)) * (curr = next) * (curr = 0) * Dll(V5205,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (prev = 0) * (hd = 0) --Imp-- 329 Dll(V101506,0,more,V1998,0) * (~(V101506 = 0)) * (curr = next) * (curr = 0) * Dll(V5205,more,next,end,0) * (~(V11279 >= v)) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (prev = 0) * (hd = 0) V101626 = V11279; V37153 = V5205; V70469 = V101506; V101771 = V11279; goto label268; } } else { 130 (~(tmp >= v)) * curr -> [n: V5131, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * (curr = next) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(next = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,next,V5131,end,0) --Imp-- 330 curr -> [n: V5131, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * (curr = next) * (~(tmp >= v)) * Dll(V5205,next,V5131,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(next = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] next = curr->n; 331 curr -> [n: next, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V5205,curr,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(curr = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] --Imp-- 332 curr -> [n: next, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V5205,curr,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(curr = 0)) * less -> [n: 0, data: V11279, b: 0, V3237] --Imp-- 333 curr -> [n: next, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(curr = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (~(tmp >= v)) curr->n = less; 334 335 curr -> [n: less, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(curr = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (~(tmp >= v)) --Imp-- 336 curr -> [n: less, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * less -> [n: 0, data: V11279, b: 0, V3237] * (~(curr = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (~(tmp >= v)) --Imp-- 337 less -> [n: 0, data: V11279, b: 0, V3237] * (prev = 0) * (hd = 0) * (~(curr = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V11259] less->b = curr; 338 less -> [n: 0, data: V11279, b: curr, V3237] * (prev = 0) * (hd = 0) * (~(curr = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V11259] --Imp-- 339 less -> [n: 0, data: V11279, b: curr, V3237] * (prev = 0) * (hd = 0) * (~(curr = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(less = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V11259] less = curr; 340 (less = curr) * V102078 -> [n: 0, data: V11279, b: curr, V3237] * (prev = 0) * (hd = 0) * (~(curr = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V102078 = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V102078, data: tmp, b: 0, V11259] --Imp-- 341 (less = curr) * V102078 -> [n: 0, data: V11279, b: curr, V3237] * (prev = 0) * (hd = 0) * (~(curr = 0)) * (~(V1998 = 0)) * (~(more = 0)) * (~(V102078 = 0)) * (~(V2449 = 0)) * Dll(V2449,0,more,V1998,0) * (~(V11279 >= v)) * Dll(V5205,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V102078, data: tmp, b: 0, V11259] --Imp-- 342 less -> [n: V102078, data: tmp, b: 0, V11259] * (less = curr) * (prev = 0) * (hd = 0) * V102078 -> [n: 0, data: V11279, b: curr, V3237] * (~(tmp >= v)) * Dll(V5205,curr,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(curr = 0)) less->b = (struct list *)0; 343 less -> [n: V102078, data: tmp, b: 0, V11259] * (less = curr) * (prev = 0) * (hd = 0) * V102078 -> [n: 0, data: V11279, b: curr, V3237] * (~(tmp >= v)) * Dll(V5205,curr,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(curr = 0)) --Imp-- 344 less -> [n: V102078, data: tmp, b: 0, V11259] * (less = curr) * (prev = 0) * (hd = 0) * V102078 -> [n: 0, data: V11279, b: curr, V3237] * (~(tmp >= v)) * Dll(V5205,curr,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(curr = 0)) curr = next; 345 (curr = next) * less -> [n: V102078, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * V102078 -> [n: 0, data: V11279, b: less, V3237] * (~(tmp >= v)) * Dll(V5205,less,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) if((unsigned int )curr != (unsigned int )((Listp )0)) { 347 (~(curr = 0)) * (curr = next) * less -> [n: V102078, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * V102078 -> [n: 0, data: V11279, b: less, V3237] * (~(tmp >= v)) * Dll(V5205,less,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) --Imp-- 348 (~(curr = 0)) * (curr = next) * less -> [n: V102078, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * V102078 -> [n: 0, data: V11279, b: less, V3237] * (~(tmp >= v)) * Dll(V5205,less,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) --Imp-- 349 curr -> [n: V102394, b: less, V102395] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V5205 - 1),next,V102394,end,0) * (~(tmp >= v)) * V102078 -> [n: 0, data: V11279, b: less, V3237] * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(next = 0)) * less -> [n: V102078, data: tmp, b: 0, V11259] curr->b = (struct list *)0; 350 curr -> [n: V102394, b: 0, V102395] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V5205 - 1),next,V102394,end,0) * (~(tmp >= v)) * V102078 -> [n: 0, data: V11279, b: less, V3237] * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(next = 0)) * less -> [n: V102078, data: tmp, b: 0, V11259] --Abs-- V102523 = V5205 - 1; V102497 = 2; 351 Dll(V102523,next,V102394,end,0) * (hd = 0) * (prev = 0) * (curr = next) * curr -> [n: V102394, b: 0, V102395] * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(next = 0)) * (~(tmp >= v)) * (~(V102497 = 0)) * Dll(V102497,0,less,V102078,0) --Imp-- 352 Dll(V102523,next,V102394,end,0) * (hd = 0) * (prev = 0) * (curr = next) * curr -> [n: V102394, b: 0, V102395] * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (~(next = 0)) * (~(tmp >= v)) * (~(V102497 = 0)) * Dll(V102497,0,less,V102078,0) V37153 = V102523; V25803 = V102497; V37107 = V2449; goto label238; } else { 346 (curr = 0) * (curr = next) * less -> [n: V102078, data: tmp, b: 0, V11259] * (prev = 0) * (hd = 0) * V102078 -> [n: 0, data: V11279, b: less, V3237] * (~(tmp >= v)) * Dll(V5205,less,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) --Abs-- V113751 = 2; 353 Dll(V113751,0,less,V102078,0) * (~(V113751 = 0)) * (~(tmp >= v)) * Dll(V5205,less,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (curr = next) * (curr = 0) * (hd = 0) * (prev = 0) --Imp-- 354 Dll(V113751,0,less,V102078,0) * (~(V113751 = 0)) * (~(tmp >= v)) * Dll(V5205,less,next,end,0) * (~(V11279 >= v)) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(V102078 = 0)) * (~(more = 0)) * (~(V1998 = 0)) * (~(less = 0)) * (curr = next) * (curr = 0) * (hd = 0) * (prev = 0) V70469 = V2449; V25803 = V113751; goto label268; } } } else { 120 (curr = 0) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V3237] * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,less,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) --Abs-- 355 label355: 356 357 (curr = 0) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V3237] * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,less,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) goto while_0_break; 358 (curr = 0) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V3237] * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,less,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) --Abs-- 359 360 (curr = 0) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V3237] * (hd = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V2475,less,next,end,0) * Dll(V2449,0,more,V1998,0) * (~(V2449 = 0)) * (~(less = 0)) * (~(more = 0)) * (~(V1998 = 0)) return; } } } else { 66 (curr = 0) * (curr = next) * more -> [n: V1998, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * V1998 -> [n: 0, data: V1691, b: more, V309] * (tmp >= v) * Dll(V954,more,next,end,0) * (~(V1998 = 0)) * (~(more = 0)) --Abs-- V165991 = 2; 361 Dll(V165991,0,more,V1998,0) * (~(V165991 = 0)) * Dll(V954,more,next,end,0) * (~(V1998 = 0)) * (~(more = 0)) * (curr = next) * (curr = 0) * (hd = 0) * (less = 0) * (prev = 0) --Imp-- 362 Dll(V165991,0,more,V1998,0) * (~(V165991 = 0)) * Dll(V954,more,next,end,0) * (~(V1998 = 0)) * (~(more = 0)) * (curr = next) * (curr = 0) * (hd = 0) * (less = 0) * (prev = 0) V4357 = V165991; V2475 = V954; goto label101; } } else { 48 (~(tmp >= v)) * curr -> [n: V861, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * (curr = next) * more -> [n: 0, data: V1691, b: 0, V309] * (~(next = 0)) * (~(more = 0)) * Dll(V954,next,V861,end,0) --Imp-- 363 curr -> [n: V861, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * (curr = next) * (~(tmp >= v)) * Dll(V954,next,V861,end,0) * (~(more = 0)) * (~(next = 0)) * more -> [n: 0, data: V1691, b: 0, V309] next = curr->n; 364 curr -> [n: next, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V954,curr,next,end,0) * (~(more = 0)) * (~(curr = 0)) * more -> [n: 0, data: V1691, b: 0, V309] --Imp-- 365 curr -> [n: next, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V954,curr,next,end,0) * (~(more = 0)) * (~(curr = 0)) * more -> [n: 0, data: V1691, b: 0, V309] --Imp-- 366 curr -> [n: next, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * more -> [n: 0, data: V1691, b: 0, V309] * (~(curr = 0)) * (~(more = 0)) * Dll(V954,curr,next,end,0) * (~(tmp >= v)) curr->n = less; 367 368 curr -> [n: less, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * more -> [n: 0, data: V1691, b: 0, V309] * (~(curr = 0)) * (~(more = 0)) * Dll(V954,curr,next,end,0) * (~(tmp >= v)) --Imp-- 369 curr -> [n: less, data: tmp, b: 0, V1671] * (prev = 0) * (less = 0) * (hd = 0) * more -> [n: 0, data: V1691, b: 0, V309] * (~(curr = 0)) * (~(more = 0)) * Dll(V954,curr,next,end,0) * (~(tmp >= v)) less = curr; 370 (less = curr) * curr -> [n: 0, data: tmp, b: 0, V1671] * (prev = 0) * (hd = 0) * more -> [n: 0, data: V1691, b: 0, V309] * (~(curr = 0)) * (~(more = 0)) * Dll(V954,curr,next,end,0) * (~(tmp >= v)) --Imp-- 371 (less = curr) * curr -> [n: 0, data: tmp, b: 0, V1671] * (prev = 0) * (hd = 0) * more -> [n: 0, data: V1691, b: 0, V309] * (~(curr = 0)) * (~(more = 0)) * Dll(V954,curr,next,end,0) * (~(tmp >= v)) --Imp-- 372 less -> [n: 0, data: tmp, b: 0, V1671] * (less = curr) * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V954,curr,next,end,0) * (~(more = 0)) * (~(curr = 0)) * more -> [n: 0, data: V1691, b: 0, V309] less->b = (struct list *)0; 373 less -> [n: 0, data: tmp, b: 0, V1671] * (less = curr) * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V954,curr,next,end,0) * (~(more = 0)) * (~(curr = 0)) * more -> [n: 0, data: V1691, b: 0, V309] --Imp-- 374 less -> [n: 0, data: tmp, b: 0, V1671] * (less = curr) * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V954,curr,next,end,0) * (~(more = 0)) * (~(curr = 0)) * more -> [n: 0, data: V1691, b: 0, V309] curr = next; 375 (curr = next) * less -> [n: 0, data: tmp, b: 0, V1671] * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V954,less,next,end,0) * (~(more = 0)) * (~(less = 0)) * more -> [n: 0, data: V1691, b: 0, V309] if((unsigned int )curr != (unsigned int )((Listp )0)) { 377 (~(curr = 0)) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V1671] * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V954,less,next,end,0) * (~(more = 0)) * (~(less = 0)) * more -> [n: 0, data: V1691, b: 0, V309] --Imp-- 378 (~(curr = 0)) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V1671] * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V954,less,next,end,0) * (~(more = 0)) * (~(less = 0)) * more -> [n: 0, data: V1691, b: 0, V309] --Imp-- 379 curr -> [n: V166960, b: less, V166961] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V954 - 1),next,V166960,end,0) * (~(tmp >= v)) * (~(more = 0)) * (~(less = 0)) * more -> [n: 0, data: V1691, b: 0, V309] * (~(next = 0)) * less -> [n: 0, data: tmp, b: 0, V1671] curr->b = (struct list *)0; 380 curr -> [n: V166960, b: 0, V166961] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V954 - 1),next,V166960,end,0) * (~(tmp >= v)) * (~(more = 0)) * (~(less = 0)) * more -> [n: 0, data: V1691, b: 0, V309] * (~(next = 0)) * less -> [n: 0, data: tmp, b: 0, V1671] --Abs-- V167041 = V954 - 1; 381 Dll(V167041,next,V166960,end,0) * (~(tmp >= v)) * (~(more = 0)) * (~(less = 0)) * more -> [n: 0, data: V1691, b: 0, V309] * (~(next = 0)) * less -> [n: 0, data: tmp, b: 0, V1671] * (hd = 0) * (prev = 0) * (curr = next) * curr -> [n: V166960, b: 0, V166961] --Imp-- 382 Dll(V167041,next,V166960,end,0) * (~(tmp >= v)) * (~(more = 0)) * (~(less = 0)) * more -> [n: 0, data: V1691, b: 0, V309] * (~(next = 0)) * less -> [n: 0, data: tmp, b: 0, V1671] * (hd = 0) * (prev = 0) * (curr = next) * curr -> [n: V166960, b: 0, V166961] V172423 = V1691; V172451 = tmp; V37153 = V167041; V172576 = tmp; V172787 = V1691; goto label238; } else { 376 (curr = 0) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V1671] * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V954,less,next,end,0) * (~(more = 0)) * (~(less = 0)) * more -> [n: 0, data: V1691, b: 0, V309] --Abs-- 383 (curr = 0) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V1671] * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V954,less,next,end,0) * (~(more = 0)) * (~(less = 0)) * more -> [n: 0, data: V1691, b: 0, V309] --Imp-- 384 (curr = 0) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V1671] * (prev = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V954,less,next,end,0) * (~(more = 0)) * (~(less = 0)) * more -> [n: 0, data: V1691, b: 0, V309] V172968 = V1691; V2475 = V954; V173075 = V1691; goto label355; } } } else { 38 (curr = 0) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (less = 0) * (prev = 0) * (tmp >= v) * (~(more = 0)) * Dll((k - 1),more,next,end,0) --Abs-- V173230 = k - 1; 385 Dll(V173230,more,next,end,0) * (~(more = 0)) * (prev = 0) * (less = 0) * (hd = 0) * more -> [n: 0, data: tmp, b: 0, V309] * (curr = next) * (curr = 0) --Imp-- 386 Dll(V173230,more,next,end,0) * (~(more = 0)) * (prev = 0) * (less = 0) * (hd = 0) * more -> [n: 0, data: tmp, b: 0, V309] * (curr = next) * (curr = 0) V173631 = tmp; V2475 = V173230; V173750 = tmp; goto label101; } } else { 23 (~(tmp >= v)) * curr -> [n: V279, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * Dll((k - 1),curr,V279,end,0) * (~(curr = 0)) --Imp-- 387 curr -> [n: V279, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * (~(tmp >= v)) * (~(curr = 0)) * Dll((k - 1),curr,V279,end,0) next = curr->n; 388 curr -> [n: next, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (~(tmp >= v)) * (~(curr = 0)) * Dll((k - 1),curr,next,end,0) --Imp-- 389 curr -> [n: next, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (~(tmp >= v)) * (~(curr = 0)) * Dll((k - 1),curr,next,end,0) --Imp-- 390 curr -> [n: next, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * Dll((k - 1),curr,next,end,0) * (~(curr = 0)) * (~(tmp >= v)) curr->n = less; 391 392 curr -> [n: less, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * Dll((k - 1),curr,next,end,0) * (~(curr = 0)) * (~(tmp >= v)) --Imp-- 393 curr -> [n: less, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * Dll((k - 1),curr,next,end,0) * (~(curr = 0)) * (~(tmp >= v)) less = curr; 394 (less = curr) * curr -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (prev = 0) * Dll((k - 1),curr,next,end,0) * (~(curr = 0)) * (~(tmp >= v)) --Imp-- 395 (less = curr) * curr -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (prev = 0) * Dll((k - 1),curr,next,end,0) * (~(curr = 0)) * (~(tmp >= v)) --Imp-- 396 less -> [n: 0, data: tmp, b: 0, V309] * (less = curr) * (hd = 0) * (more = 0) * (prev = 0) * (~(tmp >= v)) * (~(curr = 0)) * Dll((k - 1),curr,next,end,0) less->b = (struct list *)0; 397 less -> [n: 0, data: tmp, b: 0, V309] * (less = curr) * (hd = 0) * (more = 0) * (prev = 0) * (~(tmp >= v)) * (~(curr = 0)) * Dll((k - 1),curr,next,end,0) --Imp-- 398 less -> [n: 0, data: tmp, b: 0, V309] * (less = curr) * (hd = 0) * (more = 0) * (prev = 0) * (~(tmp >= v)) * (~(curr = 0)) * Dll((k - 1),curr,next,end,0) curr = next; 399 (curr = next) * less -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (prev = 0) * (~(tmp >= v)) * (~(less = 0)) * Dll((k - 1),less,next,end,0) if((unsigned int )curr != (unsigned int )((Listp )0)) { 401 (~(curr = 0)) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (prev = 0) * (~(tmp >= v)) * (~(less = 0)) * Dll((k - 1),less,next,end,0) --Imp-- 402 (~(curr = 0)) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (prev = 0) * (~(tmp >= v)) * (~(less = 0)) * Dll((k - 1),less,next,end,0) --Imp-- 403 curr -> [n: V174294, b: less, V174295] * (curr = next) * (hd = 0) * (more = 0) * (prev = 0) * Dll(((k - 1) - 1),next,V174294,end,0) * (~(less = 0)) * (~(tmp >= v)) * (~(next = 0)) * less -> [n: 0, data: tmp, b: 0, V309] curr->b = (struct list *)0; 404 curr -> [n: V174294, b: 0, V174295] * (curr = next) * (hd = 0) * (more = 0) * (prev = 0) * Dll(((k - 1) - 1),next,V174294,end,0) * (~(less = 0)) * (~(tmp >= v)) * (~(next = 0)) * less -> [n: 0, data: tmp, b: 0, V309] --Abs-- V174365 = (k - 1) - 1; 405 406 407 Dll(V174365,next,V174294,end,0) * (~(less = 0)) * (~(tmp >= v)) * (~(next = 0)) * less -> [n: 0, data: tmp, b: 0, V309] * (prev = 0) * (more = 0) * (hd = 0) * (curr = next) * curr -> [n: V174294, b: 0, V174295] --Imp-- 408 curr -> [n: V174294, data: V175551, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V309] * (~(next = 0)) * (~(tmp >= v)) * (~(less = 0)) * Dll(V174365,next,V174294,end,0) tmp = curr->data; 409 curr -> [n: V174294, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * (curr = next) * less -> [n: 0, data: V175572, b: 0, V309] * (~(next = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,next,V174294,end,0) if(tmp >= v) { 411 (tmp >= v) * curr -> [n: V174294, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * (curr = next) * less -> [n: 0, data: V175572, b: 0, V309] * (~(next = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,next,V174294,end,0) --Imp-- 412 curr -> [n: V174294, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * (curr = next) * (tmp >= v) * Dll(V174365,next,V174294,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(next = 0)) * less -> [n: 0, data: V175572, b: 0, V309] next = curr->n; 413 curr -> [n: next, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * (tmp >= v) * Dll(V174365,curr,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(curr = 0)) * less -> [n: 0, data: V175572, b: 0, V309] --Imp-- 414 curr -> [n: next, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * (tmp >= v) * Dll(V174365,curr,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(curr = 0)) * less -> [n: 0, data: V175572, b: 0, V309] --Imp-- 415 curr -> [n: next, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * less -> [n: 0, data: V175572, b: 0, V309] * (~(curr = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,curr,next,end,0) * (tmp >= v) curr->n = more; 416 417 curr -> [n: more, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * less -> [n: 0, data: V175572, b: 0, V309] * (~(curr = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,curr,next,end,0) * (tmp >= v) --Imp-- 418 curr -> [n: more, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * less -> [n: 0, data: V175572, b: 0, V309] * (~(curr = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,curr,next,end,0) * (tmp >= v) more = curr; 419 (more = curr) * curr -> [n: 0, data: tmp, b: 0, V175552] * (prev = 0) * (hd = 0) * less -> [n: 0, data: V175572, b: 0, V309] * (~(curr = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,curr,next,end,0) * (tmp >= v) --Imp-- 420 (more = curr) * curr -> [n: 0, data: tmp, b: 0, V175552] * (prev = 0) * (hd = 0) * less -> [n: 0, data: V175572, b: 0, V309] * (~(curr = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,curr,next,end,0) * (tmp >= v) --Imp-- 421 more -> [n: 0, data: tmp, b: 0, V175552] * (more = curr) * (prev = 0) * (hd = 0) * (tmp >= v) * Dll(V174365,curr,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(curr = 0)) * less -> [n: 0, data: V175572, b: 0, V309] more->b = (struct list *)0; 422 more -> [n: 0, data: tmp, b: 0, V175552] * (more = curr) * (prev = 0) * (hd = 0) * (tmp >= v) * Dll(V174365,curr,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(curr = 0)) * less -> [n: 0, data: V175572, b: 0, V309] --Imp-- 423 more -> [n: 0, data: tmp, b: 0, V175552] * (more = curr) * (prev = 0) * (hd = 0) * (tmp >= v) * Dll(V174365,curr,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(curr = 0)) * less -> [n: 0, data: V175572, b: 0, V309] curr = next; 424 (curr = next) * more -> [n: 0, data: tmp, b: 0, V175552] * (prev = 0) * (hd = 0) * (tmp >= v) * Dll(V174365,more,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(more = 0)) * less -> [n: 0, data: V175572, b: 0, V309] if((unsigned int )curr != (unsigned int )((Listp )0)) { 426 (~(curr = 0)) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V175552] * (prev = 0) * (hd = 0) * (tmp >= v) * Dll(V174365,more,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(more = 0)) * less -> [n: 0, data: V175572, b: 0, V309] --Imp-- 427 (~(curr = 0)) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V175552] * (prev = 0) * (hd = 0) * (tmp >= v) * Dll(V174365,more,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(more = 0)) * less -> [n: 0, data: V175572, b: 0, V309] --Imp-- 428 curr -> [n: V176155, b: more, V176156] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V174365 - 1),next,V176155,end,0) * (tmp >= v) * (~(less = 0)) * (~(V175572 >= v)) * (~(more = 0)) * less -> [n: 0, data: V175572, b: 0, V309] * (~(next = 0)) * more -> [n: 0, data: tmp, b: 0, V175552] curr->b = (struct list *)0; 429 curr -> [n: V176155, b: 0, V176156] * (curr = next) * (prev = 0) * (hd = 0) * Dll((V174365 - 1),next,V176155,end,0) * (tmp >= v) * (~(less = 0)) * (~(V175572 >= v)) * (~(more = 0)) * less -> [n: 0, data: V175572, b: 0, V309] * (~(next = 0)) * more -> [n: 0, data: tmp, b: 0, V175552] --Abs-- V176260 = V174365 - 1; 430 Dll(V176260,next,V176155,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(more = 0)) * less -> [n: 0, data: V175572, b: 0, V309] * (~(next = 0)) * more -> [n: 0, data: tmp, b: 0, V175552] * (hd = 0) * (prev = 0) * (curr = next) * curr -> [n: V176155, b: 0, V176156] --Imp-- 431 Dll(V176260,next,V176155,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(more = 0)) * less -> [n: 0, data: V175572, b: 0, V309] * (~(next = 0)) * more -> [n: 0, data: tmp, b: 0, V175552] * (hd = 0) * (prev = 0) * (curr = next) * curr -> [n: V176155, b: 0, V176156] V182850 = tmp; V182878 = V175572; V37153 = V176260; V183003 = V175572; V183214 = tmp; goto label238; } else { 425 (curr = 0) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V175552] * (prev = 0) * (hd = 0) * (tmp >= v) * Dll(V174365,more,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(more = 0)) * less -> [n: 0, data: V175572, b: 0, V309] --Abs-- 432 (curr = 0) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V175552] * (prev = 0) * (hd = 0) * Dll(V174365,more,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(more = 0)) * less -> [n: 0, data: V175572, b: 0, V309] --Imp-- 433 (curr = 0) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V175552] * (prev = 0) * (hd = 0) * Dll(V174365,more,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(more = 0)) * less -> [n: 0, data: V175572, b: 0, V309] V186040 = V175572; V186052 = tmp; V37153 = V174365; V186159 = V175572; V186363 = tmp; goto label268; } } else { 410 (~(tmp >= v)) * curr -> [n: V174294, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * (curr = next) * less -> [n: 0, data: V175572, b: 0, V309] * (~(next = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,next,V174294,end,0) --Imp-- 434 curr -> [n: V174294, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * (curr = next) * (~(tmp >= v)) * Dll(V174365,next,V174294,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(next = 0)) * less -> [n: 0, data: V175572, b: 0, V309] next = curr->n; 435 curr -> [n: next, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V174365,curr,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(curr = 0)) * less -> [n: 0, data: V175572, b: 0, V309] --Imp-- 436 curr -> [n: next, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * (~(tmp >= v)) * Dll(V174365,curr,next,end,0) * (~(less = 0)) * (~(V175572 >= v)) * (~(curr = 0)) * less -> [n: 0, data: V175572, b: 0, V309] --Imp-- 437 curr -> [n: next, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * less -> [n: 0, data: V175572, b: 0, V309] * (~(curr = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,curr,next,end,0) * (~(tmp >= v)) curr->n = less; 438 439 curr -> [n: less, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * less -> [n: 0, data: V175572, b: 0, V309] * (~(curr = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,curr,next,end,0) * (~(tmp >= v)) --Imp-- 440 curr -> [n: less, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * less -> [n: 0, data: V175572, b: 0, V309] * (~(curr = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,curr,next,end,0) * (~(tmp >= v)) --Imp-- 441 less -> [n: 0, data: V175572, b: 0, V309] * (prev = 0) * (more = 0) * (hd = 0) * (~(curr = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V175552] less->b = curr; 442 less -> [n: 0, data: V175572, b: curr, V309] * (prev = 0) * (more = 0) * (hd = 0) * (~(curr = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V175552] --Imp-- 443 less -> [n: 0, data: V175572, b: curr, V309] * (prev = 0) * (more = 0) * (hd = 0) * (~(curr = 0)) * (~(V175572 >= v)) * (~(less = 0)) * Dll(V174365,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V175552] less = curr; 444 (less = curr) * V186677 -> [n: 0, data: V175572, b: curr, V309] * (prev = 0) * (more = 0) * (hd = 0) * (~(curr = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) * Dll(V174365,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V186677, data: tmp, b: 0, V175552] --Imp-- 445 (less = curr) * V186677 -> [n: 0, data: V175572, b: curr, V309] * (prev = 0) * (more = 0) * (hd = 0) * (~(curr = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) * Dll(V174365,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V186677, data: tmp, b: 0, V175552] --Imp-- 446 less -> [n: V186677, data: tmp, b: 0, V175552] * (less = curr) * (prev = 0) * (more = 0) * (hd = 0) * V186677 -> [n: 0, data: V175572, b: curr, V309] * (~(tmp >= v)) * Dll(V174365,curr,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(curr = 0)) less->b = (struct list *)0; 447 less -> [n: V186677, data: tmp, b: 0, V175552] * (less = curr) * (prev = 0) * (more = 0) * (hd = 0) * V186677 -> [n: 0, data: V175572, b: curr, V309] * (~(tmp >= v)) * Dll(V174365,curr,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(curr = 0)) --Imp-- 448 less -> [n: V186677, data: tmp, b: 0, V175552] * (less = curr) * (prev = 0) * (more = 0) * (hd = 0) * V186677 -> [n: 0, data: V175572, b: curr, V309] * (~(tmp >= v)) * Dll(V174365,curr,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(curr = 0)) curr = next; 449 (curr = next) * less -> [n: V186677, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * V186677 -> [n: 0, data: V175572, b: less, V309] * (~(tmp >= v)) * Dll(V174365,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) if((unsigned int )curr != (unsigned int )((Listp )0)) { 451 (~(curr = 0)) * (curr = next) * less -> [n: V186677, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * V186677 -> [n: 0, data: V175572, b: less, V309] * (~(tmp >= v)) * Dll(V174365,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) --Imp-- 452 (~(curr = 0)) * (curr = next) * less -> [n: V186677, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * V186677 -> [n: 0, data: V175572, b: less, V309] * (~(tmp >= v)) * Dll(V174365,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) --Imp-- 453 curr -> [n: V187005, b: less, V187006] * (curr = next) * (prev = 0) * (more = 0) * (hd = 0) * Dll((V174365 - 1),next,V187005,end,0) * (~(tmp >= v)) * V186677 -> [n: 0, data: V175572, b: less, V309] * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(next = 0)) * less -> [n: V186677, data: tmp, b: 0, V175552] curr->b = (struct list *)0; 454 curr -> [n: V187005, b: 0, V187006] * (curr = next) * (prev = 0) * (more = 0) * (hd = 0) * Dll((V174365 - 1),next,V187005,end,0) * (~(tmp >= v)) * V186677 -> [n: 0, data: V175572, b: less, V309] * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(next = 0)) * less -> [n: V186677, data: tmp, b: 0, V175552] --Abs-- V187134 = V174365 - 1; V187108 = 2; 455 label455: 456 457 Dll(V187134,next,V187005,end,0) * (hd = 0) * (more = 0) * (prev = 0) * (curr = next) * curr -> [n: V187005, b: 0, V187006] * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(next = 0)) * (~(tmp >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) --Imp-- 458 curr -> [n: V187005, data: V188315, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (curr = next) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(next = 0)) * (~(tmp >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,next,V187005,end,0) tmp = curr->data; 459 curr -> [n: V187005, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (curr = next) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(next = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,next,V187005,end,0) if(tmp >= v) { 461 (tmp >= v) * curr -> [n: V187005, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (curr = next) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(next = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,next,V187005,end,0) --Imp-- 462 curr -> [n: V187005, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (curr = next) * (tmp >= v) * Dll(V187134,next,V187005,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(next = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) next = curr->n; 463 curr -> [n: next, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (tmp >= v) * Dll(V187134,curr,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) --Imp-- 464 curr -> [n: next, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (tmp >= v) * Dll(V187134,curr,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) --Imp-- 465 curr -> [n: next, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(curr = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,curr,next,end,0) * (tmp >= v) curr->n = more; 466 467 curr -> [n: more, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(curr = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,curr,next,end,0) * (tmp >= v) --Imp-- 468 curr -> [n: more, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(curr = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,curr,next,end,0) * (tmp >= v) more = curr; 469 (more = curr) * curr -> [n: 0, data: tmp, b: 0, V188316] * (hd = 0) * (prev = 0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(curr = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,curr,next,end,0) * (tmp >= v) --Imp-- 470 (more = curr) * curr -> [n: 0, data: tmp, b: 0, V188316] * (hd = 0) * (prev = 0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(curr = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,curr,next,end,0) * (tmp >= v) --Imp-- 471 more -> [n: 0, data: tmp, b: 0, V188316] * (more = curr) * (hd = 0) * (prev = 0) * (tmp >= v) * Dll(V187134,curr,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) more->b = (struct list *)0; 472 more -> [n: 0, data: tmp, b: 0, V188316] * (more = curr) * (hd = 0) * (prev = 0) * (tmp >= v) * Dll(V187134,curr,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) --Imp-- 473 more -> [n: 0, data: tmp, b: 0, V188316] * (more = curr) * (hd = 0) * (prev = 0) * (tmp >= v) * Dll(V187134,curr,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) curr = next; 474 (curr = next) * more -> [n: 0, data: tmp, b: 0, V188316] * (hd = 0) * (prev = 0) * (tmp >= v) * Dll(V187134,more,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(more = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) if((unsigned int )curr != (unsigned int )((Listp )0)) { 476 (~(curr = 0)) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V188316] * (hd = 0) * (prev = 0) * (tmp >= v) * Dll(V187134,more,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(more = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) --Imp-- 477 (~(curr = 0)) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V188316] * (hd = 0) * (prev = 0) * (tmp >= v) * Dll(V187134,more,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(more = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) --Imp-- 478 curr -> [n: V188844, b: more, V188845] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V187134 - 1),next,V188844,end,0) * (tmp >= v) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(more = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) * (~(next = 0)) * more -> [n: 0, data: tmp, b: 0, V188316] curr->b = (struct list *)0; 479 curr -> [n: V188844, b: 0, V188845] * (curr = next) * (hd = 0) * (prev = 0) * Dll((V187134 - 1),next,V188844,end,0) * (tmp >= v) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(more = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) * (~(next = 0)) * more -> [n: 0, data: tmp, b: 0, V188316] --Abs-- V188940 = V187134 - 1; 480 Dll(V188940,next,V188844,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(more = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) * (~(next = 0)) * more -> [n: 0, data: tmp, b: 0, V188316] * (prev = 0) * (hd = 0) * (curr = next) * curr -> [n: V188844, b: 0, V188845] --Imp-- 481 Dll(V188940,next,V188844,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(more = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) * (~(next = 0)) * more -> [n: 0, data: tmp, b: 0, V188316] * (prev = 0) * (hd = 0) * (curr = next) * curr -> [n: V188844, b: 0, V188845] V205645 = tmp; V37153 = V188940; V25803 = V187108; V205813 = tmp; goto label238; } else { 475 (curr = 0) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V188316] * (hd = 0) * (prev = 0) * (tmp >= v) * Dll(V187134,more,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(more = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) --Abs-- 482 (curr = 0) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V188316] * (hd = 0) * (prev = 0) * Dll(V187134,more,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(more = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) --Imp-- 483 (curr = 0) * (curr = next) * more -> [n: 0, data: tmp, b: 0, V188316] * (hd = 0) * (prev = 0) * Dll(V187134,more,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(more = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) V213935 = tmp; V37153 = V187134; V25803 = V187108; V214067 = tmp; goto label268; } } else { 460 (~(tmp >= v)) * curr -> [n: V187005, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (curr = next) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(next = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,next,V187005,end,0) --Imp-- 484 curr -> [n: V187005, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (curr = next) * (~(tmp >= v)) * Dll(V187134,next,V187005,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(next = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) next = curr->n; 485 curr -> [n: next, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V187134,curr,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) --Imp-- 486 curr -> [n: next, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (~(tmp >= v)) * Dll(V187134,curr,next,end,0) * Dll(V187108,0,less,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) --Imp-- 487 curr -> [n: next, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(curr = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,curr,next,end,0) * (~(tmp >= v)) curr->n = less; 488 489 curr -> [n: less, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(curr = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,curr,next,end,0) * (~(tmp >= v)) --Imp-- 490 curr -> [n: less, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(curr = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll(V187108,0,less,V186677,0) * Dll(V187134,curr,next,end,0) * (~(tmp >= v)) --Imp-- 491 less -> [n: V214387, b: 0, V214388] * (hd = 0) * (more = 0) * (prev = 0) * Dll((V187108 - 1),less,V214387,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) * Dll(V187134,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V188316] less->b = curr; 492 less -> [n: V214387, b: curr, V214388] * (hd = 0) * (more = 0) * (prev = 0) * Dll((V187108 - 1),less,V214387,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) * Dll(V187134,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V188316] --Imp-- 493 less -> [n: V214387, b: curr, V214388] * (hd = 0) * (more = 0) * (prev = 0) * Dll((V187108 - 1),less,V214387,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(less = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) * Dll(V187134,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: less, data: tmp, b: 0, V188316] less = curr; 494 (less = curr) * V214434 -> [n: V214387, b: curr, V214388] * (hd = 0) * (more = 0) * (prev = 0) * Dll((V187108 - 1),V214434,V214387,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(V214434 = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) * Dll(V187134,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V214434, data: tmp, b: 0, V188316] --Imp-- 495 (less = curr) * V214434 -> [n: V214387, b: curr, V214388] * (hd = 0) * (more = 0) * (prev = 0) * Dll((V187108 - 1),V214434,V214387,V186677,0) * (~(V187108 = 0)) * (~(V188331 >= v)) * (~(curr = 0)) * (~(V214434 = 0)) * (~(V175572 >= v)) * (~(V186677 = 0)) * Dll(V187134,curr,next,end,0) * (~(tmp >= v)) * curr -> [n: V214434, data: tmp, b: 0, V188316] --Imp-- 496 less -> [n: V214434, data: tmp, b: 0, V188316] * (less = curr) * (hd = 0) * (more = 0) * (prev = 0) * V214434 -> [n: V214387, b: curr, V214388] * (~(tmp >= v)) * Dll(V187134,curr,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(V214434 = 0)) * (~(curr = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll((V187108 - 1),V214434,V214387,V186677,0) less->b = (struct list *)0; 497 less -> [n: V214434, data: tmp, b: 0, V188316] * (less = curr) * (hd = 0) * (more = 0) * (prev = 0) * V214434 -> [n: V214387, b: curr, V214388] * (~(tmp >= v)) * Dll(V187134,curr,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(V214434 = 0)) * (~(curr = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll((V187108 - 1),V214434,V214387,V186677,0) --Imp-- 498 less -> [n: V214434, data: tmp, b: 0, V188316] * (less = curr) * (hd = 0) * (more = 0) * (prev = 0) * V214434 -> [n: V214387, b: curr, V214388] * (~(tmp >= v)) * Dll(V187134,curr,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(V214434 = 0)) * (~(curr = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll((V187108 - 1),V214434,V214387,V186677,0) curr = next; 499 (curr = next) * less -> [n: V214434, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * V214434 -> [n: V214387, b: less, V214388] * (~(tmp >= v)) * Dll(V187134,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(V214434 = 0)) * (~(less = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll((V187108 - 1),V214434,V214387,V186677,0) if((unsigned int )curr != (unsigned int )((Listp )0)) { 501 (~(curr = 0)) * (curr = next) * less -> [n: V214434, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * V214434 -> [n: V214387, b: less, V214388] * (~(tmp >= v)) * Dll(V187134,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(V214434 = 0)) * (~(less = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll((V187108 - 1),V214434,V214387,V186677,0) --Imp-- 502 (~(curr = 0)) * (curr = next) * less -> [n: V214434, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * V214434 -> [n: V214387, b: less, V214388] * (~(tmp >= v)) * Dll(V187134,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(V214434 = 0)) * (~(less = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll((V187108 - 1),V214434,V214387,V186677,0) --Imp-- 503 curr -> [n: V214754, b: less, V214755] * (curr = next) * (hd = 0) * (more = 0) * (prev = 0) * Dll((V187134 - 1),next,V214754,end,0) * (~(tmp >= v)) * V214434 -> [n: V214387, b: less, V214388] * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(V214434 = 0)) * (~(less = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll((V187108 - 1),V214434,V214387,V186677,0) * (~(next = 0)) * less -> [n: V214434, data: tmp, b: 0, V188316] curr->b = (struct list *)0; 504 curr -> [n: V214754, b: 0, V214755] * (curr = next) * (hd = 0) * (more = 0) * (prev = 0) * Dll((V187134 - 1),next,V214754,end,0) * (~(tmp >= v)) * V214434 -> [n: V214387, b: less, V214388] * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(V214434 = 0)) * (~(less = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll((V187108 - 1),V214434,V214387,V186677,0) * (~(next = 0)) * less -> [n: V214434, data: tmp, b: 0, V188316] --Abs-- V214912 = V187134 - 1; V214866 = ((V187108 - 1) + 1) + 1; 505 Dll(V214912,next,V214754,end,0) * (~(tmp >= v)) * (prev = 0) * (more = 0) * (hd = 0) * (curr = next) * curr -> [n: V214754, b: 0, V214755] * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(V188331 >= v)) * (~(next = 0)) * (~(V214866 = 0)) * Dll(V214866,0,less,V186677,0) --Imp-- 506 Dll(V214912,next,V214754,end,0) * (~(tmp >= v)) * (prev = 0) * (more = 0) * (hd = 0) * (curr = next) * curr -> [n: V214754, b: 0, V214755] * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(V188331 >= v)) * (~(next = 0)) * (~(V214866 = 0)) * Dll(V214866,0,less,V186677,0) V187134 = V214912; V187108 = V214866; goto label455; } else { 500 (curr = 0) * (curr = next) * less -> [n: V214434, data: tmp, b: 0, V188316] * (hd = 0) * (more = 0) * (prev = 0) * V214434 -> [n: V214387, b: less, V214388] * (~(tmp >= v)) * Dll(V187134,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(V214434 = 0)) * (~(less = 0)) * (~(V188331 >= v)) * (~(V187108 = 0)) * Dll((V187108 - 1),V214434,V214387,V186677,0) --Abs-- V215157 = ((V187108 - 1) + 1) + 1; 507 label507: 508 509 Dll(V215157,0,less,V186677,0) * (~(V215157 = 0)) * (curr = next) * (curr = 0) * (~(tmp >= v)) * Dll(V187134,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(V188331 >= v)) * (hd = 0) * (more = 0) * (prev = 0) goto while_0_break; 510 Dll(V215157,0,less,V186677,0) * (~(V215157 = 0)) * (curr = next) * (curr = 0) * (~(tmp >= v)) * Dll(V187134,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(V188331 >= v)) * (hd = 0) * (more = 0) * (prev = 0) --Abs-- 511 512 Dll(V215157,0,less,V186677,0) * (~(V215157 = 0)) * (curr = next) * (curr = 0) * (~(tmp >= v)) * Dll(V187134,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (~(V188331 >= v)) * (hd = 0) * (more = 0) * (prev = 0) return; } } } else { 450 (curr = 0) * (curr = next) * less -> [n: V186677, data: tmp, b: 0, V175552] * (prev = 0) * (more = 0) * (hd = 0) * V186677 -> [n: 0, data: V175572, b: less, V309] * (~(tmp >= v)) * Dll(V174365,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) --Abs-- V215964 = 2; 513 Dll(V215964,0,less,V186677,0) * (~(V215964 = 0)) * (~(tmp >= v)) * Dll(V174365,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (curr = next) * (curr = 0) * (hd = 0) * (more = 0) * (prev = 0) --Imp-- 514 Dll(V215964,0,less,V186677,0) * (~(V215964 = 0)) * (~(tmp >= v)) * Dll(V174365,less,next,end,0) * (~(V186677 = 0)) * (~(V175572 >= v)) * (~(less = 0)) * (curr = next) * (curr = 0) * (hd = 0) * (more = 0) * (prev = 0) V215157 = V215964; V187134 = V174365; goto label507; } } } else { 400 (curr = 0) * (curr = next) * less -> [n: 0, data: tmp, b: 0, V309] * (hd = 0) * (more = 0) * (prev = 0) * (~(tmp >= v)) * (~(less = 0)) * Dll((k - 1),less,next,end,0) --Abs-- V216187 = k - 1; 515 Dll(V216187,less,next,end,0) * (~(less = 0)) * (~(tmp >= v)) * (prev = 0) * (more = 0) * (hd = 0) * less -> [n: 0, data: tmp, b: 0, V309] * (curr = next) * (curr = 0) --Imp-- 516 Dll(V216187,less,next,end,0) * (~(less = 0)) * (~(tmp >= v)) * (prev = 0) * (more = 0) * (hd = 0) * less -> [n: 0, data: tmp, b: 0, V309] * (curr = next) * (curr = 0) V216266 = tmp; V187134 = V216187; V216385 = tmp; goto label507; } } } else { 19 (curr = 0) * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * Dll(k,0,curr,end,0) goto while_0_break; 517 (curr = 0) * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * Dll(k,0,curr,end,0) --Abs-- 518 519 (curr = 0) * (hd = 0) * (more = 0) * (less = 0) * (prev = 0) * (next = 0) * Dll(k,0,curr,end,0) return; }