duplicated block id: 1
size: 20 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (1174:1210)
 - include/PatriciaTreeSet.h (957:993)

duplicated block id: 2
size: 16 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (890:906)
 - include/PatriciaTreeMap.h (1086:1102)

duplicated block id: 3
size: 15 cleaned lines of code
in 2 files:
 - include/Arity.h (22:37)
 - include/Arity.h (41:56)

duplicated block id: 4
size: 15 cleaned lines of code
in 2 files:
 - include/WeakPartialOrdering.h (492:508)
 - include/WeakPartialOrdering.h (534:550)

duplicated block id: 5
size: 13 cleaned lines of code
in 2 files:
 - include/PatriciaTreeSet.h (766:778)
 - include/PatriciaTreeSet.h (848:860)

duplicated block id: 6
size: 13 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (677:689)
 - include/PatriciaTreeMap.h (895:907)

duplicated block id: 7
size: 13 cleaned lines of code
in 2 files:
 - include/PatriciaTreeSet.h (848:860)
 - include/PatriciaTreeSet.h (902:914)

duplicated block id: 8
size: 13 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (895:907)
 - include/PatriciaTreeMap.h (1015:1027)

duplicated block id: 9
size: 13 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (677:689)
 - include/PatriciaTreeMap.h (1015:1027)

duplicated block id: 10
size: 13 cleaned lines of code
in 2 files:
 - include/PatriciaTreeSet.h (766:778)
 - include/PatriciaTreeSet.h (902:914)

duplicated block id: 11
size: 12 cleaned lines of code
in 2 files:
 - include/PatriciaTreeOverUnderSetAbstractDomain.h (210:226)
 - include/SmallSortedSetAbstractDomain.h (177:193)

duplicated block id: 12
size: 12 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (677:688)
 - include/PatriciaTreeMap.h (1091:1102)

duplicated block id: 13
size: 12 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (1015:1026)
 - include/PatriciaTreeMap.h (1091:1102)

duplicated block id: 14
size: 12 cleaned lines of code
in 2 files:
 - include/MonotonicFixpointIterator.h (352:364)
 - include/MonotonicFixpointIterator.h (521:533)

duplicated block id: 15
size: 10 cleaned lines of code
in 2 files:
 - include/HashedSetAbstractDomain.h (101:114)
 - include/SparseSetAbstractDomain.h (169:182)

duplicated block id: 16
size: 9 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (1019:1027)
 - include/PatriciaTreeSet.h (906:914)

duplicated block id: 17
size: 9 cleaned lines of code
in 2 files:
 - include/HashedAbstractEnvironment.h (198:208)
 - include/PatriciaTreeMapAbstractEnvironment.h (180:190)

duplicated block id: 18
size: 9 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (899:907)
 - include/PatriciaTreeSet.h (852:860)

duplicated block id: 19
size: 9 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (1019:1027)
 - include/PatriciaTreeSet.h (770:778)

duplicated block id: 20
size: 9 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (681:689)
 - include/PatriciaTreeSet.h (770:778)

duplicated block id: 21
size: 9 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (899:907)
 - include/PatriciaTreeSet.h (770:778)

duplicated block id: 22
size: 9 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (681:689)
 - include/PatriciaTreeSet.h (906:914)

duplicated block id: 23
size: 9 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (899:907)
 - include/PatriciaTreeSet.h (906:914)

duplicated block id: 24
size: 9 cleaned lines of code
in 2 files:
 - include/HashedAbstractEnvironment.h (133:143)
 - include/PatriciaTreeMapAbstractEnvironment.h (100:110)

duplicated block id: 25
size: 9 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (681:689)
 - include/PatriciaTreeSet.h (852:860)

duplicated block id: 26
size: 9 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (1019:1027)
 - include/PatriciaTreeSet.h (852:860)

duplicated block id: 27
size: 9 cleaned lines of code
in 2 files:
 - include/HashedAbstractEnvironment.h (112:122)
 - include/PatriciaTreeMapAbstractEnvironment.h (84:94)

duplicated block id: 28
size: 8 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (1066:1078)
 - include/PatriciaTreeSet.h (881:893)

duplicated block id: 29
size: 8 cleaned lines of code
in 2 files:
 - include/DirectProductAbstractDomain.h (81:88)
 - include/ReducedProductAbstractDomain.h (165:172)

duplicated block id: 30
size: 8 cleaned lines of code
in 2 files:
 - include/PowersetAbstractDomain.h (105:114)
 - include/SmallSortedSetAbstractDomain.h (139:148)

duplicated block id: 31
size: 8 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (1095:1102)
 - include/PatriciaTreeSet.h (906:913)

duplicated block id: 32
size: 8 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (445:460)
 - include/PatriciaTreeSet.h (321:336)

duplicated block id: 33
size: 8 cleaned lines of code
in 2 files:
 - include/MonotonicFixpointIterator.h (430:438)
 - include/MonotonicFixpointIterator.h (579:587)

duplicated block id: 34
size: 8 cleaned lines of code
in 2 files:
 - include/ConstantAbstractDomain.h (141:150)
 - include/SmallSortedSetAbstractDomain.h (177:186)

duplicated block id: 35
size: 8 cleaned lines of code
in 2 files:
 - include/ConstantAbstractDomain.h (141:150)
 - include/PatriciaTreeOverUnderSetAbstractDomain.h (210:219)

