duplicated block id: 1 size: 102 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (67:177) - impl/src/tooling/icpp/transpiler/icpp_exp.ts (71:181) duplicated block id: 2 size: 57 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7033:7089) - impl/build/include/headers/json/json.hpp (9356:9412) duplicated block id: 3 size: 39 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (22:64) - impl/src/tooling/icpp/transpiler/icpp_exp.ts (25:68) duplicated block id: 4 size: 36 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.h (34:69) - impl/src/tooling/verifier/smttype_emitter.ts (14:49) duplicated block id: 5 size: 35 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7090:7124) - impl/build/include/headers/json/json.hpp (9414:9448) duplicated block id: 6 size: 32 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (9490:9521) - impl/build/include/headers/json/json.hpp (9702:9733) duplicated block id: 7 size: 28 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7062:7089) - impl/build/include/headers/json/json.hpp (8699:8726) duplicated block id: 8 size: 28 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (8734:8761) - impl/build/include/headers/json/json.hpp (9417:9444) duplicated block id: 9 size: 28 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7093:7120) - impl/build/include/headers/json/json.hpp (8734:8761) duplicated block id: 10 size: 28 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (8699:8726) - impl/build/include/headers/json/json.hpp (9385:9412) duplicated block id: 11 size: 24 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (8596:8619) - impl/build/include/headers/json/json.hpp (9321:9344) duplicated block id: 12 size: 24 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (9137:9160) - impl/build/include/headers/json/json.hpp (9385:9408) duplicated block id: 13 size: 24 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (9042:9065) - impl/build/include/headers/json/json.hpp (9417:9440) duplicated block id: 14 size: 24 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (8823:8846) - impl/build/include/headers/json/json.hpp (9702:9725) duplicated block id: 15 size: 24 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (8699:8722) - impl/build/include/headers/json/json.hpp (9137:9160) duplicated block id: 16 size: 24 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (8647:8670) - impl/build/include/headers/json/json.hpp (9353:9376) duplicated block id: 17 size: 24 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (8823:8846) - impl/build/include/headers/json/json.hpp (9490:9513) duplicated block id: 18 size: 24 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (8734:8757) - impl/build/include/headers/json/json.hpp (9042:9065) duplicated block id: 19 size: 24 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7093:7116) - impl/build/include/headers/json/json.hpp (9042:9065) duplicated block id: 20 size: 24 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7062:7085) - impl/build/include/headers/json/json.hpp (9137:9160) duplicated block id: 21 size: 22 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (5886:5928) - impl/build/include/headers/json/json.hpp (6061:6103) duplicated block id: 22 size: 21 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7033:7053) - impl/build/include/headers/json/json.hpp (8650:8670) duplicated block id: 23 size: 20 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (486:520) - impl/src/tooling/icpp/interpreter/op_eval.cpp (526:560) duplicated block id: 24 size: 20 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (446:480) - impl/src/tooling/icpp/interpreter/op_eval.cpp (526:560) duplicated block id: 25 size: 20 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (446:480) - impl/src/tooling/icpp/interpreter/op_eval.cpp (486:520) duplicated block id: 26 size: 20 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (172:204) - impl/src/tooling/verifier/evaluator/workflows.cpp (257:288) duplicated block id: 27 size: 18 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (110:135) - impl/src/tooling/verifier/evaluator/workflows.cpp (288:313) duplicated block id: 28 size: 18 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1731:1748) - impl/build/include/headers/json/json.hpp (1775:1792) duplicated block id: 29 size: 18 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp (369:386) - impl/src/tooling/icpp/transpiler/icpp_assembly.ts (108:125) duplicated block id: 30 size: 17 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1609:1625) - impl/build/include/headers/json/json.hpp (1646:1662) duplicated block id: 31 size: 16 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (1607:1629) - impl/src/compiler/mir_ops.ts (1645:1667) duplicated block id: 32 size: 16 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (8769:8784) - impl/build/include/headers/json/json.hpp (9452:9467) duplicated block id: 33 size: 15 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (33:52) - impl/src/tooling/verifier/evaluator/workflows.cpp (86:105) duplicated block id: 34 size: 15 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7402:7423) - impl/build/include/headers/json/json.hpp (7432:7452) duplicated block id: 35 size: 15 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (86:105) - impl/src/tooling/verifier/evaluator/workflows.cpp (182:201) duplicated block id: 36 size: 15 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7135:7149) - impl/build/include/headers/json/json.hpp (8876:8890) duplicated block id: 37 size: 15 cleaned lines of code in 2 files: - impl/src/ast/assembly.ts (186:205) - impl/src/ast/assembly.ts (262:281) duplicated block id: 38 size: 15 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (33:52) - impl/src/tooling/verifier/evaluator/workflows.cpp (182:201) duplicated block id: 39 size: 15 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (86:105) - impl/src/tooling/verifier/evaluator/workflows.cpp (266:285) duplicated block id: 40 size: 15 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (33:52) - impl/src/tooling/verifier/evaluator/workflows.cpp (266:285) duplicated block id: 41 size: 15 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (12618:12649) - impl/build/include/headers/json/json.hpp (12707:12738) duplicated block id: 42 size: 15 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1609:1623) - impl/build/include/headers/json/json.hpp (1776:1790) duplicated block id: 43 size: 15 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1609:1623) - impl/build/include/headers/json/json.hpp (1732:1746) duplicated block id: 44 size: 15 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqtype.h (256:287) - impl/src/tooling/icpp/interpreter/assembly/bsqtype.h (299:330) duplicated block id: 45 size: 15 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_workflows.ts (291:309) - impl/src/tooling/verifier/smt_workflows.ts (392:410) duplicated block id: 46 size: 15 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1646:1660) - impl/build/include/headers/json/json.hpp (1732:1746) duplicated block id: 47 size: 15 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1646:1660) - impl/build/include/headers/json/json.hpp (1776:1790) duplicated block id: 48 size: 15 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_workflows.ts (336:362) - impl/src/tooling/verifier/smt_workflows.ts (444:470) duplicated block id: 49 size: 14 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7610:7627) - impl/build/include/headers/json/json.hpp (7636:7653) duplicated block id: 50 size: 14 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1332:1345) - impl/build/include/headers/json/json.hpp (1777:1790) duplicated block id: 51 size: 14 cleaned lines of code in 2 files: - bosque-language-tools/out/extension.js (23:41) - bosque-language-tools/src/extension.ts (25:44) duplicated block id: 52 size: 14 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (21202:21222) - impl/build/include/headers/json/json.hpp (21316:21336) duplicated block id: 53 size: 14 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (13633:13660) - impl/build/include/headers/json/json.hpp (13704:13731) duplicated block id: 54 size: 14 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1332:1345) - impl/build/include/headers/json/json.hpp (1733:1746) duplicated block id: 55 size: 14 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1332:1345) - impl/build/include/headers/json/json.hpp (1647:1660) duplicated block id: 56 size: 14 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1220:1236) - impl/build/include/headers/json/json.hpp (1780:1795) duplicated block id: 57 size: 14 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1332:1345) - impl/build/include/headers/json/json.hpp (1610:1623) duplicated block id: 58 size: 14 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (5393:5416) - impl/build/include/headers/json/json.hpp (5451:5474) duplicated block id: 59 size: 13 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h (845:871) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h (890:916) duplicated block id: 60 size: 13 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtdecls_emitter.ts (1199:1211) - impl/src/tooling/verifier/smtdecls_emitter.ts (1237:1249) duplicated block id: 61 size: 13 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqtype.h (218:244) - impl/src/tooling/icpp/interpreter/assembly/bsqtype.h (570:596) duplicated block id: 62 size: 13 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (2275:2291) - impl/src/compiler/mir_ops.ts (2319:2335) duplicated block id: 63 size: 13 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1220:1232) - impl/build/include/headers/json/json.hpp (1736:1748) duplicated block id: 64 size: 13 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runner.cpp (125:150) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (754:779) duplicated block id: 65 size: 13 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7519:7533) - impl/build/include/headers/json/json.hpp (7545:7559) duplicated block id: 66 size: 13 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (5970:5998) - impl/build/include/headers/json/json.hpp (6220:6257) duplicated block id: 67 size: 13 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7585:7600) - impl/build/include/headers/json/json.hpp (7638:7653) duplicated block id: 68 size: 13 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7585:7600) - impl/build/include/headers/json/json.hpp (7612:7627) duplicated block id: 69 size: 13 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_assembly.ts (187:202) - impl/src/tooling/verifier/smt_assembly.ts (207:222) duplicated block id: 70 size: 13 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_workflows.ts (528:547) - impl/src/tooling/verifier/smt_workflows.ts (613:632) duplicated block id: 71 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1473:1484) - impl/build/include/headers/json/json.hpp (1580:1591) duplicated block id: 72 size: 12 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (74:98) - impl/src/tooling/verifier/evaluator/decls.cpp (1136:1160) duplicated block id: 73 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1472:1483) - impl/build/include/headers/json/json.hpp (1612:1623) duplicated block id: 74 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1472:1483) - impl/build/include/headers/json/json.hpp (1649:1660) duplicated block id: 75 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1472:1483) - impl/build/include/headers/json/json.hpp (1735:1746) duplicated block id: 76 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7482:7495) - impl/build/include/headers/json/json.hpp (7519:7532) duplicated block id: 77 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7482:7495) - impl/build/include/headers/json/json.hpp (7545:7558) duplicated block id: 78 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7482:7495) - impl/build/include/headers/json/json.hpp (7610:7623) duplicated block id: 79 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7482:7495) - impl/build/include/headers/json/json.hpp (7636:7649) duplicated block id: 80 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1472:1483) - impl/build/include/headers/json/json.hpp (1779:1790) duplicated block id: 81 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7545:7558) - impl/build/include/headers/json/json.hpp (7610:7623) duplicated block id: 82 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7181:7192) - impl/build/include/headers/json/json.hpp (9641:9652) duplicated block id: 83 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7519:7532) - impl/build/include/headers/json/json.hpp (7636:7649) duplicated block id: 84 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7519:7532) - impl/build/include/headers/json/json.hpp (7610:7623) duplicated block id: 85 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7545:7558) - impl/build/include/headers/json/json.hpp (7636:7649) duplicated block id: 86 size: 12 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1334:1345) - impl/build/include/headers/json/json.hpp (1472:1483) duplicated block id: 87 size: 12 cleaned lines of code in 2 files: - bosque-language-tools/out/extension.js (51:67) - bosque-language-tools/src/extension.ts (55:72) duplicated block id: 88 size: 12 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (45:69) - impl/src/tooling/verifier/evaluator/decls.cpp (1107:1131) duplicated block id: 89 size: 12 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h (452:476) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h (845:869) duplicated block id: 90 size: 12 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h (452:476) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h (890:914) duplicated block id: 91 size: 12 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtcollection_emitter.ts (932:946) - impl/src/tooling/verifier/smtcollection_emitter.ts (967:981) duplicated block id: 92 size: 12 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (133:154) - impl/src/tooling/verifier/evaluator/decls.cpp (261:282) duplicated block id: 93 size: 11 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (227:245) - impl/src/tooling/verifier/evaluator/decls.cpp (280:298) duplicated block id: 94 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7438:7449) - impl/build/include/headers/json/json.hpp (7485:7496) duplicated block id: 95 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7521:7532) - impl/build/include/headers/json/json.hpp (7585:7596) duplicated block id: 96 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1272:1282) - impl/build/include/headers/json/json.hpp (1335:1345) duplicated block id: 97 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1272:1282) - impl/build/include/headers/json/json.hpp (1580:1590) duplicated block id: 98 size: 11 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (1073:1090) - impl/src/compiler/mir_ops.ts (1140:1157) duplicated block id: 99 size: 11 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_exp.ts (221:237) - impl/src/tooling/verifier/smt_exp.ts (270:286) duplicated block id: 100 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1272:1282) - impl/build/include/headers/json/json.hpp (1473:1483) duplicated block id: 101 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1220:1230) - impl/build/include/headers/json/json.hpp (1580:1590) duplicated block id: 102 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1220:1230) - impl/build/include/headers/json/json.hpp (1473:1483) duplicated block id: 103 size: 11 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (282:295) - impl/src/runtimes/bsqcheck.ts (330:343) duplicated block id: 104 size: 11 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtcollection_emitter.ts (770:782) - impl/src/tooling/verifier/smtcollection_emitter.ts (820:832) duplicated block id: 105 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1220:1230) - impl/build/include/headers/json/json.hpp (1613:1623) duplicated block id: 106 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1272:1282) - impl/build/include/headers/json/json.hpp (1736:1746) duplicated block id: 107 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1272:1282) - impl/build/include/headers/json/json.hpp (1650:1660) duplicated block id: 108 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1272:1282) - impl/build/include/headers/json/json.hpp (1613:1623) duplicated block id: 109 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1220:1230) - impl/build/include/headers/json/json.hpp (1650:1660) duplicated block id: 110 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1580:1590) - impl/build/include/headers/json/json.hpp (1613:1623) duplicated block id: 111 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1580:1590) - impl/build/include/headers/json/json.hpp (1650:1660) duplicated block id: 112 size: 11 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtcollection_emitter.ts (739:752) - impl/src/tooling/verifier/smtcollection_emitter.ts (789:802) duplicated block id: 113 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1580:1590) - impl/build/include/headers/json/json.hpp (1736:1746) duplicated block id: 114 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7408:7419) - impl/build/include/headers/json/json.hpp (7485:7496) duplicated block id: 115 size: 11 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (156:177) - impl/src/tooling/verifier/evaluator/decls.cpp (284:305) duplicated block id: 116 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1335:1345) - impl/build/include/headers/json/json.hpp (1580:1590) duplicated block id: 117 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1272:1282) - impl/build/include/headers/json/json.hpp (1780:1790) duplicated block id: 118 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1580:1590) - impl/build/include/headers/json/json.hpp (1780:1790) duplicated block id: 119 size: 11 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (82:101) - impl/src/tooling/verifier/evaluator/decls.cpp (210:229) duplicated block id: 120 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1220:1230) - impl/build/include/headers/json/json.hpp (1335:1345) duplicated block id: 121 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1220:1230) - impl/build/include/headers/json/json.hpp (1272:1282) duplicated block id: 122 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7547:7558) - impl/build/include/headers/json/json.hpp (7585:7596) duplicated block id: 123 size: 11 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7484:7495) - impl/build/include/headers/json/json.hpp (7585:7596) duplicated block id: 124 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7612:7621) - impl/build/include/headers/json/json.hpp (7987:7996) duplicated block id: 125 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7438:7448) - impl/build/include/headers/json/json.hpp (7522:7532) duplicated block id: 126 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7438:7448) - impl/build/include/headers/json/json.hpp (7548:7558) duplicated block id: 127 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7484:7493) - impl/build/include/headers/json/json.hpp (7987:7996) duplicated block id: 128 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7585:7594) - impl/build/include/headers/json/json.hpp (7987:7996) duplicated block id: 129 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1072:1081) - impl/build/include/headers/json/json.hpp (1220:1229) duplicated block id: 130 size: 10 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (1569:1581) - impl/src/compiler/mir_ops.ts (1607:1619) duplicated block id: 131 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1072:1081) - impl/build/include/headers/json/json.hpp (1272:1281) duplicated block id: 132 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1072:1081) - impl/build/include/headers/json/json.hpp (1335:1344) duplicated block id: 133 size: 10 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (1569:1581) - impl/src/compiler/mir_ops.ts (1645:1657) duplicated block id: 134 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7408:7418) - impl/build/include/headers/json/json.hpp (7586:7596) duplicated block id: 135 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7408:7418) - impl/build/include/headers/json/json.hpp (7613:7623) duplicated block id: 136 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7638:7647) - impl/build/include/headers/json/json.hpp (7987:7996) duplicated block id: 137 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7438:7448) - impl/build/include/headers/json/json.hpp (7586:7596) duplicated block id: 138 size: 10 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_workflows.ts (413:425) - impl/src/tooling/verifier/smt_workflows.ts (579:591) duplicated block id: 139 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7438:7448) - impl/build/include/headers/json/json.hpp (7613:7623) duplicated block id: 140 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7438:7448) - impl/build/include/headers/json/json.hpp (7639:7649) duplicated block id: 141 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7408:7418) - impl/build/include/headers/json/json.hpp (7639:7649) duplicated block id: 142 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1072:1081) - impl/build/include/headers/json/json.hpp (1613:1622) duplicated block id: 143 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1072:1081) - impl/build/include/headers/json/json.hpp (1473:1482) duplicated block id: 144 size: 10 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (2261:2272) - impl/src/compiler/mir_ops.ts (2305:2316) duplicated block id: 145 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1072:1081) - impl/build/include/headers/json/json.hpp (1580:1589) duplicated block id: 146 size: 10 cleaned lines of code in 2 files: - impl/src/tooling/icpp/transpiler/icpptype_emitter.ts (75:89) - impl/src/tooling/icpp/transpiler/icpptype_emitter.ts (121:135) duplicated block id: 147 size: 10 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp (471:481) - impl/src/tooling/icpp/interpreter/assembly/bsqassembly.cpp (497:507) duplicated block id: 148 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7521:7530) - impl/build/include/headers/json/json.hpp (7987:7996) duplicated block id: 149 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7547:7556) - impl/build/include/headers/json/json.hpp (7987:7996) duplicated block id: 150 size: 10 cleaned lines of code in 2 files: - impl/src/tooling/icpp/transpiler/iccp_workflows.ts (61:72) - impl/src/tooling/verifier/smt_workflows.ts (75:86) duplicated block id: 151 size: 10 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (793:809) - impl/src/tooling/verifier/evaluator/decls.cpp (831:847) duplicated block id: 152 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7408:7418) - impl/build/include/headers/json/json.hpp (7522:7532) duplicated block id: 153 size: 10 cleaned lines of code in 2 files: - impl/src/ast/assembly.ts (2289:2303) - impl/src/compiler/mir_assembly.ts (899:913) duplicated block id: 154 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7408:7418) - impl/build/include/headers/json/json.hpp (7548:7558) duplicated block id: 155 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (14547:14564) - impl/build/include/headers/json/json.hpp (14610:14628) duplicated block id: 156 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1072:1081) - impl/build/include/headers/json/json.hpp (1780:1789) duplicated block id: 157 size: 10 cleaned lines of code in 2 files: - impl/src/ast/assembly.ts (2331:2345) - impl/src/compiler/mir_assembly.ts (947:961) duplicated block id: 158 size: 10 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtdecls_emitter.ts (435:446) - impl/src/tooling/verifier/smtdecls_emitter.ts (473:484) duplicated block id: 159 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (3857:3872) - impl/build/include/headers/json/json.hpp (4137:4152) duplicated block id: 160 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1072:1081) - impl/build/include/headers/json/json.hpp (1650:1659) duplicated block id: 161 size: 10 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (1072:1081) - impl/build/include/headers/json/json.hpp (1736:1745) duplicated block id: 162 size: 10 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_workflows.ts (312:324) - impl/src/tooling/verifier/smt_workflows.ts (501:513) duplicated block id: 163 size: 10 cleaned lines of code in 2 files: - bosque-language-tools/out/extension.js (77:91) - bosque-language-tools/src/extension.ts (83:97) duplicated block id: 164 size: 9 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7408:7416) - impl/build/include/headers/json/json.hpp (7988:7996) duplicated block id: 165 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (75:88) - impl/src/tooling/verifier/evaluator/decls.cpp (126:139) duplicated block id: 166 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (125:142) - impl/src/tooling/verifier/evaluator/decls.cpp (1187:1204) duplicated block id: 167 size: 9 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (125:135) - impl/src/runtimes/bsqcheck.ts (161:171) duplicated block id: 168 size: 9 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (315:327) - impl/src/runtimes/bsqcheck.ts (363:375) duplicated block id: 169 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/core/bsqmemory.h (572:583) - impl/src/tooling/icpp/interpreter/core/bsqmemory.h (637:648) duplicated block id: 170 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (179:198) - impl/src/tooling/verifier/evaluator/decls.cpp (307:326) duplicated block id: 171 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_workflows.ts (267:276) - impl/src/tooling/verifier/smt_workflows.ts (366:375) duplicated block id: 172 size: 9 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (10863:10877) - impl/build/include/headers/json/json.hpp (11054:11069) duplicated block id: 173 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (846:863) - impl/src/tooling/icpp/interpreter/op_eval.cpp (866:882) duplicated block id: 174 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (203:216) - impl/src/tooling/verifier/evaluator/decls.cpp (254:267) duplicated block id: 175 size: 9 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7438:7446) - impl/build/include/headers/json/json.hpp (7988:7996) duplicated block id: 176 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (147:164) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (169:186) duplicated block id: 177 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (1209:1226) - impl/src/tooling/verifier/evaluator/decls.cpp (1231:1248) duplicated block id: 178 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtcollection_emitter.ts (948:957) - impl/src/tooling/verifier/smtcollection_emitter.ts (983:992) duplicated block id: 179 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/core/bsqmemory.h (502:513) - impl/src/tooling/icpp/interpreter/core/bsqmemory.h (637:648) duplicated block id: 180 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (147:164) - impl/src/tooling/verifier/evaluator/decls.cpp (1231:1248) duplicated block id: 181 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (169:186) - impl/src/tooling/verifier/evaluator/decls.cpp (1209:1226) duplicated block id: 182 size: 9 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7463:7477) - impl/build/include/headers/json/json.hpp (7499:7513) duplicated block id: 183 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1344:1358) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1375:1389) duplicated block id: 184 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (147:164) - impl/src/tooling/verifier/evaluator/decls.cpp (1209:1226) duplicated block id: 185 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (362:378) - impl/src/tooling/icpp/interpreter/op_eval.cpp (418:434) duplicated block id: 186 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (362:378) - impl/src/tooling/icpp/interpreter/op_eval.cpp (390:406) duplicated block id: 187 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (169:186) - impl/src/tooling/verifier/evaluator/decls.cpp (1231:1248) duplicated block id: 188 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (390:406) - impl/src/tooling/icpp/interpreter/op_eval.cpp (418:434) duplicated block id: 189 size: 9 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (125:135) - impl/src/runtimes/bsqcheck.ts (143:153) duplicated block id: 190 size: 9 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (14001:14016) - impl/build/include/headers/json/json.hpp (14089:14104) duplicated block id: 191 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_exp.ts (496:509) - impl/src/tooling/verifier/smt_exp.ts (523:536) duplicated block id: 192 size: 9 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (143:153) - impl/src/runtimes/bsqcheck.ts (161:171) duplicated block id: 193 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.h (48:58) - impl/src/tooling/icpp/interpreter/op_eval.h (70:80) duplicated block id: 194 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (103:121) - impl/src/tooling/verifier/evaluator/decls.cpp (231:249) duplicated block id: 195 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/core/bsqmemory.h (502:513) - impl/src/tooling/icpp/interpreter/core/bsqmemory.h (572:583) duplicated block id: 196 size: 9 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (103:120) - impl/src/tooling/verifier/evaluator/decls.cpp (1165:1182) duplicated block id: 197 size: 8 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (8785:8792) - impl/build/include/headers/json/json.hpp (9471:9478) duplicated block id: 198 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (156:170) - impl/src/tooling/verifier/evaluator/decls.cpp (231:245) duplicated block id: 199 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (390:403) - impl/src/tooling/icpp/interpreter/op_eval.cpp (528:541) duplicated block id: 200 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (390:403) - impl/src/tooling/icpp/interpreter/op_eval.cpp (448:461) duplicated block id: 201 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (390:403) - impl/src/tooling/icpp/interpreter/op_eval.cpp (488:501) duplicated block id: 202 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_assembly.ts (468:475) - impl/src/tooling/verifier/smt_assembly.ts (479:486) duplicated block id: 203 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/common.h (182:189) - impl/src/tooling/icpp/transpiler/icpp_assembly.ts (25:32) duplicated block id: 204 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (2257:2266) - impl/src/tooling/icpp/interpreter/op_eval.cpp (2288:2297) duplicated block id: 205 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (945:952) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (1012:1019) duplicated block id: 206 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (362:375) - impl/src/tooling/icpp/interpreter/op_eval.cpp (528:541) duplicated block id: 207 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (362:375) - impl/src/tooling/icpp/interpreter/op_eval.cpp (488:501) duplicated block id: 208 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (945:952) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (995:1002) duplicated block id: 209 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (149:160) - impl/src/tooling/verifier/evaluator/workflows.cpp (237:248) duplicated block id: 210 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (1062:1077) - impl/src/tooling/verifier/evaluator/decls.cpp (1082:1097) duplicated block id: 211 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (362:375) - impl/src/tooling/icpp/interpreter/op_eval.cpp (448:461) duplicated block id: 212 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (945:952) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (962:969) duplicated block id: 213 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (923:935) - impl/src/tooling/icpp/interpreter/op_eval.cpp (943:955) duplicated block id: 214 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_workflows.ts (215:223) - impl/src/tooling/verifier/smt_workflows.ts (242:250) duplicated block id: 215 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (643:655) - impl/src/tooling/icpp/interpreter/op_eval.cpp (682:694) duplicated block id: 216 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (962:969) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (995:1002) duplicated block id: 217 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (418:431) - impl/src/tooling/icpp/interpreter/op_eval.cpp (528:541) duplicated block id: 218 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (103:117) - impl/src/tooling/verifier/evaluator/decls.cpp (156:170) duplicated block id: 219 size: 8 cleaned lines of code in 2 files: - impl/build/include/headers/z3/z3_api.h (4057:4064) - impl/build/include/headers/z3/z3_api.h (4087:4094) duplicated block id: 220 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (962:969) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (1012:1019) duplicated block id: 221 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (418:431) - impl/src/tooling/icpp/interpreter/op_eval.cpp (488:501) duplicated block id: 222 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (418:431) - impl/src/tooling/icpp/interpreter/op_eval.cpp (448:461) duplicated block id: 223 size: 8 cleaned lines of code in 2 files: - impl/build/include/headers/z3/z3++.h (3810:3818) - impl/build/include/headers/z3/z3++.h (3827:3835) duplicated block id: 224 size: 8 cleaned lines of code in 2 files: - impl/src/ast/assembly.ts (2135:2144) - impl/src/ast/assembly.ts (2167:2176) duplicated block id: 225 size: 8 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (21186:21195) - impl/build/include/headers/json/json.hpp (21299:21308) duplicated block id: 226 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (995:1002) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (1012:1019) duplicated block id: 227 size: 8 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (103:117) - impl/src/tooling/verifier/evaluator/decls.cpp (284:298) duplicated block id: 228 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (622:631) - impl/src/tooling/icpp/interpreter/op_eval.cpp (661:670) duplicated block id: 229 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (622:631) - impl/src/tooling/icpp/interpreter/op_eval.cpp (682:691) duplicated block id: 230 size: 7 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (1269:1275) - impl/src/compiler/mir_ops.ts (1307:1313) duplicated block id: 231 size: 7 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (11028:11042) - impl/build/include/headers/json/json.hpp (11082:11096) duplicated block id: 232 size: 7 cleaned lines of code in 2 files: - impl/src/ast/assembly.ts (2491:2499) - impl/src/compiler/mir_assembly.ts (947:955) duplicated block id: 233 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1328:1340) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1457:1469) duplicated block id: 234 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (622:631) - impl/src/tooling/icpp/interpreter/op_eval.cpp (643:652) duplicated block id: 235 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp (128:140) - impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp (148:160) duplicated block id: 236 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (661:670) - impl/src/tooling/icpp/interpreter/op_eval.cpp (682:691) duplicated block id: 237 size: 7 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (1258:1264) - impl/src/compiler/mir_ops.ts (1295:1301) duplicated block id: 238 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (2318:2330) - impl/src/tooling/verifier/evaluator/decls.cpp (2366:2378) duplicated block id: 239 size: 7 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (1334:1340) - impl/src/compiler/mir_ops.ts (1371:1377) duplicated block id: 240 size: 7 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (1345:1351) - impl/src/compiler/mir_ops.ts (1383:1389) duplicated block id: 241 size: 7 cleaned lines of code in 2 files: - impl/src/ast/assembly.ts (2331:2339) - impl/src/ast/assembly.ts (2491:2499) duplicated block id: 242 size: 7 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (4213:4224) - impl/build/include/headers/json/json.hpp (4233:4244) duplicated block id: 243 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_workflows.ts (510:518) - impl/src/tooling/verifier/smt_workflows.ts (588:596) duplicated block id: 244 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/transpiler/icppdecls_emitter.ts (55:64) - impl/src/tooling/verifier/smtdecls_emitter.ts (873:882) duplicated block id: 245 size: 7 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (2023:2034) - impl/src/compiler/mir_ops.ts (2054:2065) duplicated block id: 246 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_workflows.ts (491:499) - impl/src/tooling/verifier/smt_workflows.ts (569:577) duplicated block id: 247 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp (243:255) - impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp (263:275) duplicated block id: 248 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/op_eval.cpp (643:652) - impl/src/tooling/icpp/interpreter/op_eval.cpp (661:670) duplicated block id: 249 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (471:477) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (502:508) duplicated block id: 250 size: 7 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (47:53) - impl/src/runtimes/bsqcheck.ts (56:62) duplicated block id: 251 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (979:993) - impl/src/tooling/verifier/evaluator/decls.cpp (1027:1041) duplicated block id: 252 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (1858:1865) - impl/src/tooling/verifier/evaluator/decls.cpp (2206:2213) duplicated block id: 253 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (407:413) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (438:444) duplicated block id: 254 size: 7 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (525:537) - impl/src/compiler/mir_ops.ts (549:561) duplicated block id: 255 size: 7 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1241:1253) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1297:1309) duplicated block id: 256 size: 7 cleaned lines of code in 2 files: - impl/build/include/headers/z3/z3++.h (2664:2671) - impl/build/include/headers/z3/z3++.h (2675:2682) duplicated block id: 257 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (487:492) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (519:524) duplicated block id: 258 size: 6 cleaned lines of code in 2 files: - impl/build/include/headers/z3/z3_api.h (5641:5646) - impl/build/include/headers/z3/z3_api.h (5655:5660) duplicated block id: 259 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtdecls_emitter.ts (293:300) - impl/src/tooling/verifier/smtdecls_emitter.ts (304:311) duplicated block id: 260 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (370:381) - impl/src/compiler/mir_ops.ts (392:403) duplicated block id: 261 size: 6 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7469:7477) - impl/build/include/headers/json/json.hpp (7562:7570) duplicated block id: 262 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (438:443) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (471:476) duplicated block id: 263 size: 6 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7133:7138) - impl/build/include/headers/json/json.hpp (9539:9544) duplicated block id: 264 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (1899:1909) - impl/src/compiler/mir_ops.ts (2084:2094) duplicated block id: 265 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (348:359) - impl/src/compiler/mir_ops.ts (370:381) duplicated block id: 266 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (438:443) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (502:507) duplicated block id: 267 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (1908:1915) - impl/src/tooling/verifier/evaluator/decls.cpp (2256:2263) duplicated block id: 268 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (326:337) - impl/src/compiler/mir_ops.ts (348:359) duplicated block id: 269 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (348:359) - impl/src/compiler/mir_ops.ts (392:403) duplicated block id: 270 size: 6 cleaned lines of code in 2 files: - bosque-language-tools/out/extension.js (14:19) - bosque-language-tools/src/extension.ts (14:20) duplicated block id: 271 size: 6 cleaned lines of code in 2 files: - impl/src/ast/assembly.ts (396:401) - impl/src/ast/assembly.ts (406:411) duplicated block id: 272 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (502:507) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (535:540) duplicated block id: 273 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (22:30) - impl/src/tooling/verifier/evaluator/workflows.cpp (237:245) duplicated block id: 274 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (73:81) - impl/src/tooling/verifier/evaluator/workflows.cpp (149:157) duplicated block id: 275 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1282:1292) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1297:1307) duplicated block id: 276 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtdecls_emitter.ts (346:352) - impl/src/tooling/verifier/smtdecls_emitter.ts (374:380) duplicated block id: 277 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (1312:1320) - impl/src/compiler/mir_ops.ts (1388:1396) duplicated block id: 278 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (566:571) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (582:587) duplicated block id: 279 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1379:1389) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1428:1438) duplicated block id: 280 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (1878:1886) - impl/src/tooling/verifier/evaluator/decls.cpp (2226:2234) duplicated block id: 281 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (414:425) - impl/src/compiler/mir_ops.ts (458:469) duplicated block id: 282 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (930:935) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (980:985) duplicated block id: 283 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (566:571) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (598:603) duplicated block id: 284 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (414:425) - impl/src/compiler/mir_ops.ts (436:447) duplicated block id: 285 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/transpiler/iccp_workflows.ts (35:44) - impl/src/tooling/verifier/smt_workflows.ts (49:58) duplicated block id: 286 size: 6 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (19041:19047) - impl/build/include/headers/json/json.hpp (21301:21307) duplicated block id: 287 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1348:1358) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1428:1438) duplicated block id: 288 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (582:587) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (598:603) duplicated block id: 289 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (438:443) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (535:540) duplicated block id: 290 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (1836:1843) - impl/src/tooling/verifier/evaluator/decls.cpp (2256:2263) duplicated block id: 291 size: 6 cleaned lines of code in 2 files: - bosque-language-tools/out/extension.js (43:48) - bosque-language-tools/src/extension.ts (46:52) duplicated block id: 292 size: 6 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (19041:19047) - impl/build/include/headers/json/json.hpp (21188:21194) duplicated block id: 293 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (2274:2280) - impl/src/tooling/verifier/evaluator/decls.cpp (2337:2343) duplicated block id: 294 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_assembly.ts (146:152) - impl/src/tooling/verifier/smt_assembly.ts (216:222) duplicated block id: 295 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_assembly.ts (146:152) - impl/src/tooling/verifier/smt_assembly.ts (196:202) duplicated block id: 296 size: 6 cleaned lines of code in 2 files: - impl/src/ast/resolved_type.ts (455:460) - impl/src/ast/type_signature.ts (98:103) duplicated block id: 297 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (471:476) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (535:540) duplicated block id: 298 size: 6 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (30:35) - impl/src/tooling/verifier/smt_workflows.ts (478:483) duplicated block id: 299 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (1043:1051) - impl/src/compiler/mir_ops.ts (1110:1118) duplicated block id: 300 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (326:337) - impl/src/compiler/mir_ops.ts (370:381) duplicated block id: 301 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (73:81) - impl/src/tooling/verifier/evaluator/workflows.cpp (237:245) duplicated block id: 302 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (326:337) - impl/src/compiler/mir_ops.ts (392:403) duplicated block id: 303 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtdecls_emitter.ts (93:99) - impl/src/tooling/verifier/smtdecls_emitter.ts (106:112) duplicated block id: 304 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smt_assembly.ts (306:311) - impl/src/tooling/verifier/smt_assembly.ts (324:329) duplicated block id: 305 size: 6 cleaned lines of code in 2 files: - impl/src/compiler/mir_ops.ts (436:447) - impl/src/compiler/mir_ops.ts (458:469) duplicated block id: 306 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (630:635) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (646:651) duplicated block id: 307 size: 6 cleaned lines of code in 2 files: - impl/src/ast/assembly.ts (335:340) - impl/src/compiler/mir_assembly.ts (229:236) duplicated block id: 308 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (22:30) - impl/src/tooling/verifier/evaluator/workflows.cpp (149:157) duplicated block id: 309 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (614:619) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (630:635) duplicated block id: 310 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (614:619) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (646:651) duplicated block id: 311 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/decls.cpp (1836:1843) - impl/src/tooling/verifier/evaluator/decls.cpp (1908:1915) duplicated block id: 312 size: 6 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (13553:13563) - impl/build/include/headers/json/json.hpp (13883:13893) duplicated block id: 313 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/evaluator/workflows.cpp (22:30) - impl/src/tooling/verifier/evaluator/workflows.cpp (73:81) duplicated block id: 314 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtdecls_emitter.ts (282:289) - impl/src/tooling/verifier/smtdecls_emitter.ts (293:300) duplicated block id: 315 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtdecls_emitter.ts (282:289) - impl/src/tooling/verifier/smtdecls_emitter.ts (304:311) duplicated block id: 316 size: 6 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (337:343) - impl/src/runtimes/bsqir.ts (38:44) duplicated block id: 317 size: 6 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (48:53) - impl/src/tooling/verifier/smt_workflows.ts (556:561) duplicated block id: 318 size: 6 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (182:189) - impl/src/runtimes/bsqcheck.ts (379:386) duplicated block id: 319 size: 6 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (7505:7513) - impl/build/include/headers/json/json.hpp (7562:7570) duplicated block id: 320 size: 6 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (22927:22936) - impl/build/include/headers/json/json.hpp (22978:22987) duplicated block id: 321 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (423:428) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (455:460) duplicated block id: 322 size: 6 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (289:295) - impl/src/runtimes/bsqir.ts (38:44) duplicated block id: 323 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp (298:306) - impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp (318:326) duplicated block id: 324 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (407:412) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (502:507) duplicated block id: 325 size: 6 cleaned lines of code in 2 files: - bosque-language-tools/out/extension.js (69:74) - bosque-language-tools/src/extension.ts (74:80) duplicated block id: 326 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtdecls_emitter.ts (54:60) - impl/src/tooling/verifier/smtdecls_emitter.ts (93:99) duplicated block id: 327 size: 6 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (13470:13479) - impl/build/include/headers/json/json.hpp (13771:13780) duplicated block id: 328 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (407:412) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (471:476) duplicated block id: 329 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/verifier/smtdecls_emitter.ts (54:60) - impl/src/tooling/verifier/smtdecls_emitter.ts (106:112) duplicated block id: 330 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp (175:183) - impl/src/tooling/icpp/interpreter/assembly/bsqtype.cpp (195:203) duplicated block id: 331 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (407:412) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (535:540) duplicated block id: 332 size: 6 cleaned lines of code in 2 files: - impl/src/runtimes/bsqcheck.ts (57:62) - impl/src/tooling/verifier/smt_workflows.ts (556:561) duplicated block id: 333 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (336:341) - impl/src/tooling/icpp/interpreter/assembly/bsqop.h (351:356) duplicated block id: 334 size: 6 cleaned lines of code in 2 files: - impl/src/ast/assembly.ts (2017:2025) - impl/src/ast/assembly.ts (2062:2070) duplicated block id: 335 size: 6 cleaned lines of code in 2 files: - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1241:1251) - impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp (1282:1292) duplicated block id: 336 size: 6 cleaned lines of code in 2 files: - impl/build/include/headers/json/json.hpp (22378:22388) - impl/build/include/headers/json/json.hpp (22414:22424) duplicated block id: 337 size: 6 cleaned lines of code in 2 files: - impl/src/ast/assembly.ts (874:882) - impl/src/ast/assembly.ts (887:895)