( INFO) == Loading and Performing Problem Setup %right_file
	 ( INFO) == Processing component #1 %right_file
	 ( INFO) == Creating data structures %right_file
Cliques: {0:["V13","V20","V108","V110","V127","V133","V164","V182","V200","V227","V238","V290","V306","V343","V366","V380","V445","V446","V384",],
1:["V15","V40","V87","V91","V104","V105","V113","V128","V146","V152","V195","V233","V258","V264","V290","V321","V375","V427","V433","V229",],
2:["V8","V26","V27","V34","V49","V91","V116","V154","V162","V181","V188","V203","V252","V259","V267","V274","V281","V361","V371","V379","V386","V406","V45",],
3:["V12","V79","V92","V96","V102","V144","V158","V197","V212","V226","V230","V234","V317","V324","V331","V365","V366","V394","V414","V420","V422","V435","V437","V443","V388",],
4:["V4","V6","V15","V20","V25","V32","V35","V37","V58","V68","V89","V110","V138","V152","V163","V200","V257","V268","V276","V316","V321","V380","V395","V446","V447","V54",],
5:["V29","V35","V50","V57","V63","V70","V147","V155","V169","V173","V210","V225","V237","V260","V275","V292","V327","V364","V379","V380","V383","V413","V416","V417","V420","V166",],
6:["V7","V10","V15","V31","V69","V112","V119","V122","V124","V127","V130","V132","V176","V205","V209","V232","V251","V291","V299","V337","V352","V355","V386","V389","V395","V401","V403","V416","V443","V288",],
7:["V14","V33","V36","V51","V55","V75","V104","V107","V140","V149","V153","V157","V160","V162","V172","V195","V197","V203","V220","V265","V273","V283","V284","V304","V318","V337","V352","V403","V405","V410","V414","V421","V429","V442","V41",],
8:["V73","V77","V143","V146","V155","V167","V178","V182","V183","V190","V192","V195","V205","V224","V247","V251","V257","V272","V299","V310","V331","V334","V335","V339","V347","V350","V362","V393","V403","V410","V415","V427","V429","V437","V351",],
9:["V16","V27","V29","V33","V36","V44","V64","V95","V101","V108","V126","V127","V149","V189","V212","V216","V232","V242","V249","V254","V269","V298","V306","V321","V328","V356","V367","V368","V374","V393","V396","V401","V410","V420","V250",],
10:["V0","V5","V31","V32","V59","V68","V85","V90","V93","V121","V163","V173","V180","V181","V222","V234","V270","V272","V278","V282","V293","V316","V322","V342","V343","V356","V360","V366","V369","V396","V398","V406","V413","V432","V440","V447","V94",],
11:["V15","V28","V59","V78","V80","V101","V168","V171","V194","V201","V205","V208","V209","V212","V221","V222","V248","V249","V258","V265","V298","V314","V317","V326","V334","V341","V354","V365","V376","V385","V395","V399","V411","V431","V438","V446","V307",],
12:["V4","V16","V39","V43","V57","V59","V72","V76","V77","V109","V116","V122","V124","V131","V157","V171","V173","V193","V206","V218","V231","V275","V293","V297","V318","V334","V342","V346","V368","V372","V391","V401","V406","V425","V444","V445","V285",],
13:["V33","V51","V59","V62","V70","V79","V86","V103","V123","V140","V150","V162","V169","V179","V189","V191","V194","V196","V197","V206","V213","V237","V263","V265","V280","V286","V303","V321","V345","V374","V383","V385","V393","V410","V431","V448","V22",],
14:["V2","V24","V31","V34","V55","V68","V71","V95","V97","V117","V128","V135","V141","V161","V179","V191","V202","V217","V225","V235","V257","V264","V269","V274","V290","V313","V322","V325","V327","V336","V337","V343","V359","V361","V391","V402","V409","V435","V442","V443","V363",],
15:["V5","V6","V21","V23","V29","V39","V43","V44","V48","V50","V56","V82","V111","V122","V131","V142","V149","V168","V176","V186","V187","V210","V213","V244","V254","V258","V262","V268","V269","V291","V341","V348","V359","V361","V366","V374","V387","V392","V412","V414","V416","V423","V340",],
16:["V2","V4","V21","V40","V51","V63","V65","V67","V77","V103","V104","V108","V112","V118","V122","V126","V145","V155","V182","V195","V211","V223","V231","V241","V245","V246","V251","V273","V282","V297","V299","V328","V344","V364","V366","V370","V386","V390","V398","V416","V425","V442","V448","V99",],
17:["V8","V17","V35","V39","V72","V76","V80","V111","V122","V125","V129","V137","V139","V141","V146","V147","V155","V156","V173","V199","V201","V210","V219","V225","V242","V255","V274","V286","V301","V305","V308","V309","V342","V347","V348","V362","V381","V385","V399","V427","V434","V440","V441","V148",],
18:["V16","V19","V25","V36","V38","V48","V56","V57","V59","V61","V63","V70","V71","V104","V107","V119","V135","V153","V176","V185","V190","V194","V203","V209","V212","V220","V243","V249","V259","V281","V296","V297","V298","V300","V318","V339","V355","V370","V374","V396","V401","V403","V404","V416","V423","V440","V277",],
19:["V2","V5","V7","V13","V20","V21","V24","V46","V55","V81","V105","V107","V108","V110","V114","V127","V134","V141","V164","V181","V182","V198","V200","V204","V215","V222","V227","V238","V248","V252","V255","V275","V281","V290","V294","V306","V332","V334","V343","V366","V368","V380","V399","V424","V445","V446","V133",],
20:["V2","V8","V12","V43","V47","V50","V65","V100","V102","V112","V137","V143","V153","V154","V160","V170","V188","V192","V194","V216","V225","V249","V261","V275","V282","V290","V292","V306","V311","V315","V319","V332","V339","V358","V360","V372","V374","V378","V379","V395","V399","V403","V405","V414","V416","V418","V1",],
21:["V0","V31","V39","V46","V48","V49","V64","V66","V96","V120","V124","V136","V143","V149","V150","V151","V152","V155","V157","V187","V189","V195","V219","V233","V244","V251","V253","V256","V271","V284","V291","V300","V302","V315","V319","V323","V334","V373","V376","V380","V392","V401","V410","V430","V438","V445","V448","V312",],
22:["V8","V19","V20","V61","V66","V72","V77","V78","V103","V107","V110","V116","V118","V125","V134","V137","V147","V162","V190","V199","V203","V208","V215","V223","V270","V276","V290","V296","V299","V305","V306","V308","V328","V336","V343","V345","V367","V380","V390","V392","V393","V395","V406","V409","V412","V415","V437","V448","V279",],
23:["V25","V28","V34","V40","V52","V64","V65","V66","V78","V81","V93","V100","V106","V111","V113","V132","V135","V142","V150","V155","V167","V184","V194","V209","V212","V219","V232","V255","V256","V258","V268","V270","V282","V283","V293","V322","V329","V361","V368","V375","V385","V387","V393","V404","V407","V410","V412","V414","V429","V11",],
24:["V3","V8","V27","V32","V37","V49","V65","V66","V87","V91","V101","V104","V108","V116","V129","V135","V136","V138","V139","V156","V158","V187","V191","V196","V209","V224","V227","V232","V233","V236","V246","V253","V270","V313","V322","V329","V336","V344","V350","V356","V390","V396","V411","V412","V423","V426","V434","V438","V439","V444","V447","V449","V400",],
25:["V5","V9","V17","V19","V38","V44","V50","V52","V79","V84","V88","V91","V93","V96","V120","V126","V128","V129","V131","V135","V152","V156","V161","V165","V182","V193","V210","V218","V220","V245","V253","V260","V276","V287","V289","V308","V316","V328","V329","V330","V349","V355","V377","V379","V398","V408","V420","V421","V433","V436","V442","V444","V177",],
26:["V5","V7","V9","V51","V52","V55","V60","V80","V86","V93","V97","V105","V145","V146","V169","V176","V191","V198","V202","V213","V234","V235","V237","V242","V247","V251","V252","V261","V263","V268","V281","V286","V287","V296","V318","V325","V328","V334","V337","V341","V343","V367","V368","V369","V377","V382","V406","V415","V423","V438","V440","V441","V442","V239",],
27:["V4","V5","V15","V31","V40","V49","V59","V60","V63","V73","V95","V100","V101","V103","V104","V113","V116","V117","V122","V132","V136","V153","V158","V159","V169","V173","V174","V220","V221","V231","V243","V249","V257","V261","V269","V291","V305","V310","V326","V333","V355","V361","V369","V377","V380","V387","V403","V407","V420","V423","V426","V431","V433","V446","V449","V397",],
28:["V6","V10","V23","V25","V35","V52","V57","V62","V64","V69","V72","V74","V76","V102","V103","V106","V130","V141","V150","V157","V164","V169","V174","V182","V189","V191","V196","V201","V215","V225","V240","V254","V257","V262","V266","V267","V283","V289","V308","V309","V325","V344","V370","V371","V373","V379","V382","V383","V391","V407","V410","V426","V428","V431","V433","V434","V228",],
29:["V0","V2","V12","V19","V61","V65","V75","V77","V78","V91","V95","V106","V109","V115","V117","V118","V120","V121","V126","V132","V134","V141","V152","V168","V176","V180","V187","V193","V199","V202","V204","V209","V211","V216","V226","V235","V237","V240","V289","V300","V311","V313","V315","V317","V325","V335","V342","V343","V354","V357","V376","V379","V420","V425","V426","V431","V444","V83",],
30:["V5","V10","V12","V19","V24","V36","V48","V61","V68","V69","V77","V82","V91","V101","V119","V124","V125","V126","V139","V157","V191","V212","V226","V234","V235","V244","V248","V249","V262","V263","V275","V281","V283","V287","V298","V299","V310","V316","V327","V329","V332","V349","V350","V353","V357","V358","V364","V371","V391","V393","V403","V411","V421","V428","V432","V438","V441","V447","V30",],
31:["V0","V4","V12","V25","V37","V51","V52","V53","V71","V80","V93","V97","V105","V106","V115","V131","V139","V142","V157","V162","V163","V192","V196","V198","V203","V205","V208","V210","V212","V213","V226","V232","V236","V237","V255","V263","V282","V295","V304","V315","V318","V320","V322","V331","V341","V353","V354","V370","V371","V377","V379","V385","V391","V396","V414","V423","V438","V439","V446","V419",],
32:["V6","V7","V31","V32","V33","V46","V49","V63","V70","V75","V95","V102","V104","V118","V125","V139","V149","V150","V151","V165","V172","V180","V187","V189","V208","V209","V212","V222","V247","V255","V256","V264","V271","V281","V284","V291","V295","V296","V301","V304","V310","V319","V327","V331","V342","V345","V346","V354","V355","V356","V360","V376","V378","V390","V396","V409","V433","V435","V437","V438","V440","V447","V338",],
33:["V8","V16","V25","V27","V34","V49","V60","V65","V67","V85","V91","V108","V116","V119","V126","V130","V132","V154","V157","V160","V162","V164","V165","V170","V173","V181","V182","V188","V189","V203","V207","V209","V234","V247","V252","V254","V256","V259","V267","V270","V273","V274","V281","V283","V333","V337","V339","V361","V362","V364","V371","V379","V386","V389","V390","V392","V393","V396","V406","V410","V413","V415","V418","V427","V434","V445","V448","V26",],
34:["V0","V6","V16","V17","V25","V28","V33","V42","V47","V50","V61","V66","V72","V82","V84","V87","V88","V90","V98","V101","V117","V125","V127","V131","V140","V147","V151","V161","V168","V174","V176","V180","V183","V186","V194","V196","V203","V205","V207","V209","V212","V217","V218","V219","V241","V245","V247","V256","V261","V270","V276","V297","V298","V301","V303","V314","V323","V326","V357","V358","V360","V361","V367","V385","V392","V393","V418","V421","V429","V437","V443","V214",],
35:["V12","V32","V43","V53","V58","V59","V64","V68","V71","V79","V92","V96","V102","V111","V117","V126","V130","V131","V136","V137","V142","V144","V151","V155","V156","V158","V163","V169","V186","V187","V197","V212","V222","V224","V226","V230","V234","V245","V248","V261","V268","V272","V274","V283","V291","V292","V303","V314","V315","V317","V330","V331","V335","V355","V365","V366","V377","V385","V392","V394","V406","V414","V416","V420","V422","V423","V425","V432","V435","V437","V438","V443","V324",],
36:["V2","V15","V19","V24","V31","V34","V46","V55","V60","V63","V67","V68","V71","V77","V95","V97","V117","V120","V124","V128","V135","V141","V151","V161","V179","V185","V191","V193","V202","V205","V209","V210","V215","V217","V218","V223","V225","V231","V235","V238","V240","V242","V244","V257","V264","V269","V271","V274","V289","V290","V294","V308","V313","V321","V322","V325","V327","V332","V336","V337","V343","V356","V359","V361","V369","V376","V391","V398","V409","V435","V441","V442","V443","V402",],
37:["V4","V7","V15","V25","V39","V47","V53","V64","V69","V73","V77","V89","V106","V109","V110","V112","V116","V125","V127","V132","V139","V141","V146","V155","V175","V179","V180","V184","V186","V191","V193","V207","V220","V221","V232","V236","V241","V248","V256","V269","V272","V280","V282","V293","V297","V306","V308","V316","V336","V337","V352","V353","V359","V361","V370","V371","V373","V375","V385","V386","V390","V391","V407","V410","V415","V417","V420","V429","V435","V439","V444","V446","V447","V449","V18",],
38:["V0","V13","V31","V35","V39","V40","V46","V48","V49","V51","V64","V66","V70","V71","V76","V86","V96","V103","V120","V124","V128","V136","V143","V144","V149","V150","V151","V152","V153","V155","V157","V171","V187","V189","V193","V195","V209","V219","V230","V233","V244","V251","V253","V256","V271","V273","V275","V282","V283","V284","V291","V292","V294","V299","V300","V309","V315","V319","V322","V323","V330","V334","V341","V342","V367","V370","V373","V374","V376","V380","V392","V393","V394","V395","V396","V399","V401","V410","V430","V436","V438","V443","V445","V448","V302",],
39:["V4","V9","V21","V32","V33","V40","V51","V59","V61","V62","V65","V70","V74","V79","V86","V89","V91","V103","V105","V124","V127","V137","V140","V142","V145","V146","V150","V162","V169","V179","V182","V186","V189","V191","V194","V195","V196","V197","V205","V206","V213","V219","V235","V236","V237","V240","V245","V247","V253","V263","V265","V266","V267","V269","V280","V286","V291","V293","V295","V303","V321","V323","V326","V327","V328","V345","V352","V359","V367","V373","V374","V383","V385","V391","V393","V394","V410","V417","V428","V430","V431","V434","V440","V448","V449","V123",],
40:["V2","V5","V9","V17","V19","V21","V25","V28","V37","V38","V43","V44","V50","V51","V52","V79","V84","V87","V88","V91","V93","V96","V107","V120","V122","V126","V128","V129","V130","V131","V134","V135","V143","V146","V152","V156","V157","V161","V165","V170","V182","V193","V205","V210","V212","V218","V220","V223","V224","V235","V245","V253","V259","V260","V262","V275","V276","V287","V289","V291","V297","V305","V308","V314","V316","V325","V326","V328","V329","V330","V339","V349","V355","V361","V377","V379","V382","V398","V399","V403","V415","V420","V421","V424","V433","V435","V436","V442","V444","V446","V408",],
41:["V2","V4","V5","V7","V13","V15","V20","V21","V24","V40","V46","V53","V55","V62","V68","V71","V77","V80","V81","V87","V89","V98","V104","V105","V107","V108","V109","V110","V126","V127","V134","V138","V141","V153","V155","V164","V172","V180","V181","V182","V192","V196","V198","V200","V204","V215","V216","V222","V227","V231","V238","V245","V248","V252","V255","V260","V266","V275","V281","V290","V294","V303","V304","V306","V314","V321","V331","V332","V334","V342","V343","V345","V350","V358","V362","V366","V367","V368","V372","V380","V382","V385","V399","V413","V421","V422","V424","V431","V439","V440","V445","V446","V114",],
42:["V0","V4","V5","V13","V14","V27","V31","V32","V46","V51","V55","V56","V59","V68","V69","V79","V85","V90","V93","V105","V106","V108","V121","V137","V141","V147","V153","V159","V161","V163","V169","V172","V173","V180","V181","V182","V193","V197","V204","V210","V215","V222","V230","V234","V236","V240","V252","V254","V258","V259","V266","V270","V272","V282","V284","V286","V290","V293","V305","V306","V315","V316","V322","V342","V343","V344","V349","V352","V355","V356","V360","V361","V364","V366","V369","V372","V373","V375","V391","V396","V398","V399","V406","V412","V413","V418","V422","V430","V432","V439","V440","V441","V447","V278",],
43:["V8","V10","V16","V17","V24","V35","V39","V58","V64","V67","V72","V74","V76","V79","V80","V90","V103","V107","V111","V112","V115","V117","V122","V125","V129","V130","V137","V139","V141","V143","V146","V147","V150","V155","V156","V158","V165","V173","V183","V189","V190","V197","V199","V201","V206","V207","V210","V219","V223","V225","V234","V235","V238","V241","V242","V248","V255","V268","V271","V274","V275","V280","V286","V287","V301","V305","V308","V309","V327","V333","V334","V342","V347","V348","V360","V361","V362","V365","V375","V377","V385","V395","V399","V404","V410","V413","V414","V421","V425","V427","V433","V434","V439","V440","V441","V444","V381",],
44:["V3","V25","V28","V34","V40","V52","V64","V65","V66","V73","V75","V76","V77","V78","V81","V88","V93","V97","V100","V106","V111","V113","V132","V135","V142","V143","V146","V150","V155","V162","V164","V170","V178","V182","V183","V184","V190","V192","V194","V195","V205","V209","V212","V219","V224","V231","V232","V234","V245","V247","V251","V255","V256","V257","V258","V260","V265","V268","V270","V272","V275","V282","V283","V293","V299","V310","V322","V329","V331","V334","V335","V336","V339","V347","V350","V358","V361","V362","V368","V369","V375","V385","V387","V393","V401","V403","V404","V407","V410","V412","V414","V415","V427","V429","V437","V448","V167",],
45:["V2","V8","V12","V14","V33","V34","V36","V43","V46","V47","V49","V50","V51","V55","V63","V65","V70","V75","V76","V91","V100","V102","V104","V106","V107","V112","V115","V131","V137","V140","V143","V149","V153","V154","V157","V160","V162","V170","V172","V188","V190","V192","V194","V195","V197","V202","V203","V209","V216","V217","V219","V220","V221","V225","V226","V233","V249","V254","V259","V261","V265","V273","V275","V282","V283","V284","V290","V292","V295","V303","V304","V306","V311","V314","V315","V318","V319","V323","V332","V335","V337","V339","V348","V352","V358","V360","V367","V372","V373","V374","V378","V379","V395","V399","V401","V403","V410","V412","V414","V416","V417","V418","V421","V422","V428","V429","V432","V441","V442","V447","V405",],
46:["V0","V4","V6","V8","V13","V15","V16","V17","V20","V23","V25","V28","V31","V32","V33","V39","V46","V47","V50","V60","V61","V66","V72","V73","V77","V82","V84","V87","V88","V90","V92","V98","V101","V105","V111","V113","V117","V125","V127","V131","V140","V141","V142","V147","V150","V151","V159","V161","V165","V168","V169","V174","V175","V176","V180","V183","V184","V186","V188","V194","V195","V196","V203","V205","V207","V209","V212","V215","V217","V218","V219","V241","V245","V246","V247","V253","V256","V261","V270","V272","V276","V293","V294","V297","V298","V301","V303","V314","V320","V323","V326","V330","V334","V349","V357","V358","V360","V361","V367","V375","V376","V383","V385","V389","V392","V393","V394","V396","V409","V418","V421","V429","V437","V439","V443","V42",],
47:["V5","V6","V16","V21","V23","V27","V33","V35","V36","V39","V43","V44","V48","V49","V50","V56","V57","V58","V63","V64","V67","V70","V82","V95","V101","V108","V111","V121","V122","V126","V127","V128","V131","V142","V146","V147","V149","V155","V160","V168","V169","V171","V173","V176","V186","V187","V188","V189","V199","V202","V206","V210","V212","V213","V215","V216","V225","V232","V236","V237","V242","V244","V249","V254","V258","V260","V262","V268","V269","V273","V275","V291","V292","V294","V297","V298","V306","V311","V315","V320","V321","V322","V327","V328","V341","V348","V356","V358","V359","V360","V361","V362","V364","V366","V367","V368","V372","V374","V379","V380","V383","V387","V392","V393","V396","V401","V410","V412","V413","V414","V416","V417","V420","V423","V430","V29",],
48:["V2","V4","V5","V15","V16","V19","V25","V31","V36","V38","V40","V43","V48","V49","V56","V57","V59","V60","V61","V63","V67","V70","V71","V73","V77","V86","V89","V90","V95","V100","V101","V103","V104","V107","V113","V116","V117","V119","V122","V132","V135","V136","V140","V146","V151","V153","V158","V159","V169","V172","V173","V174","V176","V179","V185","V187","V190","V191","V193","V194","V203","V209","V212","V220","V221","V222","V231","V246","V248","V249","V255","V257","V259","V261","V267","V269","V281","V291","V292","V296","V297","V298","V300","V305","V309","V310","V318","V326","V333","V336","V339","V353","V355","V361","V368","V369","V370","V374","V376","V377","V380","V387","V396","V401","V403","V404","V407","V409","V410","V416","V420","V423","V424","V426","V429","V431","V433","V435","V436","V440","V446","V449","V243",],
49:["V2","V4","V5","V6","V7","V13","V14","V15","V20","V21","V24","V25","V32","V35","V37","V39","V40","V46","V53","V55","V58","V62","V68","V71","V73","V77","V80","V81","V87","V89","V98","V104","V105","V106","V107","V108","V109","V110","V124","V126","V127","V134","V138","V141","V145","V152","V153","V155","V159","V163","V164","V172","V176","V180","V181","V182","V187","V192","V193","V196","V198","V204","V211","V215","V216","V222","V227","V231","V238","V245","V248","V252","V255","V257","V258","V260","V261","V264","V265","V266","V268","V275","V276","V281","V286","V290","V294","V300","V301","V303","V304","V306","V313","V314","V316","V321","V331","V332","V334","V342","V343","V345","V350","V358","V362","V366","V367","V368","V372","V373","V377","V380","V382","V385","V391","V395","V399","V401","V407","V411","V413","V421","V422","V424","V431","V439","V440","V445","V446","V447","V200",],
50:["V3","V10","V14","V20","V23","V25","V28","V34","V40","V47","V52","V61","V63","V64","V65","V66","V67","V69","V73","V75","V76","V77","V78","V80","V81","V88","V93","V97","V100","V106","V111","V113","V116","V131","V132","V135","V142","V143","V146","V150","V153","V155","V159","V162","V164","V170","V175","V182","V183","V184","V186","V190","V192","V194","V195","V196","V198","V205","V209","V212","V219","V224","V231","V232","V234","V244","V245","V246","V247","V249","V251","V255","V256","V257","V258","V260","V261","V265","V268","V270","V272","V274","V275","V276","V282","V283","V287","V290","V293","V299","V306","V310","V322","V329","V330","V331","V334","V335","V336","V339","V347","V350","V358","V361","V362","V368","V369","V375","V385","V387","V389","V390","V392","V393","V398","V401","V403","V404","V407","V410","V411","V412","V414","V415","V417","V425","V427","V429","V437","V448","V178",],
51:["V4","V6","V7","V12","V16","V19","V25","V27","V31","V32","V33","V35","V39","V43","V46","V49","V50","V57","V59","V63","V68","V70","V72","V75","V76","V77","V79","V84","V89","V95","V102","V104","V107","V109","V116","V117","V118","V122","V124","V125","V128","V131","V135","V138","V139","V149","V150","V151","V154","V155","V156","V157","V165","V171","V172","V173","V176","V180","V184","V187","V189","V192","V193","V203","V206","V207","V208","V209","V212","V218","V220","V222","V225","V231","V247","V248","V255","V256","V259","V263","V264","V271","V275","V281","V282","V284","V291","V293","V295","V296","V297","V300","V301","V304","V310","V311","V313","V318","V319","V327","V331","V334","V342","V345","V348","V354","V355","V356","V360","V368","V372","V376","V378","V380","V382","V383","V387","V390","V391","V396","V401","V406","V409","V424","V425","V428","V433","V435","V437","V438","V440","V444","V445","V447","V449","V346",],
52:["V0","V2","V12","V15","V19","V28","V32","V43","V53","V58","V59","V61","V64","V65","V68","V71","V75","V77","V78","V79","V80","V81","V84","V91","V92","V95","V96","V101","V102","V106","V109","V111","V115","V117","V118","V120","V121","V126","V130","V131","V132","V134","V136","V137","V141","V142","V144","V151","V152","V155","V156","V158","V163","V168","V169","V171","V176","V180","V186","V187","V193","V194","V197","V199","V201","V202","V204","V205","V208","V209","V211","V212","V216","V221","V222","V224","V226","V230","V234","V235","V237","V240","V245","V248","V249","V258","V260","V261","V265","V268","V272","V274","V283","V289","V291","V292","V298","V300","V303","V311","V313","V314","V315","V325","V326","V330","V331","V334","V335","V341","V342","V343","V354","V355","V357","V365","V366","V376","V377","V379","V385","V392","V394","V395","V399","V406","V411","V414","V416","V420","V422","V423","V425","V426","V431","V432","V435","V437","V438","V443","V444","V446","V317",],
53:["V0","V3","V4","V5","V8","V9","V13","V14","V16","V25","V27","V31","V32","V34","V38","V46","V49","V51","V55","V56","V59","V60","V63","V65","V67","V68","V69","V79","V81","V86","V90","V91","V93","V105","V106","V108","V112","V116","V119","V121","V126","V130","V132","V137","V141","V147","V153","V154","V157","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V180","V181","V182","V188","V189","V193","V197","V202","V203","V204","V206","V207","V209","V210","V215","V217","V222","V223","V230","V234","V236","V240","V247","V252","V254","V256","V258","V259","V260","V261","V266","V267","V270","V272","V273","V274","V281","V282","V283","V284","V286","V290","V292","V293","V297","V305","V306","V315","V316","V320","V322","V332","V333","V337","V339","V342","V343","V344","V349","V352","V354","V355","V356","V360","V361","V362","V364","V365","V366","V369","V371","V372","V373","V375","V379","V386","V389","V390","V391","V392","V393","V396","V398","V399","V406","V407","V410","V412","V413","V415","V416","V418","V422","V427","V429","V430","V432","V434","V439","V440","V441","V445","V446","V447","V448","V85",],
54:["V2","V3","V4","V5","V6","V7","V8","V9","V13","V14","V15","V16","V20","V21","V24","V25","V27","V32","V35","V37","V39","V40","V43","V46","V49","V53","V55","V58","V62","V65","V66","V68","V71","V73","V77","V80","V81","V87","V89","V91","V98","V101","V104","V105","V106","V107","V108","V109","V110","V116","V124","V126","V127","V129","V134","V135","V136","V138","V139","V141","V143","V144","V145","V152","V153","V155","V156","V158","V159","V163","V164","V172","V176","V180","V181","V182","V186","V187","V189","V191","V192","V193","V196","V198","V201","V204","V207","V209","V211","V215","V216","V222","V223","V224","V230","V231","V232","V233","V236","V238","V244","V245","V246","V248","V252","V253","V255","V257","V258","V260","V261","V264","V265","V266","V268","V270","V275","V276","V280","V281","V286","V290","V294","V296","V300","V301","V303","V304","V306","V313","V314","V316","V321","V322","V329","V331","V332","V334","V336","V342","V343","V344","V345","V350","V356","V358","V362","V366","V367","V368","V372","V373","V377","V380","V382","V385","V390","V391","V395","V396","V399","V401","V404","V407","V411","V412","V413","V421","V422","V423","V424","V426","V431","V434","V438","V439","V440","V444","V445","V446","V447","V449","V227",],
55:["V2","V5","V6","V9","V16","V17","V19","V21","V23","V25","V27","V28","V33","V35","V36","V37","V38","V39","V43","V48","V49","V50","V51","V52","V56","V57","V58","V63","V64","V67","V70","V78","V79","V82","V84","V87","V88","V91","V93","V95","V96","V101","V107","V108","V111","V120","V121","V122","V126","V127","V128","V129","V130","V131","V134","V135","V142","V143","V146","V147","V149","V152","V155","V156","V157","V160","V161","V165","V168","V169","V170","V171","V173","V175","V176","V182","V183","V186","V187","V188","V189","V193","V198","V199","V202","V205","V206","V210","V212","V213","V215","V216","V217","V218","V220","V223","V224","V225","V232","V235","V236","V237","V242","V244","V245","V249","V253","V254","V258","V259","V260","V262","V268","V269","V273","V275","V276","V287","V289","V291","V292","V294","V297","V298","V303","V305","V306","V308","V311","V314","V315","V316","V320","V321","V322","V325","V326","V327","V328","V329","V330","V339","V341","V348","V349","V352","V355","V356","V358","V359","V360","V361","V362","V364","V366","V367","V368","V372","V374","V377","V379","V380","V382","V383","V387","V392","V393","V396","V398","V399","V401","V403","V410","V412","V413","V414","V415","V416","V417","V420","V421","V423","V424","V430","V433","V435","V436","V442","V444","V445","V446","V44",],
56:["V0","V2","V4","V5","V15","V16","V19","V23","V24","V25","V28","V31","V34","V36","V38","V39","V40","V43","V46","V48","V49","V55","V56","V57","V59","V60","V61","V63","V67","V68","V70","V71","V73","V77","V78","V86","V89","V90","V95","V97","V100","V101","V103","V104","V105","V107","V113","V116","V117","V119","V120","V122","V124","V128","V129","V132","V135","V136","V140","V141","V144","V146","V151","V152","V153","V158","V159","V161","V162","V169","V171","V172","V173","V174","V176","V179","V187","V190","V191","V193","V194","V196","V198","V202","V203","V205","V209","V210","V212","V215","V217","V218","V220","V221","V222","V223","V224","V225","V231","V232","V235","V238","V240","V242","V244","V246","V248","V249","V255","V257","V259","V261","V264","V267","V268","V269","V271","V274","V280","V281","V286","V289","V290","V291","V292","V294","V295","V296","V297","V298","V300","V305","V308","V309","V310","V313","V314","V318","V321","V322","V325","V326","V327","V332","V333","V336","V337","V339","V341","V343","V348","V353","V355","V356","V359","V361","V368","V369","V370","V374","V376","V377","V380","V387","V391","V392","V396","V398","V401","V403","V404","V407","V409","V410","V416","V420","V423","V424","V426","V429","V431","V433","V435","V436","V437","V440","V441","V442","V443","V446","V449","V185",],
57:["V3","V6","V8","V9","V10","V14","V16","V17","V20","V23","V24","V25","V28","V34","V35","V38","V39","V40","V43","V47","V52","V58","V61","V63","V64","V65","V66","V67","V69","V70","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V88","V90","V93","V95","V97","V100","V103","V106","V107","V108","V111","V112","V113","V115","V116","V117","V122","V125","V126","V129","V130","V131","V132","V134","V135","V137","V139","V141","V142","V143","V145","V146","V147","V149","V150","V153","V155","V156","V158","V159","V162","V164","V165","V170","V173","V174","V175","V181","V182","V183","V184","V186","V189","V190","V192","V194","V195","V196","V197","V198","V199","V201","V205","V206","V207","V209","V210","V212","V215","V219","V223","V224","V225","V231","V232","V234","V235","V238","V241","V242","V244","V245","V246","V247","V248","V249","V251","V254","V255","V256","V257","V258","V259","V260","V261","V265","V268","V270","V271","V272","V274","V275","V276","V280","V282","V283","V286","V287","V290","V293","V299","V301","V305","V306","V308","V309","V310","V322","V327","V328","V329","V330","V331","V333","V334","V335","V336","V339","V341","V342","V348","V350","V354","V358","V360","V361","V362","V365","V368","V369","V375","V377","V385","V387","V389","V390","V392","V393","V395","V398","V399","V401","V403","V404","V407","V410","V411","V412","V413","V414","V415","V417","V418","V421","V425","V427","V429","V431","V433","V434","V437","V439","V440","V441","V444","V448","V347",],
58:["V2","V4","V6","V7","V8","V12","V14","V15","V16","V19","V21","V25","V27","V31","V32","V33","V34","V35","V36","V39","V43","V46","V47","V49","V50","V51","V55","V57","V59","V63","V65","V68","V70","V72","V75","V76","V77","V79","V84","V89","V91","V95","V100","V102","V104","V106","V107","V109","V112","V115","V116","V117","V118","V121","V122","V124","V125","V127","V128","V131","V135","V137","V138","V139","V140","V143","V146","V149","V150","V151","V153","V154","V155","V156","V157","V160","V162","V165","V170","V171","V172","V173","V176","V180","V182","V184","V187","V188","V189","V190","V192","V193","V194","V195","V196","V197","V202","V203","V206","V207","V208","V209","V212","V216","V217","V218","V219","V220","V221","V222","V225","V226","V231","V232","V233","V235","V247","V248","V249","V254","V255","V256","V259","V261","V263","V264","V265","V271","V273","V275","V281","V282","V283","V284","V290","V291","V292","V293","V295","V296","V297","V300","V301","V303","V304","V306","V309","V310","V311","V313","V314","V315","V318","V319","V323","V327","V331","V332","V334","V335","V337","V339","V342","V345","V348","V352","V354","V355","V356","V357","V358","V360","V367","V368","V372","V373","V374","V376","V379","V380","V382","V383","V385","V386","V387","V390","V391","V395","V396","V399","V401","V403","V406","V409","V410","V412","V414","V416","V417","V418","V421","V422","V424","V425","V428","V429","V432","V433","V435","V436","V437","V438","V440","V441","V442","V444","V445","V446","V447","V449","V378",],
59:["V0","V2","V4","V5","V6","V8","V12","V13","V14","V15","V16","V17","V19","V20","V21","V23","V25","V28","V31","V32","V33","V38","V39","V43","V46","V47","V48","V50","V53","V58","V59","V60","V61","V63","V64","V65","V66","V67","V68","V71","V72","V73","V75","V77","V78","V79","V80","V81","V82","V84","V87","V88","V90","V91","V95","V96","V98","V101","V102","V105","V106","V109","V111","V113","V115","V117","V118","V120","V121","V125","V126","V127","V129","V130","V131","V132","V134","V136","V137","V140","V141","V142","V144","V145","V146","V147","V150","V151","V152","V154","V155","V156","V157","V158","V159","V161","V162","V163","V165","V168","V169","V170","V171","V172","V174","V175","V176","V180","V181","V183","V184","V186","V187","V188","V193","V194","V195","V196","V197","V199","V201","V202","V203","V204","V205","V207","V208","V209","V210","V211","V212","V215","V216","V217","V218","V219","V221","V222","V224","V226","V230","V234","V235","V237","V240","V241","V245","V246","V247","V248","V249","V253","V256","V258","V260","V261","V265","V266","V268","V270","V272","V274","V276","V283","V289","V291","V292","V293","V294","V297","V298","V300","V301","V303","V305","V311","V313","V314","V315","V320","V323","V325","V326","V330","V331","V333","V334","V335","V341","V342","V343","V344","V349","V353","V354","V355","V357","V358","V360","V361","V365","V366","V367","V371","V375","V376","V377","V379","V383","V385","V389","V392","V393","V394","V395","V396","V399","V406","V409","V411","V414","V416","V418","V420","V421","V422","V423","V425","V426","V429","V431","V432","V435","V437","V438","V439","V443","V444","V446","V447","V92",],
60:["V2","V3","V4","V5","V6","V7","V8","V9","V13","V14","V15","V16","V19","V20","V21","V24","V25","V27","V32","V35","V37","V39","V40","V43","V46","V47","V49","V51","V53","V55","V58","V61","V62","V64","V65","V66","V68","V69","V71","V72","V73","V77","V78","V80","V81","V87","V88","V89","V91","V98","V101","V103","V104","V105","V106","V107","V108","V109","V112","V116","V118","V124","V125","V126","V127","V129","V132","V134","V135","V136","V137","V138","V139","V141","V143","V144","V145","V146","V147","V152","V153","V155","V156","V158","V159","V162","V163","V164","V172","V175","V176","V179","V180","V181","V182","V184","V186","V187","V189","V190","V191","V192","V193","V196","V198","V199","V201","V203","V204","V207","V208","V209","V211","V215","V216","V220","V221","V222","V223","V224","V230","V231","V232","V233","V236","V238","V241","V244","V245","V246","V248","V252","V253","V255","V256","V257","V258","V260","V261","V264","V265","V266","V268","V269","V270","V272","V275","V276","V280","V281","V282","V286","V287","V290","V293","V294","V296","V297","V299","V300","V301","V303","V304","V305","V306","V308","V313","V314","V316","V321","V322","V328","V329","V331","V332","V334","V336","V337","V342","V343","V344","V345","V350","V352","V353","V356","V358","V359","V361","V362","V366","V367","V368","V370","V371","V372","V373","V375","V377","V380","V382","V385","V386","V390","V391","V392","V393","V395","V396","V399","V401","V404","V406","V407","V409","V410","V411","V412","V413","V415","V417","V420","V421","V422","V423","V424","V426","V429","V431","V434","V435","V437","V438","V439","V440","V444","V445","V446","V447","V448","V449","V110",],
61:["V2","V5","V6","V9","V10","V12","V16","V17","V19","V21","V23","V24","V25","V27","V28","V33","V35","V36","V37","V38","V39","V43","V48","V49","V50","V51","V52","V56","V57","V58","V59","V61","V62","V63","V64","V67","V68","V69","V70","V72","V74","V76","V77","V78","V79","V82","V84","V87","V88","V91","V93","V95","V96","V101","V102","V103","V104","V106","V107","V108","V111","V119","V120","V121","V122","V124","V125","V126","V127","V128","V129","V130","V131","V134","V135","V138","V139","V141","V142","V143","V146","V147","V149","V150","V152","V155","V156","V157","V160","V161","V164","V165","V168","V169","V170","V171","V173","V174","V175","V176","V182","V183","V186","V187","V188","V189","V191","V193","V196","V198","V199","V201","V202","V205","V206","V210","V212","V213","V215","V216","V217","V218","V220","V223","V224","V225","V226","V232","V234","V235","V236","V237","V240","V242","V244","V245","V248","V249","V253","V254","V257","V258","V259","V260","V263","V266","V267","V268","V269","V273","V275","V276","V281","V283","V287","V289","V291","V292","V294","V297","V298","V299","V303","V305","V306","V308","V309","V310","V311","V314","V315","V316","V318","V320","V321","V322","V325","V326","V327","V328","V329","V330","V332","V339","V341","V344","V348","V349","V350","V352","V353","V355","V356","V357","V358","V359","V360","V361","V362","V364","V366","V367","V368","V370","V371","V372","V373","V374","V377","V379","V380","V382","V383","V386","V387","V391","V392","V393","V396","V398","V399","V401","V403","V407","V410","V411","V412","V413","V414","V415","V416","V417","V420","V421","V423","V424","V426","V428","V430","V431","V432","V433","V434","V435","V436","V438","V441","V442","V444","V445","V446","V447","V262",],
62:["V0","V2","V4","V6","V7","V8","V12","V13","V14","V15","V16","V19","V21","V25","V27","V31","V32","V33","V34","V35","V36","V39","V40","V43","V46","V47","V48","V49","V50","V51","V55","V57","V59","V63","V64","V65","V66","V68","V70","V71","V72","V75","V76","V77","V79","V84","V86","V87","V89","V90","V91","V95","V96","V100","V102","V103","V104","V106","V107","V109","V112","V113","V115","V116","V117","V118","V120","V121","V122","V124","V125","V127","V128","V131","V132","V135","V136","V137","V138","V139","V140","V143","V144","V146","V149","V150","V151","V152","V153","V154","V155","V156","V157","V160","V162","V165","V170","V171","V172","V173","V176","V180","V182","V184","V187","V188","V189","V190","V192","V193","V194","V195","V196","V197","V202","V203","V206","V207","V208","V209","V211","V212","V216","V217","V218","V219","V220","V221","V222","V225","V226","V230","V231","V232","V233","V235","V244","V247","V248","V249","V251","V253","V254","V255","V256","V259","V261","V263","V264","V265","V270","V271","V273","V275","V281","V282","V283","V284","V290","V291","V292","V293","V294","V295","V296","V297","V299","V300","V301","V303","V304","V306","V309","V310","V311","V313","V314","V315","V318","V322","V323","V327","V330","V331","V332","V334","V335","V337","V339","V341","V342","V345","V348","V352","V353","V354","V355","V356","V357","V358","V360","V367","V368","V370","V372","V373","V374","V376","V379","V380","V382","V383","V385","V386","V387","V390","V391","V392","V393","V394","V395","V396","V399","V401","V403","V406","V409","V410","V412","V414","V416","V417","V418","V421","V422","V424","V425","V428","V429","V430","V432","V433","V435","V436","V437","V438","V440","V441","V442","V443","V444","V445","V446","V447","V448","V449","V319",],
63:["V0","V3","V4","V5","V6","V8","V9","V10","V13","V14","V15","V16","V17","V20","V23","V24","V25","V27","V28","V31","V32","V34","V35","V38","V39","V40","V43","V46","V47","V49","V50","V51","V52","V55","V56","V58","V59","V60","V61","V63","V64","V65","V66","V67","V68","V69","V70","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V86","V87","V88","V90","V91","V93","V95","V97","V100","V103","V104","V105","V106","V107","V108","V111","V112","V113","V115","V116","V117","V119","V121","V122","V125","V126","V128","V129","V130","V131","V132","V134","V135","V137","V139","V141","V142","V143","V145","V146","V147","V149","V150","V152","V153","V154","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V174","V175","V180","V181","V182","V183","V184","V186","V188","V189","V190","V192","V193","V194","V195","V196","V197","V198","V199","V201","V202","V203","V204","V205","V206","V207","V209","V210","V212","V215","V217","V219","V222","V223","V224","V225","V230","V231","V232","V233","V234","V235","V236","V238","V240","V241","V242","V244","V245","V246","V247","V248","V249","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V263","V264","V265","V266","V267","V268","V270","V271","V272","V273","V274","V275","V276","V280","V281","V282","V283","V284","V286","V287","V290","V291","V292","V293","V297","V299","V301","V305","V306","V308","V309","V310","V315","V316","V320","V321","V322","V327","V328","V329","V330","V331","V332","V333","V334","V335","V336","V337","V339","V341","V342","V343","V344","V348","V349","V350","V352","V354","V355","V356","V358","V360","V361","V362","V364","V365","V366","V368","V369","V371","V372","V373","V375","V377","V379","V385","V386","V387","V389","V390","V391","V392","V393","V395","V396","V398","V399","V401","V403","V404","V406","V407","V410","V411","V412","V413","V414","V415","V416","V417","V418","V421","V422","V425","V429","V430","V431","V432","V433","V434","V437","V438","V439","V440","V441","V444","V445","V446","V447","V448","V427",],
64:["V0","V2","V4","V5","V6","V8","V9","V10","V12","V13","V14","V15","V16","V17","V19","V20","V21","V23","V24","V25","V27","V28","V31","V32","V33","V35","V36","V37","V38","V39","V43","V46","V47","V48","V49","V50","V51","V52","V53","V56","V57","V58","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V84","V87","V88","V90","V91","V93","V95","V96","V98","V101","V102","V103","V104","V105","V106","V107","V108","V109","V111","V113","V115","V117","V118","V119","V120","V121","V122","V124","V125","V126","V127","V128","V129","V130","V131","V132","V134","V135","V136","V137","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V150","V151","V152","V154","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V174","V175","V176","V180","V181","V182","V183","V184","V186","V187","V188","V189","V191","V193","V194","V195","V196","V197","V198","V199","V201","V202","V203","V204","V205","V206","V207","V208","V209","V210","V211","V212","V213","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V230","V232","V234","V235","V236","V237","V240","V241","V242","V244","V245","V246","V247","V248","V249","V253","V254","V256","V257","V258","V259","V260","V261","V263","V265","V266","V267","V268","V269","V270","V272","V273","V274","V275","V276","V281","V283","V287","V289","V291","V292","V293","V294","V297","V298","V299","V300","V301","V303","V305","V306","V308","V309","V310","V311","V313","V314","V315","V316","V318","V320","V321","V322","V323","V325","V326","V327","V328","V329","V330","V331","V332","V333","V334","V335","V339","V341","V342","V343","V344","V348","V349","V350","V352","V353","V354","V355","V356","V357","V358","V359","V360","V361","V362","V364","V365","V366","V367","V368","V370","V371","V372","V373","V374","V375","V376","V377","V379","V380","V382","V383","V385","V386","V387","V389","V391","V392","V393","V394","V395","V396","V398","V399","V401","V403","V406","V407","V409","V410","V411","V412","V413","V414","V415","V416","V417","V418","V420","V421","V422","V423","V424","V425","V426","V428","V429","V430","V431","V432","V433","V434","V435","V436","V437","V438","V439","V441","V442","V443","V444","V445","V446","V447","V448","V82",],
65:["V0","V2","V4","V5","V6","V7","V8","V9","V10","V13","V14","V15","V16","V17","V19","V20","V21","V23","V24","V25","V27","V28","V31","V32","V34","V35","V37","V38","V39","V40","V43","V46","V47","V49","V50","V51","V52","V53","V55","V56","V57","V58","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V86","V87","V88","V89","V90","V91","V93","V95","V97","V98","V100","V101","V103","V104","V105","V106","V107","V108","V109","V111","V112","V113","V115","V116","V117","V118","V119","V121","V122","V124","V125","V126","V127","V128","V129","V130","V131","V132","V134","V135","V136","V137","V138","V139","V141","V142","V143","V144","V145","V146","V147","V149","V150","V152","V153","V154","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V174","V175","V176","V179","V180","V181","V182","V183","V184","V186","V187","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V199","V201","V202","V203","V204","V205","V206","V207","V208","V209","V210","V211","V212","V215","V216","V217","V219","V220","V221","V222","V223","V224","V225","V230","V231","V232","V233","V234","V235","V236","V238","V240","V241","V242","V244","V245","V246","V247","V248","V249","V251","V252","V253","V254","V255","V256","V257","V258","V259","V260","V261","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V280","V281","V282","V283","V284","V286","V287","V290","V291","V292","V293","V294","V295","V296","V297","V299","V300","V301","V303","V304","V305","V306","V308","V309","V310","V313","V314","V315","V316","V320","V321","V322","V327","V328","V329","V330","V331","V332","V333","V334","V335","V336","V337","V339","V341","V342","V343","V344","V345","V348","V349","V350","V352","V353","V354","V355","V356","V358","V359","V360","V361","V362","V364","V365","V366","V367","V368","V369","V370","V371","V372","V373","V375","V377","V379","V380","V382","V385","V386","V387","V389","V390","V391","V392","V393","V395","V396","V398","V399","V401","V403","V404","V406","V407","V409","V410","V411","V412","V413","V414","V415","V416","V417","V418","V420","V421","V422","V423","V424","V425","V426","V429","V430","V431","V432","V433","V434","V435","V437","V438","V439","V440","V441","V444","V445","V446","V447","V448","V449","V3",],
66:["V0","V2","V4","V5","V6","V7","V8","V9","V10","V13","V14","V15","V16","V17","V19","V20","V21","V23","V24","V25","V27","V28","V31","V32","V34","V35","V37","V38","V39","V40","V43","V46","V47","V49","V50","V51","V52","V53","V55","V56","V57","V58","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V86","V87","V88","V89","V90","V91","V93","V95","V97","V98","V100","V101","V103","V104","V105","V106","V107","V108","V109","V111","V112","V113","V115","V116","V117","V118","V119","V121","V122","V124","V125","V126","V127","V128","V129","V130","V131","V132","V134","V135","V136","V137","V138","V139","V141","V142","V143","V144","V145","V146","V147","V149","V150","V152","V153","V154","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V174","V175","V176","V179","V180","V181","V182","V183","V184","V186","V187","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V199","V201","V202","V203","V204","V205","V206","V207","V208","V209","V210","V211","V212","V213","V215","V216","V217","V219","V220","V221","V222","V223","V224","V225","V230","V231","V232","V233","V234","V235","V236","V237","V238","V240","V241","V242","V244","V245","V246","V247","V248","V249","V251","V253","V254","V255","V256","V257","V258","V259","V260","V261","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V280","V281","V282","V283","V284","V286","V287","V289","V290","V291","V292","V293","V294","V295","V296","V297","V299","V300","V301","V303","V304","V305","V306","V308","V309","V310","V313","V314","V315","V316","V318","V320","V321","V322","V325","V327","V328","V329","V330","V331","V332","V333","V334","V335","V336","V337","V339","V341","V342","V343","V344","V345","V348","V349","V350","V352","V353","V354","V355","V356","V358","V359","V360","V361","V362","V364","V365","V366","V367","V368","V369","V370","V371","V372","V373","V375","V377","V379","V380","V382","V385","V386","V387","V389","V390","V391","V392","V393","V394","V395","V396","V398","V399","V401","V403","V404","V406","V407","V409","V410","V411","V412","V413","V414","V415","V416","V417","V418","V420","V421","V422","V423","V424","V425","V426","V429","V430","V431","V432","V433","V434","V435","V437","V438","V439","V440","V441","V442","V444","V445","V446","V447","V448","V449","V252",],
67:["V0","V2","V4","V5","V6","V7","V8","V9","V10","V13","V14","V15","V16","V17","V19","V20","V21","V23","V24","V25","V27","V28","V31","V32","V34","V35","V36","V37","V38","V39","V40","V43","V46","V47","V48","V49","V50","V51","V52","V53","V55","V56","V57","V58","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V86","V87","V88","V89","V90","V91","V93","V95","V97","V98","V100","V101","V103","V104","V105","V106","V107","V108","V109","V111","V112","V113","V115","V116","V117","V118","V119","V120","V121","V122","V124","V125","V126","V127","V128","V129","V130","V131","V132","V134","V135","V136","V137","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V150","V151","V152","V153","V154","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V174","V175","V176","V179","V180","V181","V182","V183","V184","V186","V187","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V199","V201","V202","V203","V204","V205","V206","V207","V208","V209","V210","V211","V212","V213","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V230","V231","V232","V233","V234","V235","V236","V237","V240","V241","V242","V244","V245","V246","V247","V248","V249","V251","V253","V254","V255","V256","V257","V258","V259","V260","V261","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V280","V281","V282","V283","V284","V286","V287","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V299","V300","V301","V303","V304","V305","V306","V308","V309","V310","V313","V314","V315","V316","V318","V320","V321","V322","V325","V326","V327","V328","V329","V330","V331","V332","V333","V334","V335","V336","V337","V339","V341","V342","V343","V344","V345","V348","V349","V350","V352","V353","V354","V355","V356","V358","V359","V360","V361","V362","V364","V365","V366","V367","V368","V369","V370","V371","V372","V373","V374","V375","V376","V377","V379","V380","V382","V385","V386","V387","V389","V390","V391","V392","V393","V394","V395","V396","V398","V399","V401","V403","V404","V406","V407","V409","V410","V411","V412","V413","V414","V415","V416","V417","V418","V420","V421","V422","V423","V424","V425","V426","V429","V430","V431","V432","V433","V434","V435","V436","V437","V438","V439","V440","V441","V442","V443","V444","V445","V446","V447","V448","V449","V238",],
68:["V0","V2","V4","V5","V6","V7","V8","V9","V10","V13","V14","V15","V16","V17","V19","V20","V21","V23","V24","V25","V27","V28","V31","V32","V34","V35","V36","V37","V38","V39","V40","V43","V46","V47","V48","V49","V50","V51","V52","V53","V55","V56","V57","V58","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V84","V86","V87","V88","V89","V90","V91","V93","V95","V97","V98","V100","V101","V103","V104","V105","V106","V107","V108","V109","V111","V112","V113","V115","V116","V117","V118","V119","V120","V121","V122","V124","V125","V126","V127","V128","V129","V130","V131","V132","V134","V135","V136","V137","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V150","V151","V152","V153","V154","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V174","V175","V176","V179","V180","V181","V182","V183","V184","V186","V187","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V199","V201","V202","V203","V204","V205","V206","V207","V208","V209","V210","V211","V212","V213","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V230","V231","V232","V233","V234","V235","V236","V237","V240","V241","V242","V244","V245","V246","V247","V248","V249","V251","V253","V254","V255","V256","V257","V258","V259","V260","V261","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V280","V281","V282","V283","V284","V286","V287","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V299","V300","V301","V303","V304","V305","V306","V308","V309","V310","V313","V314","V315","V316","V318","V320","V321","V322","V325","V326","V327","V328","V329","V330","V331","V332","V333","V334","V335","V337","V339","V341","V342","V343","V344","V345","V348","V349","V350","V352","V353","V354","V355","V356","V358","V359","V360","V361","V362","V364","V365","V366","V367","V368","V369","V370","V371","V372","V373","V374","V375","V376","V377","V379","V380","V382","V385","V386","V387","V389","V390","V391","V392","V393","V394","V395","V396","V398","V399","V401","V403","V404","V406","V407","V409","V410","V411","V412","V413","V414","V415","V416","V417","V418","V420","V421","V422","V423","V424","V425","V426","V429","V430","V431","V432","V433","V434","V435","V436","V437","V438","V439","V440","V441","V442","V443","V444","V445","V446","V447","V448","V449","V336",],
69:["V0","V2","V4","V5","V6","V7","V8","V9","V10","V13","V14","V15","V16","V17","V19","V20","V21","V23","V24","V25","V27","V28","V31","V32","V34","V35","V36","V37","V38","V39","V40","V43","V46","V47","V48","V49","V50","V51","V52","V53","V55","V56","V57","V58","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V84","V86","V87","V88","V89","V90","V91","V93","V95","V96","V97","V98","V100","V101","V103","V104","V105","V106","V107","V108","V109","V111","V112","V113","V115","V116","V117","V118","V119","V120","V121","V122","V124","V125","V126","V127","V128","V129","V130","V131","V132","V134","V135","V136","V137","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V150","V151","V152","V153","V154","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V174","V175","V176","V179","V180","V181","V182","V183","V184","V186","V187","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V199","V201","V202","V203","V204","V205","V206","V207","V208","V209","V210","V211","V212","V213","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V230","V231","V232","V233","V234","V235","V236","V237","V240","V241","V242","V244","V245","V246","V247","V248","V249","V251","V253","V254","V255","V256","V257","V258","V259","V260","V261","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V280","V281","V282","V283","V284","V286","V287","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V299","V300","V301","V303","V304","V305","V306","V308","V309","V310","V313","V314","V315","V316","V318","V320","V321","V322","V325","V326","V327","V328","V329","V330","V331","V332","V333","V334","V335","V337","V339","V341","V342","V343","V344","V345","V348","V349","V350","V352","V353","V354","V355","V356","V358","V359","V360","V361","V362","V364","V365","V366","V367","V368","V370","V371","V372","V373","V374","V375","V376","V377","V379","V380","V382","V385","V386","V387","V389","V390","V391","V392","V393","V394","V395","V396","V398","V399","V401","V403","V404","V406","V407","V409","V410","V411","V412","V413","V414","V415","V416","V417","V418","V420","V421","V422","V423","V424","V425","V426","V429","V430","V431","V432","V433","V434","V435","V436","V437","V438","V439","V440","V441","V442","V443","V444","V445","V446","V447","V448","V449","V369",],
70:["V0","V2","V4","V5","V6","V7","V8","V9","V10","V13","V14","V15","V16","V17","V19","V20","V21","V23","V24","V25","V27","V28","V31","V32","V34","V35","V36","V37","V38","V39","V40","V43","V46","V47","V48","V49","V50","V51","V52","V53","V55","V56","V57","V58","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V84","V86","V87","V88","V89","V90","V91","V93","V95","V96","V97","V98","V100","V101","V103","V104","V105","V106","V107","V108","V109","V111","V112","V113","V115","V116","V117","V118","V119","V120","V121","V122","V124","V125","V126","V127","V128","V129","V130","V131","V132","V134","V135","V136","V137","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V150","V151","V152","V153","V154","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V174","V175","V176","V179","V180","V181","V182","V183","V184","V186","V187","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V199","V201","V202","V203","V204","V205","V206","V207","V208","V209","V210","V211","V212","V213","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V230","V231","V232","V233","V234","V235","V236","V237","V240","V241","V242","V244","V245","V246","V247","V248","V249","V251","V253","V254","V255","V256","V257","V258","V259","V260","V261","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V280","V281","V282","V283","V284","V286","V287","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V299","V300","V301","V303","V304","V305","V306","V308","V309","V310","V311","V313","V314","V315","V316","V318","V320","V321","V322","V325","V326","V327","V328","V329","V330","V331","V332","V333","V334","V335","V337","V339","V341","V342","V343","V344","V345","V348","V349","V350","V352","V353","V354","V355","V356","V358","V359","V360","V361","V362","V364","V365","V366","V367","V368","V370","V371","V372","V373","V374","V375","V376","V377","V379","V380","V382","V385","V386","V387","V389","V390","V391","V392","V393","V394","V395","V396","V398","V399","V401","V403","V406","V407","V409","V410","V411","V412","V413","V414","V415","V416","V417","V418","V420","V421","V422","V423","V424","V425","V426","V429","V430","V431","V432","V433","V434","V435","V436","V437","V438","V439","V440","V441","V442","V443","V444","V445","V446","V447","V448","V449","V404",],
71:["V0","V2","V4","V5","V6","V7","V8","V9","V10","V12","V13","V14","V15","V16","V17","V19","V20","V21","V23","V24","V25","V27","V28","V31","V32","V34","V35","V36","V37","V38","V39","V40","V43","V46","V47","V48","V49","V50","V51","V52","V53","V55","V56","V57","V58","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V84","V86","V87","V88","V89","V90","V91","V93","V95","V96","V98","V100","V101","V103","V104","V105","V106","V107","V108","V109","V111","V112","V113","V115","V116","V117","V118","V119","V120","V121","V122","V124","V125","V126","V127","V128","V129","V130","V131","V132","V134","V135","V136","V137","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V150","V151","V152","V153","V154","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V174","V175","V176","V179","V180","V181","V182","V183","V184","V186","V187","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V199","V201","V202","V203","V204","V205","V206","V207","V208","V209","V210","V211","V212","V213","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V230","V231","V232","V233","V234","V235","V236","V237","V240","V241","V242","V244","V245","V246","V247","V248","V249","V251","V253","V254","V255","V256","V257","V258","V259","V260","V261","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V280","V281","V282","V283","V284","V286","V287","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V299","V300","V301","V303","V304","V305","V306","V308","V309","V310","V311","V313","V314","V315","V316","V318","V320","V321","V322","V325","V326","V327","V328","V329","V330","V331","V332","V333","V334","V335","V337","V339","V341","V342","V343","V344","V345","V348","V349","V350","V352","V353","V354","V355","V356","V358","V359","V360","V361","V362","V364","V365","V366","V367","V368","V370","V371","V372","V373","V374","V375","V376","V377","V379","V380","V382","V385","V386","V387","V389","V390","V391","V392","V393","V394","V395","V396","V398","V399","V401","V403","V406","V407","V409","V410","V411","V412","V413","V414","V415","V416","V417","V418","V420","V421","V422","V423","V424","V425","V426","V429","V430","V431","V432","V433","V434","V435","V436","V437","V438","V439","V440","V441","V442","V443","V444","V445","V446","V447","V448","V449","V97",],
72:["V0","V2","V4","V5","V6","V7","V8","V9","V10","V12","V13","V14","V15","V16","V17","V19","V20","V21","V23","V24","V25","V27","V28","V31","V32","V33","V34","V35","V36","V37","V38","V39","V40","V43","V46","V47","V48","V49","V50","V51","V52","V53","V55","V56","V57","V58","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V84","V86","V87","V88","V89","V90","V91","V93","V95","V96","V98","V100","V101","V103","V104","V105","V106","V107","V108","V109","V111","V112","V113","V115","V116","V117","V118","V119","V120","V121","V122","V124","V125","V126","V127","V128","V129","V130","V131","V132","V134","V135","V136","V137","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V150","V151","V152","V153","V154","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V174","V175","V176","V179","V180","V181","V182","V183","V184","V186","V187","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V199","V201","V202","V203","V204","V205","V206","V207","V208","V209","V210","V211","V212","V213","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V230","V231","V232","V233","V234","V235","V236","V237","V240","V241","V242","V244","V245","V246","V247","V248","V249","V251","V253","V254","V255","V256","V257","V258","V259","V260","V261","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V280","V281","V282","V283","V284","V287","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V299","V300","V301","V303","V304","V305","V306","V308","V309","V310","V311","V313","V314","V315","V316","V318","V320","V321","V322","V323","V325","V326","V327","V328","V329","V330","V331","V332","V333","V334","V335","V337","V339","V341","V342","V343","V344","V345","V348","V349","V350","V352","V353","V354","V355","V356","V358","V359","V360","V361","V362","V364","V365","V366","V367","V368","V370","V371","V372","V373","V374","V375","V376","V377","V379","V380","V382","V383","V385","V386","V387","V389","V390","V391","V392","V393","V394","V395","V396","V398","V399","V401","V403","V406","V407","V409","V410","V411","V412","V413","V414","V415","V416","V417","V418","V420","V421","V422","V423","V424","V425","V426","V428","V429","V430","V431","V432","V433","V434","V435","V436","V437","V438","V439","V440","V441","V442","V443","V444","V445","V446","V447","V448","V449","V286",],
73:["V0","V2","V4","V5","V6","V7","V8","V9","V10","V12","V13","V14","V15","V16","V17","V19","V20","V21","V23","V24","V25","V27","V28","V31","V32","V33","V34","V35","V36","V37","V38","V39","V40","V43","V46","V47","V48","V49","V50","V51","V52","V53","V55","V56","V57","V58","V59","V60","V61","V62","V63","V64","V65","V66","V67","V68","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V81","V84","V86","V87","V88","V89","V90","V91","V93","V95","V96","V100","V101","V102","V103","V104","V105","V106","V107","V108","V109","V111","V112","V113","V115","V116","V117","V118","V119","V120","V121","V122","V124","V125","V126","V127","V128","V129","V130","V131","V132","V134","V135","V136","V137","V138","V139","V140","V141","V142","V143","V144","V145","V146","V147","V149","V150","V151","V152","V153","V154","V155","V156","V157","V158","V159","V160","V161","V162","V163","V164","V165","V168","V169","V170","V171","V172","V173","V174","V175","V176","V180","V181","V182","V183","V184","V186","V187","V188","V189","V190","V191","V192","V193","V194","V195","V196","V197","V198","V199","V201","V202","V203","V204","V205","V206","V207","V208","V209","V210","V211","V212","V213","V215","V216","V217","V218","V219","V220","V221","V222","V223","V224","V225","V226","V230","V231","V232","V233","V234","V235","V236","V237","V240","V241","V242","V244","V245","V246","V247","V248","V249","V251","V253","V254","V255","V256","V257","V258","V259","V260","V261","V263","V264","V265","V266","V267","V268","V269","V270","V271","V272","V273","V274","V275","V276","V281","V282","V283","V284","V287","V289","V290","V291","V292","V293","V294","V295","V296","V297","V298","V299","V300","V301","V303","V304","V305","V306","V308","V309","V310","V311","V313","V314","V315","V316","V318","V320","V321","V322","V323","V325","V326","V327","V328","V329","V330","V331","V332","V333","V334","V335","V337","V339","V341","V342","V343","V344","V345","V348","V349","V350","V352","V353","V354","V355","V356","V357","V358","V359","V360","V361","V362","V364","V365","V366","V367","V368","V370","V371","V372","V373","V374","V375","V376","V377","V379","V380","V382","V383","V385","V386","V387","V389","V390","V391","V392","V393","V394","V395","V396","V398","V399","V401","V403","V406","V407","V409","V410","V411","V412","V413","V414","V415","V416","V417","V418","V420","V421","V422","V423","V424","V425","V426","V428","V429","V430","V431","V432","V433","V434","V435","V436","V437","V438","V439","V440","V441","V442","V443","V444","V445","V446","V447","V448","V449","V98",],
}

