{"sample_number":67,"total_time":14136.0,"cpu_time":14256.0,"thread_times":[{"time":14136.0,"id":0}],"nodes":[{"self":0.0,"thread_ids":[],"callers":[{"caller":141,"callee":0,"caller_time":404.0,"total":404.0,"callee_time":404.0},{"caller":134,"callee":0,"caller_time":406.0,"total":406.0,"callee_time":406.0},{"caller":79,"callee":0,"caller_time":218.0,"total":218.0,"callee_time":218.0},{"caller":48,"callee":0,"caller_time":206.0,"total":206.0,"callee_time":206.0},{"caller":83,"callee":0,"caller_time":198.0,"total":198.0,"callee_time":198.0},{"caller":42,"callee":0,"caller_time":196.0,"total":196.0,"callee_time":196.0},{"caller":95,"callee":0,"caller_time":398.0,"total":398.0,"callee_time":398.0},{"caller":71,"callee":0,"caller_time":208.0,"total":208.0,"callee_time":208.0},{"caller":62,"callee":0,"caller_time":190.0,"total":190.0,"callee_time":190.0},{"caller":9,"callee":0,"caller_time":222.0,"total":222.0,"callee_time":222.0},{"caller":144,"callee":0,"caller_time":220.0,"total":220.0,"callee_time":220.0},{"caller":127,"callee":0,"caller_time":198.0,"total":198.0,"callee_time":198.0},{"caller":99,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":131,"callee":0,"caller_time":206.0,"total":206.0,"callee_time":206.0},{"caller":92,"callee":0,"caller_time":272.0,"total":272.0,"callee_time":136.0},{"caller":80,"callee":0,"caller_time":208.0,"total":208.0,"callee_time":208.0},{"caller":145,"callee":0,"caller_time":620.0,"total":620.0,"callee_time":271.92857142857144},{"caller":128,"callee":0,"caller_time":404.0,"total":404.0,"callee_time":404.0},{"caller":140,"callee":0,"caller_time":604.0,"total":604.0,"callee_time":604.0},{"caller":109,"callee":0,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":135,"callee":0,"caller_time":444.0,"total":444.0,"callee_time":444.0},{"caller":133,"callee":0,"caller_time":602.0,"total":602.0,"callee_time":502.0},{"caller":148,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":146,"callee":0,"caller_time":814.0,"total":814.0,"callee_time":814.0},{"caller":21,"callee":0,"caller_time":1610.0,"total":1610.0,"callee_time":805.0},{"caller":124,"callee":0,"caller_time":246.0,"total":246.0,"callee_time":20.5},{"caller":94,"callee":0,"caller_time":828.0,"total":828.0,"callee_time":828.0},{"caller":22,"callee":0,"caller_time":248.0,"total":248.0,"callee_time":248.0},{"caller":93,"callee":0,"caller_time":402.0,"total":402.0,"callee_time":235.33333333333334},{"caller":76,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":66.66666666666667},{"caller":138,"callee":0,"caller_time":814.0,"total":814.0,"callee_time":814.0},{"caller":142,"callee":0,"caller_time":240.0,"total":240.0,"callee_time":240.0},{"caller":143,"callee":0,"caller_time":816.0,"total":816.0,"callee_time":816.0},{"caller":147,"callee":0,"caller_time":870.0,"total":870.0,"callee_time":870.0}],"total":14136.0,"callees":[{"caller":0,"callee":1,"caller_time":14136.0,"total":14136.0,"callee_time":14136.0}],"src":false,"id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":0,"callee":1,"caller_time":14136.0,"total":14136.0,"callee_time":14136.0}],"total":14136.0,"callees":[{"caller":1,"callee":11,"caller_time":14136.0,"total":14136.0,"callee_time":14136.0}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:261:28","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":84,"callee":2,"caller_time":2380.0,"total":2380.0,"callee_time":941.0}],"total":2380.0,"callees":[{"caller":2,"callee":12,"caller_time":1494.0,"total":1494.0,"callee_time":1494.0},{"caller":2,"callee":16,"caller_time":686.0,"total":686.0,"callee_time":686.0},{"caller":2,"callee":19,"caller_time":66.66666666666667,"total":200.0,"callee_time":200.0}],"src":"src/core/taylor.rkt:11:0","id":"approximate9"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":3,"caller_time":1494.0,"total":1494.0,"callee_time":306.3095238095238}],"total":1494.0,"callees":[{"caller":3,"callee":93,"caller_time":166.47619047619048,"total":866.0,"callee_time":866.0},{"caller":3,"callee":17,"caller_time":628.0,"total":628.0,"callee_time":628.0}],"src":"src/core/taylor.rkt:44:15","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":4,"caller_time":1286.0,"total":1286.0,"callee_time":287.64285714285717}],"total":1286.0,"callees":[{"caller":4,"callee":84,"caller_time":428.6666666666667,"total":1286.0,"callee_time":1186.0},{"caller":4,"callee":93,"caller_time":33.333333333333336,"total":200.0,"callee_time":100.0}],"src":"src/core/taylor.rkt:67:15","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":145,"callee":5,"caller_time":1036.0,"total":1036.0,"callee_time":106.53333333333333},{"caller":133,"callee":5,"caller_time":248.0,"total":248.0,"callee_time":124.0}],"total":1284.0,"callees":[{"caller":5,"callee":13,"caller_time":1284.0,"total":1284.0,"callee_time":1284.0}],"src":false,"id":"syntax-e"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":6,"caller_time":1086.0,"total":1086.0,"callee_time":220.97619047619048}],"total":1086.0,"callees":[{"caller":6,"callee":14,"caller_time":1086.0,"total":1086.0,"callee_time":1086.0}],"src":"src/core/taylor.rkt:290:26","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":7,"caller_time":832.0,"total":832.0,"callee_time":157.47619047619048}],"total":832.0,"callees":[{"caller":7,"callee":15,"caller_time":832.0,"total":832.0,"callee_time":832.0}],"src":"src/core/taylor.rkt:300:23","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":8,"caller_time":325.0,"total":432.0,"callee_time":84.64285714285714},{"caller":34,"callee":8,"caller_time":107.0,"total":214.0,"callee_time":107.0}],"total":432.0,"callees":[{"caller":8,"callee":34,"caller_time":432.0,"total":432.0,"callee_time":432.0}],"src":false,"id":"f40"},{"self":222.0,"thread_ids":[0],"callers":[{"caller":145,"callee":9,"caller_time":424.0,"total":424.0,"callee_time":36.628571428571426}],"total":424.0,"callees":[{"caller":9,"callee":0,"caller_time":222.0,"total":222.0,"callee_time":222.0},{"caller":9,"callee":139,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":false,"id":"expand-implicit"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":10,"caller_time":406.0,"total":406.0,"callee_time":74.33333333333333}],"total":406.0,"callees":[{"caller":10,"callee":65,"caller_time":406.0,"total":406.0,"callee_time":406.0}],"src":false,"id":"f61"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":1,"callee":11,"caller_time":14136.0,"total":14136.0,"callee_time":14136.0}],"total":14136.0,"callees":[{"caller":11,"callee":18,"caller_time":14136.0,"total":14136.0,"callee_time":14136.0}],"src":"/opt/racket-7.5/share/pkgs/profile-lib/main.rkt:9:0","id":"profile-thunk16"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":2,"callee":12,"caller_time":1494.0,"total":1494.0,"callee_time":1494.0}],"total":1494.0,"callees":[{"caller":12,"callee":93,"caller_time":254.3095238095238,"total":1286.0,"callee_time":1286.0},{"caller":12,"callee":84,"caller_time":69.33333333333333,"total":208.0,"callee_time":208.0}],"src":"src/core/taylor.rkt:86:4","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":5,"callee":13,"caller_time":1284.0,"total":1284.0,"callee_time":1284.0},{"caller":136,"callee":13,"caller_time":206.0,"total":206.0,"callee_time":206.0}],"total":1490.0,"callees":[{"caller":13,"callee":133,"caller_time":1263.0,"total":1490.0,"callee_time":1490.0}],"src":false,"id":"syntax-e/no-taint"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":6,"callee":14,"caller_time":1086.0,"total":1086.0,"callee_time":1086.0}],"total":1086.0,"callees":[{"caller":14,"callee":93,"caller_time":220.97619047619048,"total":1086.0,"callee_time":1086.0}],"src":"src/core/taylor.rkt:290:52","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":7,"callee":15,"caller_time":832.0,"total":832.0,"callee_time":832.0}],"total":832.0,"callees":[{"caller":15,"callee":93,"caller_time":157.47619047619048,"total":832.0,"callee_time":832.0}],"src":"src/core/taylor.rkt:303:27","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":2,"callee":16,"caller_time":686.0,"total":686.0,"callee_time":686.0}],"total":686.0,"callees":[{"caller":16,"callee":19,"caller_time":150.0,"total":450.0,"callee_time":450.0},{"caller":16,"callee":20,"caller_time":236.0,"total":236.0,"callee_time":236.0}],"src":"src/core/taylor.rkt:29:18","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":3,"callee":17,"caller_time":628.0,"total":628.0,"callee_time":628.0}],"total":628.0,"callees":[{"caller":17,"callee":93,"caller_time":139.83333333333334,"total":628.0,"callee_time":628.0}],"src":"src/core/taylor.rkt:293:19","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":11,"callee":18,"caller_time":14136.0,"total":14136.0,"callee_time":14136.0}],"total":14136.0,"callees":[{"caller":18,"callee":21,"caller_time":12815.0,"total":14136.0,"callee_time":14136.0}],"src":"/opt/racket-7.5/share/pkgs/profile-lib/main.rkt:39:2","id":"run"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":19,"callee":19,"caller_time":433.3333333333333,"total":650.0,"callee_time":433.3333333333333},{"caller":16,"callee":19,"caller_time":150.0,"total":450.0,"callee_time":450.0},{"caller":2,"callee":19,"caller_time":66.66666666666667,"total":200.0,"callee_time":200.0}],"total":650.0,"callees":[{"caller":19,"callee":19,"caller_time":433.3333333333333,"total":650.0,"callee_time":433.3333333333333},{"caller":19,"callee":34,"caller_time":402.0,"total":402.0,"callee_time":134.0},{"caller":19,"callee":22,"caller_time":248.0,"total":248.0,"callee_time":82.66666666666667}],"src":"src/core/taylor.rkt:169:0","id":"taylor"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":16,"callee":20,"caller_time":236.0,"total":236.0,"callee_time":236.0}],"total":236.0,"callees":[{"caller":20,"callee":23,"caller_time":236.0,"total":236.0,"callee_time":236.0}],"src":"src/core/taylor.rkt:333:0","id":"taylor-quotient"},{"self":1610.0,"thread_ids":[0],"callers":[{"caller":18,"callee":21,"caller_time":12815.0,"total":14136.0,"callee_time":14136.0},{"caller":99,"callee":21,"caller_time":1321.0,"total":2642.0,"callee_time":2642.0}],"total":14136.0,"callees":[{"caller":21,"callee":24,"caller_time":9928.0,"total":9928.0,"callee_time":8914.0},{"caller":21,"callee":25,"caller_time":1590.0,"total":1590.0,"callee_time":1590.0},{"caller":21,"callee":26,"caller_time":1424.0,"total":1424.0,"callee_time":1424.0},{"caller":21,"callee":0,"caller_time":1610.0,"total":1610.0,"callee_time":805.0},{"caller":21,"callee":27,"caller_time":580.0,"total":580.0,"callee_time":580.0},{"caller":21,"callee":138,"caller_time":618.0,"total":618.0,"callee_time":309.0},{"caller":21,"callee":91,"caller_time":614.0,"total":614.0,"callee_time":307.0},{"caller":21,"callee":28,"caller_time":414.0,"total":414.0,"callee_time":207.0}],"src":false,"id":".../more-scheme.rkt:261:28"},{"self":248.0,"thread_ids":[0],"callers":[{"caller":19,"callee":22,"caller_time":248.0,"total":248.0,"callee_time":82.66666666666667}],"total":248.0,"callees":[{"caller":22,"callee":0,"caller_time":248.0,"total":248.0,"callee_time":248.0}],"src":"src/debug.rkt:110:0","id":"debug-print"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":20,"callee":23,"caller_time":236.0,"total":236.0,"callee_time":236.0}],"total":236.0,"callees":[{"caller":23,"callee":93,"caller_time":236.0,"total":236.0,"callee_time":236.0}],"src":"src/core/taylor.rkt:265:0","id":"first-nonzero-exp"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":21,"callee":24,"caller_time":9928.0,"total":9928.0,"callee_time":8914.0}],"total":9928.0,"callees":[{"caller":24,"callee":29,"caller_time":9928.0,"total":9928.0,"callee_time":9928.0}],"src":"src/mainloop.rkt:365:0","id":"run-improve47"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":21,"callee":25,"caller_time":1590.0,"total":1590.0,"callee_time":1590.0}],"total":1590.0,"callees":[{"caller":25,"callee":30,"caller_time":1590.0,"total":1590.0,"callee_time":1590.0}],"src":"src/points.rkt:179:0","id":"oracle-error"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":21,"callee":26,"caller_time":1424.0,"total":1424.0,"callee_time":1424.0}],"total":1424.0,"callees":[{"caller":26,"callee":31,"caller_time":1424.0,"total":1424.0,"callee_time":1424.0}],"src":"src/points.rkt:122:0","id":"prepare-points-intervals"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":21,"callee":27,"caller_time":580.0,"total":580.0,"callee_time":580.0}],"total":580.0,"callees":[{"caller":27,"callee":32,"caller_time":580.0,"total":580.0,"callee_time":580.0}],"src":"src/mainloop.rkt:390:0","id":"get-final-combination"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":21,"callee":28,"caller_time":414.0,"total":414.0,"callee_time":207.0}],"total":414.0,"callees":[{"caller":28,"callee":143,"caller_time":414.0,"total":414.0,"callee_time":414.0}],"src":"src/float.rkt:34:0","id":"*bit-width*"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":24,"callee":29,"caller_time":9928.0,"total":9928.0,"callee_time":9928.0}],"total":9928.0,"callees":[{"caller":29,"callee":33,"caller_time":9928.0,"total":9928.0,"callee_time":9928.0}],"src":"src/mainloop.rkt:384:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":25,"callee":30,"caller_time":1590.0,"total":1590.0,"callee_time":1590.0}],"total":1590.0,"callees":[{"caller":30,"callee":133,"caller_time":758.0,"total":1006.0,"callee_time":1006.0},{"caller":30,"callee":34,"caller_time":584.0,"total":584.0,"callee_time":584.0}],"src":"src/points.rkt:180:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":26,"callee":31,"caller_time":1424.0,"total":1424.0,"callee_time":1424.0}],"total":1424.0,"callees":[{"caller":31,"callee":35,"caller_time":802.0,"total":802.0,"callee_time":802.0},{"caller":31,"callee":36,"caller_time":622.0,"total":622.0,"callee_time":622.0}],"src":"src/points.rkt:134:4","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":27,"callee":32,"caller_time":580.0,"total":580.0,"callee_time":580.0}],"total":580.0,"callees":[{"caller":32,"callee":37,"caller_time":580.0,"total":580.0,"callee_time":580.0}],"src":"src/core/regimes.rkt:33:0","id":"infer-splitpoints"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":29,"callee":33,"caller_time":9928.0,"total":9928.0,"callee_time":9928.0}],"total":9928.0,"callees":[{"caller":33,"callee":38,"caller_time":5004.0,"total":5004.0,"callee_time":5004.0},{"caller":33,"callee":39,"caller_time":2380.0,"total":2380.0,"callee_time":2380.0},{"caller":33,"callee":40,"caller_time":1338.0,"total":1338.0,"callee_time":1338.0},{"caller":33,"callee":41,"caller_time":804.0,"total":804.0,"callee_time":804.0},{"caller":33,"callee":46,"caller_time":402.0,"total":402.0,"callee_time":402.0}],"src":"src/mainloop.rkt:346:0","id":"run-iter!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":30,"callee":34,"caller_time":584.0,"total":584.0,"callee_time":584.0},{"caller":8,"callee":34,"caller_time":432.0,"total":432.0,"callee_time":432.0},{"caller":19,"callee":34,"caller_time":402.0,"total":402.0,"callee_time":134.0}],"total":1418.0,"callees":[{"caller":34,"callee":45,"caller_time":402.0,"total":402.0,"callee_time":402.0},{"caller":34,"callee":47,"caller_time":392.0,"total":392.0,"callee_time":392.0},{"caller":34,"callee":51,"caller_time":432.0,"total":432.0,"callee_time":325.0},{"caller":34,"callee":134,"caller_time":192.0,"total":192.0,"callee_time":192.0},{"caller":34,"callee":8,"caller_time":107.0,"total":214.0,"callee_time":107.0}],"src":"/opt/racket-7.5/collects/racket/private/map.rkt:35:13","id":"map"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":31,"callee":35,"caller_time":802.0,"total":802.0,"callee_time":802.0}],"total":802.0,"callees":[{"caller":35,"callee":43,"caller_time":606.0,"total":606.0,"callee_time":606.0},{"caller":35,"callee":42,"caller_time":196.0,"total":196.0,"callee_time":196.0}],"src":"src/points.rkt:115:6","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":31,"callee":36,"caller_time":622.0,"total":622.0,"callee_time":622.0}],"total":622.0,"callees":[{"caller":36,"callee":42,"caller_time":416.0,"total":416.0,"callee_time":416.0},{"caller":36,"callee":48,"caller_time":206.0,"total":206.0,"callee_time":206.0}],"src":"src/points.rkt:79:2","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":32,"callee":37,"caller_time":580.0,"total":580.0,"callee_time":580.0}],"total":580.0,"callees":[{"caller":37,"callee":44,"caller_time":580.0,"total":580.0,"callee_time":580.0}],"src":"src/core/regimes.rkt:45:6","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":33,"callee":38,"caller_time":5004.0,"total":5004.0,"callee_time":5004.0}],"total":5004.0,"callees":[{"caller":38,"callee":49,"caller_time":5004.0,"total":5004.0,"callee_time":5004.0}],"src":"src/mainloop.rkt:278:0","id":"finalize-iter!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":33,"callee":39,"caller_time":2380.0,"total":2380.0,"callee_time":2380.0}],"total":2380.0,"callees":[{"caller":39,"callee":50,"caller_time":2380.0,"total":2380.0,"callee_time":2380.0}],"src":"src/mainloop.rkt:160:0","id":"gen-series!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":33,"callee":40,"caller_time":1338.0,"total":1338.0,"callee_time":1338.0}],"total":1338.0,"callees":[{"caller":40,"callee":52,"caller_time":1066.0,"total":1066.0,"callee_time":1066.0},{"caller":40,"callee":56,"caller_time":136.0,"total":272.0,"callee_time":272.0}],"src":"src/mainloop.rkt:224:0","id":"simplify!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":33,"callee":41,"caller_time":804.0,"total":804.0,"callee_time":804.0}],"total":804.0,"callees":[{"caller":41,"callee":54,"caller_time":602.0,"total":602.0,"callee_time":602.0},{"caller":41,"callee":58,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"src/mainloop.rkt:183:0","id":"gen-rewrites!"},{"self":196.0,"thread_ids":[0],"callers":[{"caller":36,"callee":42,"caller_time":416.0,"total":416.0,"callee_time":416.0},{"caller":35,"callee":42,"caller_time":196.0,"total":196.0,"callee_time":196.0}],"total":612.0,"callees":[{"caller":42,"callee":57,"caller_time":218.0,"total":218.0,"callee_time":218.0},{"caller":42,"callee":59,"caller_time":198.0,"total":198.0,"callee_time":198.0},{"caller":42,"callee":0,"caller_time":196.0,"total":196.0,"callee_time":196.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-higher-order.rkt:379:33","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":35,"callee":43,"caller_time":606.0,"total":606.0,"callee_time":606.0}],"total":606.0,"callees":[{"caller":43,"callee":53,"caller_time":606.0,"total":606.0,"callee_time":606.0}],"src":"src/points.rkt:14:0","id":"sample-multi-bounded"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":37,"callee":44,"caller_time":580.0,"total":580.0,"callee_time":580.0}],"total":580.0,"callees":[{"caller":44,"callee":60,"caller_time":196.0,"total":196.0,"callee_time":196.0},{"caller":44,"callee":61,"caller_time":194.0,"total":194.0,"callee_time":194.0},{"caller":44,"callee":62,"caller_time":190.0,"total":190.0,"callee_time":190.0}],"src":"src/core/regimes.rkt:124:0","id":"option-on-expr"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":34,"callee":45,"caller_time":402.0,"total":402.0,"callee_time":402.0}],"total":402.0,"callees":[{"caller":45,"callee":51,"caller_time":402.0,"total":402.0,"callee_time":402.0}],"src":"src/core/taylor.rkt:317:0","id":"taylor-invert"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":33,"callee":46,"caller_time":402.0,"total":402.0,"callee_time":402.0}],"total":402.0,"callees":[{"caller":46,"callee":55,"caller_time":402.0,"total":402.0,"callee_time":402.0}],"src":"src/mainloop.rkt:117:0","id":"choose-best-alt!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":34,"callee":47,"caller_time":392.0,"total":392.0,"callee_time":392.0}],"total":392.0,"callees":[{"caller":47,"callee":134,"caller_time":392.0,"total":392.0,"callee_time":392.0}],"src":"/opt/racket-7.5/collects/racket/private/map.rkt:40:19","id":"loop"},{"self":206.0,"thread_ids":[0],"callers":[{"caller":36,"callee":48,"caller_time":206.0,"total":206.0,"callee_time":206.0}],"total":206.0,"callees":[{"caller":48,"callee":0,"caller_time":206.0,"total":206.0,"callee_time":206.0}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:365:4","id":"hash-update!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":38,"callee":49,"caller_time":5004.0,"total":5004.0,"callee_time":5004.0}],"total":5004.0,"callees":[{"caller":49,"callee":63,"caller_time":5004.0,"total":5004.0,"callee_time":5004.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt:486:18","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":39,"callee":50,"caller_time":2380.0,"total":2380.0,"callee_time":2380.0}],"total":2380.0,"callees":[{"caller":50,"callee":64,"caller_time":2380.0,"total":2380.0,"callee_time":2380.0}],"src":"src/mainloop.rkt:167:7","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":51,"caller_time":692.0,"total":692.0,"callee_time":350.0},{"caller":34,"callee":51,"caller_time":432.0,"total":432.0,"callee_time":325.0},{"caller":45,"callee":51,"caller_time":402.0,"total":402.0,"callee_time":402.0}],"total":1526.0,"callees":[{"caller":51,"callee":65,"caller_time":1526.0,"total":1526.0,"callee_time":1526.0}],"src":false,"id":"parse-loop74"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":40,"callee":52,"caller_time":1066.0,"total":1066.0,"callee_time":1066.0}],"total":1066.0,"callees":[{"caller":52,"callee":66,"caller_time":1066.0,"total":1066.0,"callee_time":1066.0}],"src":"src/core/simplify.rkt:42:0","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":43,"callee":53,"caller_time":606.0,"total":606.0,"callee_time":606.0}],"total":606.0,"callees":[{"caller":53,"callee":70,"caller_time":398.0,"total":398.0,"callee_time":398.0},{"caller":53,"callee":71,"caller_time":208.0,"total":208.0,"callee_time":208.0}],"src":"src/common.rkt:164:0","id":"random-ranges"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":41,"callee":54,"caller_time":602.0,"total":602.0,"callee_time":602.0}],"total":602.0,"callees":[{"caller":54,"callee":67,"caller_time":602.0,"total":602.0,"callee_time":602.0}],"src":"src/mainloop.rkt:191:11","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":46,"callee":55,"caller_time":402.0,"total":402.0,"callee_time":402.0}],"total":402.0,"callees":[{"caller":55,"callee":69,"caller_time":402.0,"total":402.0,"callee_time":402.0}],"src":false,"id":"...ow-val-first.rkt:486:18"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":40,"callee":56,"caller_time":136.0,"total":272.0,"callee_time":272.0},{"caller":56,"callee":56,"caller_time":136.0,"total":272.0,"callee_time":136.0}],"total":272.0,"callees":[{"caller":56,"callee":56,"caller_time":136.0,"total":272.0,"callee_time":136.0},{"caller":56,"callee":84,"caller_time":272.0,"total":272.0,"callee_time":136.0}],"src":"src/mainloop.rkt:251:6","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":42,"callee":57,"caller_time":218.0,"total":218.0,"callee_time":218.0}],"total":218.0,"callees":[{"caller":57,"callee":68,"caller_time":218.0,"total":218.0,"callee_time":218.0}],"src":"src/biginterval.rkt:117:0","id":"ival-sub"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":41,"callee":58,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":202.0,"callees":[{"caller":58,"callee":72,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"src/mainloop.rkt:208:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":42,"callee":59,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"total":198.0,"callees":[{"caller":59,"callee":68,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"src":"src/biginterval.rkt:111:0","id":"ival-add"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":44,"callee":60,"caller_time":196.0,"total":196.0,"callee_time":196.0}],"total":196.0,"callees":[{"caller":60,"callee":91,"caller_time":196.0,"total":196.0,"callee_time":196.0}],"src":"src/core/regimes.rkt:135:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":44,"callee":61,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"total":194.0,"callees":[{"caller":61,"callee":78,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"src":"src/core/regimes.rkt:117:0","id":"sort-context-on-expr"},{"self":190.0,"thread_ids":[0],"callers":[{"caller":44,"callee":62,"caller_time":190.0,"total":190.0,"callee_time":190.0}],"total":190.0,"callees":[{"caller":62,"callee":0,"caller_time":190.0,"total":190.0,"callee_time":190.0}],"src":"src/core/regimes.rkt:128:14","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":49,"callee":63,"caller_time":5004.0,"total":5004.0,"callee_time":5004.0}],"total":5004.0,"callees":[{"caller":63,"callee":73,"caller_time":5004.0,"total":5004.0,"callee_time":5004.0}],"src":"src/core/alt-table.rkt:201:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":50,"callee":64,"caller_time":2380.0,"total":2380.0,"callee_time":2380.0}],"total":2380.0,"callees":[{"caller":64,"callee":74,"caller_time":2380.0,"total":2380.0,"callee_time":2380.0}],"src":"src/mainloop.rkt:146:0","id":"taylor-alt"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":51,"callee":65,"caller_time":1526.0,"total":1526.0,"callee_time":1526.0},{"caller":10,"callee":65,"caller_time":406.0,"total":406.0,"callee_time":406.0}],"total":1932.0,"callees":[{"caller":65,"callee":98,"caller_time":1522.0,"total":1522.0,"callee_time":1522.0},{"caller":65,"callee":80,"caller_time":208.0,"total":208.0,"callee_time":208.0},{"caller":65,"callee":78,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"src/programs.rkt:144:0","id":"eval-const-expr"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":52,"callee":66,"caller_time":1066.0,"total":1066.0,"callee_time":1066.0}],"total":1066.0,"callees":[{"caller":66,"callee":75,"caller_time":1066.0,"total":1066.0,"callee_time":1066.0}],"src":"/home/p92/.racket/7.5/pkgs/egg-herbie-linux/main.rkt:49:0","id":"egraph-run"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":54,"callee":67,"caller_time":602.0,"total":602.0,"callee_time":602.0}],"total":602.0,"callees":[{"caller":67,"callee":76,"caller_time":368.6666666666667,"total":602.0,"callee_time":602.0}],"src":"src/core/matcher.rkt:83:0","id":"rewrite-expression-head23"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":57,"callee":68,"caller_time":218.0,"total":218.0,"callee_time":218.0},{"caller":59,"callee":68,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"total":416.0,"callees":[{"caller":68,"callee":79,"caller_time":218.0,"total":218.0,"callee_time":218.0},{"caller":68,"callee":83,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"src":"/opt/racket-7.5/share/pkgs/math-lib/math/private/bigfloat/mpfr.rkt:835:4","id":"bfadd"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":55,"callee":69,"caller_time":402.0,"total":402.0,"callee_time":402.0}],"total":402.0,"callees":[{"caller":69,"callee":81,"caller_time":202.0,"total":202.0,"callee_time":202.0},{"caller":69,"callee":82,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/core/alt-table.rkt:41:0","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":53,"callee":70,"caller_time":398.0,"total":398.0,"callee_time":398.0}],"total":398.0,"callees":[{"caller":70,"callee":77,"caller_time":398.0,"total":398.0,"callee_time":398.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/guts.rkt:500:15","id":"cons/c"},{"self":208.0,"thread_ids":[0],"callers":[{"caller":53,"callee":71,"caller_time":208.0,"total":208.0,"callee_time":208.0}],"total":208.0,"callees":[{"caller":71,"callee":0,"caller_time":208.0,"total":208.0,"callee_time":208.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt:1214:0","id":"build-->"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":58,"callee":72,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":202.0,"callees":[{"caller":72,"callee":84,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"src/mainloop.rkt:209:6","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":63,"callee":73,"caller_time":5004.0,"total":5004.0,"callee_time":5004.0}],"total":5004.0,"callees":[{"caller":73,"callee":91,"caller_time":4780.0,"total":4780.0,"callee_time":4780.0},{"caller":73,"callee":89,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"src/core/alt-table.rkt:204:0","id":"atab-add-altn"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":64,"callee":74,"caller_time":2380.0,"total":2380.0,"callee_time":2380.0}],"total":2380.0,"callees":[{"caller":74,"callee":84,"caller_time":941.0,"total":2380.0,"callee_time":2380.0}],"src":"src/mainloop.rkt:152:6","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":66,"callee":75,"caller_time":1066.0,"total":1066.0,"callee_time":1066.0}],"total":1066.0,"callees":[{"caller":75,"callee":85,"caller_time":1066.0,"total":1066.0,"callee_time":1066.0}],"src":"/home/p92/.racket/7.5/pkgs/egg-herbie-linux/main.rkt:111:0","id":"egraph-add-exprs"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":67,"callee":76,"caller_time":368.6666666666667,"total":602.0,"callee_time":602.0},{"caller":101,"callee":76,"caller_time":233.33333333333334,"total":400.0,"callee_time":200.0}],"total":602.0,"callees":[{"caller":76,"callee":86,"caller_time":602.0,"total":602.0,"callee_time":535.3333333333334},{"caller":76,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":66.66666666666667}],"src":"src/core/matcher.rkt:85:2","id":"rewriter"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":70,"callee":77,"caller_time":398.0,"total":398.0,"callee_time":398.0}],"total":398.0,"callees":[{"caller":77,"callee":88,"caller_time":398.0,"total":398.0,"callee_time":398.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/guts.rkt:307:0","id":"coerce-contract"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":65,"callee":78,"caller_time":202.0,"total":202.0,"callee_time":202.0},{"caller":61,"callee":78,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"total":396.0,"callees":[{"caller":78,"callee":93,"caller_time":202.0,"total":202.0,"callee_time":202.0},{"caller":78,"callee":90,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"src":"src/programs.rkt:106:0","id":"eval-prog"},{"self":218.0,"thread_ids":[0],"callers":[{"caller":68,"callee":79,"caller_time":218.0,"total":218.0,"callee_time":218.0}],"total":218.0,"callees":[{"caller":79,"callee":0,"caller_time":218.0,"total":218.0,"callee_time":218.0}],"src":"/opt/racket-7.5/share/pkgs/math-lib/math/private/bigfloat/mpfr.rkt:348:0","id":"new-mpfr"},{"self":208.0,"thread_ids":[0],"callers":[{"caller":65,"callee":80,"caller_time":208.0,"total":208.0,"callee_time":208.0}],"total":208.0,"callees":[{"caller":80,"callee":0,"caller_time":208.0,"total":208.0,"callee_time":208.0}],"src":false,"id":"eval-one-top12"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":69,"callee":81,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":202.0,"callees":[{"caller":81,"callee":87,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"/opt/racket-7.5/collects/racket/list.rkt:765:0","id":"argmin"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":69,"callee":82,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":82,"callee":87,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"/opt/racket-7.5/collects/racket/list.rkt:751:4","id":"loop"},{"self":198.0,"thread_ids":[0],"callers":[{"caller":68,"callee":83,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"total":198.0,"callees":[{"caller":83,"callee":0,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"src":"/opt/racket-7.5/collects/ffi/unsafe.rkt:938:4","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":74,"callee":84,"caller_time":941.0,"total":2380.0,"callee_time":2380.0},{"caller":92,"callee":84,"caller_time":941.0,"total":2380.0,"callee_time":2052.0},{"caller":4,"callee":84,"caller_time":428.6666666666667,"total":1286.0,"callee_time":1186.0},{"caller":56,"callee":84,"caller_time":272.0,"total":272.0,"callee_time":136.0},{"caller":72,"callee":84,"caller_time":202.0,"total":202.0,"callee_time":202.0},{"caller":12,"callee":84,"caller_time":69.33333333333333,"total":208.0,"callee_time":208.0}],"total":2854.0,"callees":[{"caller":84,"callee":92,"caller_time":2188.0,"total":2652.0,"callee_time":1213.0},{"caller":84,"callee":2,"caller_time":2380.0,"total":2380.0,"callee_time":941.0},{"caller":84,"callee":93,"caller_time":306.3095238095238,"total":1494.0,"callee_time":498.0},{"caller":84,"callee":126,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-higher-order.rkt:375:33","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":75,"callee":85,"caller_time":1066.0,"total":1066.0,"callee_time":1066.0}],"total":1066.0,"callees":[{"caller":85,"callee":94,"caller_time":1066.0,"total":1066.0,"callee_time":1066.0}],"src":"src/core/simplify.rkt:103:6","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":76,"callee":86,"caller_time":602.0,"total":602.0,"callee_time":535.3333333333334}],"total":602.0,"callees":[{"caller":86,"callee":93,"caller_time":402.0,"total":602.0,"callee_time":502.0},{"caller":86,"callee":97,"caller_time":200.0,"total":200.0,"callee_time":100.0}],"src":"src/core/matcher.rkt:87:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":81,"callee":87,"caller_time":202.0,"total":202.0,"callee_time":202.0},{"caller":82,"callee":87,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":402.0,"callees":[{"caller":87,"callee":91,"caller_time":402.0,"total":402.0,"callee_time":402.0}],"src":"src/mainloop.rkt:114:10","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":77,"callee":88,"caller_time":398.0,"total":398.0,"callee_time":398.0}],"total":398.0,"callees":[{"caller":88,"callee":95,"caller_time":398.0,"total":398.0,"callee_time":398.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/guts.rkt:372:0","id":"coerce-contract/f"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":73,"callee":89,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":89,"callee":96,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt:555:3","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":78,"callee":90,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"total":194.0,"callees":[{"caller":90,"callee":143,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"src":"src/programs.rkt:138:15","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":73,"callee":91,"caller_time":4780.0,"total":4780.0,"callee_time":4780.0},{"caller":21,"callee":91,"caller_time":614.0,"total":614.0,"callee_time":307.0},{"caller":87,"callee":91,"caller_time":402.0,"total":402.0,"callee_time":402.0},{"caller":60,"callee":91,"caller_time":196.0,"total":196.0,"callee_time":196.0}],"total":5992.0,"callees":[{"caller":91,"callee":98,"caller_time":2930.0,"total":2930.0,"callee_time":2930.0},{"caller":91,"callee":99,"caller_time":2842.0,"total":2842.0,"callee_time":2842.0},{"caller":91,"callee":133,"caller_time":110.0,"total":220.0,"callee_time":220.0}],"src":"src/points.rkt:192:0","id":"errors"},{"self":272.0,"thread_ids":[0],"callers":[{"caller":84,"callee":92,"caller_time":2188.0,"total":2652.0,"callee_time":1213.0},{"caller":92,"callee":92,"caller_time":464.0,"total":928.0,"callee_time":464.0}],"total":2652.0,"callees":[{"caller":92,"callee":84,"caller_time":941.0,"total":2380.0,"callee_time":2052.0},{"caller":92,"callee":92,"caller_time":464.0,"total":928.0,"callee_time":464.0},{"caller":92,"callee":0,"caller_time":272.0,"total":272.0,"callee_time":136.0}],"src":"src/programs.rkt:87:0","id":"location-do"},{"self":402.0,"thread_ids":[0],"callers":[{"caller":86,"callee":93,"caller_time":402.0,"total":602.0,"callee_time":502.0},{"caller":84,"callee":93,"caller_time":306.3095238095238,"total":1494.0,"callee_time":498.0},{"caller":12,"callee":93,"caller_time":254.3095238095238,"total":1286.0,"callee_time":1286.0},{"caller":23,"callee":93,"caller_time":236.0,"total":236.0,"callee_time":236.0},{"caller":14,"callee":93,"caller_time":220.97619047619048,"total":1086.0,"callee_time":1086.0},{"caller":78,"callee":93,"caller_time":202.0,"total":202.0,"callee_time":202.0},{"caller":112,"callee":93,"caller_time":200.0,"total":400.0,"callee_time":400.0},{"caller":3,"callee":93,"caller_time":166.47619047619048,"total":866.0,"callee_time":866.0},{"caller":15,"callee":93,"caller_time":157.47619047619048,"total":832.0,"callee_time":832.0},{"caller":100,"callee":93,"caller_time":148.61904761904762,"total":632.0,"callee_time":632.0},{"caller":17,"callee":93,"caller_time":139.83333333333334,"total":628.0,"callee_time":628.0},{"caller":4,"callee":93,"caller_time":33.333333333333336,"total":200.0,"callee_time":100.0},{"caller":105,"callee":93,"caller_time":33.333333333333336,"total":200.0,"callee_time":200.0},{"caller":106,"callee":93,"caller_time":33.333333333333336,"total":200.0,"callee_time":200.0}],"total":2534.0,"callees":[{"caller":93,"callee":101,"caller_time":602.0,"total":602.0,"callee_time":602.0},{"caller":93,"callee":51,"caller_time":692.0,"total":692.0,"callee_time":350.0},{"caller":93,"callee":3,"caller_time":1494.0,"total":1494.0,"callee_time":306.3095238095238},{"caller":93,"callee":4,"caller_time":1286.0,"total":1286.0,"callee_time":287.64285714285717},{"caller":93,"callee":0,"caller_time":402.0,"total":402.0,"callee_time":235.33333333333334},{"caller":93,"callee":6,"caller_time":1086.0,"total":1086.0,"callee_time":220.97619047619048},{"caller":93,"callee":7,"caller_time":832.0,"total":832.0,"callee_time":157.47619047619048},{"caller":93,"callee":100,"caller_time":632.0,"total":632.0,"callee_time":148.61904761904762},{"caller":93,"callee":8,"caller_time":325.0,"total":432.0,"callee_time":84.64285714285714},{"caller":93,"callee":10,"caller_time":406.0,"total":406.0,"callee_time":74.33333333333333},{"caller":93,"callee":105,"caller_time":200.0,"total":200.0,"callee_time":33.333333333333336},{"caller":93,"callee":106,"caller_time":200.0,"total":200.0,"callee_time":33.333333333333336}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:376:2","id":"hash-ref!"},{"self":828.0,"thread_ids":[0],"callers":[{"caller":85,"callee":94,"caller_time":1066.0,"total":1066.0,"callee_time":1066.0}],"total":1066.0,"callees":[{"caller":94,"callee":0,"caller_time":828.0,"total":828.0,"callee_time":828.0},{"caller":94,"callee":102,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"src":"src/core/simplify.rkt:121:2","id":"for-loop"},{"self":398.0,"thread_ids":[0],"callers":[{"caller":88,"callee":95,"caller_time":398.0,"total":398.0,"callee_time":398.0}],"total":398.0,"callees":[{"caller":95,"callee":0,"caller_time":398.0,"total":398.0,"callee_time":398.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/guts.rkt:385:0","id":"coerce-simple-value"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":89,"callee":96,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":96,"callee":103,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"/opt/racket-7.5/collects/racket/hash.rkt:7:0","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":86,"callee":97,"caller_time":200.0,"total":200.0,"callee_time":100.0}],"total":200.0,"callees":[{"caller":97,"callee":104,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/core/matcher.rkt:94:8","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":91,"callee":98,"caller_time":2930.0,"total":2930.0,"callee_time":2930.0},{"caller":65,"callee":98,"caller_time":1522.0,"total":1522.0,"callee_time":1522.0}],"total":4452.0,"callees":[{"caller":98,"callee":107,"caller_time":4452.0,"total":4452.0,"callee_time":4452.0}],"src":false,"id":"temp85_0"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":91,"callee":99,"caller_time":2842.0,"total":2842.0,"callee_time":2842.0}],"total":2842.0,"callees":[{"caller":99,"callee":21,"caller_time":1321.0,"total":2642.0,"callee_time":2642.0},{"caller":99,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/points.rkt:194:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":100,"caller_time":632.0,"total":632.0,"callee_time":148.61904761904762}],"total":632.0,"callees":[{"caller":100,"callee":93,"caller_time":148.61904761904762,"total":632.0,"callee_time":632.0}],"src":"src/core/taylor.rkt:327:33","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":101,"caller_time":602.0,"total":602.0,"callee_time":602.0}],"total":602.0,"callees":[{"caller":101,"callee":108,"caller_time":602.0,"total":602.0,"callee_time":402.0},{"caller":101,"callee":76,"caller_time":233.33333333333334,"total":400.0,"callee_time":200.0}],"src":"src/core/matcher.rkt:117:2","id":"matcher"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":94,"callee":102,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"total":238.0,"callees":[{"caller":102,"callee":143,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"src":"src/debug.rkt:102:0","id":"debug5"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":96,"callee":103,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":103,"callee":109,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"/opt/racket-7.5/collects/racket/hash.rkt:14:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":97,"callee":104,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":104,"callee":110,"caller_time":100.0,"total":200.0,"callee_time":200.0}],"src":"src/core/matcher.rkt:106:2","id":"fix-up-variables"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":105,"caller_time":200.0,"total":200.0,"callee_time":33.333333333333336}],"total":200.0,"callees":[{"caller":105,"callee":93,"caller_time":33.333333333333336,"total":200.0,"callee_time":200.0}],"src":"src/core/taylor.rkt:343:33","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":106,"caller_time":200.0,"total":200.0,"callee_time":33.333333333333336}],"total":200.0,"callees":[{"caller":106,"callee":93,"caller_time":33.333333333333336,"total":200.0,"callee_time":200.0}],"src":"src/core/reduce.rkt:28:0","id":"simplify*"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":98,"callee":107,"caller_time":4452.0,"total":4452.0,"callee_time":4452.0}],"total":4452.0,"callees":[{"caller":107,"callee":111,"caller_time":4452.0,"total":4452.0,"callee_time":4452.0}],"src":false,"id":"compile15"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":101,"callee":108,"caller_time":602.0,"total":602.0,"callee_time":402.0}],"total":602.0,"callees":[{"caller":108,"callee":112,"caller_time":400.0,"total":400.0,"callee_time":400.0},{"caller":108,"callee":113,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"src/core/matcher.rkt:129:11","id":false},{"self":224.0,"thread_ids":[0],"callers":[{"caller":103,"callee":109,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":109,"callee":0,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:371:2","id":"hash-has-key?"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":104,"callee":110,"caller_time":100.0,"total":200.0,"callee_time":200.0},{"caller":110,"callee":110,"caller_time":100.0,"total":200.0,"callee_time":100.0}],"total":200.0,"callees":[{"caller":110,"callee":110,"caller_time":100.0,"total":200.0,"callee_time":100.0},{"caller":110,"callee":143,"caller_time":200.0,"total":200.0,"callee_time":100.0}],"src":"src/core/matcher.rkt:45:0","id":"pattern-substitute"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":107,"callee":111,"caller_time":4452.0,"total":4452.0,"callee_time":4452.0}],"total":4452.0,"callees":[{"caller":111,"callee":114,"caller_time":2978.0,"total":2978.0,"callee_time":2978.0},{"caller":111,"callee":115,"caller_time":1274.0,"total":1274.0,"callee_time":1274.0},{"caller":111,"callee":133,"caller_time":100.0,"total":200.0,"callee_time":200.0}],"src":false,"id":"temp91_0"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":108,"callee":112,"caller_time":400.0,"total":400.0,"callee_time":400.0}],"total":400.0,"callees":[{"caller":112,"callee":93,"caller_time":200.0,"total":400.0,"callee_time":400.0}],"src":"src/core/matcher.rkt:131:15","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":108,"callee":113,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":202.0,"callees":[{"caller":113,"callee":116,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"src/core/matcher.rkt:101:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":111,"callee":114,"caller_time":2978.0,"total":2978.0,"callee_time":2978.0}],"total":2978.0,"callees":[{"caller":114,"callee":117,"caller_time":2978.0,"total":2978.0,"callee_time":2978.0}],"src":false,"id":"temp118_0"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":111,"callee":115,"caller_time":1274.0,"total":1274.0,"callee_time":1274.0}],"total":1274.0,"callees":[{"caller":115,"callee":118,"caller_time":1274.0,"total":1274.0,"callee_time":1274.0}],"src":false,"id":"compile-top9"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":113,"callee":116,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":202.0,"callees":[{"caller":116,"callee":119,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"/opt/racket-7.5/collects/racket/private/list.rkt:229:4","id":"foldl"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":114,"callee":117,"caller_time":2978.0,"total":2978.0,"callee_time":2978.0},{"caller":133,"callee":117,"caller_time":420.0,"total":420.0,"callee_time":210.0}],"total":3398.0,"callees":[{"caller":117,"callee":120,"caller_time":2778.0,"total":2778.0,"callee_time":2778.0},{"caller":117,"callee":133,"caller_time":300.0,"total":400.0,"callee_time":400.0},{"caller":117,"callee":121,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"src":false,"id":"expand-capturing-lifts"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":115,"callee":118,"caller_time":1274.0,"total":1274.0,"callee_time":1274.0}],"total":1274.0,"callees":[{"caller":118,"callee":145,"caller_time":1070.0,"total":1070.0,"callee_time":1070.0},{"caller":118,"callee":122,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"src":false,"id":"compile-forms33"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":116,"callee":119,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":202.0,"callees":[{"caller":119,"callee":123,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"src/core/matcher.rkt:25:7","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":117,"callee":120,"caller_time":2778.0,"total":2778.0,"callee_time":2778.0}],"total":2778.0,"callees":[{"caller":120,"callee":124,"caller_time":593.9247474747475,"total":2778.0,"callee_time":2778.0}],"src":false,"id":"lambda-clause-expander"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":145,"callee":121,"caller_time":652.0,"total":652.0,"callee_time":169.33333333333334},{"caller":117,"callee":121,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"total":872.0,"callees":[{"caller":121,"callee":125,"caller_time":872.0,"total":872.0,"callee_time":872.0}],"src":false,"id":"dispatch-transformer41"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":118,"callee":122,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"total":204.0,"callees":[{"caller":122,"callee":145,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"src":false,"id":"loop!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":119,"callee":123,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":202.0,"callees":[{"caller":123,"callee":126,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arr-i.rkt:976:19","id":"core457"},{"self":246.0,"thread_ids":[0],"callers":[{"caller":145,"callee":124,"caller_time":2184.0752525252524,"total":2778.0,"callee_time":1766.952380952381},{"caller":120,"callee":124,"caller_time":593.9247474747475,"total":2778.0,"callee_time":2778.0}],"total":2778.0,"callees":[{"caller":124,"callee":145,"caller_time":2167.2809523809524,"total":2778.0,"callee_time":2757.5},{"caller":124,"callee":0,"caller_time":246.0,"total":246.0,"callee_time":20.5}],"src":false,"id":"finish-bodys"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":121,"callee":125,"caller_time":872.0,"total":872.0,"callee_time":872.0}],"total":872.0,"callees":[{"caller":125,"callee":127,"caller_time":652.0,"total":652.0,"callee_time":652.0},{"caller":125,"callee":133,"caller_time":110.0,"total":220.0,"callee_time":220.0}],"src":false,"id":"apply-transformer52"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":84,"callee":126,"caller_time":202.0,"total":202.0,"callee_time":202.0},{"caller":123,"callee":126,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":404.0,"callees":[{"caller":126,"callee":128,"caller_time":404.0,"total":404.0,"callee_time":404.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-higher-order.rkt:673:7","id":"arrow-higher-order:lnp"},{"self":198.0,"thread_ids":[0],"callers":[{"caller":125,"callee":127,"caller_time":652.0,"total":652.0,"callee_time":652.0}],"total":652.0,"callees":[{"caller":127,"callee":129,"caller_time":454.0,"total":454.0,"callee_time":454.0},{"caller":127,"callee":0,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"src":false,"id":"apply-transformer-in-context"},{"self":404.0,"thread_ids":[0],"callers":[{"caller":126,"callee":128,"caller_time":404.0,"total":404.0,"callee_time":404.0}],"total":404.0,"callees":[{"caller":128,"callee":0,"caller_time":404.0,"total":404.0,"callee_time":404.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arity-checking.rkt:19:2","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":127,"callee":129,"caller_time":454.0,"total":454.0,"callee_time":454.0}],"total":454.0,"callees":[{"caller":129,"callee":130,"caller_time":248.0,"total":248.0,"callee_time":248.0},{"caller":129,"callee":131,"caller_time":206.0,"total":206.0,"callee_time":206.0}],"src":"/opt/racket-7.5/collects/racket/private/qq-and-or.rkt:155:9","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":129,"callee":130,"caller_time":248.0,"total":248.0,"callee_time":248.0}],"total":248.0,"callees":[{"caller":130,"callee":132,"caller_time":248.0,"total":248.0,"callee_time":248.0}],"src":"/opt/racket-7.5/collects/racket/private/qq-and-or.rkt:164:21","id":false},{"self":206.0,"thread_ids":[0],"callers":[{"caller":129,"callee":131,"caller_time":206.0,"total":206.0,"callee_time":206.0}],"total":206.0,"callees":[{"caller":131,"callee":0,"caller_time":206.0,"total":206.0,"callee_time":206.0}],"src":"/opt/racket-7.5/collects/racket/private/qq-and-or.rkt:185:13","id":"gen"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":130,"callee":132,"caller_time":248.0,"total":248.0,"callee_time":248.0}],"total":248.0,"callees":[{"caller":132,"callee":133,"caller_time":124.0,"total":248.0,"callee_time":248.0}],"src":false,"id":"syntax->list"},{"self":602.0,"thread_ids":[0],"callers":[{"caller":13,"callee":133,"caller_time":1263.0,"total":1490.0,"callee_time":1490.0},{"caller":30,"callee":133,"caller_time":758.0,"total":1006.0,"callee_time":1006.0},{"caller":117,"callee":133,"caller_time":300.0,"total":400.0,"callee_time":400.0},{"caller":133,"callee":133,"caller_time":248.0,"total":396.0,"callee_time":248.0},{"caller":132,"callee":133,"caller_time":124.0,"total":248.0,"callee_time":248.0},{"caller":91,"callee":133,"caller_time":110.0,"total":220.0,"callee_time":220.0},{"caller":125,"callee":133,"caller_time":110.0,"total":220.0,"callee_time":220.0},{"caller":145,"callee":133,"caller_time":103.0,"total":206.0,"callee_time":34.333333333333336},{"caller":111,"callee":133,"caller_time":100.0,"total":200.0,"callee_time":200.0}],"total":3116.0,"callees":[{"caller":133,"callee":135,"caller_time":1288.0,"total":1288.0,"callee_time":1061.0},{"caller":133,"callee":134,"caller_time":810.0,"total":810.0,"callee_time":660.0},{"caller":133,"callee":0,"caller_time":602.0,"total":602.0,"callee_time":502.0},{"caller":133,"callee":133,"caller_time":248.0,"total":396.0,"callee_time":248.0},{"caller":133,"callee":117,"caller_time":420.0,"total":420.0,"callee_time":210.0},{"caller":133,"callee":5,"caller_time":248.0,"total":248.0,"callee_time":124.0},{"caller":133,"callee":137,"caller_time":220.0,"total":220.0,"callee_time":110.0},{"caller":133,"callee":136,"caller_time":206.0,"total":206.0,"callee_time":103.0},{"caller":133,"callee":138,"caller_time":196.0,"total":196.0,"callee_time":98.0}],"src":false,"id":"loop"},{"self":406.0,"thread_ids":[0],"callers":[{"caller":133,"callee":134,"caller_time":810.0,"total":810.0,"callee_time":660.0},{"caller":47,"callee":134,"caller_time":392.0,"total":392.0,"callee_time":392.0},{"caller":34,"callee":134,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"total":1394.0,"callees":[{"caller":134,"callee":138,"caller_time":584.0,"total":584.0,"callee_time":584.0},{"caller":134,"callee":0,"caller_time":406.0,"total":406.0,"callee_time":406.0},{"caller":134,"callee":141,"caller_time":404.0,"total":404.0,"callee_time":404.0}],"src":"src/points.rkt:181:26","id":false},{"self":444.0,"thread_ids":[0],"callers":[{"caller":133,"callee":135,"caller_time":1288.0,"total":1288.0,"callee_time":1061.0}],"total":1288.0,"callees":[{"caller":135,"callee":140,"caller_time":604.0,"total":604.0,"callee_time":604.0},{"caller":135,"callee":0,"caller_time":444.0,"total":444.0,"callee_time":444.0},{"caller":135,"callee":142,"caller_time":240.0,"total":240.0,"callee_time":240.0}],"src":false,"id":"gf"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":145,"callee":136,"caller_time":214.0,"total":214.0,"callee_time":53.5},{"caller":133,"callee":136,"caller_time":206.0,"total":206.0,"callee_time":103.0}],"total":420.0,"callees":[{"caller":136,"callee":139,"caller_time":214.0,"total":214.0,"callee_time":214.0},{"caller":136,"callee":13,"caller_time":206.0,"total":206.0,"callee_time":206.0}],"src":false,"id":"expand-id-application-form17"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":133,"callee":137,"caller_time":220.0,"total":220.0,"callee_time":110.0}],"total":220.0,"callees":[{"caller":137,"callee":139,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"src":false,"id":"core-form-sym"},{"self":814.0,"thread_ids":[0],"callers":[{"caller":21,"callee":138,"caller_time":618.0,"total":618.0,"callee_time":309.0},{"caller":134,"callee":138,"caller_time":584.0,"total":584.0,"callee_time":584.0},{"caller":133,"callee":138,"caller_time":196.0,"total":196.0,"callee_time":98.0}],"total":1398.0,"callees":[{"caller":138,"callee":0,"caller_time":814.0,"total":814.0,"callee_time":814.0},{"caller":138,"callee":143,"caller_time":584.0,"total":584.0,"callee_time":584.0}],"src":"src/syntax/syntax.rkt:214:17","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":137,"callee":139,"caller_time":220.0,"total":220.0,"callee_time":220.0},{"caller":136,"callee":139,"caller_time":214.0,"total":214.0,"callee_time":214.0},{"caller":9,"callee":139,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":636.0,"callees":[{"caller":139,"callee":144,"caller_time":636.0,"total":636.0,"callee_time":636.0}],"src":false,"id":"resolve+shift28"},{"self":604.0,"thread_ids":[0],"callers":[{"caller":135,"callee":140,"caller_time":604.0,"total":604.0,"callee_time":604.0}],"total":604.0,"callees":[{"caller":140,"callee":0,"caller_time":604.0,"total":604.0,"callee_time":604.0}],"src":false,"id":"propagation-apply"},{"self":404.0,"thread_ids":[0],"callers":[{"caller":134,"callee":141,"caller_time":404.0,"total":404.0,"callee_time":404.0}],"total":404.0,"callees":[{"caller":141,"callee":0,"caller_time":404.0,"total":404.0,"callee_time":404.0}],"src":"src/float.rkt:19:0","id":"ulp-difference"},{"self":240.0,"thread_ids":[0],"callers":[{"caller":135,"callee":142,"caller_time":240.0,"total":240.0,"callee_time":240.0}],"total":240.0,"callees":[{"caller":142,"callee":0,"caller_time":240.0,"total":240.0,"callee_time":240.0}],"src":false,"id":"propagation-merge"},{"self":816.0,"thread_ids":[0],"callers":[{"caller":138,"callee":143,"caller_time":584.0,"total":584.0,"callee_time":584.0},{"caller":28,"callee":143,"caller_time":414.0,"total":414.0,"callee_time":414.0},{"caller":102,"callee":143,"caller_time":238.0,"total":238.0,"callee_time":238.0},{"caller":110,"callee":143,"caller_time":200.0,"total":200.0,"callee_time":100.0},{"caller":90,"callee":143,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"total":1630.0,"callees":[{"caller":143,"callee":0,"caller_time":816.0,"total":816.0,"callee_time":816.0},{"caller":143,"callee":146,"caller_time":814.0,"total":814.0,"callee_time":814.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arr-i.rkt:566:0","id":"return/no-unsupplied"},{"self":220.0,"thread_ids":[0],"callers":[{"caller":139,"callee":144,"caller_time":636.0,"total":636.0,"callee_time":636.0}],"total":636.0,"callees":[{"caller":144,"callee":145,"caller_time":67.92857142857143,"total":416.0,"callee_time":416.0},{"caller":144,"callee":0,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"src":false,"id":"fallback-loop"},{"self":620.0,"thread_ids":[0],"callers":[{"caller":124,"callee":145,"caller_time":2167.2809523809524,"total":2778.0,"callee_time":2757.5},{"caller":118,"callee":145,"caller_time":1070.0,"total":1070.0,"callee_time":1070.0},{"caller":145,"callee":145,"caller_time":542.7904761904762,"total":2778.0,"callee_time":542.7904761904762},{"caller":122,"callee":145,"caller_time":204.0,"total":204.0,"callee_time":204.0},{"caller":144,"callee":145,"caller_time":67.92857142857143,"total":416.0,"callee_time":416.0}],"total":4052.0,"callees":[{"caller":145,"callee":124,"caller_time":2184.0752525252524,"total":2778.0,"callee_time":1766.952380952381},{"caller":145,"callee":147,"caller_time":870.0,"total":870.0,"callee_time":870.0},{"caller":145,"callee":145,"caller_time":542.7904761904762,"total":2778.0,"callee_time":542.7904761904762},{"caller":145,"callee":0,"caller_time":620.0,"total":620.0,"callee_time":271.92857142857144},{"caller":145,"callee":148,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":145,"callee":121,"caller_time":652.0,"total":652.0,"callee_time":169.33333333333334},{"caller":145,"callee":5,"caller_time":1036.0,"total":1036.0,"callee_time":106.53333333333333},{"caller":145,"callee":136,"caller_time":214.0,"total":214.0,"callee_time":53.5},{"caller":145,"callee":9,"caller_time":424.0,"total":424.0,"callee_time":36.628571428571426},{"caller":145,"callee":133,"caller_time":103.0,"total":206.0,"callee_time":34.333333333333336}],"src":false,"id":"for-loop"},{"self":814.0,"thread_ids":[0],"callers":[{"caller":143,"callee":146,"caller_time":814.0,"total":814.0,"callee_time":814.0}],"total":814.0,"callees":[{"caller":146,"callee":0,"caller_time":814.0,"total":814.0,"callee_time":814.0}],"src":"/opt/racket-7.5/collects/racket/private/list.rkt:256:2","id":"filter"},{"self":870.0,"thread_ids":[0],"callers":[{"caller":145,"callee":147,"caller_time":870.0,"total":870.0,"callee_time":870.0}],"total":870.0,"callees":[{"caller":147,"callee":0,"caller_time":870.0,"total":870.0,"callee_time":870.0}],"src":false,"id":"compile-module-linklet57"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":145,"callee":148,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":148,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":false,"id":"generate-links+imports"}]}