2026-03-23 18:58:37,783 INFO [default] Using mxClq groupCountThreshold: 2 ( INFO) == Loading and Performing Problem Setup %right_file ( INFO) == Processing component #1 %right_file ( INFO) == Creating data structures %right_file Cliques: {0:["V364","V398",], 1:["V363","V397",], 2:["V362","V396",], 3:["V361","V395",], 4:["V360","V394",], 5:["V345","V369","V379","V403",], 6:["V346","V367","V380","V401",], 7:["V347","V365","V381","V399",], 8:["V353","V358","V389","V391","V392","V387",], 9:["V353","V355","V358","V391","V392","V389",], 10:["V353","V355","V357","V358","V391","V392",], 11:["V352","V359","V388","V390","V393","V386",], 12:["V352","V354","V359","V390","V393","V388",], 13:["V352","V354","V356","V359","V390","V393",], 14:["V256","V261","V268","V312","V364",], 15:["V253","V258","V263","V311","V363",], 16:["V255","V260","V267","V310","V362",], 17:["V254","V259","V266","V309","V361",], 18:["V252","V257","V262","V308","V360",], 19:["V348","V349","V372","V382","V383","V406",], 20:["V350","V351","V371","V384","V385","V405",], 21:["V332","V350","V351","V371","V385","V384",], 22:["V331","V332","V350","V351","V371","V385",], 23:["V334","V348","V349","V372","V383","V382",], 24:["V333","V334","V348","V349","V372","V383",], 25:["V296","V297","V320","V333","V334","V348","V349","V372",], 26:["V298","V299","V319","V331","V332","V350","V351","V371",], 27:["V280","V298","V299","V319","V331","V332","V351","V350",], 28:["V275","V280","V298","V299","V319","V331","V351","V332",], 29:["V275","V279","V280","V298","V299","V319","V331","V351",], 30:["V282","V296","V297","V320","V333","V334","V349","V348",], 31:["V271","V282","V296","V297","V320","V333","V349","V334",], 32:["V271","V281","V282","V296","V297","V320","V333","V349",], 33:["V170","V175","V182","V226","V256","V261","V268","V312",], 34:["V167","V172","V177","V225","V253","V258","V263","V311",], 35:["V169","V174","V181","V224","V255","V260","V267","V310",], 36:["V168","V173","V180","V223","V254","V259","V266","V309",], 37:["V166","V171","V176","V222","V252","V257","V262","V308",], 38:["V342","V343","V373","V378","V379","V380","V381","V407","V377",], 39:["V335","V336","V347","V356","V357","V358","V359","V366","V374","V400",], 40:["V341","V342","V343","V344","V373","V379","V380","V381","V407","V378",], 41:["V272","V276","V295","V313","V335","V336","V347","V374","V381","V365",], 42:["V271","V272","V273","V274","V281","V282","V296","V297","V320","V333",], 43:["V275","V276","V277","V278","V279","V280","V298","V299","V319","V331",], 44:["V264","V269","V301","V306","V339","V340","V355","V357","V358","V404","V353",], 45:["V265","V270","V300","V307","V339","V340","V354","V356","V359","V404","V352",], 46:["V341","V342","V343","V344","V345","V346","V347","V373","V379","V380","V381","V407",], 47:["V341","V342","V343","V344","V345","V346","V347","V369","V373","V379","V404","V376",], 48:["V289","V290","V291","V292","V293","V294","V295","V317","V321","V345","V370","V330",], 49:["V189","V193","V194","V276","V277","V278","V279","V280","V298","V299","V319","V275",], 50:["V185","V195","V196","V272","V273","V274","V281","V282","V296","V297","V320","V271",], 51:["V203","V204","V205","V206","V207","V208","V209","V231","V235","V293","V318","V250",], 52:["V107","V108","V109","V110","V111","V112","V113","V133","V137","V207","V232","V164",], 53:["V193","V194","V212","V233","V276","V277","V278","V279","V280","V299","V319","V189","V298",], 54:["V193","V194","V212","V213","V233","V276","V277","V278","V279","V280","V319","V189","V299",], 55:["V195","V196","V210","V234","V272","V273","V274","V281","V282","V297","V320","V185","V296",], 56:["V195","V196","V210","V211","V234","V272","V273","V274","V281","V282","V320","V185","V297",], 57:["V185","V186","V187","V188","V195","V196","V210","V211","V234","V272","V273","V274","V281","V282","V320",], 58:["V189","V190","V191","V192","V193","V194","V212","V213","V233","V276","V277","V278","V279","V280","V319",], 59:["V264","V269","V301","V303","V306","V337","V338","V339","V340","V357","V358","V402","V404","V355",], 60:["V265","V270","V300","V302","V307","V337","V338","V339","V340","V356","V359","V402","V404","V354",], 61:["V0","V2","V4","V5","V6","V8","V9","V49","V51","V53","V55","V57","V58","V59","V7",], 62:["V339","V340","V341","V342","V343","V344","V345","V346","V347","V369","V373","V380","V381","V404","V379",], 63:["V287","V288","V289","V290","V291","V292","V293","V294","V295","V315","V317","V321","V346","V368","V329",], 64:["V0","V2","V4","V5","V6","V8","V9","V14","V19","V24","V30","V57","V58","V59","V3",], 65:["V201","V202","V203","V204","V205","V206","V207","V208","V209","V229","V231","V235","V294","V316","V249",], 66:["V105","V106","V107","V108","V109","V110","V111","V112","V113","V131","V133","V137","V208","V230","V163",], 67:["V0","V2","V4","V5","V6","V8","V9","V12","V17","V22","V28","V57","V58","V59","V1",], 68:["V0","V2","V4","V5","V6","V8","V9","V42","V43","V44","V45","V46","V57","V58","V59","V61","V10",], 69:["V337","V338","V339","V340","V341","V342","V343","V344","V345","V346","V347","V367","V369","V373","V375","V381","V404","V380",], 70:["V337","V338","V339","V340","V341","V342","V343","V344","V345","V346","V347","V367","V369","V373","V381","V402","V404","V375",], 71:["V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V313","V315","V317","V321","V347","V366","V328",], 72:["V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V227","V229","V231","V235","V295","V314","V248",], 73:["V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V129","V131","V133","V137","V209","V228","V162",], 74:["V9","V31","V32","V33","V36","V37","V38","V39","V40","V41","V48","V57","V58","V59","V60","V100","V114","V136","V47",], 75:["V9","V31","V32","V33","V36","V37","V38","V39","V40","V41","V57","V58","V59","V60","V99","V100","V114","V115","V136","V48",], 76:["V265","V270","V300","V302","V304","V307","V335","V336","V337","V338","V339","V340","V347","V356","V357","V358","V366","V374","V402","V404","V359",], 77:["V97","V98","V190","V191","V192","V193","V194","V197","V198","V199","V200","V201","V202","V212","V213","V233","V236","V237","V238","V276","V277","V278","V189",], 78:["V97","V98","V135","V190","V191","V192","V193","V194","V197","V198","V199","V200","V201","V202","V212","V233","V236","V237","V238","V276","V277","V278","V213",], 79:["V274","V278","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V306","V307","V317","V318","V321","V339","V340","V345","V404","V370",], 80:["V290","V291","V321","V335","V336","V337","V338","V339","V340","V341","V342","V344","V345","V346","V347","V367","V369","V373","V374","V381","V402","V404","V343",], 81:["V251","V290","V291","V321","V335","V336","V337","V338","V339","V340","V341","V344","V345","V346","V347","V367","V369","V373","V374","V381","V402","V404","V342",], 82:["V289","V290","V291","V292","V321","V335","V336","V337","V338","V339","V340","V341","V345","V346","V347","V367","V369","V373","V374","V381","V402","V404","V251","V344",], 83:["V94","V95","V96","V97","V98","V135","V190","V191","V192","V193","V194","V197","V198","V199","V200","V201","V202","V236","V237","V238","V276","V277","V278","V233",], 84:["V99","V100","V186","V187","V188","V195","V196","V197","V198","V199","V200","V201","V202","V210","V211","V234","V239","V240","V241","V272","V273","V274","V185",], 85:["V264","V265","V269","V270","V300","V301","V302","V303","V304","V305","V306","V307","V335","V336","V337","V338","V339","V340","V347","V357","V366","V374","V402","V404","V358",], 86:["V99","V100","V114","V136","V186","V187","V188","V195","V196","V197","V198","V199","V200","V201","V202","V211","V234","V239","V240","V241","V272","V273","V274","V210",], 87:["V99","V100","V114","V115","V136","V186","V187","V188","V195","V196","V197","V198","V199","V200","V201","V202","V234","V239","V240","V241","V272","V273","V274","V211",], 88:["V289","V290","V291","V292","V293","V294","V295","V321","V335","V336","V337","V338","V339","V340","V345","V346","V347","V367","V369","V374","V381","V402","V404","V251","V373",], 89:["V91","V92","V93","V99","V100","V114","V115","V136","V186","V187","V188","V195","V196","V197","V198","V199","V200","V201","V202","V239","V240","V241","V272","V273","V274","V234",], 90:["V273","V277","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V302","V303","V306","V307","V315","V316","V317","V321","V337","V338","V346","V402","V368",], 91:["V321","V335","V336","V337","V338","V339","V340","V345","V346","V347","V367","V369","V374","V402","V404","V272","V276","V289","V290","V291","V292","V293","V294","V295","V313","V251","V381",], 92:["V272","V276","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V304","V305","V306","V307","V313","V314","V315","V317","V321","V335","V347","V327",], 93:["V186","V190","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V218","V219","V220","V221","V227","V228","V229","V231","V235","V283","V295","V247",], 94:["V91","V94","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V120","V121","V122","V123","V129","V130","V131","V133","V137","V197","V209","V161",], 95:["V94","V95","V96","V97","V98","V135","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V236","V237","V238","V276","V277","V278","V193",], 96:["V92","V95","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V118","V119","V122","V123","V129","V130","V131","V132","V133","V137","V199","V208","V159",], 97:["V272","V274","V276","V278","V289","V290","V291","V292","V293","V294","V295","V313","V317","V321","V335","V336","V337","V338","V339","V340","V345","V346","V347","V367","V374","V402","V404","V251","V369",], 98:["V93","V96","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V116","V117","V122","V123","V129","V130","V131","V132","V133","V134","V137","V201","V207","V157",], 99:["V272","V273","V274","V276","V277","V278","V289","V290","V291","V292","V293","V294","V295","V313","V315","V317","V321","V335","V336","V337","V338","V339","V340","V345","V346","V347","V374","V402","V404","V251","V367",], 100:["V0","V2","V4","V6","V8","V9","V12","V14","V17","V19","V22","V24","V28","V30","V31","V34","V36","V37","V42","V43","V44","V45","V46","V49","V51","V53","V55","V57","V58","V59","V61","V5",], 101:["V266","V267","V268","V269","V270","V272","V276","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V304","V305","V306","V307","V313","V314","V315","V317","V321","V336","V347","V326",], 102:["V180","V181","V182","V183","V184","V186","V190","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V218","V219","V220","V221","V227","V228","V229","V231","V235","V284","V295","V246",], 103:["V86","V87","V88","V89","V90","V91","V94","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V120","V121","V122","V123","V129","V130","V131","V133","V137","V198","V209","V160",], 104:["V91","V92","V93","V99","V100","V114","V115","V136","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V236","V237","V238","V239","V240","V241","V272","V273","V274","V195",], 105:["V79","V80","V81","V89","V90","V92","V95","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V118","V119","V122","V123","V129","V130","V131","V132","V133","V137","V200","V208","V158",], 106:["V74","V75","V76","V89","V90","V93","V96","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V116","V117","V122","V123","V129","V130","V131","V132","V133","V134","V137","V202","V207","V156",], 107:["V0","V2","V4","V8","V9","V12","V14","V17","V19","V22","V24","V28","V30","V31","V32","V34","V35","V36","V37","V38","V39","V42","V43","V44","V45","V46","V49","V51","V53","V55","V57","V58","V59","V61","V6",], 108:["V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V94","V95","V96","V97","V98","V99","V101","V102","V107","V108","V113","V120","V121","V124","V125","V126","V127","V128","V129","V130","V135","V137","V190","V228","V152",], 109:["V72","V73","V84","V85","V93","V94","V95","V96","V97","V98","V99","V101","V102","V103","V104","V105","V106","V107","V108","V111","V116","V117","V122","V123","V124","V127","V129","V131","V133","V134","V135","V137","V192","V201","V149",], 110:["V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V99","V100","V101","V102","V107","V108","V113","V114","V115","V120","V121","V124","V125","V126","V127","V128","V129","V130","V136","V137","V186","V228","V155",], 111:["V77","V78","V84","V85","V92","V94","V95","V96","V97","V98","V99","V101","V102","V103","V104","V105","V106","V107","V108","V112","V118","V119","V122","V123","V124","V127","V129","V131","V132","V133","V134","V135","V137","V191","V199","V147",], 112:["V262","V263","V264","V265","V266","V267","V268","V269","V270","V273","V277","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V302","V303","V306","V307","V313","V314","V315","V316","V317","V321","V337","V346","V325",], 113:["V176","V177","V178","V179","V180","V181","V182","V183","V184","V187","V191","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V216","V217","V220","V221","V227","V228","V229","V230","V231","V235","V285","V294","V245",], 114:["V74","V75","V76","V89","V90","V93","V94","V95","V96","V97","V98","V99","V101","V102","V103","V104","V105","V106","V107","V108","V111","V116","V117","V122","V123","V125","V126","V128","V129","V131","V133","V134","V135","V137","V192","V202","V148",], 115:["V82","V83","V84","V85","V91","V94","V95","V96","V97","V98","V99","V101","V102","V103","V104","V105","V106","V107","V108","V113","V120","V121","V122","V123","V124","V127","V129","V130","V131","V132","V133","V134","V135","V137","V190","V197","V145",], 116:["V77","V78","V79","V80","V81","V84","V85","V89","V90","V92","V94","V95","V96","V97","V98","V99","V101","V102","V103","V104","V107","V108","V112","V118","V119","V124","V125","V126","V127","V128","V129","V131","V132","V135","V137","V191","V230","V151",], 117:["V79","V80","V81","V89","V90","V92","V94","V95","V96","V97","V98","V99","V101","V102","V103","V104","V105","V106","V107","V108","V112","V118","V119","V122","V123","V125","V126","V128","V129","V131","V132","V133","V134","V135","V137","V191","V200","V146",], 118:["V0","V4","V8","V9","V12","V13","V14","V17","V18","V19","V22","V23","V24","V28","V29","V30","V31","V32","V34","V35","V36","V37","V38","V39","V41","V42","V43","V44","V45","V46","V49","V51","V53","V55","V57","V58","V59","V61","V2",], 119:["V77","V78","V79","V80","V81","V84","V85","V89","V90","V91","V92","V93","V95","V99","V100","V101","V102","V103","V104","V107","V108","V112","V114","V115","V118","V119","V124","V125","V126","V127","V128","V129","V131","V132","V136","V137","V187","V230","V154",], 120:["V86","V87","V88","V89","V90","V91","V94","V95","V96","V97","V98","V99","V101","V102","V103","V104","V105","V106","V107","V108","V113","V120","V121","V122","V123","V125","V126","V128","V129","V130","V131","V132","V133","V134","V135","V137","V190","V198","V144",], 121:["V72","V73","V84","V85","V91","V92","V93","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V111","V114","V115","V116","V117","V122","V123","V124","V127","V129","V131","V133","V134","V135","V136","V137","V188","V201","V143",], 122:["V9","V11","V12","V13","V14","V15","V16","V17","V18","V19","V27","V31","V32","V36","V37","V38","V39","V40","V41","V44","V49","V50","V55","V56","V57","V58","V59","V60","V61","V93","V99","V100","V105","V106","V114","V115","V133","V134","V136","V33",], 123:["V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V273","V277","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V302","V303","V306","V307","V313","V314","V315","V316","V317","V321","V338","V346","V324",], 124:["V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V187","V191","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V216","V217","V220","V221","V227","V228","V229","V230","V231","V235","V286","V294","V244",], 125:["V77","V78","V84","V85","V91","V92","V93","V95","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V112","V114","V115","V118","V119","V122","V123","V124","V127","V129","V131","V132","V133","V134","V135","V136","V137","V187","V199","V141",], 126:["V72","V73","V74","V75","V76","V84","V85","V89","V90","V93","V94","V95","V96","V97","V98","V99","V101","V102","V103","V104","V105","V106","V107","V108","V111","V116","V117","V124","V125","V126","V127","V128","V129","V131","V133","V134","V135","V137","V192","V232","V150",], 127:["V74","V75","V76","V89","V90","V91","V92","V93","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V111","V114","V115","V116","V117","V122","V123","V125","V126","V128","V129","V131","V133","V134","V135","V136","V137","V188","V202","V142",], 128:["V82","V83","V84","V85","V91","V92","V93","V94","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V113","V114","V115","V120","V121","V122","V123","V124","V127","V129","V130","V131","V132","V133","V134","V135","V136","V137","V186","V197","V138",], 129:["V0","V4","V9","V12","V13","V14","V15","V17","V18","V19","V20","V22","V23","V24","V25","V28","V29","V30","V31","V32","V34","V35","V36","V37","V38","V39","V41","V42","V43","V44","V45","V46","V49","V51","V53","V55","V56","V57","V58","V59","V61","V8",], 130:["V72","V73","V74","V75","V76","V84","V85","V89","V90","V91","V92","V93","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V111","V114","V115","V116","V117","V124","V125","V126","V127","V128","V129","V131","V133","V134","V136","V137","V188","V232","V153",], 131:["V79","V80","V81","V89","V90","V91","V92","V93","V95","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V112","V114","V115","V118","V119","V122","V123","V125","V126","V128","V129","V131","V132","V133","V134","V135","V136","V137","V187","V200","V140",], 132:["V264","V265","V269","V270","V272","V276","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V317","V321","V335","V336","V337","V338","V339","V340","V347","V374","V402","V404","V366",], 133:["V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V188","V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V220","V221","V227","V228","V229","V230","V231","V232","V235","V287","V293","V243",], 134:["V86","V87","V88","V89","V90","V91","V92","V93","V94","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V113","V114","V115","V120","V121","V122","V123","V125","V126","V128","V129","V130","V131","V132","V133","V134","V135","V136","V137","V186","V198","V139",], 135:["V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V188","V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V220","V221","V227","V228","V229","V230","V231","V232","V235","V288","V293","V242",], 136:["V4","V9","V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V28","V29","V30","V31","V32","V34","V35","V36","V37","V38","V39","V40","V41","V42","V43","V44","V45","V46","V49","V51","V53","V55","V56","V57","V58","V59","V61","V0",], 137:["V321","V335","V336","V337","V338","V339","V340","V345","V346","V347","V402","V404","V264","V265","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V317","V251","V374",], 138:["V321","V335","V336","V337","V338","V339","V340","V345","V346","V347","V404","V264","V265","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V251","V402",], 139:["V321","V335","V336","V337","V338","V339","V340","V345","V346","V347","V264","V265","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V251","V404",], 140:["V9","V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V34","V35","V36","V37","V38","V39","V40","V41","V42","V43","V44","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V57","V58","V59","V61","V4",], 141:["V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V321","V335","V336","V337","V338","V339","V340","V345","V346","V251","V347",], 142:["V9","V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V34","V35","V36","V37","V38","V39","V40","V41","V43","V44","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V57","V58","V59","V61","V108","V109","V137","V42",], 143:["V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V321","V337","V338","V339","V340","V345","V346","V251","V336",], 144:["V9","V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V34","V35","V36","V37","V38","V39","V40","V41","V44","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V57","V58","V59","V61","V107","V108","V109","V110","V137","V43",], 145:["V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V321","V322","V323","V337","V338","V339","V340","V346","V251","V345",], 146:["V251","V252","V253","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V321","V322","V323","V337","V338","V339","V346","V340",], 147:["V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V321","V322","V323","V337","V338","V339","V251","V252","V253","V346",], 148:["V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V321","V322","V323","V339","V251","V252","V253","V338",], 149:["V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V291","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V321","V322","V339",], 150:["V204","V205","V235","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V292","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V321","V291",], 151:["V203","V204","V205","V206","V235","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V321","V292",], 152:["V165","V203","V204","V205","V206","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V321","V251",], 153:["V203","V204","V205","V206","V207","V208","V209","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V289","V290","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V317","V318","V165","V321",], 154:["V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V34","V35","V36","V37","V38","V39","V40","V41","V44","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V57","V58","V59","V60","V61","V93","V99","V100","V105","V106","V107","V108","V109","V110","V114","V115","V133","V134","V136","V137","V9",], 155:["V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V34","V35","V36","V37","V38","V39","V40","V41","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V57","V58","V59","V60","V61","V93","V99","V100","V105","V106","V107","V108","V109","V110","V111","V114","V115","V133","V134","V136","V137","V44",], 156:["V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V34","V35","V36","V37","V38","V39","V40","V41","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V57","V58","V60","V61","V93","V96","V99","V100","V105","V106","V107","V108","V109","V110","V111","V114","V115","V133","V134","V136","V137","V59",], 157:["V165","V188","V192","V203","V204","V205","V206","V207","V208","V209","V231","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V315","V316","V318","V317",], 158:["V165","V187","V188","V191","V192","V203","V204","V205","V206","V207","V208","V209","V229","V231","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V313","V314","V316","V318","V315",], 159:["V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V34","V35","V36","V37","V38","V39","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V57","V60","V61","V92","V93","V95","V96","V99","V100","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V114","V115","V132","V133","V134","V136","V137","V58",], 160:["V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V34","V35","V36","V37","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V57","V61","V91","V92","V93","V95","V96","V99","V100","V101","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V114","V115","V132","V133","V134","V136","V137","V60",], 161:["V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V34","V35","V36","V37","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V57","V91","V92","V93","V95","V96","V99","V100","V101","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V130","V132","V133","V134","V136","V137","V61",], 162:["V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V30","V31","V32","V34","V35","V36","V37","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V130","V132","V133","V134","V136","V137","V57",], 163:["V165","V186","V187","V188","V190","V191","V192","V203","V204","V205","V206","V207","V208","V209","V227","V229","V231","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V300","V301","V302","V303","V304","V305","V306","V307","V314","V316","V318","V313",], 164:["V165","V179","V184","V186","V187","V188","V190","V191","V192","V203","V204","V205","V206","V207","V208","V209","V214","V221","V227","V229","V231","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V301","V302","V303","V304","V305","V306","V307","V314","V316","V318","V300",], 165:["V165","V179","V184","V186","V187","V188","V190","V191","V192","V203","V204","V205","V206","V207","V208","V209","V214","V216","V221","V227","V229","V231","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V301","V303","V304","V305","V306","V307","V314","V316","V318","V302",], 166:["V192","V203","V204","V205","V206","V207","V208","V209","V214","V216","V218","V221","V227","V229","V231","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V265","V266","V267","V268","V269","V270","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V301","V303","V304","V305","V306","V314","V316","V318","V165","V179","V184","V186","V187","V188","V190","V191","V307",], 167:["V165","V178","V179","V183","V184","V186","V187","V188","V190","V191","V192","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V218","V220","V221","V227","V229","V231","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V266","V267","V268","V269","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V303","V305","V306","V314","V316","V318","V301",], 168:["V165","V178","V179","V183","V184","V186","V187","V188","V190","V191","V192","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V220","V221","V227","V229","V231","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V266","V267","V268","V269","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V305","V306","V314","V316","V318","V303",], 169:["V192","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V227","V229","V231","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V264","V266","V267","V268","V269","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V305","V314","V316","V318","V165","V178","V179","V183","V184","V186","V187","V188","V190","V191","V306",], 170:["V165","V168","V173","V178","V179","V180","V183","V184","V186","V187","V188","V190","V191","V192","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V223","V227","V229","V231","V235","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V262","V263","V267","V268","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V314","V316","V318","V266",], 171:["V165","V168","V169","V173","V174","V178","V179","V180","V181","V183","V184","V186","V187","V188","V190","V191","V192","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V223","V224","V227","V229","V231","V235","V252","V253","V255","V256","V257","V258","V260","V261","V262","V263","V268","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V314","V316","V318","V267",], 172:["V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V24","V25","V26","V27","V28","V29","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V70","V71","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V128","V130","V132","V133","V134","V136","V137","V30",], 173:["V11","V12","V13","V14","V15","V16","V17","V18","V19","V20","V21","V22","V23","V25","V26","V27","V28","V29","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V70","V71","V81","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V128","V130","V132","V133","V134","V136","V137","V24",], 174:["V11","V12","V13","V14","V15","V16","V17","V18","V20","V21","V22","V23","V25","V26","V27","V28","V29","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V70","V71","V76","V81","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V128","V130","V132","V133","V134","V136","V137","V19",], 175:["V165","V168","V169","V170","V173","V174","V175","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V223","V224","V226","V227","V229","V231","V235","V252","V253","V256","V257","V258","V261","V262","V263","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V295","V314","V316","V318","V268",], 176:["V11","V12","V13","V15","V16","V17","V18","V20","V21","V22","V23","V25","V26","V27","V28","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V68","V69","V70","V71","V76","V81","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V126","V128","V130","V132","V133","V134","V136","V137","V29",], 177:["V11","V12","V13","V15","V16","V17","V18","V20","V21","V22","V25","V26","V27","V28","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V68","V69","V70","V71","V76","V80","V81","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V126","V128","V130","V132","V133","V134","V136","V137","V23",], 178:["V11","V12","V13","V15","V16","V17","V20","V21","V22","V25","V26","V27","V28","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V68","V69","V70","V71","V75","V76","V80","V81","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V126","V128","V130","V132","V133","V134","V136","V137","V18",], 179:["V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V223","V224","V226","V227","V228","V229","V231","V235","V252","V253","V257","V258","V262","V263","V272","V273","V274","V276","V277","V278","V283","V284","V285","V286","V287","V288","V293","V294","V314","V316","V318","V165","V168","V169","V170","V173","V174","V175","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V295",], 180:["V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V223","V224","V226","V227","V228","V229","V230","V231","V235","V252","V253","V257","V258","V262","V263","V272","V273","V274","V276","V277","V278","V284","V285","V286","V287","V288","V293","V314","V316","V318","V165","V168","V169","V170","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V294",], 181:["V165","V168","V169","V170","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V235","V252","V253","V257","V258","V262","V263","V272","V273","V274","V276","V277","V278","V286","V287","V288","V293","V314","V316","V318","V284",], 182:["V165","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V235","V252","V253","V257","V258","V262","V263","V272","V273","V274","V276","V277","V278","V287","V288","V293","V314","V316","V318","V286",], 183:["V165","V166","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V235","V252","V253","V257","V258","V263","V272","V273","V274","V276","V277","V278","V287","V288","V293","V314","V316","V318","V262",], 184:["V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V235","V253","V258","V263","V272","V273","V274","V276","V277","V278","V287","V288","V314","V316","V318","V165","V166","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V293",], 185:["V165","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V235","V253","V258","V263","V272","V273","V274","V276","V277","V278","V314","V316","V318","V288",], 186:["V165","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V235","V236","V239","V272","V273","V274","V276","V277","V278","V314","V316","V318",], 187:["V165","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V235","V236","V237","V239","V240","V272","V273","V274","V276","V277","V278","V314","V316",], 188:["V165","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V235","V236","V237","V238","V239","V240","V241","V272","V273","V274","V276","V277","V278","V314",], 189:["V107","V108","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V203","V204","V205","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V235","V236","V237","V238","V239","V240","V241","V272","V273","V274","V276","V277","V278","V165",], 190:["V107","V108","V109","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V203","V204","V206","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V235","V236","V237","V238","V239","V240","V241","V272","V273","V274","V276","V277","V278","V205",], 191:["V107","V108","V109","V110","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V203","V204","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V235","V236","V237","V238","V239","V240","V241","V272","V273","V274","V276","V277","V278","V206",], 192:["V107","V108","V109","V110","V111","V112","V113","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V203","V204","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V227","V228","V229","V230","V231","V232","V236","V237","V238","V239","V240","V241","V272","V273","V274","V276","V277","V278","V235",], 193:["V91","V94","V107","V108","V109","V110","V111","V112","V113","V129","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V228","V229","V230","V231","V232","V236","V237","V238","V239","V240","V241","V272","V273","V274","V276","V277","V278","V227",], 194:["V91","V92","V94","V95","V107","V108","V109","V110","V111","V112","V113","V129","V131","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V228","V230","V231","V232","V236","V237","V238","V239","V240","V241","V272","V273","V274","V276","V277","V278","V229",], 195:["V91","V92","V93","V94","V95","V96","V107","V108","V109","V110","V111","V112","V113","V129","V131","V133","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V228","V230","V232","V236","V237","V238","V239","V240","V241","V272","V273","V274","V276","V277","V278","V231",], 196:["V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V214","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V228","V230","V232","V236","V237","V238","V239","V240","V241","V272","V273","V274","V276","V277","V129","V131","V133","V135","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V91","V92","V93","V94","V95","V96","V97","V98","V107","V108","V109","V110","V111","V112","V113","V278",], 197:["V85","V90","V91","V92","V93","V94","V95","V96","V97","V98","V107","V108","V109","V110","V111","V112","V113","V116","V123","V129","V131","V133","V135","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V228","V230","V232","V236","V237","V238","V239","V240","V241","V272","V273","V274","V214",], 198:["V85","V90","V91","V92","V93","V94","V95","V96","V97","V98","V107","V108","V109","V110","V111","V112","V113","V116","V118","V123","V129","V131","V133","V135","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V215","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V228","V230","V232","V236","V237","V238","V239","V240","V241","V272","V273","V274","V216",], 199:["V85","V90","V91","V92","V93","V94","V95","V96","V97","V98","V107","V108","V109","V110","V111","V112","V113","V116","V118","V120","V123","V129","V131","V133","V135","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V179","V180","V181","V182","V183","V184","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V215","V217","V218","V219","V220","V222","V223","V224","V225","V226","V228","V230","V232","V236","V237","V238","V239","V240","V241","V272","V273","V274","V221",], 200:["V84","V85","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V107","V108","V109","V110","V111","V112","V113","V116","V117","V118","V120","V122","V123","V129","V131","V133","V135","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V180","V181","V182","V183","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V217","V219","V220","V222","V223","V224","V225","V226","V228","V230","V232","V236","V237","V238","V239","V240","V241","V272","V273","V274","V215",], 201:["V84","V85","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V107","V108","V109","V110","V111","V112","V113","V116","V117","V118","V119","V120","V122","V123","V129","V131","V133","V135","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V180","V181","V182","V183","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V219","V220","V222","V223","V224","V225","V226","V228","V230","V232","V236","V237","V238","V239","V240","V241","V272","V273","V274","V217",], 202:["V84","V85","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V107","V108","V109","V110","V111","V112","V113","V116","V117","V118","V119","V120","V121","V122","V123","V129","V131","V133","V135","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V178","V180","V181","V182","V183","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V219","V222","V223","V224","V225","V226","V228","V230","V232","V236","V237","V238","V239","V240","V241","V272","V273","V274","V220",], 203:["V129","V131","V133","V135","V136","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V180","V181","V182","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V222","V223","V224","V225","V226","V228","V230","V232","V236","V237","V238","V239","V240","V241","V272","V273","V84","V85","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V274",], 204:["V74","V79","V84","V85","V86","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V125","V129","V131","V133","V135","V136","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V180","V181","V182","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V222","V224","V225","V226","V228","V230","V232","V223",], 205:["V66","V67","V74","V79","V84","V85","V86","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V125","V129","V131","V133","V135","V136","V137","V166","V167","V168","V169","V170","V171","V172","V173","V174","V175","V176","V177","V181","V182","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V222","V224","V225","V226","V228","V230","V232","V180",], 206:["V66","V67","V74","V75","V79","V80","V84","V85","V86","V87","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V125","V126","V129","V131","V133","V135","V136","V137","V166","V167","V169","V170","V171","V172","V174","V175","V176","V177","V181","V182","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V222","V225","V226","V228","V230","V232","V224",], 207:["V66","V67","V68","V69","V74","V75","V79","V80","V84","V85","V86","V87","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V125","V126","V129","V131","V133","V135","V136","V137","V166","V167","V169","V170","V171","V172","V174","V175","V176","V177","V182","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V222","V225","V226","V228","V230","V232","V181",], 208:["V66","V67","V68","V69","V74","V75","V76","V79","V80","V81","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V125","V126","V128","V129","V131","V133","V135","V136","V137","V166","V167","V170","V171","V172","V175","V176","V177","V182","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V222","V225","V228","V230","V232","V226",], 209:["V66","V67","V68","V69","V70","V71","V74","V75","V76","V79","V80","V81","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V125","V126","V128","V129","V131","V133","V135","V136","V137","V166","V167","V170","V171","V172","V175","V176","V177","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V209","V222","V225","V228","V230","V232","V182",], 210:["V66","V67","V68","V69","V70","V71","V74","V75","V76","V79","V80","V81","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V125","V126","V128","V129","V130","V131","V133","V135","V136","V137","V166","V167","V171","V172","V176","V177","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V208","V222","V225","V228","V230","V232","V209",], 211:["V66","V67","V68","V69","V70","V71","V74","V75","V76","V79","V80","V81","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V125","V126","V128","V129","V130","V131","V132","V133","V135","V136","V137","V166","V167","V171","V172","V176","V177","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V207","V222","V225","V228","V230","V232","V208",], 212:["V66","V67","V68","V69","V70","V71","V74","V75","V76","V79","V80","V81","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V125","V126","V128","V129","V130","V131","V132","V133","V134","V135","V136","V137","V166","V167","V171","V172","V176","V177","V186","V187","V188","V190","V191","V192","V197","V198","V199","V200","V201","V202","V222","V225","V228","V230","V232","V207",], 213:["V66","V67","V68","V69","V70","V71","V74","V75","V76","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V135","V136","V137","V166","V167","V171","V172","V176","V177","V186","V187","V188","V190","V191","V192","V197","V199","V200","V201","V202","V222","V225","V228","V230","V232","V198",], 214:["V66","V67","V68","V69","V70","V71","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V135","V136","V137","V166","V167","V171","V172","V176","V177","V187","V188","V191","V192","V197","V199","V201","V202","V222","V225","V228","V230","V232","V200",], 215:["V66","V67","V68","V69","V70","V71","V72","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V135","V136","V137","V166","V167","V171","V172","V176","V177","V188","V192","V197","V199","V201","V202","V225","V228","V230","V232","V222",], 216:["V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V135","V136","V137","V166","V167","V171","V172","V176","V177","V188","V192","V197","V199","V201","V202","V228","V230","V232","V225",], 217:["V63","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V135","V136","V137","V166","V167","V171","V172","V176","V177","V197","V199","V228","V230","V232","V201",], 218:["V62","V63","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V135","V136","V137","V166","V167","V171","V172","V177","V228","V230","V232","V176",], 219:["V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V98","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V135","V136","V137","V167","V172","V177","V228","V230","V232",], 220:["V34","V35","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V97","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V129","V130","V131","V132","V133","V134","V135","V136","V137","V98",], 221:["V31","V34","V35","V46","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V130","V131","V132","V133","V134","V136","V137","V129",], 222:["V31","V32","V34","V35","V45","V46","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V116","V117","V118","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V131",], 223:["V31","V32","V34","V35","V45","V46","V49","V55","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V117","V118","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V116",], 224:["V31","V32","V34","V35","V45","V46","V49","V51","V55","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V90","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V117","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V118",], 225:["V31","V32","V34","V35","V45","V46","V49","V51","V53","V55","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V85","V86","V87","V88","V89","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V117","V119","V120","V121","V122","V123","V124","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V90",], 226:["V27","V31","V32","V34","V35","V45","V46","V49","V50","V51","V53","V55","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V86","V87","V88","V89","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V119","V121","V122","V124","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V117",], 227:["V27","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V55","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V86","V87","V88","V89","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V121","V122","V124","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V119",], 228:["V27","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V84","V86","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V121","V122","V124","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V89",], 229:["V15","V27","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V73","V74","V75","V76","V77","V78","V79","V80","V81","V82","V83","V86","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V124","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V72",], 230:["V15","V20","V27","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V73","V74","V75","V76","V78","V79","V80","V81","V82","V83","V86","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V124","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V77",], 231:["V15","V20","V25","V27","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V73","V74","V75","V76","V78","V79","V80","V81","V83","V86","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V124","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V82",], 232:["V11","V15","V16","V20","V25","V27","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V64","V65","V66","V67","V68","V69","V70","V71","V74","V75","V76","V78","V79","V80","V81","V83","V86","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V73",], 233:["V11","V15","V16","V20","V21","V25","V27","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V64","V65","V66","V67","V68","V69","V70","V71","V74","V75","V76","V79","V80","V81","V83","V86","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V78",], 234:["V11","V15","V16","V20","V21","V25","V26","V27","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V64","V65","V66","V67","V68","V69","V70","V71","V74","V75","V76","V79","V80","V81","V86","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V125","V126","V127","V128","V130","V132","V133","V134","V136","V137","V83",], 235:["V11","V12","V15","V16","V17","V20","V21","V25","V26","V27","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V66","V67","V68","V69","V70","V71","V75","V76","V79","V80","V81","V86","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V125","V126","V128","V130","V132","V133","V134","V136","V137","V74",], 236:["V11","V12","V15","V16","V17","V20","V21","V22","V25","V26","V27","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V66","V67","V68","V69","V70","V71","V75","V76","V80","V81","V86","V87","V88","V91","V92","V93","V94","V95","V96","V99","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V125","V126","V128","V130","V132","V133","V134","V136","V137","V79",], 237:["V11","V12","V15","V16","V17","V20","V21","V22","V25","V26","V27","V28","V31","V32","V34","V35","V45","V46","V49","V50","V51","V52","V53","V54","V55","V56","V66","V67","V68","V69","V70","V71","V75","V76","V80","V81","V86","V87","V88","V91","V92","V93","V94","V95","V96","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V110","V111","V112","V113","V114","V115","V125","V126","V128","V130","V132","V133","V134","V136","V137","V99",], } Variable Max Cliques: [(V0, 9), (V1, 1), (V10, 1), (V100, 65), (V101, 61), (V102, 59), (V103, 61), (V104, 61), (V105, 64), (V106, 64), (V107, 90), (V108, 91), (V109, 72), (V11, 24), (V110, 70), (V111, 73), (V112, 71), (V113, 69), (V114, 64), (V115, 62), (V116, 35), (V117, 35), (V118, 35), (V119, 35), (V12, 26), (V120, 35), (V121, 35), (V122, 47), (V123, 47), (V124, 31), (V125, 46), (V126, 47), (V127, 34), (V128, 48), (V129, 54), (V13, 20), (V130, 48), (V131, 53), (V132, 51), (V133, 80), (V134, 56), (V135, 43), (V136, 64), (V137, 90), (V138, 1), (V139, 1), (V14, 20), (V140, 1), (V141, 1), (V142, 1), (V143, 1), (V144, 1), (V145, 1), (V146, 1), (V147, 1), (V148, 1), (V149, 1), (V15, 28), (V150, 1), (V151, 1), (V152, 1), (V153, 1), (V154, 1), (V155, 1), (V156, 1), (V157, 1), (V158, 1), (V159, 1), (V16, 24), (V160, 1), (V161, 1), (V162, 1), (V163, 1), (V164, 1), (V165, 25), (V166, 37), (V167, 36), (V168, 32), (V169, 33), (V17, 26), (V170, 34), (V171, 40), (V172, 41), (V173, 34), (V174, 35), (V175, 36), (V176, 44), (V177, 45), (V178, 34), (V179, 34), (V18, 20), (V180, 36), (V181, 37), (V182, 38), (V183, 35), (V184, 35), (V185, 5), (V186, 57), (V187, 59), (V188, 62), (V189, 5), (V19, 20), (V190, 56), (V191, 58), (V192, 61), (V193, 8), (V194, 7), (V195, 9), (V196, 8), (V197, 57), (V198, 53), (V199, 58), (V2, 7), (V20, 26), (V200, 55), (V201, 59), (V202, 58), (V203, 38), (V204, 39), (V205, 37), (V206, 37), (V207, 61), (V208, 60), (V209, 59), (V21, 22), (V210, 5), (V211, 5), (V212, 5), (V213, 4), (V214, 30), (V215, 30), (V216, 30), (V217, 30), (V218, 30), (V219, 30), (V22, 24), (V220, 36), (V221, 36), (V222, 36), (V223, 30), (V224, 31), (V225, 37), (V226, 32), (V227, 32), (V228, 50), (V229, 35), (V23, 18), (V230, 47), (V231, 38), (V232, 41), (V233, 6), (V234, 7), (V235, 39), (V236, 23), (V237, 22), (V238, 21), (V239, 23), (V24, 18), (V240, 22), (V241, 21), (V242, 1), (V243, 1), (V244, 1), (V245, 1), (V246, 1), (V247, 1), (V248, 1), (V249, 1), (V25, 25), (V250, 1), (V251, 19), (V252, 27), (V253, 29), (V254, 17), (V255, 18), (V256, 19), (V257, 25), (V258, 27), (V259, 20), (V26, 21), (V260, 21), (V261, 22), (V262, 31), (V263, 33), (V264, 29), (V265, 27), (V266, 26), (V267, 27), (V268, 28), (V269, 30), (V27, 29), (V270, 28), (V271, 4), (V272, 68), (V273, 65), (V274, 64), (V275, 4), (V276, 60), (V277, 57), (V278, 56), (V279, 6), (V28, 23), (V280, 8), (V281, 6), (V282, 8), (V283, 33), (V284, 35), (V285, 36), (V286, 38), (V287, 42), (V288, 43), (V289, 29), (V29, 17), (V290, 31), (V291, 28), (V292, 27), (V293, 49), (V294, 45), (V295, 45), (V296, 7), (V297, 8), (V298, 7), (V299, 8), (V3, 1), (V30, 17), (V300, 24), (V301, 26), (V302, 26), (V303, 28), (V304, 25), (V305, 27), (V306, 33), (V307, 31), (V308, 2), (V309, 2), (V31, 41), (V310, 2), (V311, 2), (V312, 2), (V313, 27), (V314, 42), (V315, 25), (V316, 38), (V317, 27), (V318, 34), (V319, 9), (V32, 39), (V320, 9), (V321, 31), (V322, 5), (V323, 4), (V324, 1), (V325, 1), (V326, 1), (V327, 1), (V328, 1), (V329, 1), (V33, 3), (V330, 1), (V331, 6), (V332, 5), (V333, 6), (V334, 5), (V335, 17), (V336, 18), (V337, 24), (V338, 25), (V339, 28), (V34, 39), (V340, 25), (V341, 9), (V342, 9), (V343, 8), (V344, 9), (V345, 21), (V346, 25), (V347, 25), (V348, 5), (V349, 7), (V35, 38), (V350, 5), (V351, 7), (V352, 4), (V353, 4), (V354, 4), (V355, 4), (V356, 5), (V357, 6), (V358, 8), (V359, 7), (V36, 18), (V360, 2), (V361, 2), (V362, 2), (V363, 2), (V364, 2), (V365, 2), (V366, 5), (V367, 10), (V368, 2), (V369, 11), (V37, 18), (V370, 2), (V371, 4), (V372, 4), (V373, 11), (V374, 13), (V375, 2), (V376, 1), (V377, 1), (V378, 2), (V379, 6), (V38, 14), (V380, 6), (V381, 13), (V382, 2), (V383, 3), (V384, 2), (V385, 3), (V386, 1), (V387, 1), (V388, 2), (V389, 2), (V39, 14), (V390, 3), (V391, 3), (V392, 3), (V393, 3), (V394, 1), (V395, 1), (V396, 1), (V397, 1), (V398, 1), (V399, 1), (V4, 10), (V40, 10), (V400, 1), (V401, 1), (V402, 16), (V403, 1), (V404, 22), (V405, 1), (V406, 1), (V407, 3), (V41, 12), (V42, 8), (V43, 9), (V44, 12), (V45, 38), (V46, 39), (V47, 1), (V48, 2), (V49, 38), (V5, 5), (V50, 29), (V51, 36), (V52, 27), (V53, 35), (V54, 26), (V55, 38), (V56, 28), (V57, 22), (V58, 19), (V59, 18), (V6, 6), (V60, 8), (V61, 16), (V62, 14), (V63, 15), (V64, 16), (V65, 18), (V66, 33), (V67, 33), (V68, 34), (V69, 34), (V7, 1), (V70, 35), (V71, 35), (V72, 19), (V73, 21), (V74, 37), (V75, 38), (V76, 39), (V77, 21), (V78, 24), (V79, 38), (V8, 8), (V80, 39), (V81, 40), (V82, 23), (V83, 26), (V84, 41), (V85, 41), (V86, 39), (V87, 40), (V88, 41), (V89, 44), (V9, 16), (V90, 44), (V91, 70), (V92, 70), (V93, 73), (V94, 68), (V95, 70), (V96, 70), (V97, 44), (V98, 44), (V99, 73)] ( INFO) == Using groupVarSelect %right_file ( INFO) == [(45084560, 0), (45085232, 0), (45086656, 0), (45087808, 0), (45089792, 0), (45091952, 0), (45102304, 0), (45103024, 0), (45105680, 0), (45110976, 0), (45113632, 0), (45119696, 0), (45128288, 0), (45131600, 0), (45136784, 0), (45139440, 0), (45146704, 0), (45148000, 0), (45153408, 0), (45158720, 0), (45161584, 0), (45166256, 0), (45168464, 0), (45173952, 0), (45177440, 0), (45181312, 0), (45183168, 0), (45185584, 0), (45187520, 0), (45193408, 0), (45194368, 0), (45196656, 0), (45199232, 0), (45202592, 0), (45204480, 0), (45207152, 0), (45208992, 0), (45210432, 0), (45213088, 0), (45214736, 0), (45216608, 0), (45220112, 0), (45222400, 0), (45232320, 0), (45234352, 0), (45237968, 0), (45239360, 0), (45242976, 0), (45244928, 0), (45248640, 0), (45251376, 0), (45270128, 0), (45272224, 0), (45274112, 0), (45276064, 0), (45283072, 0), (45285168, 0), (45287264, 0), (45289360, 0), (45291456, 0), (45293552, 0), (45295648, 0), (45297936, 0), (45300224, 0), (45302512, 0), (45304272, 0), (45306496, 0), (45308384, 0), (45310336, 0), (45312288, 0), (45314240, 0), (45316192, 0), (45318144, 0), (45320096, 0), (45322048, 0), (45324000, 0), (45325952, 0), (45327632, 0), (45329520, 0), (45331408, 0), (45333296, 0), (45335184, 0), (45337072, 0), (45338960, 0), (45340848, 0), (45342736, 0), (45344624, 0), (45346512, 0), (45348400, 0), (45350560, 0), (45352656, 0), (45354480, 0), (45356368, 0), (45358256, 0), (45360416, 0), (45361568, 0), (45363664, 0), (45365760, 0), (45367856, 0), (45369952, 0), (45372048, 0), (45374144, 0), (45376240, 0), (45378464, 0), (45380688, 0), (45382912, 0), (45385136, 0), (45387424, 0), (45389712, 0), (45392000, 0), (45394288, 0), (45396576, 0), (45398864, -90), (45401088, -91), (45403312, 0), (45405200, 0), (45407152, 0), (45409312, 0), (45411408, 0), (45413504, 0), (45415392, 0), (45417344, 0), (45419504, 0), (45421600, 0), (45423696, 0), (45425792, 0), (45427888, 0), (45429984, 0), (45432080, 0), (45434176, 0), (45436272, 0), (45438368, 0), (45440464, 0), (45442560, 0), (45444656, 0), (45446688, 0), (45448864, 0), (45450896, 0), (45453072, 0), (45455824, 0), (45458000, 0), (45460224, 0), (45462448, -90), (45464672, 0), (45466352, 0), (45468144, 0), (45469936, 0), (45471728, 0), (45473520, 0), (45476000, 0), (45477792, 0), (45479584, 0), (45481376, 0), (45483168, 0), (45484960, 0), (45486752, 0), (45488544, 0), (45490336, 0), (45492128, 0), (45493920, 0), (45495712, 0), (45497504, 0), (45499296, 0), (45501088, 0), (45502880, 0), (45504672, 0), (45506464, 0), (45508256, 0), (45510048, 0), (45511840, 0), (45513632, 0), (45515632, 0), (45517520, 0), (45519408, 0), (45521296, 0), (45523184, 0), (45525072, 0), (45526960, 0), (45528848, 0), (45530736, 0), (45532624, 0), (45534512, 0), (45536400, 0), (45538288, 0), (45540448, 0), (45542544, 0), (45544368, 0), (45546256, 0), (45548144, 0), (45550304, 0), (45552400, 0), (45554288, 0), (45556448, 0), (45558544, 0), (45560640, 0), (45562528, 0), (45564688, 0), (45566784, 0), (45568880, 0), (45571104, 0), (45572992, 0), (45575280, 0), (45577168, 0), (45578992, 0), (45581152, 0), (45583312, 0), (45585472, 0), (45587632, 0), (45589792, 0), (45592016, 0), (45594240, 0), (45596128, 0), (45598080, 0), (45600240, 0), (45618640, 0), (45620368, 0), (45622528, 0), (45624624, 0), (45626720, 0), (45628816, 0), (45630912, 0), (45633008, 0), (45635104, 0), (45637200, 0), (45639296, 0), (45641392, 0), (45643488, 0), (45645584, 0), (45647680, 0), (45649904, 0), (45651696, 0), (45652832, 0), (45655168, 0), (45657056, 0), (45659344, 0), (45661232, 0), (45663184, 0), (45665136, 0), (45667424, 0), (45669104, 0), (45670896, 0), (45672688, 0), (45674480, 0), (45676272, 0), (45678064, 0), (45679856, 0), (45681648, 0), (45683440, 0), (45685232, 0), (45687024, 0), (45688816, 0), (45690608, 0), (45692400, 0), (45694192, 0), (45696128, 0), (45697872, 0), (45699664, 0), (45701456, 0), (45703248, 0), (45705040, 0), (45706832, 0), (45708624, 0), (45710416, 0), (45712208, 0), (45714000, 0), (45715792, 0), (45717584, 0), (45719584, 0), (45721536, 0), (45723280, 0), (45725072, 0), (45726864, 0), (45728864, 0), (45730816, 0), (45732704, 0), (45734448, 0), (45736240, 0), (45738032, 0), (45739968, 0), (45741712, 0), (45743504, 0), (45745296, 0), (45747232, 0), (45749120, 0), (45751008, 0), (45752896, 0), (45754848, 0), (45756800, 0), (45758752, 0), (45760704, 0), (45762656, 0), (45764608, 0), (45766832, 0), (45768992, 0), (45770880, 0), (45772832, 0), (45774720, 0), (45776608, 0), (45778496, 0), (45780448, 0), (45782400, 0), (45784352, 0), (45786304, 0), (45788192, 0), (45790080, 0), (45791968, 0), (45793856, 0), (45795744, 0), (45797632, 0), (45799792, 0), (45801888, 0), (45803568, 0), (45805360, 0), (45807152, 0), (45808944, 0), (45810736, 0), (45812944, 0), (45814832, 0), (45816992, 0), (45818880, 0), (45821040, 0), (45822928, 0), (45824880, 0), (45826832, 0), (45829120, 0), (45830800, 0), (45832592, 0), (45834384, 0), (45836176, 0), (45837968, 0), (45839760, 0), (45841552, 0), (45843344, 0), (45845136, 0), (45846928, 0), (45848720, 0), (45850512, 0), (45852304, 0), (45854096, 0), (45855888, 0), (45857680, 0), (45859472, 0), (45861264, 0), (45863056, 0), (45864848, 0), (45866640, 0), (45868576, 0), (45870464, 0), (45872352, 0), (45874240, 0), (45876128, 0), (45878016, 0), (45879904, 0), (45881792, 0), (45883680, 0), (45885568, 0), (45887456, 0), (45889344, 0), (45891232, 0), (45893120, 0), (45895008, 0), (45897168, 0), (45899264, 0), (45900944, 0), (45902736, 0), (45904528, 0), (45911792, 0), (45913536, 0), (45915472, 0), (45917216, 0), (45919152, 0), (45920896, 0), (45922896, 0), (45924848, 0), (45927136, 0), (45928816, 0), (45930608, 0), (45932400, 0), (45934192, 0), (45935984, 0), (45937776, 0), (45939568, 0), (45941360, 0), (45943152, 0), (45944944, 0), (45946736, 0), (45948528, 0), (45950320, 0), (45952112, 0), (45953904, 0), (45955696, 0), (45957488, 0), (45959280, 0), (45961072, 0), (45962864, 0), (45964656, 0), (45966448, 0), (45968240, 0), (45970032, 0), (45971824, 0), (45973616, 0), (45975408, 0), (45977200, 0), (45978992, 0), (45980784, 0), (45982576, 0), (45984368, 0), (45986160, 0)] %right_file ( INFO) == Finished creating data structures %right_file ( INFO) == Beginning Preprocessing %right_file ( INFO) == Finished with Preprocessing %right_file {"StaticInstanceData": {"# Components":"1","# Constraints":"9321","# Normalized Constraints":"0","# Solutions":"1","# Values Removed From Unary Cons ":"0","# Variables":"408","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"1","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"1158","CPU Time Post Normalization (ms)":"68117","CPU Time Problem Setup (ms)":"3091","CPU Time Search (ms)":"66958","Full CPU Time (ms)":"71208","Peak Memory (MB)":"1028.04"}, "Components": [{"Component Stats": {"# Constraints":"9321","# Variables":"408"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# backtracks":"0","# backtracks per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# nodes visited":"410","# solutions":"1","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"1373","# value trigger per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","# values removed after preprocessing":"21","# variable triggers per level":"[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]","search timeout":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"43653","# isValid Checks":"287810"}}]}