duplicated block id: 36
size: 8 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (1095:1102)
 - include/PatriciaTreeSet.h (852:859)

duplicated block id: 37
size: 8 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (221:233)
 - include/PatriciaTreeSet.h (150:162)

duplicated block id: 38
size: 8 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (1095:1102)
 - include/PatriciaTreeSet.h (770:777)

duplicated block id: 39
size: 8 cleaned lines of code
in 2 files:
 - include/HashedAbstractEnvironment.h (294:305)
 - include/HashedAbstractPartition.h (174:185)

duplicated block id: 40
size: 8 cleaned lines of code
in 2 files:
 - include/HashedAbstractPartition.h (132:143)
 - include/PatriciaTreeMapAbstractPartition.h (127:138)

duplicated block id: 41
size: 8 cleaned lines of code
in 2 files:
 - include/PowersetAbstractDomain.h (171:180)
 - include/SmallSortedSetAbstractDomain.h (160:169)

duplicated block id: 42
size: 7 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (1036:1044)
 - include/PatriciaTreeMap.h (1105:1113)

duplicated block id: 43
size: 7 cleaned lines of code
in 2 files:
 - include/PatriciaTreeSet.h (612:621)
 - include/PatriciaTreeSet.h (655:664)

duplicated block id: 44
size: 7 cleaned lines of code
in 2 files:
 - include/HashedAbstractPartition.h (289:295)
 - include/PatriciaTreeMapAbstractPartition.h (237:243)

duplicated block id: 45
size: 7 cleaned lines of code
in 2 files:
 - include/HashedAbstractEnvironment.h (199:207)
 - include/PowersetAbstractDomain.h (187:195)

duplicated block id: 46
size: 7 cleaned lines of code
in 2 files:
 - include/PatriciaTreeSet.h (603:610)
 - include/PatriciaTreeSet.h (646:653)

duplicated block id: 47
size: 7 cleaned lines of code
in 2 files:
 - include/HashedAbstractEnvironment.h (344:354)
 - include/HashedAbstractPartition.h (244:254)

duplicated block id: 48
size: 7 cleaned lines of code
in 2 files:
 - include/HashedAbstractEnvironment.h (89:97)
 - include/PatriciaTreeMapAbstractEnvironment.h (64:72)

duplicated block id: 49
size: 7 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMapAbstractEnvironment.h (181:189)
 - include/PowersetAbstractDomain.h (187:195)

duplicated block id: 50
size: 6 cleaned lines of code
in 2 files:
 - include/MonotonicFixpointIterator.h (446:454)
 - include/MonotonicFixpointIterator.h (594:602)

duplicated block id: 51
size: 6 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (989:998)
 - include/PatriciaTreeSet.h (830:839)

duplicated block id: 52
size: 6 cleaned lines of code
in 2 files:
 - include/MonotonicFixpointIterator.h (366:373)
 - include/MonotonicFixpointIterator.h (535:542)

duplicated block id: 53
size: 6 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (715:724)
 - include/PatriciaTreeSet.h (543:552)

duplicated block id: 54
size: 6 cleaned lines of code
in 2 files:
 - include/HashedAbstractPartition.h (75:82)
 - include/PatriciaTreeMapAbstractPartition.h (84:91)

duplicated block id: 55
size: 6 cleaned lines of code
in 2 files:
 - include/HashedAbstractEnvironment.h (211:218)
 - include/HashedAbstractPartition.h (298:305)

duplicated block id: 56
size: 6 cleaned lines of code
in 2 files:
 - include/PatriciaTreeSet.h (511:517)
 - include/PatriciaTreeSet.h (569:575)

duplicated block id: 57
size: 6 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (824:833)
 - include/PatriciaTreeMap.h (859:869)

duplicated block id: 58
size: 6 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (587:593)
 - include/PatriciaTreeMap.h (810:816)

duplicated block id: 59
size: 6 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (874:883)
 - include/PatriciaTreeSet.h (742:751)

duplicated block id: 60
size: 6 cleaned lines of code
in 2 files:
 - include/HashedAbstractEnvironment.h (370:378)
 - include/HashedAbstractPartition.h (218:226)

duplicated block id: 61
size: 6 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (587:593)
 - include/PatriciaTreeMap.h (837:843)

duplicated block id: 62
size: 6 cleaned lines of code
in 2 files:
 - include/PatriciaTreeMap.h (810:816)
 - include/PatriciaTreeMap.h (837:843)

duplicated block id: 63
size: 6 cleaned lines of code
in 2 files:
 - include/PatriciaTreeSetAbstractDomain.h (55:64)
 - include/SmallSortedSetAbstractDomain.h (49:58)

duplicated block id: 64
size: 6 cleaned lines of code
in 2 files:
 - include/HashedAbstractEnvironment.h (20:27)
 - include/HashedAbstractEnvironment.h (225:242)

duplicated block id: 65
size: 6 cleaned lines of code
in 2 files:
 - include/PatriciaTreeSet.h (671:677)
 - include/PatriciaTreeSet.h (712:718)

duplicated block id: 66
size: 6 cleaned lines of code
in 2 files:
 - include/HashedAbstractEnvironment.h (102:107)
 - include/PatriciaTreeMapAbstractEnvironment.h (75:80)

duplicated block id: 67
size: 6 cleaned lines of code
in 2 files:
 - include/AbstractDomain.h (75:80)
 - include/AbstractDomain.h (252:257)