Variable Max Cliques: [(V0, 24), (V1, 1), (V10, 18), (V100, 21), (V101, 26), (V102, 14), (V103, 25), (V104, 29), (V105, 25), (V106, 30), (V107, 30), (V108, 27), (V109, 22), (V11, 1), (V110, 9), (V111, 25), (V112, 21), (V113, 22), (V114, 2), (V115, 20), (V116, 27), (V117, 27), (V118, 20), (V119, 19), (V12, 17), (V120, 20), (V121, 22), (V122, 28), (V123, 2), (V124, 25), (V125, 26), (V126, 30), (V127, 28), (V128, 24), (V129, 23), (V13, 23), (V130, 23), (V131, 30), (V132, 27), (V133, 2), (V134, 24), (V135, 30), (V136, 22), (V137, 26), (V138, 20), (V139, 25), (V14, 23), (V140, 19), (V141, 31), (V142, 25), (V143, 27), (V144, 19), (V145, 19), (V146, 31), (V147, 25), (V148, 1), (V149, 25), (V15, 29), (V150, 28), (V151, 22), (V152, 27), (V153, 28), (V154, 20), (V155, 36), (V156, 27), (V157, 28), (V158, 23), (V159, 23), (V16, 31), (V160, 21), (V161, 23), (V162, 28), (V163, 22), (V164, 24), (V165, 25), (V166, 1), (V167, 3), (V168, 22), (V169, 28), (V17, 21), (V170, 24), (V171, 24), (V172, 26), (V173, 29), (V174, 20), (V175, 19), (V176, 30), (V177, 1), (V178, 3), (V179, 16), (V18, 1), (V180, 28), (V181, 23), (V182, 33), (V183, 21), (V184, 22), (V185, 4), (V186, 26), (V187, 30), (V188, 23), (V189, 30), (V19, 27), (V190, 23), (V191, 24), (V192, 24), (V193, 32), (V194, 29), (V195, 26), (V196, 29), (V197, 25), (V198, 23), (V199, 22), (V2, 30), (V20, 23), (V200, 5), (V201, 21), (V202, 25), (V203, 28), (V204, 21), (V205, 28), (V206, 23), (V207, 24), (V208, 20), (V209, 37), (V21, 25), (V210, 27), (V211, 18), (V212, 36), (V213, 17), (V214, 1), (V215, 28), (V216, 25), (V217, 23), (V218, 21), (V219, 26), (V22, 1), (V220, 25), (V221, 21), (V222, 29), (V223, 23), (V224, 25), (V225, 27), (V226, 15), (V227, 6), (V228, 1), (V229, 1), (V23, 21), (V230, 21), (V231, 26), (V232, 28), (V233, 19), (V234, 26), (V235, 27), (V236, 22), (V237, 20), (V238, 14), (V239, 1), (V24, 23), (V240, 21), (V241, 19), (V242, 21), (V243, 3), (V244, 25), (V245, 29), (V246, 21), (V247, 26), (V248, 30), (V249, 29), (V25, 36), (V250, 1), (V251, 20), (V252, 13), (V253, 24), (V254, 24), (V255, 28), (V256, 28), (V257, 26), (V258, 28), (V259, 26), (V26, 2), (V260, 27), (V261, 30), (V262, 7), (V263, 20), (V264, 21), (V265, 26), (V266, 21), (V267, 19), (V268, 29), (V269, 23), (V27, 25), (V270, 27), (V271, 20), (V272, 24), (V273, 22), (V274, 24), (V275, 33), (V276, 25), (V277, 1), (V278, 2), (V279, 1), (V28, 24), (V280, 17), (V281, 29), (V282, 27), (V283, 28), (V284, 20), (V285, 1), (V286, 21), (V287, 21), (V288, 1), (V289, 19), (V29, 4), (V290, 29), (V291, 30), (V292, 26), (V293, 27), (V294, 24), (V295, 17), (V296, 20), (V297, 29), (V298, 21), (V299, 23), (V3, 9), (V30, 1), (V300, 24), (V301, 24), (V302, 2), (V303, 26), (V304, 20), (V305, 25), (V306, 31), (V307, 1), (V308, 24), (V309, 21), (V31, 28), (V310, 24), (V311, 16), (V312, 1), (V313, 23), (V314, 27), (V315, 27), (V316, 24), (V317, 5), (V318, 21), (V319, 8), (V32, 28), (V320, 18), (V321, 25), (V322, 30), (V323, 12), (V324, 2), (V325, 20), (V326, 20), (V327, 26), (V328, 23), (V329, 23), (V33, 18), (V330, 23), (V331, 28), (V332, 25), (V333, 19), (V334, 32), (V335, 22), (V336, 17), (V337, 23), (V338, 1), (V339, 27), (V34, 23), (V340, 1), (V341, 24), (V342, 30), (V343, 28), (V344, 20), (V345, 20), (V346, 3), (V347, 6), (V348, 23), (V349, 20), (V35, 27), (V350, 22), (V351, 1), (V352, 23), (V353, 19), (V354, 22), (V355, 29), (V356, 27), (V357, 11), (V358, 29), (V359, 20), (V36, 20), (V360, 28), (V361, 35), (V362, 26), (V363, 1), (V364, 20), (V365, 19), (V366, 29), (V367, 28), (V368, 31), (V369, 17), (V37, 19), (V370, 21), (V371, 21), (V372, 26), (V373, 25), (V374, 23), (V375, 23), (V376, 22), (V377, 28), (V378, 5), (V379, 29), (V38, 21), (V380, 30), (V381, 2), (V382, 22), (V383, 15), (V384, 1), (V385, 33), (V386, 21), (V387, 25), (V388, 1), (V389, 18), (V39, 31), (V390, 24), (V391, 29), (V392, 30), (V393, 32), (V394, 17), (V395, 27), (V396, 33), (V397, 1), (V398, 23), (V399, 32), (V4, 31), (V40, 26), (V400, 1), (V401, 32), (V402, 2), (V403, 29), (V404, 17), (V405, 3), (V406, 26), (V407, 25), (V408, 2), (V409, 22), (V41, 1), (V410, 36), (V411, 22), (V412, 28), (V413, 25), (V414, 30), (V415, 24), (V416, 29), (V417, 23), (V418, 22), (V419, 1), (V42, 2), (V420, 27), (V421, 29), (V422, 24), (V423, 26), (V424, 23), (V425, 23), (V426, 21), (V427, 10), (V428, 11), (V429, 28), (V43, 30), (V430, 20), (V431, 27), (V432, 22), (V433, 26), (V434, 22), (V435, 27), (V436, 17), (V437, 28), (V438, 28), (V439, 24), (V44, 6), (V440, 29), (V441, 24), (V442, 22), (V443, 20), (V444, 28), (V445, 27), (V446, 32), (V447, 28), (V448, 24), (V449, 20), (V45, 1), (V46, 29), (V47, 22), (V48, 20), (V49, 30), (V5, 31), (V50, 26), (V51, 27), (V52, 22), (V53, 19), (V54, 1), (V55, 25), (V56, 20), (V57, 22), (V58, 23), (V59, 29), (V6, 28), (V60, 20), (V61, 26), (V62, 18), (V63, 30), (V64, 29), (V65, 29), (V66, 25), (V67, 24), (V68, 30), (V69, 21), (V7, 21), (V70, 27), (V71, 25), (V72, 25), (V73, 24), (V74, 16), (V75, 23), (V76, 24), (V77, 35), (V78, 24), (V79, 28), (V8, 27), (V80, 24), (V81, 23), (V82, 9), (V83, 1), (V84, 18), (V85, 4), (V86, 18), (V87, 24), (V88, 22), (V89, 21), (V9, 21), (V90, 22), (V91, 30), (V92, 5), (V93, 24), (V94, 1), (V95, 28), (V96, 17), (V97, 16), (V98, 17), (V99, 1)]
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"16750","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"450","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"0","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"2952","CPU Time Post Normalization (ms)":"105286","CPU Time Problem Setup  (ms)":"9842","CPU Time Search (ms)":"102333","Full CPU Time (ms)":"115130","Peak Memory (MB)":"1105.92"},
 "Components": [{"Component Stats": {"# Constraints":"16750","# Variables":"450"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 5, 20, 60, 120, 240, 360, 720, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"1525","# backtracks per level":"[5, 20, 60, 120, 240, 360, 720, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"4525","# solutions":"0","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"0","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"0","# 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, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"8687430","# isValid Checks":"106390100"}}]}