diff --git a/benchexec/tablegenerator/react-table/build/main.min.css b/benchexec/tablegenerator/react-table/build/main.min.css index 5e6bf5543..b207dc095 100644 --- a/benchexec/tablegenerator/react-table/build/main.min.css +++ b/benchexec/tablegenerator/react-table/build/main.min.css @@ -1 +1 @@ -body{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif;margin:0}code{font-family:source-code-pro,Menlo,Monaco,Consolas,Courier New,monospace}body{overflow-x:hidden}.infoTooltip{background-color:#f9f9f9;border-radius:6px;color:#000;font-size:12px;font-weight:lighter;left:150%;margin-left:10px;opacity:0;padding:5px;position:absolute;text-align:center;top:50%;-webkit-transform:translateY(-50%);transform:translateY(-50%);transition:opacity .3s;visibility:hidden;width:250px;z-index:200}.infoTooltipContainer{display:inline-block;position:relative}.infoTooltipIcon{cursor:pointer}.App{font-family:Droid Sans,Liberation Sans,Ubuntu,Trebuchet MS,Tahoma,Arial,Verdana,sans-serif}.correct{color:green}.error{color:#f0f}.correct-unconfirmed,.unknown{color:#71bcff}.wrong{color:red}.link{color:#71bcff;text-decoration:underline}.btn,.link{cursor:pointer}.btn{background-size:300% 100%;box-shadow:0 4px 12px 0 rgba(113,188,255,.2);height:35px;margin:0 10px 9px 0;text-align:center;transition:all .4s ease-in-out}.btn:hover{background:#71bcff}.btn:disabled{cursor:default}.btn:disabled,.btn:disabled:hover{background:#a9a9a9}.btn-apply{background:#71bcff;margin-left:100px}.btn-apply:hover{background:#fff}.header__tool-infos{font-weight:700}.table{white-space:nowrap}.table .table-container{min-width:-webkit-fit-content!important;min-width:-moz-fit-content!important;min-width:fit-content!important}.table .table-content{overflow:auto}.table.sticky .td,.table.sticky .th{background:#fff}.table.sticky .header{position:-webkit-sticky;position:sticky;text-align:center;width:-webkit-fit-content;width:-moz-fit-content;width:fit-content}.table.sticky .body{position:relative;z-index:0}.table.sticky [data-sticky-td]{position:-webkit-sticky;position:sticky}.table.sticky [data-sticky-last-left-td]{border-right:1px solid #ccc}.table.sticky [data-sticky-first-right-td]{border-left:1px solid #ccc}.table .table-header .th.outer{background-color:#f7f7f7}.table .table-header .clickable{display:flex;justify-content:center}.table .table-header .clickable:hover{background-color:#ccc;cursor:pointer}.table .td,.table .th{overflow:hidden}.table .resizer{background-color:transparent!important;bottom:0;display:inline-block;position:absolute;right:0;top:0;-webkit-transform:translateX(50%);transform:translateX(50%);width:36px;z-index:2}.table .resizer.isResizing{background:red}.table .separator{background:#adadad!important;margin:0!important;max-width:2px;padding:0!important}.overview{background:#fff}.overview .filterBox{background-color:#fff;box-shadow:0 3px 6px 0 rgba(0,0,0,.15);display:flex;flex-direction:column;height:100vh;max-width:-webkit-max-content;max-width:max-content;min-width:-webkit-min-content;min-width:min-content;position:absolute;right:0;transition:all .5s ease-in-out;width:40vw;z-index:9998}.overview .filterBox .filter-card{-webkit-touch-callout:none;box-shadow:0 3px 6px 0 rgba(0,0,0,.15);margin-top:18px;-webkit-user-select:none;user-select:none;width:100%}.overview .filterBox .filter-card--container{margin-bottom:8px;overflow-y:scroll}.overview .filterBox .filter-card--body{display:flex;flex-direction:column;list-style:none;margin:10px 25px;text-align:left}.overview .filterBox .filter-card--body--list{list-style:none}.overview .filterBox .filter-card--body--empty-rows{margin-bottom:1em}.overview .filterBox .filter-card--body .task-id-filters{align-items:center;display:flex;flex-direction:column;justify-content:space-between}.overview .filterBox .filter-card--body .task-id-filters input{margin-bottom:15px}.overview .filterBox .filter-card--range-container{display:flex;justify-content:space-between}.overview .filterBox .filter-card--range-input-fields{grid-gap:1rem;display:grid}.overview .filterBox .filter-card--range-input-fields input{width:93%}.overview .filterBox .filter-card--range-input-fields .range-input-fields--min{grid-column-end:2;grid-column-start:1}.overview .filterBox .filter-card--range-input-fields .range-input-fields--max{grid-column-end:3;grid-column-start:2}.overview .filterBox .filter-card--header{align-items:center;background-color:#b8ddff;display:flex;min-height:35px;position:relative;width:100%}.overview .filterBox .filter-card--header .filter-selection{margin-left:25px}.overview .filterBox .filter-card--header .check-button{color:green;margin-left:15px}.overview .filterBox .filter-card--header .delete-button{cursor:pointer;position:absolute;right:12px}.overview .filterBox .filter-card--header .title{font-size:18px;margin:0 0 0 25px;padding:3px}.overview .filterBox--hidden{right:-100vw}.overview .filterBox--header{align-items:center;background-color:#88c7ff;display:flex;height:35px;padding:5px 20px}.overview .filterBox--header--icon{cursor:pointer;margin-right:15px}.overview .filterBox--header--reset{background-color:hsla(0,0%,100%,.5);border:none;cursor:auto;height:100%}.overview .filterBox--header--reset-icon{cursor:pointer;position:absolute;right:20px}.overview .filterBox--header--reset:disabled{background:none;border:none;color:#000;display:inline-block;font-weight:600}.overview .filterBox--header--reset:disabled .hide{display:none}.overview .filterBox--container{align-items:center;display:flex;flex-direction:column;margin-left:20px;margin-right:20px;text-align:center}.overview .filterBox--container h4{font-size:18px;margin-bottom:0;margin-top:2.5rem}.overview .filterBox--container .hidden{display:none!important}.overview .filterBox--container .filter-add-button{align-items:center;background-color:#71bcff;border-radius:28px;box-shadow:0 3px 6px 0 rgba(0,0,0,.15);color:#fff;cursor:pointer;display:flex;flex-direction:row;justify-content:center;min-height:23px;min-width:23px;padding:5px;transition:all .5s ease-in-out}.overview .menu{align-items:flex-start;background:#71bcff;display:flex;font-weight:700;padding:10px 10px 0;width:calc(100% - 20px);z-index:100}.overview .menu .menu-item{background:hsla(0,0%,100%,.5);border-radius:8px 8px 0 0;color:#000;font-size:14px;height:17px;margin-right:1px;padding:8px 13px;text-decoration:none;white-space:nowrap}.overview .menu .menu-item.selected{background:#fff}.overview .route-container{max-height:calc(100vh - 43px);overflow:auto}.overview button{cursor:pointer}.overview button:disabled{display:none}.overview button.reset{background:hsla(0,0%,100%,.5);border:none;border-radius:0 0 8px 8px;color:#000;display:block;font-size:12px;padding:5px;position:fixed;right:10px;top:0}.overview button.reset .filter-icon{margin-left:10px;margin-right:5px}.overview button.reset .highlight{font-weight:700}.overview button.reset:disabled{cursor:auto}.overview button.reset:disabled .hide{visibility:hidden}#summary{padding-top:10px;text-align:center}#summary #benchmark_setup{overflow-x:scroll;width:100%}#summary #benchmark_setup .fixedRowTitle{align-items:center;display:flex;padding-left:8px;text-align:left}#summary #benchmark_setup .stickCheckbox{left:0;position:-webkit-sticky;position:sticky}#summary #benchmark_setup table{border-collapse:collapse;width:100%}#summary #benchmark_setup table td,#summary #benchmark_setup table th{border:1px solid #ddd;padding:8px}#summary #benchmark_setup table .options ul{margin:0;padding:0 0 0 17px}#summary #benchmark_setup table .options li{font-size:9pt;list-style:none;text-align:left}#summary #benchmark_setup table .benchmark,#summary #benchmark_setup table th{font-weight:700}#summary #benchmark_setup table th{background-color:#fff}#summary #benchmark_setup table th.sticky{left:0;position:-webkit-sticky!important;position:sticky!important;z-index:11}#summary #benchmark_setup table tr:nth-child(2n),#summary #benchmark_setup table tr:nth-child(2n) th{background-color:#eee}#summary #benchmark_setup table tr:hover{background-color:#ddd}#summary #benchmark_setup table th{padding-bottom:8px;padding-top:8px;text-align:left;width:14vw}#summary #statistics{border:0;height:100%;padding:0;width:100%}#summary #statistics #statistics-placeholder{background-color:#f7f7f7;border-bottom:1px solid #adadad;border-top:1px solid #adadad}#summary #statistics #statistics-table>.table .table-content .td{padding:8px 5px}#summary #statistics #statistics-table>.table .table-content .table-header .tr:nth-of-type(2){box-shadow:0 2px 15px 0 rgba(0,0,0,.15);position:relative;z-index:10}#summary #statistics #statistics-table>.table .table-content .table-header .tr .th{padding:5px}#summary #statistics #statistics-table>.table .table-content .table-header .tr .th:not(:first-of-type){border-right:1px solid rgba(0,0,0,.05)}#summary #statistics #statistics-table>.table .table-content .table-header .tr .th.outer{text-overflow:ellipsis}#summary #statistics #statistics-table>.table .table-content .table-header .tr .th .header-data{height:100%}#summary #statistics #statistics-table>.table .table-content .table-header .tr .th .selectColumns{border:#555;overflow:hidden;text-overflow:ellipsis}#summary #statistics #statistics-table>.table .table-content .table-body .td .cell{padding:0;text-align:right}#summary #statistics #statistics-table>.table .table-content .table-body .row-title{font-weight:700;overflow:hidden;text-align:left;text-overflow:ellipsis}#summary #statistics #statistics-table>.table .table-content .table-body .tr{border-bottom:1px solid transparent}#summary p{margin-top:15px}.main-table .table{display:flex;flex-direction:column;height:calc(100vh - 43px)}.main-table .table a{display:block;text-decoration:none}.main-table .table a:hover{background-color:#ccc}.main-table .table a:focus{outline:1px dotted red}.main-table .table .tr .td:first-of-type,.main-table .table .tr .th:first-of-type{border-right:1px solid #ccc}.main-table .table .fixed-task-header{justify-content:space-around;margin:auto;width:33%}.main-table .table .fixed-task-header input{width:100%}.main-table .table .table-content{flex:auto 1;overflow-y:scroll}.main-table .table .table-content .td{border-right:1px solid rgba(0,0,0,.02)}.main-table .table .table-content .td.reg-column{align-items:center;display:flex;justify-content:flex-end}.main-table .table .table-content .td.reg-column a{width:100%}.main-table .table .table-content .td.reg-column div{padding:5px 3px}.main-table .table .table-content .table-header{position:-webkit-sticky;position:sticky;top:0;z-index:3}.main-table .table .table-content .table-header>.tr:first-of-type{border-bottom:1px solid #f2f2f2}.main-table .table .table-content .table-header .shadow-container{box-shadow:0 2px 15px 0 rgba(0,0,0,.15);position:relative;z-index:10}.main-table .table .table-content .table-header .shadow-container .th:not(:first-of-type){border-right:1px solid rgba(0,0,0,.05)}.main-table .table .table-content .table-header .tr.filter{border-bottom:1px solid rgba(0,0,0,.05)}.main-table .table .table-content .th.header{position:relative}.main-table .table .table-content .th.header:last-child{overflow:hidden}.main-table .table .table-content .th.header.fixed-task,.main-table .table .table-content .th.header.reg-column{font-weight:400}.main-table .table .table-content .th.header:not(.separator):not(.filter)>*{overflow:hidden;padding:5px;text-overflow:ellipsis}.main-table .table .table-content .th.header .header-sort-container{height:calc(100% - 10px)}.main-table .table .table-content .th.header .header-sort-container.sorted-asc{box-shadow:inset 0 3px 0 0 rgba(0,0,0,.6)}.main-table .table .table-content .th.header .header-sort-container.sorted-desc{box-shadow:inset 0 -3px 0 0 rgba(0,0,0,.6)}.main-table .table .table-content .th.header.filter{padding:5px}.main-table .table .table-content .th.header.filter .filter-field{background:#fff;border:1px solid rgba(0,0,0,.1);border-radius:3px;font-size:inherit;padding:5px 7px;text-align:right;width:100%}.main-table .table .table-content .th.header.filter .filter-field *{text-align:left}.main-table .table .table-content .table-body span{text-align:center}.main-table .table .table-content .table-body .tr{border-bottom:1px solid #f2f2f2}.main-table .table .table-content .table-body .tr:hover .td{background:#f2f2f2}.main-table .table .table-content .table-body .row_id:not(:first-child){border-left:1px solid #000;color:#484848;font-size:9pt;height:100%;margin-left:5px;padding-left:5px}.main-table .table .table-content .table-body .td{padding:1px;text-align:right}.main-table .table .table-content .table-body .td>a{margin-left:1ex;padding:5px 3px}.main-table .table .table-content .table-body .row__name--cellLink{color:#000}.main-table .table .pagination{align-items:stretch;align-items:center;background:#fff;border-top:2px solid rgba(0,0,0,.1);bottom:0;box-shadow:0 0 15px 0 rgba(0,0,0,.1);display:flex;flex-wrap:wrap;justify-content:space-between;padding:3px;position:-webkit-sticky;position:sticky;z-index:99;z-index:1}.main-table .table .pagination .pagination-container{align-items:center;display:flex;height:100%;justify-content:space-around}.main-table .table .pagination .pagination-container#pagination-next,.main-table .table .pagination .pagination-container#pagination-previous{flex:1 1}.main-table .table .pagination .pagination-container#pagination-next .pagination-element,.main-table .table .pagination .pagination-container#pagination-previous .pagination-element{align-items:center;display:flex;height:100%;justify-content:center;width:100%}.main-table .table .pagination .pagination-container#pagination-center{display:flex;flex:1.5 1;flex-direction:row;flex-wrap:wrap;justify-content:space-around}.main-table .table .pagination .pagination-container#pagination-center input,.main-table .table .pagination .pagination-container#pagination-center select{background:#fff;border:1px solid rgba(0,0,0,.1)}.main-table .table .pagination .pagination-container#pagination-center .pagination-element{margin:3px 10px}.main-table .table .pagination .pagination-container .pagination-element{border-radius:3px;text-align:center}.main-table .table .pagination .pagination-container .pagination-element.button{background:rgba(0,0,0,.1);border-radius:3px;color:rgba(0,0,0,.6);cursor:pointer;outline-width:0;transition:all .1s ease}.main-table .table .pagination .pagination-container .pagination-element.button.disabled{cursor:default;opacity:.5}.main-table .table .pagination .pagination-container .pagination-element.button:not(.disabled):hover{background:rgba(0,0,0,.3);color:#fff}.main-table .table .pagination .pagination-container .pagination-element#goto-page-element{white-space:nowrap}.main-table .table .pagination .pagination-container .pagination-element#goto-page-element input{border-radius:3px;font-size:inherit;margin:0 5px;padding:5px 7px;text-align:center;width:55px}.main-table .table .pagination .pagination-container .pagination-element#set-page-element select{border-radius:3px;font-size:inherit;padding:5px 7px}.main-table .aborted{text-align:center}.main-table .aborted:after{content:"—"}.main-table input::-webkit-input-placeholder{color:#d3d3d3}.main-table input::placeholder{color:#d3d3d3}.quantilePlot{margin:20px}.quantilePlot .rv-discrete-color-legend{max-width:50vw;width:-webkit-max-content;width:max-content}.quantilePlot .rv-discrete-color-legend-item.clickable{padding:3px 10px;white-space:normal}.quantilePlot .rv-discrete-color-legend-item.clickable:hover{background:#ccc}.quantilePlot .settings-legend-container{justify-content:space-between}.quantilePlot .settings-container{flex-grow:0;min-width:0}.quantilePlot .settings-border-container,.quantilePlot .settings-subcontainer{justify-content:left;min-width:0}.quantilePlot .settings-subcontainer.flexible-width{flex:1 1 50%}.quantilePlot .setting.flexible-width{flex:1 0 60%;max-width:-webkit-max-content;max-width:max-content;min-width:0}.quantilePlot .setting.flexible-width .setting-select{min-width:120px}.scatterPlot{margin:20px;text-align:center}.scatterPlot__select select{margin:10px}.scatterPlot .middle-line .rv-xy-plot__axis__line{stroke:#71bcff}.scatterPlot__plot{margin:auto}.scatterPlot button{margin:10px}.scatterPlot .settings-container{margin-right:0}.scatterPlot .settings-subcontainer.flexible-width{flex:1 1 40vw;max-width:-webkit-max-content;max-width:max-content;min-width:0}.scatterPlot .settings-subcontainer.flexible-width .setting{flex:1 1 45%;max-width:-webkit-max-content;max-width:max-content;min-width:250px}.scatterPlot .settings-subcontainer.flexible-width .setting .setting-select{min-width:150px}.scatterPlot .settings-subcontainer.flexible-width .setting.icon{min-width:0}.scatterPlot .settings-subcontainer.flexible-width .setting.icon:hover{cursor:pointer}.settings-legend-container{display:flex}.settings-container{align-items:flex-start;display:flex;flex-grow:1;justify-content:center;margin-right:1em}.settings-border-container{border:1px solid rgba(0,0,0,.3);display:inline-flex;flex-wrap:wrap;justify-content:center;max-width:100%;padding:.5em}.settings-subcontainer{flex-wrap:wrap;justify-content:center}.setting,.settings-subcontainer{align-items:center;display:flex}.setting-label{padding:.4em 1em;white-space:nowrap}.setting-label.with-tooltip{text-decoration:underline}.setting-label.with-tooltip:hover{cursor:help}.setting-select{border:1px solid #c3c3c3;border-radius:3px;cursor:pointer;height:25px;margin:.4em 1em .4em 0;padding-left:10px}.setting-button{height:25px;margin:.4em 1em}.setting .disabled,.setting.disabled{color:rgba(0,0,0,.4)}.setting .disabled .setting-select,.setting.disabled .setting-select{cursor:not-allowed}.rv-discrete-color-legend{border:1px solid rgba(0,0,0,.3)}.rv-discrete-color-legend-item.clickable{white-space:nowrap}.plot__noresults{left:50%;position:absolute;top:50%;-webkit-transform:translate(-50%,-50%);transform:translate(-50%,-50%)}.info{margin:40px}.info-header{display:flex;justify-content:space-between;margin:40px 0}.info-header h1{margin:0}.info-header span{border:1px solid #71bcff;font-size:9pt;padding:5px}.ReactModal__Body--open{overflow:hidden;-webkit-user-select:none;user-select:none}.ReactModal__Overlay{z-index:900}.overlay{background:#fff;border:5px solid gray;border-radius:5px;bottom:40px;left:20px;overflow:scroll;position:fixed;right:20px;top:80px;-webkit-user-select:text;user-select:text}.overlay h1{margin-bottom:40px}.overlay td,.overlay th{background:#fff;color:#8e8d8d;cursor:pointer;text-align:center}.overlay td label,.overlay th label{cursor:pointer}.overlay td.checked,.overlay th.checked{color:#000}.overlay th:first-child{background:#fff}.overlay td:first-child{text-align:left;width:30%}.overlay input{display:none}.overlay__buttons{display:flex;justify-content:center;width:100%}.overlay__buttons .btn{margin-top:50px;width:20vw}.overlay th{border-bottom:1px solid #000}.overlay .closing{border-radius:4px;cursor:pointer;font-size:120%}.overlay .closing:hover{background:#000;color:#fff}.overlay.second-level .link-overlay-header-container{background-color:#fff}.overlay.second-level .link-overlay-text{margin-top:0}.overlay .link-overlay-file-link{background-color:inherit;border:none;color:blue;font:inherit;text-decoration:underline}.overlay .link-overlay-file-link:hover{cursor:pointer}.overlay .link-overlay-header-container{display:flex;flex-direction:row-reverse;height:30px;justify-content:space-between;left:0;padding:10px 10px 0;pointer-events:none;position:-webkit-sticky;position:sticky;top:0}.overlay .link-overlay-header-container>*{pointer-events:auto}.overlay .link-overlay-back-button:hover{cursor:pointer}.overlay .link-overlay-back-icon{margin-right:1em}.overlay .link-overlay-text{margin-top:-30px;padding:0 10px 10px}.rt-td{text-align:left}.ReactTable{border:none!important}.tooltip{border-bottom:1px dotted #000;display:inline-block;position:relative;z-index:10}.tooltip .tooltiptext{background-color:#555;border-radius:6px;color:#fff;left:50%;margin-left:-60px;opacity:0;padding:5px 0;position:absolute;text-align:center;top:100%;transition:opacity .3s;visibility:hidden;width:120px;z-index:999999}.tooltip .tooltiptext:after{border:5px solid transparent;border-bottom-color:#000;bottom:100%;content:" ";left:50%;margin-left:-5px;position:absolute}.tooltip:hover .tooltiptext{opacity:1;visibility:visible}@media only screen and (max-width:700px){.quantilePlot .settings-legend-container{flex-wrap:wrap;justify-content:center}.quantilePlot .setting,.quantilePlot .setting-select,.quantilePlot .settings-subcontainer{flex-grow:1}.quantilePlot .setting.flexible-width{max-width:90vw;min-width:18em}.quantilePlot .setting.flexible-width .setting-select{max-width:75vw}.quantilePlot .settings-container{margin-right:0}.quantilePlot .rv-discrete-color-legend{margin:1em 0;max-width:95vw}} \ No newline at end of file +body{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,sans-serif;margin:0}code{font-family:source-code-pro,Menlo,Monaco,Consolas,Courier New,monospace}body{overflow-x:hidden}.infoTooltip{background-color:#f9f9f9;border-radius:6px;color:#000;font-size:12px;font-weight:lighter;left:150%;margin-left:10px;opacity:0;padding:5px;position:absolute;text-align:center;top:50%;-webkit-transform:translateY(-50%);transform:translateY(-50%);transition:opacity .3s;visibility:hidden;width:250px;z-index:200}.infoTooltipContainer{display:inline-block;position:relative}.infoTooltipIcon{cursor:pointer}.App{font-family:Droid Sans,Liberation Sans,Ubuntu,Trebuchet MS,Tahoma,Arial,Verdana,sans-serif}.footer{align-items:center;display:flex;justify-content:center}.correct{color:green}.error{color:#f0f}.correct-unconfirmed,.unknown{color:#71bcff}.wrong{color:red}.link{color:#71bcff;text-decoration:underline}.btn,.link{cursor:pointer}.btn{background-size:300% 100%;box-shadow:0 4px 12px 0 rgba(113,188,255,.2);height:35px;margin:0 10px 9px 0;text-align:center;transition:all .4s ease-in-out}.btn:hover{background:#71bcff}.btn:disabled{cursor:default}.btn:disabled,.btn:disabled:hover{background:#a9a9a9}.btn-apply{background:#71bcff;margin-left:100px}.btn-apply:hover{background:#fff}.header__tool-infos{font-weight:700}.table{white-space:nowrap}.table .table-container{min-width:-webkit-fit-content!important;min-width:-moz-fit-content!important;min-width:fit-content!important}.table .table-content{overflow:auto}.table.sticky .td,.table.sticky .th{background:#fff}.table.sticky .header{position:-webkit-sticky;position:sticky;text-align:center;width:-webkit-fit-content;width:-moz-fit-content;width:fit-content}.table.sticky .body{position:relative;z-index:0}.table.sticky [data-sticky-td]{position:-webkit-sticky;position:sticky}.table.sticky [data-sticky-last-left-td]{border-right:1px solid #ccc}.table.sticky [data-sticky-first-right-td]{border-left:1px solid #ccc}.table .table-header .th.outer{background-color:#f7f7f7}.table .table-header .clickable{display:flex;justify-content:center}.table .table-header .clickable:hover{background-color:#ccc;cursor:pointer}.table .td,.table .th{overflow:hidden}.table .resizer{background-color:transparent!important;bottom:0;display:inline-block;position:absolute;right:0;top:0;-webkit-transform:translateX(50%);transform:translateX(50%);width:36px;z-index:2}.table .resizer.isResizing{background:red}.table .separator{background:#adadad!important;margin:0!important;max-width:2px;padding:0!important}.overview{background:#fff}.overview .filterBox{background-color:#fff;box-shadow:0 3px 6px 0 rgba(0,0,0,.15);display:flex;flex-direction:column;height:100vh;max-width:-webkit-max-content;max-width:max-content;min-width:-webkit-min-content;min-width:min-content;position:absolute;right:0;transition:all .5s ease-in-out;width:40vw;z-index:9998}.overview .filterBox .filter-card{-webkit-touch-callout:none;box-shadow:0 3px 6px 0 rgba(0,0,0,.15);margin-top:18px;-webkit-user-select:none;user-select:none;width:100%}.overview .filterBox .filter-card--container{margin-bottom:8px;overflow-y:scroll}.overview .filterBox .filter-card--body{display:flex;flex-direction:column;list-style:none;margin:10px 25px;text-align:left}.overview .filterBox .filter-card--body--list{list-style:none}.overview .filterBox .filter-card--body--empty-rows{margin-bottom:1em}.overview .filterBox .filter-card--body .task-id-filters{align-items:center;display:flex;flex-direction:column;justify-content:space-between}.overview .filterBox .filter-card--body .task-id-filters input{margin-bottom:15px}.overview .filterBox .filter-card--range-container{display:flex;justify-content:space-between}.overview .filterBox .filter-card--range-input-fields{grid-gap:1rem;display:grid}.overview .filterBox .filter-card--range-input-fields input{width:93%}.overview .filterBox .filter-card--range-input-fields .range-input-fields--min{grid-column-end:2;grid-column-start:1}.overview .filterBox .filter-card--range-input-fields .range-input-fields--max{grid-column-end:3;grid-column-start:2}.overview .filterBox .filter-card--header{align-items:center;background-color:#b8ddff;display:flex;min-height:35px;position:relative;width:100%}.overview .filterBox .filter-card--header .filter-selection{margin-left:25px}.overview .filterBox .filter-card--header .check-button{color:green;margin-left:15px}.overview .filterBox .filter-card--header .delete-button{cursor:pointer;position:absolute;right:12px}.overview .filterBox .filter-card--header .title{font-size:18px;margin:0 0 0 25px;padding:3px}.overview .filterBox--hidden{right:-100vw}.overview .filterBox--header{align-items:center;background-color:#88c7ff;display:flex;height:35px;padding:5px 20px}.overview .filterBox--header--icon{cursor:pointer;margin-right:15px}.overview .filterBox--header--reset{background-color:hsla(0,0%,100%,.5);border:none;cursor:auto;height:100%}.overview .filterBox--header--reset-icon{cursor:pointer;position:absolute;right:20px}.overview .filterBox--header--reset:disabled{background:none;border:none;color:#000;display:inline-block;font-weight:600}.overview .filterBox--header--reset:disabled .hide{display:none}.overview .filterBox--container{align-items:center;display:flex;flex-direction:column;margin-left:20px;margin-right:20px;text-align:center}.overview .filterBox--container h4{font-size:18px;margin-bottom:0;margin-top:2.5rem}.overview .filterBox--container .hidden{display:none!important}.overview .filterBox--container .filter-add-button{align-items:center;background-color:#71bcff;border-radius:28px;box-shadow:0 3px 6px 0 rgba(0,0,0,.15);color:#fff;cursor:pointer;display:flex;flex-direction:row;justify-content:center;min-height:23px;min-width:23px;padding:5px;transition:all .5s ease-in-out}.overview .menu{align-items:flex-start;background:#71bcff;display:flex;font-weight:700;padding:10px 10px 0;width:calc(100% - 20px);z-index:100}.overview .menu .menu-item{background:hsla(0,0%,100%,.5);border-radius:8px 8px 0 0;color:#000;font-size:14px;height:17px;margin-right:1px;padding:8px 13px;text-decoration:none;white-space:nowrap}.overview .menu .menu-item.selected{background:#fff}.overview .route-container{max-height:calc(100vh - 43px);overflow:auto}.overview button{cursor:pointer}.overview button:disabled{display:none}.overview button.reset{background:hsla(0,0%,100%,.5);border:none;border-radius:0 0 8px 8px;color:#000;display:block;font-size:12px;padding:5px;position:fixed;right:10px;top:0}.overview button.reset .filter-icon{margin-left:10px;margin-right:5px}.overview button.reset .highlight{font-weight:700}.overview button.reset:disabled{cursor:auto}.overview button.reset:disabled .hide{visibility:hidden}#summary{padding-top:10px;text-align:center}#summary #benchmark_setup{width:100%}#summary #benchmark_setup .fixedRowTitle{align-items:center;display:flex;padding-left:8px;text-align:left}#summary #benchmark_setup .stickCheckbox{left:0;position:-webkit-sticky;position:sticky;top:0;width:-webkit-max-content;width:max-content}#summary #benchmark_setup table{border-collapse:collapse;width:100%}#summary #benchmark_setup table td,#summary #benchmark_setup table th{border:1px solid #ddd;padding:8px}#summary #benchmark_setup table .options ul{margin:0;padding:0 0 0 17px}#summary #benchmark_setup table .options li{font-size:9pt;list-style:none;text-align:left}#summary #benchmark_setup table .benchmark,#summary #benchmark_setup table th{font-weight:700}#summary #benchmark_setup table th{background-color:#fff}#summary #benchmark_setup table th.sticky{left:0;position:-webkit-sticky!important;position:sticky!important;z-index:11}#summary #benchmark_setup table tr:nth-child(2n),#summary #benchmark_setup table tr:nth-child(2n) th{background-color:#eee}#summary #benchmark_setup table tr:hover{background-color:#e6e6e6}#summary #benchmark_setup table th{padding-bottom:8px;padding-top:8px;text-align:left;width:14vw}#summary #statistics{border:0;height:100%;padding:0;width:100%}#summary #statistics #statistics-placeholder{background-color:#f7f7f7;border-bottom:1px solid #adadad;border-top:1px solid #adadad}#summary #statistics #statistics-table>.table .table-content .td{padding:8px 5px}#summary #statistics #statistics-table>.table .table-content .table-header .tr:nth-of-type(2){box-shadow:0 2px 15px 0 rgba(0,0,0,.15);position:relative;z-index:10}#summary #statistics #statistics-table>.table .table-content .table-header .tr .th{padding:5px}#summary #statistics #statistics-table>.table .table-content .table-header .tr .th:not(:first-of-type){border-right:1px solid rgba(0,0,0,.05)}#summary #statistics #statistics-table>.table .table-content .table-header .tr .th.outer{text-overflow:ellipsis}#summary #statistics #statistics-table>.table .table-content .table-header .tr .th .header-data{height:100%}#summary #statistics #statistics-table>.table .table-content .table-header .tr .th .selectColumns{border:#555;overflow:hidden;text-overflow:ellipsis}#summary #statistics #statistics-table>.table .table-content .table-body .td .cell{padding:0;text-align:right}#summary #statistics #statistics-table>.table .table-content .table-body .row-title{font-weight:700;overflow:hidden;text-align:left;text-overflow:ellipsis}#summary #statistics #statistics-table>.table .table-content .table-body .tr{border-bottom:1px solid transparent}#summary p{margin-top:15px}.main-table .table{display:flex;flex-direction:column;height:calc(100vh - 43px)}.main-table .table a{display:block;text-decoration:none}.main-table .table a:hover{background-color:#ccc}.main-table .table a:focus{outline:1px dotted red}.main-table .table .tr .td:first-of-type,.main-table .table .tr .th:first-of-type{border-right:1px solid #ccc}.main-table .table .fixed-task-header{justify-content:space-around;margin:auto;width:33%}.main-table .table .fixed-task-header input{width:100%}.main-table .table .table-content{flex:auto 1;overflow-y:scroll}.main-table .table .table-content .td{border-right:1px solid rgba(0,0,0,.02)}.main-table .table .table-content .td.reg-column{align-items:center;display:flex;justify-content:flex-end}.main-table .table .table-content .td.reg-column a{width:100%}.main-table .table .table-content .td.reg-column div{padding:5px 3px}.main-table .table .table-content .table-header{position:-webkit-sticky;position:sticky;top:0;z-index:3}.main-table .table .table-content .table-header>.tr:first-of-type{border-bottom:1px solid #f2f2f2}.main-table .table .table-content .table-header .shadow-container{box-shadow:0 2px 15px 0 rgba(0,0,0,.15);position:relative;z-index:10}.main-table .table .table-content .table-header .shadow-container .th:not(:first-of-type){border-right:1px solid rgba(0,0,0,.05)}.main-table .table .table-content .table-header .tr.filter{border-bottom:1px solid rgba(0,0,0,.05)}.main-table .table .table-content .th.header{position:relative}.main-table .table .table-content .th.header:last-child{overflow:hidden}.main-table .table .table-content .th.header.fixed-task,.main-table .table .table-content .th.header.reg-column{font-weight:400}.main-table .table .table-content .th.header:not(.separator):not(.filter)>*{overflow:hidden;padding:5px;text-overflow:ellipsis}.main-table .table .table-content .th.header .header-sort-container{height:calc(100% - 10px)}.main-table .table .table-content .th.header .header-sort-container.sorted-asc{box-shadow:inset 0 3px 0 0 rgba(0,0,0,.6)}.main-table .table .table-content .th.header .header-sort-container.sorted-desc{box-shadow:inset 0 -3px 0 0 rgba(0,0,0,.6)}.main-table .table .table-content .th.header.filter{padding:5px}.main-table .table .table-content .th.header.filter .filter-field{background:#fff;border:1px solid rgba(0,0,0,.1);border-radius:3px;font-size:inherit;padding:5px 7px;text-align:right;width:100%}.main-table .table .table-content .th.header.filter .filter-field *{text-align:left}.main-table .table .table-content .table-body span{text-align:center}.main-table .table .table-content .table-body .tr{border-bottom:1px solid #f2f2f2}.main-table .table .table-content .table-body .tr:hover .td{background:#f2f2f2}.main-table .table .table-content .table-body .row_id:not(:first-child){border-left:1px solid #000;color:#484848;font-size:9pt;height:100%;margin-left:5px;padding-left:5px}.main-table .table .table-content .table-body .td{padding:1px;text-align:right}.main-table .table .table-content .table-body .td>a{margin-left:1ex;padding:5px 3px}.main-table .table .table-content .table-body .row__name--cellLink{color:#000}.main-table .table .pagination{align-items:stretch;align-items:center;background:#fff;border-top:2px solid rgba(0,0,0,.1);bottom:0;box-shadow:0 0 15px 0 rgba(0,0,0,.1);display:flex;flex-wrap:wrap;justify-content:space-between;padding:3px;position:-webkit-sticky;position:sticky;z-index:99;z-index:1}.main-table .table .pagination .pagination-container{align-items:center;display:flex;height:100%;justify-content:space-around}.main-table .table .pagination .pagination-container#pagination-next,.main-table .table .pagination .pagination-container#pagination-previous{flex:1 1}.main-table .table .pagination .pagination-container#pagination-next .pagination-element,.main-table .table .pagination .pagination-container#pagination-previous .pagination-element{align-items:center;display:flex;height:100%;justify-content:center;width:100%}.main-table .table .pagination .pagination-container#pagination-center{display:flex;flex:1.5 1;flex-direction:row;flex-wrap:wrap;justify-content:space-around}.main-table .table .pagination .pagination-container#pagination-center input,.main-table .table .pagination .pagination-container#pagination-center select{background:#fff;border:1px solid rgba(0,0,0,.1)}.main-table .table .pagination .pagination-container#pagination-center .pagination-element{margin:3px 10px}.main-table .table .pagination .pagination-container .pagination-element{border-radius:3px;text-align:center}.main-table .table .pagination .pagination-container .pagination-element.button{background:rgba(0,0,0,.1);border-radius:3px;color:rgba(0,0,0,.6);cursor:pointer;outline-width:0;transition:all .1s ease}.main-table .table .pagination .pagination-container .pagination-element.button.disabled{cursor:default;opacity:.5}.main-table .table .pagination .pagination-container .pagination-element.button:not(.disabled):hover{background:rgba(0,0,0,.3);color:#fff}.main-table .table .pagination .pagination-container .pagination-element#goto-page-element{white-space:nowrap}.main-table .table .pagination .pagination-container .pagination-element#goto-page-element input{border-radius:3px;font-size:inherit;margin:0 5px;padding:5px 7px;text-align:center;width:55px}.main-table .table .pagination .pagination-container .pagination-element#set-page-element select{border-radius:3px;font-size:inherit;padding:5px 7px}.main-table .aborted{text-align:center}.main-table .aborted:after{content:"—"}.main-table input::-webkit-input-placeholder{color:#d3d3d3}.main-table input::placeholder{color:#d3d3d3}.quantilePlot{margin:20px}.quantilePlot .rv-discrete-color-legend{max-width:50vw;width:-webkit-max-content;width:max-content}.quantilePlot .rv-discrete-color-legend-item.clickable{padding:3px 10px;white-space:normal}.quantilePlot .rv-discrete-color-legend-item.clickable:hover{background:#ccc}.quantilePlot .settings-legend-container{justify-content:space-between}.quantilePlot .settings-container{flex-grow:0;min-width:0}.quantilePlot .settings-border-container,.quantilePlot .settings-subcontainer{justify-content:left;min-width:0}.quantilePlot .settings-subcontainer.flexible-width{flex:1 1 50%}.quantilePlot .setting.flexible-width{flex:1 0 60%;max-width:-webkit-max-content;max-width:max-content;min-width:0}.quantilePlot .setting.flexible-width .setting-select{min-width:120px}.scatterPlot{margin:20px;text-align:center}.scatterPlot__select select{margin:10px}.scatterPlot .middle-line .rv-xy-plot__axis__line{stroke:#71bcff}.scatterPlot__plot{margin:auto}.scatterPlot button{margin:10px}.scatterPlot .settings-container{margin-right:0}.scatterPlot .settings-subcontainer.flexible-width{flex:1 1 40vw;max-width:-webkit-max-content;max-width:max-content;min-width:0}.scatterPlot .settings-subcontainer.flexible-width .setting{flex:1 1 45%;max-width:-webkit-max-content;max-width:max-content;min-width:250px}.scatterPlot .settings-subcontainer.flexible-width .setting .setting-select{min-width:150px}.scatterPlot .settings-subcontainer.flexible-width .setting.icon{min-width:0}.scatterPlot .settings-subcontainer.flexible-width .setting.icon:hover{cursor:pointer}.settings-legend-container{display:flex}.settings-container{align-items:flex-start;display:flex;flex-grow:1;justify-content:center;margin-right:1em}.settings-border-container{border:1px solid rgba(0,0,0,.3);display:inline-flex;flex-wrap:wrap;justify-content:center;max-width:100%;padding:.5em}.settings-subcontainer{flex-wrap:wrap;justify-content:center}.setting,.settings-subcontainer{align-items:center;display:flex}.setting-label{padding:.4em 1em;white-space:nowrap}.setting-label.with-tooltip{text-decoration:underline}.setting-label.with-tooltip:hover{cursor:help}.setting-select{border:1px solid #c3c3c3;border-radius:3px;cursor:pointer;height:25px;margin:.4em 1em .4em 0;padding-left:10px}.setting-button{height:25px;margin:.4em 1em}.setting .disabled,.setting.disabled{color:rgba(0,0,0,.4)}.setting .disabled .setting-select,.setting.disabled .setting-select{cursor:not-allowed}.rv-discrete-color-legend{border:1px solid rgba(0,0,0,.3)}.rv-discrete-color-legend-item.clickable{white-space:nowrap}.plot__noresults{left:50%;position:absolute;top:50%;-webkit-transform:translate(-50%,-50%);transform:translate(-50%,-50%)}.info{margin:40px}.info-header{display:flex;justify-content:space-between;margin:40px 0}.info-header h1{margin:0}.info-header span{border:1px solid #71bcff;font-size:9pt;padding:5px}.ReactModal__Body--open{overflow:hidden;-webkit-user-select:none;user-select:none}.ReactModal__Overlay{z-index:900}.overlay{background:#fff;border:5px solid gray;border-radius:5px;bottom:40px;left:20px;overflow:scroll;position:fixed;right:20px;top:80px;-webkit-user-select:text;user-select:text}.overlay h1{margin-bottom:40px}.overlay td,.overlay th{background:#fff;color:#8e8d8d;cursor:pointer;text-align:center}.overlay td label,.overlay th label{cursor:pointer}.overlay td.checked,.overlay th.checked{color:#000}.overlay th:first-child{background:#fff}.overlay td:first-child{text-align:left;width:30%}.overlay input{display:none}.overlay__buttons{display:flex;justify-content:center;width:100%}.overlay__buttons .btn{margin-top:50px;width:20vw}.overlay th{border-bottom:1px solid #000}.overlay .closing{border-radius:4px;cursor:pointer;font-size:120%}.overlay .closing:hover{background:#000;color:#fff}.overlay.second-level .link-overlay-header-container{background-color:#fff}.overlay.second-level .link-overlay-text{margin-top:0}.overlay .link-overlay-file-link{background-color:inherit;border:none;color:blue;font:inherit;text-decoration:underline}.overlay .link-overlay-file-link:hover{cursor:pointer}.overlay .link-overlay-header-container{display:flex;flex-direction:row-reverse;height:30px;justify-content:space-between;left:0;padding:10px 10px 0;pointer-events:none;position:-webkit-sticky;position:sticky;top:0}.overlay .link-overlay-header-container>*{pointer-events:auto}.overlay .link-overlay-back-button:hover{cursor:pointer}.overlay .link-overlay-back-icon{margin-right:1em}.overlay .link-overlay-text{margin-top:-30px;padding:0 10px 10px}.rt-td{text-align:left}.ReactTable{border:none!important}.tooltip{border-bottom:1px dotted #000;display:inline-block;position:relative;z-index:10}.tooltip .tooltiptext{background-color:#555;border-radius:6px;color:#fff;left:50%;margin-left:-60px;opacity:0;padding:5px 0;position:absolute;text-align:center;top:100%;transition:opacity .3s;visibility:hidden;width:120px;z-index:999999}.tooltip .tooltiptext:after{border:5px solid transparent;border-bottom-color:#000;bottom:100%;content:" ";left:50%;margin-left:-5px;position:absolute}.tooltip:hover .tooltiptext{opacity:1;visibility:visible}@media only screen and (max-width:700px){.quantilePlot .settings-legend-container{flex-wrap:wrap;justify-content:center}.quantilePlot .setting,.quantilePlot .setting-select,.quantilePlot .settings-subcontainer{flex-grow:1}.quantilePlot .setting.flexible-width{max-width:90vw;min-width:18em}.quantilePlot .setting.flexible-width .setting-select{max-width:75vw}.quantilePlot .settings-container{margin-right:0}.quantilePlot .rv-discrete-color-legend{margin:1em 0;max-width:95vw}} \ No newline at end of file diff --git a/benchexec/tablegenerator/react-table/build/main.min.js b/benchexec/tablegenerator/react-table/build/main.min.js index e6392f203..897dab96c 100644 --- a/benchexec/tablegenerator/react-table/build/main.min.js +++ b/benchexec/tablegenerator/react-table/build/main.min.js @@ -1 +1 @@ -!function(){var e={4006:function(e,t,n){"use strict";var i=n(7313),r=n(1168),s=n(1413),l=n(3433),a=n(5671),o=n(3144),c=n(136),u=n(7277),d=n(2135),h=n(8467),f=n(7762),g=n(9439),p=n(5110),m=n(8567),v=n(4925),b=n(4942),I=n(4506),C=n(2229),x=n.n(C),y=n(1969),Z=n(1875),j=n(6417),F=["ids"],A=function(e){(0,c.Z)(n,e);var t=(0,u.Z)(n);function n(e){var r;return(0,a.Z)(this,n),(r=t.call(this,e)).childRef=i.createRef(),r}return(0,o.Z)(n,[{key:"render",value:function(){var e=this;return(0,j.jsxs)(j.Fragment,{children:[(0,j.jsx)("span",{ref:this.childRef,children:this.props.children}),(0,j.jsx)("button",{title:"Copy to clipboard",style:{margin:"1ex"},onClick:function(){x()(e.childRef.current.innerText,{format:"text/plain"})},children:(0,j.jsx)(y.G,{icon:Z.kZ_})})]})}}]),n}(i.Component),N="##########",W=function(e){return"count"===e.type||"measure"===e.type},B=function(e){return void 0===e||null===e},G=function(e,t){return B(e)||B(e.raw)?t:e.raw},w=function(e,t){var n=G(e,"").toLowerCase(),i=G(t,"").toLowerCase();return""===n?1:""===i?-1:n>i?1:n1?t.slice(1).join("?"):void 0;if(void 0===n||0===n.length)return{};var i,r=n.split("&").map((function(e){return e.split("=")})),s={},l=(0,f.Z)(r);try{for(l.s();!(i=l.n()).done;){var a=(0,I.Z)(i.value),o=a[0],c=a.slice(1);s[decodeURI(o)]="filter"===o?c.join("="):decodeURI(c.join("="))}}catch(u){l.e(u)}finally{l.f()}return s},K=function(e){return Object.keys(e).filter((function(t){return void 0!==e[t]&&null!==e[t]})).map((function(t){return"".concat(t,"=").concat(e[t])})).join("&")},L=function(e){var t=arguments.length>1&&void 0!==arguments[1]?arguments[1]:{},n=X(e),i=(0,s.Z)((0,s.Z)({},n),t),r=K(i),l=e.split("?")[0];return{newUrl:r.length>0?"".concat(l,"?").concat(r):l,queryString:"?".concat(r)}},O=function(){var e=arguments.length>0&&void 0!==arguments[0]?arguments[0]:{},t=arguments.length>1&&void 0!==arguments[1]?arguments[1]:{callbacks:[],pushState:!1},n=L(window.location.href,e),i=n.newUrl;t.pushState&&window.history.pushState({},"",i);var r=t.callbacks;if(r&&r.length>0){var s,l=(0,f.Z)(r);try{for(l.s();!(s=l.n()).done;){var a=s.value;a()}}catch(o){l.e(o)}finally{l.f()}}window.location.href=i},D=function(e){for(var t=[],n=0,i=Object.entries(e);n2&&void 0!==arguments[2]&&arguments[2],i={};if(e.length>Math.floor(t.length/2)){var r,s=[],l=(0,f.Z)(t);try{for(l.s();!(r=l.n()).done;){var a=r.value;e.includes(a)||s.push(n?a.trim():a)}}catch(o){l.e(o)}finally{l.f()}i.notIn=s}else i.in=e.map((function(e){return n?e.trim():e}));return D(i)};function E(e,t,n,i,r){var s=[],l=e.statusValues,a=e.categoryValues,o=t[n][i],c=r[n][i],u=!!l,d=!!a;if(u){var h=U(l,o);s.push("status(".concat(h,")")),d||s.push("category(empty())")}if(d){u||s.push("status(empty())");var f=U(a,c,!0);s.push("category(".concat(f,")"))}return s.join(",")}function P(e){if("string"!==typeof e)throw new Error("Invalid value type");return e.replaceAll("(","%28").replaceAll(")","%29")}var M=function(e){if("string"!==typeof e)throw new Error("Invalid value type for converting to RegExp");return new RegExp(e.replace(/[.*+?^${}()|[\]\\]/g,"\\$&"),"ui")},J=function(e){if("string"!==typeof e)throw new Error("Invalid filter ID");var t=e.split("_");if(2===t.length)throw new Error("Invalid filter ID");return{tool:t[0],name:t.length>2?t.slice(1,-1).join("_"):void 0,column:t.length>2?t.at(-1):void 0}},z=function(e){var t,n=arguments.length>1&&void 0!==arguments[1]&&arguments[1],i={},r=0,s="",l=(0,f.Z)(e);try{for(l.s();!(t=l.n()).done;){var a=t.value;if("("!==a){if(")"!==a)0!==r||","!==a?s+=a:s="";else if(s+=a,0===--r){var o=s.indexOf("("),c=s.substr(0,o),u=s.substr(o+1,s.length-1-(o+1));i[c]=n?decodeURIComponent(u):u}}else s+=a,r++}}catch(d){l.e(d)}finally{l.f()}return i},_=function(e,t,n,i,r){return"values"===e?[{values:t.split(",").map(unescape)}]:"value"===e?[{value:unescape(t)}]:"status"===e||"category"===e?function(e,t,n,i,r){for(var s=z(t),a=[],o=0,c=Object.entries(s);o0?r.ids={values:u.map((function(e){return e||""}))}:d&&s.push({id:o,value:c})}}catch(K){l.e(K)}finally{l.f()}var Z=r.ids,j=(0,v.Z)(r,F),A=[];Z&&A.push("id(values(".concat(Z.values.map((function(e){return P(encodeURIComponent(e))})).join(","),"))")),s&&s.forEach((function(e){A.push("id_any(value(".concat(P(encodeURIComponent(e.value)),"))"))}));for(var N=0,W=Object.entries(j);N0&&A.push("".concat(G,"(").concat(S.join(","),")"))}return A.join(",")}}({statusValues:e,categoryValues:t});return function(e,t){if(!e)return O({filter:void 0},t);var i=n(e);return O(i?{filter:i}:{filter:void 0},t)}},$=" ",ee=" ",te=function(){function e(t){var n=arguments.length>1&&void 0!==arguments[1]?arguments[1]:"Unknown";(0,a.Z)(this,e),this._defaultOptions={whitespaceFormat:!1,html:!1,leadingZero:!0,additionalFormatting:function(e){return e}},this.significantDigits=t,this.maxPositiveDecimalPosition=-1,this.maxNegativeDecimalPosition=-1,this.name=n}return(0,o.Z)(e,[{key:"addDataItem",value:function(e){var t=this.format(e).split(/\.|,/),n=(0,g.Z)(t,2),i=n[0],r=n[1];this.maxPositiveDecimalPosition=Math.max(this.maxPositiveDecimalPosition,i&&"0"!==i?i.length:0),this.maxNegativeDecimalPosition=Math.max(this.maxNegativeDecimalPosition,r?r.length:0)}},{key:"format",value:function(e){var t=e.toString(),n="",i="",r=0,s=0,l=!1,a=!1;if("NaN"===t)return"NaN";if(t.endsWith("Infinity"))return t.replace("Infinity","Inf");if(t.includes("e")){var o=t.split("-"),c=(0,g.Z)(o,2),u=c[0],d=c[1],h=0;u.includes(".")&&(h=1),t=Number(e).toFixed(Number(d)+h)}for(var f=t.replace(/,/,".").indexOf(".");sr;){var p=t[r];if("."===p||","===p)n+=".",a=!0;else{if(!l){if("0"===p){r+=1,a&&(n+=p);continue}l=!0}n+=p,s+=1}r+=1}if(i=t.substring(r),""===n&&""===i&&(n=t),"."===n[0]&&(n="0".concat(n)),""!==i){var m="."===i[0];if(i=i.replace(/\./,""),i="".concat(i[0],".").concat(i.substr(1)),i=Math.round(Number(i)),(i=isNaN(i)?"":i.toString()).length>1&&"."!==i[0]){var v=i[0];i=i[1];for(var b=n.length,I=n.split("."),C=(0,g.Z)(I,2)[1],x=C&&C.length-1||0,y=C?"0.":"",Z=x;Z>0;)y+="0",Z-=1;for(n=function(e,t){var n=e,i=t;if("string"===typeof e&&(n=Number(e)),"string"===typeof t&&(i=Number(t)),Number.isInteger(n)||Number.isInteger(i))return n+i;var r=e.toString(),s=r.length,l=r.indexOf("."),a=t.toString(),o=a.length,c=a.indexOf("."),u=Math.max(s-l,o-c)-1;return Number((n+i).toFixed(u))}(n,y+=v).toFixed(x+1).substr(0,b);n.length1&&void 0!==arguments[1]?arguments[1]:{},i=(0,s.Z)((0,s.Z)({},e._defaultOptions),n),r=i.whitespaceFormat,l=i.html,a=i.leadingZero,o=i.additionalFormatting,c={significantDigits:e.significantDigits,maxDecimalInputLength:e.maxNegativeDecimalPosition};if(B(e.significantDigits))return o(t.toString(),c);var u=e.format(t);if("NaN"===(u=o(u,c)))return u;if(r){var d=l?$:" ",h=u.split(/\.|,/),f=(0,g.Z)(h,2),p=f[0],m=f[1];"0"!==p||a||(p=m?"":"0"),p=p||"";for(var v=(m=m||"")?".":d;m.length=d&&I<=h}if(s)break}}catch(C){o.e(C)}finally{o.f()}if(!s)return!1}return!0}));return c}},Ae=(xe={},(0,b.Z)(xe,"empty","Empty rows"),(0,b.Z)(xe,"aborted","\u2014"),xe);function Ne(e){var t=e.column.id,n=e.runSetIdx,i=e.columnIdx,r=e.allCategoryValues,s=e.allStatusValues,a=e.filteredColumnValues,o=e.setCustomFilters,c=r[n][i],u=function(e){var t=e.categoryFilters,n=e.statusFilters,i=e.categoryFilterValues,r=e.statusFilterValues,s=[];return re(t,i)||(s=t),re(n,r)||(s=[].concat((0,l.Z)(s),(0,l.Z)(n))),s}({categoryFilters:V([n,"categories"],[],a),statusFilters:V([n,i],[],a),categoryFilterValues:c.map((function(e){return"".concat(e," ")})),statusFilterValues:s[n][i]}),d=0===u.length,h=u.length>1||u[0]===N,f=u&&u[0],g=(d?"all ":h&&"multiple")||f;return(0,j.jsxs)("select",{className:"filter-field",onChange:function(e){return o({id:t,value:e.target.value})},value:g,children:[h&&(0,j.jsx)("option",{value:"multiple",disabled:!0,children:u.map((function(e){return e.trim()})).filter((function(e){return"all"!==e&&e!==N})).join(", ")||"No filters selected"}),(0,j.jsx)("option",{value:"all ",children:"Show all"}),c.filter((function(e){return e in Ae})).map((function(e){return(0,j.jsx)("option",{value:e+" ",children:Ae[e]},e)})),(0,j.jsx)("optgroup",{label:"Category",children:c.filter((function(e){return!(e in Ae)})).sort().map((function(e){return(0,j.jsx)("option",{value:e+" ",className:e,children:e},e)}))}),(0,j.jsx)("optgroup",{label:"Status",children:s[n][i].filter((function(e){return e!==je})).sort().map((function(e){return(0,j.jsx)("option",{value:e,children:e},e)}))})]})}var We=(0,i.memo)(Ne),Be=[50,100,250,500,1e3,2500],Ge=function(){var e=X();return e.sort?e.sort.split(";").map((function(e){var t=e.split(",");return{id:t[0],desc:"desc"===t[1]}})):[]},we=function(e){var t=(0,i.useState)(!0),n=(0,g.Z)(t,2),r=n[0],a=n[1],o=(0,i.useState)(Ce()),c=(0,g.Z)(o,2),u=c[0],d=c[1],v=(0,i.useState)({}),b=(0,g.Z)(v,2),I=b[0],C=b[1],x=(0,i.useState)(!1),y=(0,g.Z)(x,2),Z=y[0],F=y[1],A=(0,i.useState)(null),N=(0,g.Z)(A,2),S=N[0],Y=N[1],V=(0,i.useCallback)((function(t){var n,i=t.tool,r=t.name,s=t.column,l=t.isCategory,a=l?e.statusValues:e.categoryValues,o=[],c=(0,f.Z)(a[i][s]);try{for(c.s();!(n=c.n()).done;){var u=n.value;o.push({id:"".concat(i,"_").concat(r,"_").concat(s),value:"".concat(u).concat(l?"":" ")})}}catch(d){c.e(d)}finally{c.f()}return o}),[e.categoryValues,e.statusValues]),R=(0,i.useCallback)((function(t){var n,i=t.tool,r=t.name,s=t.column,l=[],a=(0,f.Z)(e.statusValues[i][s]);try{for(a.s();!(n=a.n()).done;){var o=n.value;l.push({id:"".concat(i,"_").concat(r,"_").concat(s),value:o})}}catch(g){a.e(g)}finally{a.f()}var c,u=(0,f.Z)(e.categoryValues[i][s]);try{for(u.s();!(c=u.n()).done;){var d=c.value,h="".concat(d," ");l.push({id:"".concat(i,"_").concat(r,"_").concat(s),value:h})}}catch(g){u.e(g)}finally{u.f()}return l}),[e.categoryValues,e.statusValues]),H=(0,i.useCallback)((function(t){"id"===t.id&&(t.isTableTabFilter=!0);var n=[].concat((0,l.Z)(e.filters.filter((function(e){return e.id!==t.id}))),[t]);n=n.filter((function(e){return""!==e.value})),e.addTypeToFilter(n);var i=[];if("status"===t.type){var r=J(t.id),s=r.tool,a=r.name,o=r.column,c=t.value;if("all"===c.trim())i=R({tool:s,name:a,column:o}),n=n.filter((function(e){var n=e.id,i=e.value;return!(n===t.id&&"all"===i.trim())}));else{var u=" "===c[c.length-1];i=V({tool:s,name:a,column:o,isCategory:u})}}e.addTypeToFilter(i),e.filterPlotData([].concat((0,l.Z)(n),(0,l.Z)(i)),!0)}),[e,V,R]),T=(0,i.useCallback)((function(t){var n=t.column.id,i=e.filters.find((function(e){return e.id===n}));return(0,j.jsx)(Ie,{id:n,setFilter:i,disableTaskText:Z,setCustomFilters:H,focusedFilter:S,setFocusedFilter:Y})}),[Z,e.filters,H,S]),K=(0,i.useCallback)((function(t){var n=t.column.id,i=e.filters.find((function(e){return e.id===n}));return(0,j.jsx)(ye,{id:n,setFilter:i,setCustomFilters:H,focusedFilter:S,setFocusedFilter:Y})}),[e.filters,H,S]),L=(0,i.useMemo)((function(){var t=function(t,n,i){if("status"===n.type)return function(t,n,i){var r="".concat(t,"_").concat(n.display_title,"_").concat(i),l=I[r];return{id:r,Header:(0,j.jsx)(he,{column:n}),className:"reg-column",hidden:e.hiddenCols[t].includes(n.colIdx),minWidth:50,width:l||k(n,10),accessor:function(e){return e.results[t].values[i]},Cell:function(n){var i,r=n.row.original.results[t].category,s=n.row.original.results[t].href;return"aborted"===r?(s=void 0,i="Result missing because run was aborted or not executed"):"empty"===r?i="Result missing because task was not part of benchmark set":s&&(i="Click here to show output of tool"),(0,j.jsx)(ge,{cell:n,href:s,className:r,toggleLinkOverlay:e.toggleLinkOverlay,title:i,force:!0})},sortType:function(e,t,n,i){return w(e.values[n],t.values[n])},filter:function(e){return e},Filter:function(n){return(0,j.jsx)(We,(0,s.Z)((0,s.Z)({},n),{},{runSetIdx:t,columnIdx:i,allCategoryValues:e.categoryValues,allStatusValues:e.statusValues,filteredColumnValues:u,setCustomFilters:H}))}}}(t,n,i);var r="".concat(t,"_").concat(n.display_title,"_").concat(i),l=I[r],a=W(n)?K:T;return{id:r,Header:(0,j.jsx)(he,{column:n}),className:"reg-column",hidden:e.hiddenCols[t].includes(n.colIdx),minWidth:50,width:l||k(n),accessor:function(e){return e.results[t].values[i]},Cell:function(t){return(0,j.jsx)(ge,{cell:t,toggleLinkOverlay:e.toggleLinkOverlay})},filter:function(e){return e},Filter:a,sortType:function(e,t,i,r){return W(n)?(s=e.values[i],l=t.values[i],G(s,1/0)-G(l,1/0)):w(e.values[i],t.values[i]);var s,l}}},n=e.tools.map((function(e,n){return function(e,t,n){return[pe(t),{Header:(0,j.jsx)(fe,{runSet:e}),columns:e.columns.map((function(e,i){return n(t,e,i)})),id:"runset-column"}]}(e,n,t)})).flat();return[{Header:function(){return(0,j.jsx)("div",{className:"fixed-task-header",children:(0,j.jsx)("form",{children:(0,j.jsxs)("label",{title:"Fix the first column",children:["Fixed task:",(0,j.jsx)("input",{name:"fixed",type:"checkbox",checked:r,onChange:function(e){var t=e.target;return a(t.checked)}})]})})})},className:"fixed-task",id:"task-id-column",sticky:r?"left":"",columns:[(0,s.Z)((0,s.Z)({width:.3*window.innerWidth,minWidth:230},I.id&&{width:I.id}),{},{Header:(0,j.jsx)(he,{children:(0,j.jsx)(de,{handler:e.selectColumn})}),accessor:"id",Cell:function(t){var n=t.row.original.id.map((function(e){return(0,j.jsx)("span",{className:"row_id",children:e},e)})),i=t.row.original.href;return i?(0,j.jsx)("a",{className:"row__name--cellLink",href:i,title:"Click here to show source code",onClick:function(t){return e.toggleLinkOverlay(t,i)},children:n},i):(0,j.jsx)("span",{title:"This task has no associated file",children:n})},Filter:T,sortType:function(e,t,n,i){var r=Array.isArray(e.values[n])?e.values[n].join():e.values[n],s=Array.isArray(t.values[n])?t.values[n].join():t.values[n];return r>s?1:r0&&C((0,s.Z)((0,s.Z)({},I),e))}),[be,I]),(0,i.useEffect)((function(){F(e.filters.some((function(e){var t=e.id,n=e.values;return"id"===t&&!B(n)})));var t=Ce();ve()(t,u)||d(t),ce>=te&&ne(te-1)}),[e.filters,u,ne,ce,te]);var xe=(0,h.TH)();(0,i.useEffect)((function(e){se(X().pageSize||250),ae(Ge()),ne(X().page-1||0)}),[xe,se,ae,ne,window.location.href]);var Ze=function(e){return(0,j.jsx)("div",(0,s.Z)((0,s.Z)({className:"tr headergroup"},e.getHeaderGroupProps()),{},{children:e.headers.map((function(e){return(0,j.jsxs)("div",(0,s.Z)((0,s.Z)({},e.getHeaderProps({className:"th header ".concat(e.headers?"outer ":"").concat(e.className)})),{},{children:[(0,j.jsx)("div",(0,s.Z)((0,s.Z)({},e.canSort&&(!e.className||!e.className.includes("separator"))&&e.getSortByToggleProps({className:"header-sort-container clickable ".concat(e.isSorted?e.isSortedDesc?"sorted-desc ":"sorted-asc ":"")})),{},{children:e.render("Header")})),(!e.className||!e.className.includes("separator"))&&(0,j.jsx)("div",(0,s.Z)((0,s.Z)({},e.getResizerProps()),{},{className:"resizer ".concat(e.isResizing?"isResizing":"")}))]}))}))}))};return(0,j.jsx)("div",{className:"main-table",children:(0,j.jsxs)("div",{className:"table sticky",children:[(0,j.jsx)("div",{className:"table-content",children:(0,j.jsxs)("div",(0,s.Z)((0,s.Z)({className:"table-container"},P()),{},{children:[function(e){var t=e[0],n=e.filter((function(e){return e.headers.some((function(e){return e.canFilter}))}));return(0,j.jsxs)("div",{className:"table-header",children:[Ze(t),(0,j.jsxs)("div",{className:"shadow-container",children:[e.slice(1).map(Ze),n.map((function(e){return(0,j.jsx)("div",(0,s.Z)((0,s.Z)({className:"tr headergroup filter"},e.getHeaderGroupProps()),{},{children:e.headers.map((function(e){return(0,j.jsx)("div",(0,s.Z)((0,s.Z)({},e.getHeaderProps({className:"th header filter ".concat(e.headers?"outer ":"").concat(e.className)})),{},{children:e.canFilter?e.render("Filter"):null}))}))}))}))]})]})}(z),(0,j.jsx)("div",(0,s.Z)((0,s.Z)({},M()),{},{className:"table-body body",children:Q.map((function(e){return _(e),(0,j.jsx)("div",(0,s.Z)((0,s.Z)({},e.getRowProps()),{},{className:"tr",children:e.cells.map((function(e){return(0,j.jsx)("div",(0,s.Z)((0,s.Z)({},e.getCellProps({className:"td "+(e.column.className||"")})),{},{children:e.render("Cell")}))}))}))}))}))]}))}),(0,j.jsxs)("div",{className:"pagination",children:[(0,j.jsxs)("div",{id:"pagination-previous",className:"pagination-container",children:[(0,j.jsx)("div",{onClick:function(){return re()},className:"pagination-element button".concat(q?"":" disabled"),children:"Previous"})," "]}),(0,j.jsxs)("div",{id:"pagination-center",className:"pagination-container",children:[(0,j.jsxs)("div",{id:"goto-page-element",className:"pagination-element",children:["Page",(0,j.jsx)("input",{"aria-label":"jump to page",type:"number",value:Number(ce)+1,onChange:function(e){return ne(Number(e.target.value)-1)}}),"of ",ee.length]}),(0,j.jsx)("div",{id:"set-page-element",className:"pagination-element",children:(0,j.jsx)("select",{value:ue,onChange:function(e){return se(Number(e.target.value))},children:Be.map((function(e){return(0,j.jsxs)("option",{value:e,children:[e," rows"]},e)}))})})]}),(0,j.jsxs)("div",{id:"pagination-next",className:"pagination-container",children:[(0,j.jsx)("div",{onClick:function(){return ie()},className:"pagination-element button".concat($?"":" disabled"),children:"Next"})," "]})]})]})})},Se=n(4165),Ye=n(5861);n(9e3);var ke=[],Ve={},Re=1,He=[{template:"data:text/plain;base64,Ly8gVGhpcyBmaWxlIGlzIHBhcnQgb2YgQmVuY2hFeGVjLCBhIGZyYW1ld29yayBmb3IgcmVsaWFibGUgYmVuY2htYXJraW5nOgovLyBodHRwczovL2dpdGh1Yi5jb20vc29zeS1sYWIvYmVuY2hleGVjCi8vCi8vIFNQRFgtRmlsZUNvcHlyaWdodFRleHQ6IDIwMTktMjAyMCBEaXJrIEJleWVyIDxodHRwczovL3d3dy5zb3N5LWxhYi5vcmc+Ci8vCi8vIFNQRFgtTGljZW5zZS1JZGVudGlmaWVyOiBBcGFjaGUtMi4wCgovLyBDT1BZIE9GIHV0aWxzLmpzLCBhcyBpbXBvcnRzIHdpbGwgbm90IHdvcmsgaGVyZQovKioKICogRnVuY3Rpb24gdG8gc2FmZWx5IGFkZCB0d28gbnVtYmVycyBpbiBhIHdheSB0aGF0IHNob3VsZCBtaXRpZ2F0ZSBlcnJvcnMKICogY2F1c2VkIGJ5IGluYWNjdXJhdGUgZmxvYXRpbmcgcG9pbnQgb3BlcmF0aW9ucyBpbiBqYXZhc2NyaXB0CiAqIEBwYXJhbSB7TnVtYmVyfFN0cmluZ30gYSAtIFRoZSBiYXNlIG51bWJlcgogKiBAcGFyYW0ge051bWJlcnxTdHJpbmd9IGIgLSBUaGUgbnVtYmVyIHRvIGFkZAogKgogKiBAcmV0dXJucyB7TnVtYmVyfSBUaGUgcmVzdWx0IG9mIHRoZSBhZGRpdGlvbgogKi8KY29uc3Qgc2FmZUFkZCA9IChhLCBiKSA9PiB7CiAgbGV0IGFOdW0gPSBhOwogIGxldCBiTnVtID0gYjsKCiAgaWYgKHR5cGVvZiBhID09PSAic3RyaW5nIikgewogICAgYU51bSA9IE51bWJlcihhKTsKICB9CiAgaWYgKHR5cGVvZiBiID09PSAic3RyaW5nIikgewogICAgYk51bSA9IE51bWJlcihiKTsKICB9CgogIGlmIChOdW1iZXIuaXNJbnRlZ2VyKGFOdW0pIHx8IE51bWJlci5pc0ludGVnZXIoYk51bSkpIHsKICAgIHJldHVybiBhTnVtICsgYk51bTsKICB9CgogIGNvbnN0IGFTdHJpbmcgPSBhLnRvU3RyaW5nKCk7CiAgY29uc3QgYUxlbmd0aCA9IGFTdHJpbmcubGVuZ3RoOwogIGNvbnN0IGFEZWNpbWFsUG9pbnQgPSBhU3RyaW5nLmluZGV4T2YoIi4iKTsKICBjb25zdCBiU3RyaW5nID0gYi50b1N0cmluZygpOwogIGNvbnN0IGJMZW5ndGggPSBiU3RyaW5nLmxlbmd0aDsKICBjb25zdCBiRGVjaW1hbFBvaW50ID0gYlN0cmluZy5pbmRleE9mKCIuIik7CgogIGNvbnN0IGxlbmd0aCA9IE1hdGgubWF4KGFMZW5ndGggLSBhRGVjaW1hbFBvaW50LCBiTGVuZ3RoIC0gYkRlY2ltYWxQb2ludCkgLSAxOwoKICByZXR1cm4gTnVtYmVyKChhTnVtICsgYk51bSkudG9GaXhlZChsZW5ndGgpKTsKfTsKCmNvbnN0IG1hdGhTdHJpbmdNYXggPSAoYSwgYikgPT4gewogIGNvbnN0IG51bUEgPSBOdW1iZXIoYSk7CiAgY29uc3QgbnVtQiA9IE51bWJlcihiKTsKICByZXR1cm4gbnVtQSA+IG51bUIgPyBhIDogYjsKfTsKCmNvbnN0IG1hdGhTdHJpbmdNaW4gPSAoYSwgYikgPT4gewogIGNvbnN0IG51bUEgPSBOdW1iZXIoYSk7CiAgY29uc3QgbnVtQiA9IE51bWJlcihiKTsKICByZXR1cm4gbnVtQSA8IG51bUIgPyBhIDogYjsKfTsKCi8qKgogKiBUaGlzIGZ1bmN0aW9uIGVpdGhlciBhZGRzIHR3byBudW1iZXJzIG9yIGluY3JlbWVudHMgdGhlIG51bWJlcgogKiBwYXNzZWQgaW4gdGhlIGZpcnN0IHBhcmFtZXRlciBpZiB0aGUgdHlwZSBpcyAic3RhdHVzIi4KICogSWYgdGhlIHNlY29uZCBwYXJhbWV0ZXIgaXMgbm90IGEgbnVtYmVyIGFuZCB0aGUgdHlwZSBpcyBub3Qgc3RhdHVzLAogKiB0aGUgZmlyc3QgcGFyYW1ldGVyIHdpbGwgYmUgcmV0dXJuZWQKICoKICogQHBhcmFtIHtOdW1iZXJ9IGEKICogQHBhcmFtIHsqfSBiCiAqIEBwYXJhbSB7U3RyaW5nfSB0eXBlCiAqLwpjb25zdCBtYXliZUFkZCA9IChhLCBiLCB0eXBlKSA9PiB7CiAgaWYgKE51bWJlcihiKSkgewogICAgcmV0dXJuIHNhZmVBZGQoYSwgYik7CiAgfQogIGlmICh0eXBlID09PSAic3RhdHVzIikgewogICAgcmV0dXJuIGEgKyAxOwogIH0KICByZXR1cm4gYTsKfTsKY29uc3QgcmVtb3ZlUm91bmRPZmYgPSAobnVtKSA9PiB7CiAgY29uc3Qgc3RyID0gbnVtLnRvU3RyaW5nKCk7CiAgaWYgKHN0ci5tYXRjaCgvXC4uKz8wezIsfVxkJC8pKSB7CiAgICByZXR1cm4gTnVtYmVyKHN0ci5zdWJzdHIoMCwgc3RyLmxlbmd0aCAtIDEpKTsKICB9CiAgcmV0dXJuIG51bTsKfTsKCmNvbnN0IGNhbGN1bGF0ZU1lYW4gPSAodmFsdWVzLCBhbGxJdGVtcykgPT4gewogIGNvbnN0IG51bU1pbiA9IE51bWJlcih2YWx1ZXMubWluKTsKICBjb25zdCBudW1NYXggPSBOdW1iZXIodmFsdWVzLm1heCk7CiAgaWYgKG51bU1pbiA9PT0gLUluZmluaXR5ICYmIG51bU1heCA9PT0gSW5maW5pdHkpIHsKICAgIHZhbHVlcy5hdmcgPSAiTmFOIjsKICB9IGVsc2UgaWYgKG51bU1pbiA9PT0gLUluZmluaXR5KSB7CiAgICB2YWx1ZXMuYXZnID0gIi1JbmZpbml0eSI7CiAgfSBlbHNlIGlmIChudW1NYXggPT09IEluZmluaXR5KSB7CiAgICB2YWx1ZXMuYXZnID0gIkluZmluaXR5IjsKICB9IGVsc2UgewogICAgdmFsdWVzLmF2ZyA9IHJlbW92ZVJvdW5kT2ZmKHZhbHVlcy5zdW0gLyBhbGxJdGVtcy5sZW5ndGgpOwogIH0KfTsKCmNvbnN0IGNhbGN1bGF0ZU1lZGlhbiA9ICh2YWx1ZXMsIGFsbEl0ZW1zKSA9PiB7CiAgaWYgKGFsbEl0ZW1zLmxlbmd0aCAlIDIgPT09IDApIHsKICAgIGNvbnN0IGlkeCA9IGFsbEl0ZW1zLmxlbmd0aCAvIDI7CiAgICB2YWx1ZXMubWVkaWFuID0KICAgICAgKE51bWJlcihhbGxJdGVtc1tpZHggLSAxXS5jb2x1bW4pICsgTnVtYmVyKGFsbEl0ZW1zW2lkeF0uY29sdW1uKSkgLyAyLjA7CiAgfSBlbHNlIHsKICAgIHZhbHVlcy5tZWRpYW4gPSBhbGxJdGVtc1tNYXRoLmZsb29yKGFsbEl0ZW1zLmxlbmd0aCAvIDIuMCldLmNvbHVtbjsKICB9Cn07CmNvbnN0IGNhbGN1bGF0ZVN0ZGV2ID0gKGhhc05lZ0luZiwgaGFzUG9zSW5mLCB2YXJpYW5jZSwgc2l6ZSkgPT4gewogIGlmIChoYXNOZWdJbmYgJiYgaGFzUG9zSW5mKSB7CiAgICByZXR1cm4gIk5hTiI7CiAgfQogIGlmIChoYXNOZWdJbmYgfHwgaGFzUG9zSW5mKSB7CiAgICByZXR1cm4gSW5maW5pdHk7CiAgfQogIHJldHVybiBNYXRoLnNxcnQodmFyaWFuY2UgLyBzaXplKTsKfTsKCmNvbnN0IHBhcnNlUHl0aG9uSW5maW5pdHlWYWx1ZXMgPSAoZGF0YSkgPT4KICBkYXRhLm1hcCgoaXRlbSkgPT4gewogICAgaWYgKGl0ZW0uY29sdW1uVHlwZSA9PT0gInN0YXR1cyIgfHwgIWl0ZW0uY29sdW1uLmVuZHNXaXRoKCJJbmYiKSkgewogICAgICByZXR1cm4gaXRlbTsKICAgIH0KICAgIC8vIFdlIGhhdmUgYSBweXRob24gSW5maW5pdHkgdmFsdWUgdGhhdCB3ZSB3YW50IHRvIHRyYW5zZmVyIHRvIGEgc3RyaW5nCiAgICAvLyB0aGF0IGNhbiBiZSBpbnRlcnByZXRlZCBhcyBhIEphdmFTY3JpcHQgSW5maW5pdHkgdmFsdWUKICAgIGl0ZW0uY29sdW1uID0gaXRlbS5jb2x1bW4ucmVwbGFjZSgiSW5mIiwgIkluZmluaXR5Iik7CiAgICByZXR1cm4gaXRlbTsKICB9KTsKCi8vIElmIGEgYnVja2V0IGNvbnRhaW5zIGEgTmFOIHZhbHVlLCB3ZSBjYW4gbm90IHBlcmZvcm0gYW55IHN0YXQgY2FsY3VsYXRpb24KY29uc3Qgc2hvdWxkU2tpcEJ1Y2tldCA9IChidWNrZXRNZXRhLCBrZXkpID0+IHsKICBpZiAoYnVja2V0TWV0YVtrZXldICYmIGJ1Y2tldE1ldGFba2V5XS5oYXNOYU4pIHsKICAgIHJldHVybiB0cnVlOwogIH0KICByZXR1cm4gZmFsc2U7Cn07CgovKioKICogRnVuY3Rpb24gdGhhdCBrZWVwcyB0cmFjayBvZiB0aGUgbWF4IGlucHV0dGVkIGRlY2ltYWwgbGVuZ3RoIG9mIGNvbHVtbiB2YWx1ZXMuCiAqIFRoaXMgaXMgdXNlZCBmb3IgY29uZGl0aW9uYWwgZm9ybWF0dGluZyBpbiB0aGUgc3RhdHMgbW9kdWxlIHRvIGRldGVybWluZSB0aGUgbWF4aW11bQogKiBhbW91bnQgb2YgcGFkZGVkIDBzCiAqCiAqIEB0eXBlZGVmIFVwZGF0ZU1heERlY2ltYWxNZXRhSW5mb1BhcmFtCiAqIEBwYXJhbSB7U3RyaW5nfSBjb2x1bW5UeXBlIC0gVGhlIHR5cGUgb2YgdGhlIGN1cnJlbnQgY29sdW1uCiAqIEBwYXJhbSB7T2JqZWN0fSBjb2x1bW4gLSBUaGUgY29sdW1uIG9iamVjdAogKiBAcGFyYW0ge09iamVjdH0gYnVja2V0IC0gVGhlIGN1cnJlbnQgc3RhdCBidWNrZXQgaW4gY29udGV4dAogKgogKiBAcGFyYW0ge1VwZGF0ZU1heERlY2ltYWxNZXRhSW5mb1BhcmFtfSBwYXJhbQogKi8KY29uc3QgdXBkYXRlTWF4RGVjaW1hbE1ldGFJbmZvID0gKHsgY29sdW1uVHlwZSwgY29sdW1uLCBidWNrZXQgfSkgPT4gewogIGlmIChjb2x1bW5UeXBlICE9PSAic3RhdHVzIikgewogICAgY29uc3QgWywgZGVjaW1hbF0gPSBjb2x1bW4uc3BsaXQoIi4iKTsKICAgIGJ1Y2tldC5tZXRhLm1heERlY2ltYWxzID0gTWF0aC5tYXgoCiAgICAgIGJ1Y2tldC5tZXRhLm1heERlY2ltYWxzLAogICAgICBkZWNpbWFsPy5sZW5ndGggPz8gMCwKICAgICk7CiAgfQp9OwoKLyoqCiAqIEB0eXBlZGVmICBNZXRhSW5mbwogKiAgQWRkaXRpb25hbCBtZXRhaW5mb3JtYXRpb24gdG8gYmUgdXNlZCBmb3IgcG9zdC1wcm9jZXNzaW5nIChsaWtlIG51bWJlciBmb3JtYXR0aW5nKQogKiBAcHJvcCB7c3RyaW5nfG51bGx9IHR5cGUgLSBUaGUgY29sdW1uIHR5cGUKICogQHByb3Age251bWJlcn0gbWF4RGVjaW1hbHMgLSBUaGUgbWF4aW11bSBhbW91bnQgb2YgZGVjaW1hbHMgYWNyb3NzIGFsbCBudW1iZXJzIGluIHRoZSBidWNrZXQKICogICAgICAgICAgICAgICAgICAgICAgICAgICAgICB1c2VkIGZvciBudW1iZXIgZm9ybWF0dGluZwogKi8KCi8qKgogKiBAdHlwZWRlZiBCdWNrZXQKICogU3RhdGlzdGljcyB0byBiZSBkaXNwbGF5ZWQgaW4gdGhlIHJlYWN0IHRhYmxlIGFyZSBjYWxjdWxhdGVkIGluIGJ1Y2tldHMsIGVhY2ggYnVja2V0IHJlcHJlc2VudGluZyBvbmUgInJvdyIgaW4gdGhlCiAqIHN0YXRpc3RpY3MgdGFibGUgKHRvdGFsLCBjb3JyZWN0LCBjb3JyZWN0IHRydWUsIGV0YykuCiAqIFRoaXMgb2JqZWN0IHN0b3JlcyBhbGwgYWNjdW11bGF0ZWQgaW5mb3JtYXRpb24gYWJvdXQgdGhpcyBidWNrZXQuCiAqCiAqIEBwcm9wIHtudW1iZXJ9IHN1bSAtIFRoZSBzdW0gb2YgdGhlIGJ1Y2tldAogKiBAcHJvcCB7bnVtYmVyfSBhdmcgLSBUaGUgYXZlcmFnZSBvZiB0aGUgYnVja2V0CiAqIEBwcm9wIHtudW1iZXJ8c3RyaW5nfSBtYXggLSBUaGUgbWF4aW1hbCB2YWx1ZSBvZiB0aGUgYnVja2V0CiAqIEBwcm9wIHtudW1iZXJ9IG1lZGlhbiAtIFRoZSBtZWRpYW4gdmFsdWUgb2YgdGhlIGJ1Y2tldAogKiBAcHJvcCB7bnVtYmVyfHN0cmluZ30gbWluIC0gVGhlIG1pbmltdW0gdmFsdWUgb2YgdGhlIGJ1Y2tldAogKiBAcHJvcCB7bnVtYmVyfSBzdGRldiAtIFRoZSBzdGFuZGFyZCBkZXZpYXRpb24gb2YgdGhlIGJ1Y2tldAogKiBAcHJvcCB7bnVtYmVyfSB2YXJpYW5jZSAtIFRoZSB2YXJpYW5jZSBvZiB0aGUgYnVja2V0CiAqIEBwcm9wIHtNZXRhSW5mb30gW21ldGFdIC0gTWV0YSBpbmZvcm1hdGlvbiBvZiB0aGUgYnVja2V0CiAqLwoKb25tZXNzYWdlID0gZnVuY3Rpb24gKGUpIHsKICBjb25zdCB7IGRhdGEsIHRyYW5zYWN0aW9uIH0gPSBlLmRhdGE7CgogIC8vIHRlbXBsYXRlCiAgLyoqIEBjb25zdCB7IEJ1Y2tldCB9ICovCiAgY29uc3QgZGVmYXVsdE9iaiA9IHsKICAgIHN1bTogMCwKICAgIGF2ZzogMCwKICAgIG1heDogIi1JbmZpbml0eSIsCiAgICBtZWRpYW46IDAsCiAgICBtaW46ICJJbmZpbml0eSIsCiAgICBzdGRldjogMCwKICAgIHZhcmlhbmNlOiAwLAogIH07CgogIC8qKiBAY29uc3Qge01ldGFJbmZvfSAqLwogIGNvbnN0IG1ldGFUZW1wbGF0ZSA9IHsKICAgIHR5cGU6IG51bGwsCiAgICBtYXhEZWNpbWFsczogMCwKICB9OwoKICAvLyBDb3B5IG9mIHRoZSB0ZW1wbGF0ZSB3aXRoIGFsbCB2YWx1ZXMgcmVwbGFjZWQgd2l0aCBOYU4KICBjb25zdCBuYW5PYmogPSB7IC4uLmRlZmF1bHRPYmogfTsKICBmb3IgKGNvbnN0IG9iaktleSBvZiBPYmplY3Qua2V5cyhuYW5PYmopKSB7CiAgICBuYW5PYmpbb2JqS2V5XSA9ICJOYU4iOwogIH0KCiAgbGV0IGNvcHkgPSBbLi4uZGF0YV0uZmlsdGVyKAogICAgKGkpID0+IGkgJiYgaS5jb2x1bW4gIT09IHVuZGVmaW5lZCAmJiBpLmNvbHVtbiAhPT0gbnVsbCwKICApOwogIGNvcHkgPSBwYXJzZVB5dGhvbkluZmluaXR5VmFsdWVzKGNvcHkpOwoKICBpZiAoY29weS5sZW5ndGggPT09IDApIHsKICAgIC8vIE5vIGRhdGEgdG8gcGVyZm9ybSBjYWxjdWxhdGlvbnMgd2l0aAogICAgcG9zdFJlc3VsdCh7IHRvdGFsOiB1bmRlZmluZWQgfSwgdHJhbnNhY3Rpb24pOwogICAgcmV0dXJuOwogIH0KCiAgY29uc3QgeyBjb2x1bW5UeXBlIH0gPSBjb3B5WzBdOwogIG1ldGFUZW1wbGF0ZS50eXBlID0gY29sdW1uVHlwZTsKCiAgY29weS5zb3J0KChhLCBiKSA9PiBhLmNvbHVtbiAtIGIuY29sdW1uKTsKCiAgLyoqIEB0eXBlIHtPYmplY3QuPHN0cmluZywgQnVja2V0Pn0gKi8KICBjb25zdCBidWNrZXRzID0ge307CiAgY29uc3QgYnVja2V0TmFOSW5mbyA9IHt9OyAvLyB1c2VkIHRvIHN0b3JlIE5hTiBpbmZvIG9mIGJ1Y2tldHMKCiAgLyoqIEB0eXBlIHtCdWNrZXR9ICovCiAgbGV0IHRvdGFsID0geyAuLi5kZWZhdWx0T2JqLCBpdGVtczogW10sIG1ldGE6IHsgLi4ubWV0YVRlbXBsYXRlIH0gfTsKCiAgdG90YWwubWF4ID0gY29weVtjb3B5Lmxlbmd0aCAtIDFdLmNvbHVtbjsKICB0b3RhbC5taW4gPSBjb3B5WzBdLmNvbHVtbjsKCiAgY29uc3QgdG90YWxOYU5JbmZvID0gewogICAgaGFzTmFOOiBjb3B5LnNvbWUoKGl0ZW0pID0+IHsKICAgICAgaWYgKGl0ZW0uY29sdW1uVHlwZSAhPT0gInN0YXR1cyIgJiYgaXNOYU4oaXRlbS5jb2x1bW4pKSB7CiAgICAgICAgcmV0dXJuIHRydWU7CiAgICAgIH0KICAgICAgcmV0dXJuIGZhbHNlOwogICAgfSksCiAgfTsKCiAgLy8gQnVja2V0IHNldHVwIHdpdGggc3VtIGFuZCBtaW4vbWF4CiAgZm9yIChjb25zdCBpdGVtIG9mIGNvcHkpIHsKICAgIGNvbnN0IGtleSA9IGAke2l0ZW0uY2F0ZWdvcnlUeXBlfV8ke2l0ZW0ucmVzdWx0VHlwZX1gOwogICAgY29uc3QgdG90YWxLZXkgPSBgJHtpdGVtLmNhdGVnb3J5VHlwZX1gOwogICAgY29uc3QgeyBjb2x1bW5UeXBlOiB0eXBlLCBjb2x1bW4sIGNvbHVtblRpdGxlOiB0aXRsZSB9ID0gaXRlbTsKICAgIGlmICghdG90YWwudGl0bGUpIHsKICAgICAgdG90YWwudGl0bGUgPSB0aXRsZTsKICAgIH0KICAgIGNvbnN0IGJ1Y2tldCA9IGJ1Y2tldHNba2V5XSB8fCB7CiAgICAgIC4uLmRlZmF1bHRPYmosCiAgICAgIHRpdGxlLAogICAgICBpdGVtczogW10sCiAgICAgIG1ldGE6IHsgLi4ubWV0YVRlbXBsYXRlIH0sCiAgICB9OwoKICAgIGNvbnN0IHN1YlRvdGFsQnVja2V0ID0gYnVja2V0c1t0b3RhbEtleV0gfHwgewogICAgICAuLi5kZWZhdWx0T2JqLAogICAgICB0aXRsZSwKICAgICAgaXRlbXM6IFtdLAogICAgICBtZXRhOiB7IC4uLm1ldGFUZW1wbGF0ZSB9LAogICAgfTsKCiAgICBjb25zdCBpdGVtSXNOYU4gPSB0eXBlICE9PSAic3RhdHVzIiAmJiBpc05hTihjb2x1bW4pOwoKICAgIC8vIGlmIG9uZSBpdGVtIGlzIE5hTiB3ZSBzdG9yZSB0aGF0IGluZm8gc28gd2UgY2FuIGRlZmF1bHQgYWxsCiAgICAvLyBjYWxjdWxhdGVkIHZhbHVlcyBmb3IgdGhpcyBidWNrZXQgdG8gTmFOCiAgICBpZiAoaXRlbUlzTmFOKSB7CiAgICAgIGJ1Y2tldE5hTkluZm9ba2V5XSA9IHsgaGFzTmFOOiB0cnVlIH07CiAgICAgIGJ1Y2tldE5hTkluZm9bdG90YWxLZXldID0geyBoYXNOYU46IHRydWUgfTsKCiAgICAgIC8vIHNldCBhbGwgdmFsdWVzIGZvciB0aGlzIGJ1Y2tldCB0byBOYU4KICAgICAgYnVja2V0c1trZXldID0geyAuLi5uYW5PYmosIHRpdGxlIH07CiAgICAgIGJ1Y2tldHNbdG90YWxLZXldID0geyAuLi5uYW5PYmosIHRpdGxlIH07CiAgICAgIGNvbnRpbnVlOwogICAgfQoKICAgIC8vIHdlIGNoZWNrIGlmIHdlIHNob3VsZCBza2lwIGNhbGN1bGF0aW9uIGZvciB0aGVzZSBidWNrZXRzCiAgICBjb25zdCBza2lwQnVja2V0ID0gc2hvdWxkU2tpcEJ1Y2tldChidWNrZXROYU5JbmZvLCBrZXkpOwogICAgY29uc3Qgc2tpcFN1YlRvdGFsID0gc2hvdWxkU2tpcEJ1Y2tldChidWNrZXROYU5JbmZvLCB0b3RhbEtleSk7CgogICAgaWYgKCFza2lwQnVja2V0KSB7CiAgICAgIGJ1Y2tldC5zdW0gPSBtYXliZUFkZChidWNrZXQuc3VtLCBjb2x1bW4sIHR5cGUpOwogICAgICB1cGRhdGVNYXhEZWNpbWFsTWV0YUluZm8oeyBjb2x1bW5UeXBlLCBjb2x1bW4sIGJ1Y2tldCB9KTsKICAgIH0KICAgIGlmICghc2tpcFN1YlRvdGFsKSB7CiAgICAgIHN1YlRvdGFsQnVja2V0LnN1bSA9IG1heWJlQWRkKHN1YlRvdGFsQnVja2V0LnN1bSwgY29sdW1uLCB0eXBlKTsKICAgICAgdXBkYXRlTWF4RGVjaW1hbE1ldGFJbmZvKHsgY29sdW1uVHlwZSwgY29sdW1uLCBidWNrZXQ6IHN1YlRvdGFsQnVja2V0IH0pOwogICAgfQogICAgaWYgKCF0b3RhbE5hTkluZm8uaGFzTmFOKSB7CiAgICAgIHRvdGFsLnN1bSA9IG1heWJlQWRkKHRvdGFsLnN1bSwgY29sdW1uLCB0eXBlKTsKICAgICAgdXBkYXRlTWF4RGVjaW1hbE1ldGFJbmZvKHsgY29sdW1uVHlwZSwgY29sdW1uLCBidWNrZXQ6IHRvdGFsIH0pOwogICAgfQoKICAgIGlmICghaXNOYU4oTnVtYmVyKGNvbHVtbikpKSB7CiAgICAgIGlmICghc2tpcEJ1Y2tldCkgewogICAgICAgIGJ1Y2tldC5tYXggPSBtYXRoU3RyaW5nTWF4KGJ1Y2tldC5tYXgsIGNvbHVtbik7CiAgICAgICAgYnVja2V0Lm1pbiA9IG1hdGhTdHJpbmdNaW4oYnVja2V0Lm1pbiwgY29sdW1uKTsKICAgICAgfQogICAgICBpZiAoIXNraXBTdWJUb3RhbCkgewogICAgICAgIHN1YlRvdGFsQnVja2V0Lm1heCA9IG1hdGhTdHJpbmdNYXgoc3ViVG90YWxCdWNrZXQubWF4LCBjb2x1bW4pOwogICAgICAgIHN1YlRvdGFsQnVja2V0Lm1pbiA9IG1hdGhTdHJpbmdNaW4oc3ViVG90YWxCdWNrZXQubWluLCBjb2x1bW4pOwogICAgICB9CiAgICB9CiAgICBpZiAoIXNraXBCdWNrZXQpIHsKICAgICAgdHJ5IHsKICAgICAgICBidWNrZXQuaXRlbXMucHVzaChpdGVtKTsKICAgICAgfSBjYXRjaCAoZSkgewogICAgICAgIGNvbnNvbGUuZSh7IGJ1Y2tldCwgYnVja2V0TWV0YTogYnVja2V0TmFOSW5mbywga2V5IH0pOwogICAgICB9CiAgICB9CiAgICBpZiAoIXNraXBTdWJUb3RhbCkgewogICAgICB0cnkgewogICAgICAgIHN1YlRvdGFsQnVja2V0Lml0ZW1zLnB1c2goaXRlbSk7CiAgICAgIH0gY2F0Y2ggKGUpIHsKICAgICAgICBjb25zb2xlLmUoeyBzdWJUb3RhbEJ1Y2tldCwgYnVja2V0TWV0YTogYnVja2V0TmFOSW5mbywgdG90YWxLZXkgfSk7CiAgICAgIH0KICAgIH0KCiAgICBidWNrZXRzW2tleV0gPSBidWNrZXQ7CiAgICBidWNrZXRzW3RvdGFsS2V5XSA9IHN1YlRvdGFsQnVja2V0OwogIH0KCiAgZm9yIChjb25zdCBbYnVja2V0LCB2YWx1ZXNdIG9mIE9iamVjdC5lbnRyaWVzKGJ1Y2tldHMpKSB7CiAgICBpZiAoc2hvdWxkU2tpcEJ1Y2tldChidWNrZXROYU5JbmZvLCBidWNrZXQpKSB7CiAgICAgIGNvbnRpbnVlOwogICAgfQogICAgY2FsY3VsYXRlTWVhbih2YWx1ZXMsIHZhbHVlcy5pdGVtcyk7CgogICAgY2FsY3VsYXRlTWVkaWFuKHZhbHVlcywgdmFsdWVzLml0ZW1zKTsKICAgIGJ1Y2tldHNbYnVja2V0XSA9IHZhbHVlczsKICB9CiAgY29uc3QgdG90YWxIYXNOYU4gPSB0b3RhbE5hTkluZm8uaGFzTmFOOwoKICBpZiAodG90YWxIYXNOYU4pIHsKICAgIHRvdGFsID0geyAuLi50b3RhbCwgLi4ubmFuT2JqIH07CiAgfSBlbHNlIHsKICAgIGNhbGN1bGF0ZU1lYW4odG90YWwsIGNvcHkpOwogICAgY2FsY3VsYXRlTWVkaWFuKHRvdGFsLCBjb3B5KTsKICB9CgogIGZvciAoY29uc3QgaXRlbSBvZiBjb3B5KSB7CiAgICBjb25zdCB7IGNvbHVtbiB9ID0gaXRlbTsKICAgIGlmIChpc05hTihOdW1iZXIoY29sdW1uKSkpIHsKICAgICAgY29udGludWU7CiAgICB9CiAgICBjb25zdCBudW1Db2wgPSBOdW1iZXIoY29sdW1uKTsKICAgIGNvbnN0IGtleSA9IGAke2l0ZW0uY2F0ZWdvcnlUeXBlfV8ke2l0ZW0ucmVzdWx0VHlwZX1gOwogICAgY29uc3QgdG90YWxLZXkgPSBgJHtpdGVtLmNhdGVnb3J5VHlwZX1gOwogICAgY29uc3QgYnVja2V0ID0gYnVja2V0c1trZXldOwogICAgY29uc3Qgc3ViVG90YWxCdWNrZXQgPSBidWNrZXRzW3RvdGFsS2V5XTsKICAgIGNvbnN0IGRpZmZCdWNrZXQgPSBudW1Db2wgLSBidWNrZXQuYXZnOwogICAgY29uc3QgZGlmZlN1YlRvdGFsID0gbnVtQ29sIC0gc3ViVG90YWxCdWNrZXQuYXZnOwogICAgY29uc3QgZGlmZlRvdGFsID0gbnVtQ29sIC0gdG90YWwuYXZnOwogICAgdG90YWwudmFyaWFuY2UgKz0gTWF0aC5wb3coZGlmZlRvdGFsLCAyKTsKICAgIGJ1Y2tldC52YXJpYW5jZSArPSBNYXRoLnBvdyhkaWZmQnVja2V0LCAyKTsKICAgIHN1YlRvdGFsQnVja2V0LnZhcmlhbmNlICs9IE1hdGgucG93KGRpZmZTdWJUb3RhbCwgMik7CiAgfQoKICBjb25zdCB0b3RhbEhhc05lZ0luZiA9IE51bWJlcih0b3RhbC5taW4pID09PSAtSW5maW5pdHk7CiAgY29uc3QgdG90YWxIYXNQb3NJbmYgPSBOdW1iZXIodG90YWwubWF4KSA9PT0gSW5maW5pdHk7CiAgdG90YWwuc3RkZXYgPSBjYWxjdWxhdGVTdGRldigKICAgIHRvdGFsSGFzTmVnSW5mLAogICAgdG90YWxIYXNQb3NJbmYsCiAgICB0b3RhbC52YXJpYW5jZSwKICAgIGNvcHkubGVuZ3RoLAogICk7CgogIGZvciAoY29uc3QgW2J1Y2tldCwgdmFsdWVzXSBvZiBPYmplY3QuZW50cmllcyhidWNrZXRzKSkgewogICAgaWYgKHNob3VsZFNraXBCdWNrZXQoYnVja2V0TmFOSW5mbywgYnVja2V0KSkgewogICAgICBmb3IgKGNvbnN0IFtrZXksIHZhbF0gb2YgT2JqZWN0LmVudHJpZXModmFsdWVzKSkgewogICAgICAgIHZhbHVlc1trZXldID0gdmFsLnRvU3RyaW5nKCk7CiAgICAgIH0KICAgICAgYnVja2V0c1tidWNrZXRdID0gdmFsdWVzOwogICAgICBjb250aW51ZTsKICAgIH0KICAgIGNvbnN0IHZhbHVlc0hhdmVOZWdJbmYgPSBOdW1iZXIodmFsdWVzLm1pbikgPT09IC1JbmZpbml0eTsKICAgIGNvbnN0IHZhbHVlc0hhdmVQb3NJbmYgPSBOdW1iZXIodG90YWwubWF4KSA9PT0gSW5maW5pdHk7CiAgICB2YWx1ZXMuc3RkZXYgPSBjYWxjdWxhdGVTdGRldigKICAgICAgdmFsdWVzSGF2ZU5lZ0luZiwKICAgICAgdmFsdWVzSGF2ZVBvc0luZiwKICAgICAgdmFsdWVzLnZhcmlhbmNlLAogICAgICB2YWx1ZXMuaXRlbXMubGVuZ3RoLAogICAgKTsKCiAgICBmb3IgKGNvbnN0IFtrZXksIHZhbF0gb2YgT2JqZWN0LmVudHJpZXModmFsdWVzKSkgewogICAgICBpZiAoa2V5ID09PSAibWV0YSIpIHsKICAgICAgICBjb250aW51ZTsKICAgICAgfQogICAgICB2YWx1ZXNba2V5XSA9IHZhbC50b1N0cmluZygpOwogICAgfQogICAgLy8gY2xlYXJpbmcgbWVtb3J5CiAgICBkZWxldGUgdmFsdWVzLml0ZW1zOwogICAgZGVsZXRlIHZhbHVlcy52YXJpYW5jZTsKICAgIGJ1Y2tldHNbYnVja2V0XSA9IHZhbHVlczsKICB9CgogIGZvciAoY29uc3QgW2tleSwgdmFsdWVdIG9mIE9iamVjdC5lbnRyaWVzKHRvdGFsKSkgewogICAgaWYgKGtleSA9PT0gIm1ldGEiKSB7CiAgICAgIGNvbnRpbnVlOwogICAgfQogICAgdG90YWxba2V5XSA9IHZhbHVlLnRvU3RyaW5nKCk7CiAgfQoKICBkZWxldGUgdG90YWwuaXRlbXM7CiAgZGVsZXRlIHRvdGFsLnZhcmlhbmNlOwoKICBjb25zdCByZXN1bHQgPSB7IGNvbHVtblR5cGUsIHRvdGFsLCAuLi5idWNrZXRzIH07CiAgcG9zdFJlc3VsdChyZXN1bHQsIHRyYW5zYWN0aW9uKTsKfTsKCmNvbnN0IHBvc3RSZXN1bHQgPSAocmVzdWx0LCB0cmFuc2FjdGlvbikgPT4gewogIC8vIGhhbmRsaW5nIGluIHRlc3RzCiAgaWYgKHRoaXMubW9ja2VkUG9zdE1lc3NhZ2UpIHsKICAgIHRoaXMubW9ja2VkUG9zdE1lc3NhZ2UoeyByZXN1bHQsIHRyYW5zYWN0aW9uIH0pOwogICAgcmV0dXJuOwogIH0KICBwb3N0TWVzc2FnZSh7IHJlc3VsdCwgdHJhbnNhY3Rpb24gfSk7Cn07Cg==",poolSize:8,name:"stats"}].map((function(e){for(var t=e.template,n=e.poolSize,i=e.name,r=[],s=function(e){var n=new Worker(t),i={worker:n,busy:!1};n.onmessage=function(e){return function(e,t){var n=e.data,i=n.transaction,r=n.result,s=Ve[i];t.busy=!1,s(r),delete Ve[i]}(e,i)},r.push(i)},l=0;l=s.length)break;r.push(c),a=s[++l]}}catch(d){o.e(d)}finally{o.f()}return r})),e.abrupt("return",De(r).map((function(e){var t=e.content.map((function(t,n){return a[n].map((function(t){return t[e.id]}))}));return(0,s.Z)((0,s.Z)({},e),{},{content:t})})));case 9:case"end":return e.stop()}}),e)})));return function(t){return e.apply(this,arguments)}}(),Ee=function(e){return e.map((function(e,t){return e.columns.map((function(e,n){var i=e.number_of_significant_digits;return new te(i,"".concat(t,"-").concat(n))}))}))},Pe=function(e,t,n){return function(n,i){var r=i.significantDigits,s=Number(n),l=n.split("."),a=(0,g.Z)(l,2),o=a[0],c=a[1];if(["sum","avg","stdev"].includes(e)){var u,d;if(B(r)&&"sum"!==e)return s.toFixed(2);var h=o.replace(/^0+/,""),f=c||"";""===h&&(f=f.replace(/^0+/,""));var p=t-(null!==(u=null===c||void 0===c?void 0:c.length)&&void 0!==u?u:0),m=r-(h.length+f.length),v=m>0,b=(null!==(d=null===c||void 0===c?void 0:c.length)&&void 0!==d?d:0)+m;if(p>0&&v&&"stdev"!==e)return p>m?s.toFixed(b):s.toFixed(t);if("avg"===e&&!v&&p<0&&"0"===n[n.length-1])return s.toFixed(t);if("stdev"===e&&v)return s.toFixed(b)}return n}},Me=function(e,t,n){var i=e.map((function(e,i){return e.map((function(e,r){var s,l={columnType:e.columnType},a=(0,f.Z)(n);try{for(a.s();!(s=a.n()).done;){var o,c=s.value,u=e[c];u&&(l[c]=u,null!==(o=null===u||void 0===u?void 0:u.sum)&&void 0!==o&&o&&t[i][r].addDataItem(u.sum))}}catch(d){a.e(d)}finally{a.f()}return l}))}));for(var r in t)for(var s in t[r])t[r][s]=t[r][s].build();return i.map((function(e,n){return e.map((function(e,i){e.columnType;var r=(0,v.Z)(e,Ke),s={};if(void 0!==r.total){for(var l=0,a=Object.entries(r);l