( INFO) == Loading and Performing Problem Setup %right_file
	 ( INFO) == Processing component #1 %right_file
	 ( INFO) == Creating data structures %right_file
Cliques: {0:["V20","V31","V38","V42","V58","V59","V99","V107","V114","V132","V137","V138","V153","V157","V164","V174","V175","V178","V197","V207","V211","V215","V270","V271","V275","V81",],
1:["V19","V23","V46","V57","V65","V77","V79","V89","V93","V128","V157","V171","V182","V192","V193","V210","V218","V237","V242","V260","V263","V272","V277","V280","V283","V253",],
2:["V24","V37","V39","V84","V113","V116","V138","V141","V183","V188","V190","V203","V210","V211","V214","V225","V232","V238","V239","V240","V246","V249","V256","V273","V274","V220",],
3:["V22","V30","V32","V41","V52","V60","V64","V74","V88","V97","V100","V104","V105","V108","V117","V118","V130","V140","V156","V159","V162","V167","V186","V201","V284","V149",],
4:["V36","V47","V51","V76","V99","V123","V127","V130","V135","V138","V161","V162","V173","V192","V194","V209","V227","V229","V239","V243","V245","V247","V262","V265","V272","V139",],
5:["V25","V53","V54","V70","V82","V91","V95","V112","V122","V130","V140","V145","V146","V170","V176","V177","V184","V196","V213","V228","V243","V246","V257","V289","V293","V129",],
6:["V26","V27","V31","V50","V54","V73","V87","V126","V174","V177","V179","V180","V186","V191","V193","V199","V217","V221","V225","V228","V249","V264","V267","V276","V294","V296","V40",],
7:["V32","V33","V42","V48","V56","V68","V82","V86","V89","V104","V109","V110","V127","V137","V141","V145","V154","V173","V197","V230","V235","V237","V242","V245","V290","V296","V261",],
8:["V30","V37","V42","V43","V50","V61","V62","V63","V65","V69","V71","V85","V101","V110","V111","V126","V133","V161","V179","V188","V194","V208","V232","V235","V282","V288","V158",],
9:["V22","V29","V35","V48","V50","V72","V74","V102","V111","V118","V123","V151","V167","V185","V191","V195","V201","V221","V227","V233","V245","V255","V283","V286","V287","V288","V292","V34",],
10:["V69","V78","V98","V100","V102","V103","V115","V128","V148","V154","V155","V156","V166","V191","V199","V200","V217","V222","V224","V232","V239","V241","V252","V257","V263","V273","V295","V28",],
11:["V19","V26","V41","V82","V88","V94","V103","V115","V124","V142","V143","V147","V163","V182","V184","V192","V198","V202","V231","V234","V250","V259","V265","V278","V282","V286","V293","V172",],
12:["V23","V35","V43","V44","V52","V58","V61","V83","V90","V103","V106","V118","V131","V134","V160","V165","V169","V173","V200","V208","V222","V238","V248","V269","V279","V288","V289","V144",],
13:["V18","V47","V66","V80","V84","V86","V91","V92","V116","V122","V125","V127","V163","V164","V169","V187","V196","V199","V221","V252","V268","V269","V275","V277","V279","V286","V291","V136",],
14:["V51","V56","V74","V76","V106","V108","V113","V119","V122","V142","V150","V152","V165","V178","V180","V183","V211","V216","V225","V241","V248","V260","V265","V268","V269","V278","V285","V295","V181",],
15:["V18","V25","V29","V31","V35","V48","V49","V60","V61","V88","V94","V123","V133","V146","V155","V159","V167","V174","V190","V195","V204","V214","V216","V219","V222","V224","V226","V266","V278","V281","V96",],
16:["V36","V45","V47","V51","V72","V76","V99","V109","V123","V127","V130","V135","V138","V147","V161","V162","V173","V192","V194","V197","V206","V209","V223","V227","V229","V239","V243","V245","V262","V265","V268","V272","V247",],
17:["V24","V37","V39","V84","V99","V113","V116","V126","V131","V138","V141","V166","V176","V183","V184","V188","V190","V203","V210","V211","V212","V214","V225","V232","V238","V239","V246","V249","V256","V273","V274","V290","V240",],
18:["V20","V31","V38","V42","V58","V59","V67","V99","V107","V132","V134","V137","V138","V153","V157","V164","V174","V175","V178","V197","V202","V207","V211","V215","V219","V233","V236","V259","V270","V271","V275","V279","V114",],
19:["V20","V26","V27","V31","V49","V50","V52","V54","V56","V73","V87","V126","V168","V174","V177","V179","V180","V186","V191","V193","V199","V217","V221","V225","V228","V229","V236","V249","V251","V264","V276","V294","V296","V267",],
20:["V22","V30","V32","V41","V52","V60","V64","V70","V74","V87","V88","V95","V97","V100","V104","V105","V108","V118","V130","V140","V145","V156","V157","V159","V162","V167","V186","V201","V206","V210","V235","V246","V284","V117",],
21:["V25","V38","V53","V54","V57","V63","V70","V82","V91","V95","V121","V122","V130","V140","V145","V146","V150","V156","V165","V168","V170","V176","V177","V180","V184","V196","V213","V228","V243","V246","V257","V289","V293","V112",],
22:["V18","V33","V39","V47","V66","V71","V80","V84","V86","V91","V92","V116","V121","V122","V125","V127","V163","V164","V169","V196","V199","V205","V221","V237","V252","V254","V268","V269","V275","V277","V279","V281","V286","V291","V187",],
23:["V23","V33","V35","V43","V44","V52","V58","V61","V67","V83","V103","V104","V106","V118","V119","V120","V125","V131","V134","V160","V165","V169","V173","V175","V200","V204","V208","V218","V222","V238","V248","V269","V279","V288","V289","V90",],
24:["V32","V33","V42","V48","V51","V56","V66","V68","V82","V86","V89","V104","V106","V109","V110","V127","V135","V137","V141","V145","V154","V163","V170","V173","V197","V223","V235","V237","V242","V245","V258","V264","V273","V290","V296","V230",],
25:["V22","V30","V37","V42","V43","V46","V50","V53","V61","V62","V63","V65","V67","V69","V71","V85","V102","V110","V111","V126","V133","V135","V142","V143","V151","V161","V179","V188","V194","V208","V232","V235","V282","V287","V288","V101",],
26:["V19","V26","V41","V65","V82","V83","V88","V94","V95","V103","V115","V142","V143","V147","V163","V182","V183","V184","V192","V198","V202","V209","V231","V234","V236","V244","V250","V254","V259","V265","V270","V278","V282","V286","V287","V293","V124",],
27:["V18","V24","V25","V33","V39","V44","V47","V66","V71","V80","V84","V86","V91","V92","V116","V121","V122","V125","V127","V153","V163","V164","V168","V169","V175","V196","V198","V199","V205","V221","V227","V237","V252","V254","V268","V269","V275","V277","V279","V281","V286","V291",],
28:["V19","V22","V30","V32","V41","V52","V60","V64","V70","V71","V74","V79","V87","V88","V95","V97","V100","V104","V105","V108","V118","V130","V140","V145","V148","V156","V157","V159","V160","V162","V167","V186","V201","V206","V210","V226","V234","V235","V246","V250","V255","V284",],
29:["V18","V24","V37","V39","V84","V85","V91","V97","V99","V107","V113","V116","V126","V131","V138","V141","V146","V162","V166","V169","V176","V183","V184","V188","V190","V203","V210","V211","V212","V214","V223","V225","V231","V232","V238","V239","V246","V249","V273","V274","V290","V256",],
30:["V20","V30","V31","V38","V39","V42","V44","V58","V59","V67","V78","V99","V107","V108","V121","V131","V132","V134","V137","V138","V153","V157","V160","V164","V174","V175","V178","V197","V202","V207","V211","V216","V219","V229","V233","V236","V259","V270","V271","V275","V279","V215",],
31:["V22","V30","V37","V42","V43","V46","V50","V53","V61","V63","V65","V67","V69","V71","V73","V85","V102","V110","V111","V126","V133","V135","V142","V143","V151","V155","V161","V179","V188","V194","V208","V218","V232","V235","V241","V254","V257","V262","V266","V282","V287","V288","V62",],
32:["V22","V29","V32","V35","V36","V46","V48","V50","V59","V72","V74","V86","V98","V102","V111","V115","V118","V123","V151","V167","V170","V185","V188","V189","V191","V195","V201","V202","V204","V207","V221","V227","V231","V233","V245","V255","V258","V283","V285","V286","V287","V288","V294","V292",],
33:["V26","V27","V51","V55","V56","V58","V70","V74","V75","V76","V77","V83","V85","V92","V106","V108","V113","V119","V122","V132","V134","V141","V142","V150","V165","V178","V180","V183","V189","V193","V203","V205","V211","V212","V216","V225","V241","V248","V260","V265","V268","V269","V271","V278","V285","V295","V152",],
34:["V19","V23","V46","V57","V65","V69","V77","V78","V79","V89","V93","V98","V100","V102","V103","V115","V128","V148","V154","V155","V156","V157","V166","V171","V182","V191","V192","V193","V199","V200","V210","V217","V218","V222","V224","V232","V237","V239","V241","V242","V252","V257","V260","V272","V273","V277","V280","V283","V295","V263",],
35:["V19","V22","V30","V32","V41","V52","V60","V70","V71","V74","V79","V87","V88","V95","V97","V100","V104","V105","V108","V118","V120","V130","V140","V145","V148","V150","V154","V156","V157","V159","V160","V162","V167","V171","V186","V201","V206","V210","V212","V224","V226","V234","V235","V246","V250","V251","V255","V282","V293","V64",],
36:["V19","V22","V30","V32","V41","V52","V59","V60","V70","V71","V74","V79","V80","V87","V88","V95","V97","V100","V104","V108","V111","V118","V120","V130","V132","V140","V145","V148","V150","V154","V156","V157","V159","V160","V162","V167","V171","V185","V186","V198","V201","V206","V210","V212","V217","V224","V226","V234","V235","V246","V250","V251","V252","V255","V282","V293","V105",],
37:["V20","V25","V26","V27","V31","V38","V49","V50","V52","V53","V56","V57","V63","V70","V73","V82","V87","V91","V95","V121","V122","V126","V130","V140","V145","V146","V150","V156","V165","V168","V170","V174","V176","V177","V179","V180","V184","V186","V191","V193","V196","V199","V213","V217","V221","V225","V228","V229","V236","V243","V246","V249","V251","V257","V264","V276","V289","V293","V294","V296","V54",],
38:["V19","V26","V36","V41","V45","V47","V51","V65","V72","V76","V82","V83","V88","V94","V95","V99","V103","V109","V115","V123","V127","V130","V135","V138","V142","V143","V147","V161","V162","V163","V173","V182","V183","V184","V192","V194","V197","V198","V202","V206","V223","V227","V229","V231","V234","V236","V239","V243","V244","V245","V250","V254","V259","V262","V265","V268","V270","V272","V278","V282","V286","V287","V293","V209",],
39:["V20","V24","V25","V26","V27","V31","V38","V41","V49","V50","V52","V53","V56","V57","V63","V70","V73","V77","V82","V87","V91","V95","V121","V122","V126","V130","V137","V140","V145","V146","V150","V156","V165","V168","V170","V174","V176","V179","V180","V184","V186","V191","V193","V196","V199","V207","V213","V217","V221","V225","V229","V236","V243","V246","V249","V251","V257","V264","V271","V274","V276","V289","V293","V294","V296","V177",],
40:["V18","V24","V25","V29","V31","V35","V37","V39","V48","V49","V60","V61","V84","V85","V88","V91","V94","V97","V99","V107","V113","V116","V123","V126","V131","V133","V138","V141","V146","V155","V159","V162","V166","V167","V169","V174","V176","V183","V184","V188","V190","V195","V203","V204","V210","V211","V212","V216","V219","V222","V223","V224","V225","V226","V231","V232","V238","V239","V246","V249","V266","V273","V274","V278","V281","V290","V214",],
41:["V19","V26","V36","V38","V41","V45","V47","V51","V55","V65","V69","V72","V76","V82","V83","V88","V94","V95","V99","V103","V109","V115","V123","V127","V130","V135","V138","V142","V143","V161","V162","V163","V171","V173","V182","V183","V184","V192","V194","V197","V198","V202","V206","V213","V219","V223","V227","V229","V231","V234","V236","V238","V239","V243","V244","V245","V250","V254","V259","V262","V265","V268","V270","V272","V278","V282","V286","V287","V293","V296","V147",],
42:["V18","V24","V25","V29","V31","V35","V36","V37","V39","V48","V49","V60","V61","V79","V80","V84","V85","V87","V88","V89","V91","V94","V97","V99","V107","V113","V116","V123","V126","V131","V133","V138","V141","V146","V148","V155","V159","V162","V166","V167","V169","V174","V176","V183","V184","V188","V195","V203","V204","V210","V211","V212","V216","V219","V222","V223","V224","V225","V226","V231","V232","V238","V239","V246","V249","V266","V273","V274","V278","V281","V290","V190",],
43:["V18","V20","V24","V25","V30","V31","V33","V38","V39","V42","V44","V47","V58","V59","V66","V67","V71","V78","V80","V84","V86","V91","V92","V99","V107","V108","V116","V121","V122","V125","V127","V131","V132","V134","V137","V138","V153","V157","V160","V163","V164","V168","V169","V174","V175","V178","V196","V197","V198","V199","V202","V205","V207","V211","V216","V219","V221","V227","V229","V233","V236","V237","V252","V254","V259","V268","V269","V270","V271","V277","V279","V281","V286","V275",],
44:["V22","V29","V30","V32","V35","V36","V37","V42","V43","V46","V48","V50","V53","V59","V61","V63","V65","V67","V69","V71","V72","V73","V74","V85","V86","V98","V102","V110","V111","V115","V118","V123","V126","V133","V135","V142","V143","V155","V161","V167","V170","V179","V185","V188","V189","V191","V194","V195","V201","V202","V204","V207","V208","V218","V221","V227","V231","V232","V233","V235","V241","V245","V254","V255","V257","V258","V262","V266","V282","V283","V285","V286","V287","V288","V294","V151",],
45:["V18","V20","V24","V25","V30","V31","V33","V38","V39","V42","V43","V44","V45","V47","V49","V58","V59","V63","V66","V67","V71","V75","V78","V80","V84","V86","V91","V92","V99","V107","V108","V116","V121","V122","V125","V127","V131","V132","V134","V137","V138","V140","V153","V157","V160","V163","V168","V169","V174","V175","V178","V186","V196","V197","V198","V199","V202","V205","V207","V211","V216","V219","V221","V227","V229","V233","V236","V237","V243","V252","V254","V259","V268","V269","V270","V271","V277","V279","V281","V286","V164",],
46:["V20","V24","V25","V26","V27","V31","V38","V41","V49","V50","V51","V52","V53","V55","V56","V57","V58","V63","V70","V73","V74","V75","V76","V77","V82","V83","V85","V87","V91","V92","V95","V106","V108","V113","V119","V121","V122","V126","V130","V132","V134","V137","V140","V141","V142","V145","V146","V150","V156","V165","V168","V170","V174","V176","V178","V179","V183","V184","V186","V189","V191","V193","V196","V199","V203","V205","V207","V211","V212","V213","V216","V217","V221","V225","V229","V236","V241","V243","V246","V248","V249","V251","V257","V260","V264","V265","V268","V269","V271","V274","V276","V278","V285","V289","V293","V294","V295","V296","V180",],
47:["V18","V20","V23","V24","V25","V30","V31","V33","V35","V38","V39","V42","V43","V45","V47","V49","V52","V58","V59","V61","V63","V66","V67","V71","V75","V78","V80","V83","V84","V86","V91","V92","V99","V103","V104","V106","V107","V108","V116","V118","V119","V120","V121","V122","V125","V127","V131","V132","V134","V137","V138","V140","V153","V157","V160","V163","V165","V168","V169","V173","V174","V175","V178","V186","V196","V197","V198","V199","V200","V202","V204","V205","V207","V208","V211","V216","V218","V219","V221","V222","V227","V229","V233","V236","V237","V238","V243","V248","V252","V254","V259","V268","V269","V270","V271","V277","V279","V281","V286","V288","V289","V44",],
48:["V19","V22","V26","V30","V32","V36","V38","V41","V45","V47","V51","V52","V55","V59","V60","V65","V69","V70","V71","V72","V74","V76","V79","V80","V82","V83","V87","V88","V94","V95","V97","V99","V100","V103","V104","V108","V109","V111","V115","V118","V120","V123","V127","V130","V132","V135","V138","V140","V142","V143","V145","V148","V150","V154","V156","V157","V159","V160","V161","V162","V163","V167","V171","V173","V182","V183","V184","V185","V186","V192","V194","V197","V198","V201","V202","V206","V210","V212","V213","V217","V219","V223","V224","V226","V227","V229","V231","V234","V235","V236","V238","V239","V243","V244","V245","V246","V251","V252","V254","V255","V259","V262","V265","V268","V270","V272","V278","V282","V286","V287","V293","V296","V250",],
49:["V18","V22","V24","V25","V29","V30","V31","V32","V35","V36","V39","V42","V43","V46","V48","V49","V50","V53","V59","V60","V61","V63","V65","V67","V69","V71","V72","V73","V74","V79","V80","V84","V85","V86","V87","V88","V89","V91","V94","V97","V98","V99","V102","V107","V110","V111","V113","V115","V116","V118","V123","V126","V131","V133","V135","V138","V141","V142","V143","V146","V148","V155","V159","V161","V162","V166","V167","V169","V170","V174","V176","V179","V183","V184","V185","V188","V189","V191","V194","V195","V201","V202","V203","V204","V207","V208","V210","V211","V212","V216","V218","V219","V221","V222","V223","V224","V225","V226","V227","V231","V232","V233","V235","V238","V239","V241","V245","V246","V249","V254","V255","V257","V258","V262","V266","V273","V274","V278","V281","V282","V283","V285","V286","V287","V288","V290","V294","V37",],
50:["V18","V20","V22","V24","V25","V30","V31","V32","V35","V36","V39","V42","V43","V46","V48","V49","V50","V53","V59","V60","V61","V63","V65","V66","V67","V69","V71","V72","V73","V74","V76","V79","V80","V84","V85","V86","V87","V88","V89","V91","V92","V94","V97","V98","V99","V102","V107","V110","V111","V113","V115","V116","V118","V123","V126","V131","V133","V135","V138","V141","V142","V143","V146","V148","V155","V159","V161","V162","V166","V167","V169","V170","V174","V176","V179","V183","V184","V185","V189","V191","V194","V201","V202","V203","V204","V207","V208","V210","V211","V212","V216","V218","V219","V221","V222","V223","V224","V225","V226","V227","V231","V232","V233","V235","V238","V239","V241","V244","V245","V246","V249","V251","V254","V255","V257","V258","V262","V266","V273","V274","V278","V281","V282","V283","V285","V286","V287","V288","V290","V294","V29",],
51:["V18","V20","V23","V24","V25","V26","V27","V30","V31","V33","V35","V38","V39","V41","V42","V43","V45","V47","V49","V50","V51","V52","V53","V55","V56","V57","V59","V61","V63","V66","V67","V70","V71","V73","V74","V75","V76","V77","V78","V80","V82","V83","V84","V85","V86","V87","V91","V92","V95","V99","V103","V104","V106","V107","V108","V113","V116","V118","V119","V120","V121","V122","V125","V126","V127","V130","V131","V132","V134","V137","V138","V140","V141","V142","V145","V146","V150","V153","V156","V157","V160","V163","V165","V168","V169","V170","V173","V174","V176","V178","V179","V183","V184","V186","V189","V191","V193","V196","V197","V198","V199","V200","V202","V203","V204","V205","V207","V208","V211","V212","V213","V216","V217","V218","V219","V221","V222","V225","V227","V229","V233","V236","V237","V238","V241","V243","V246","V248","V249","V251","V252","V254","V257","V259","V260","V264","V265","V268","V269","V270","V271","V274","V276","V277","V278","V281","V285","V286","V288","V289","V293","V294","V295","V296","V58",],
52:["V18","V19","V20","V22","V24","V25","V26","V30","V31","V32","V35","V36","V38","V39","V41","V42","V43","V45","V46","V47","V48","V49","V50","V51","V52","V53","V55","V59","V60","V61","V63","V65","V66","V67","V69","V70","V71","V72","V73","V74","V76","V79","V80","V82","V83","V84","V85","V86","V87","V88","V89","V91","V92","V95","V97","V98","V99","V100","V102","V103","V104","V107","V108","V109","V110","V111","V113","V115","V116","V118","V120","V123","V126","V127","V130","V131","V132","V135","V138","V140","V141","V142","V143","V145","V146","V148","V150","V154","V155","V156","V157","V159","V160","V161","V162","V163","V166","V167","V169","V170","V171","V173","V174","V176","V179","V182","V183","V184","V185","V186","V189","V191","V192","V194","V197","V198","V201","V202","V203","V204","V207","V208","V210","V211","V212","V213","V216","V217","V218","V219","V221","V222","V223","V224","V225","V226","V227","V229","V231","V232","V233","V234","V235","V236","V238","V239","V241","V243","V244","V245","V246","V249","V251","V252","V254","V255","V257","V258","V259","V262","V265","V266","V268","V270","V272","V273","V274","V278","V281","V282","V283","V285","V286","V287","V288","V290","V293","V294","V296","V94",],
53:["V18","V19","V20","V23","V24","V25","V26","V27","V30","V31","V32","V33","V35","V38","V39","V41","V42","V43","V45","V46","V47","V48","V49","V50","V51","V52","V53","V55","V56","V57","V59","V60","V61","V63","V65","V66","V67","V69","V70","V71","V72","V73","V74","V75","V76","V77","V78","V79","V80","V82","V83","V84","V85","V86","V87","V89","V91","V92","V95","V97","V98","V100","V102","V103","V104","V106","V107","V108","V109","V110","V113","V115","V116","V118","V119","V120","V125","V126","V127","V130","V131","V132","V135","V137","V138","V140","V141","V142","V145","V146","V148","V150","V153","V154","V155","V156","V157","V160","V163","V166","V169","V170","V171","V173","V174","V176","V179","V182","V183","V184","V185","V186","V189","V191","V192","V193","V194","V196","V197","V198","V199","V200","V202","V203","V204","V205","V207","V208","V210","V211","V212","V213","V216","V217","V218","V219","V221","V222","V223","V224","V225","V226","V227","V229","V232","V233","V234","V235","V236","V237","V238","V239","V241","V243","V244","V245","V246","V248","V249","V251","V252","V254","V255","V257","V258","V259","V260","V262","V264","V265","V266","V268","V270","V272","V273","V274","V276","V277","V278","V281","V283","V285","V286","V288","V289","V290","V293","V294","V295","V296","V99",],
54:["V19","V23","V27","V32","V33","V42","V45","V46","V48","V51","V55","V56","V57","V60","V65","V66","V69","V72","V75","V77","V78","V82","V86","V89","V93","V97","V98","V100","V102","V103","V104","V106","V109","V110","V113","V115","V119","V125","V127","V135","V137","V141","V145","V148","V153","V154","V155","V156","V157","V163","V166","V170","V171","V173","V176","V182","V185","V189","V191","V192","V193","V194","V196","V197","V199","V200","V203","V205","V208","V210","V213","V217","V218","V222","V223","V224","V226","V232","V233","V234","V235","V237","V239","V241","V242","V244","V245","V248","V252","V255","V257","V258","V260","V262","V264","V266","V270","V272","V273","V274","V276","V277","V280","V283","V289","V290","V294","V295","V296","V79",],
55:["V23","V27","V32","V33","V42","V45","V48","V51","V55","V56","V60","V66","V68","V72","V75","V78","V82","V86","V93","V97","V98","V100","V104","V106","V109","V110","V113","V119","V125","V127","V135","V137","V141","V145","V153","V154","V163","V170","V173","V176","V182","V185","V189","V194","V196","V197","V200","V203","V205","V208","V213","V223","V226","V233","V234","V235","V237","V242","V244","V245","V248","V255","V258","V262","V264","V266","V270","V273","V274","V276","V280","V283","V289","V290","V294","V295","V296","V89",],
56:["V21","V23","V27","V45","V55","V60","V68","V72","V75","V78","V93","V97","V100","V109","V110","V113","V119","V125","V153","V176","V182","V185","V189","V194","V196","V200","V203","V205","V208","V213","V226","V233","V234","V242","V244","V248","V255","V258","V262","V266","V270","V274","V276","V280","V283","V289","V294","V295","V98",],
57:["V1","V12","V13","V17","V21","V23","V55","V68","V72","V78","V93","V97","V109","V110","V113","V119","V125","V153","V176","V185","V189","V194","V196","V200","V205","V208","V226","V233","V234","V242","V248","V255","V258","V266","V270","V274","V276","V280","V283","V289","V294","V295","V75",],
58:["V1","V5","V8","V12","V13","V14","V15","V17","V21","V23","V55","V68","V72","V78","V93","V97","V109","V110","V113","V119","V125","V153","V176","V185","V189","V194","V200","V205","V208","V226","V233","V242","V248","V255","V258","V270","V274","V276","V280","V289","V294","V283",],
59:["V1","V2","V5","V6","V8","V11","V12","V13","V14","V15","V16","V17","V55","V68","V72","V78","V93","V97","V109","V113","V119","V125","V153","V176","V185","V189","V194","V205","V208","V226","V233","V242","V255","V258","V270","V274","V280","V289","V294","V23",],
60:["V1","V2","V4","V6","V8","V11","V12","V13","V14","V15","V16","V17","V55","V68","V72","V78","V93","V97","V109","V125","V153","V176","V189","V194","V205","V226","V233","V242","V255","V258","V270","V274","V280","V289","V294","V5",],
61:["V1","V2","V3","V4","V6","V7","V8","V11","V12","V13","V14","V15","V16","V17","V55","V72","V78","V93","V97","V109","V153","V176","V194","V205","V233","V242","V255","V270","V274","V280","V289","V294","V68",],
62:["V1","V2","V3","V4","V6","V7","V8","V9","V10","V11","V12","V13","V15","V16","V17","V72","V78","V97","V109","V153","V176","V194","V205","V233","V242","V270","V280","V289","V93",],
63:["V0","V1","V2","V3","V4","V6","V7","V8","V9","V10","V11","V13","V16","V17","V72","V78","V109","V153","V176","V205","V242","V280","V289","V97",],
}

Variable Max Cliques: [(V0, 1), (V1, 7), (V10, 2), (V100, 13), (V101, 2), (V102, 12), (V103, 14), (V104, 15), (V105, 5), (V106, 11), (V107, 14), (V108, 16), (V109, 18), (V11, 5), (V110, 15), (V111, 11), (V112, 2), (V113, 19), (V114, 2), (V115, 14), (V116, 16), (V117, 2), (V118, 17), (V119, 13), (V12, 6), (V120, 8), (V121, 11), (V122, 14), (V123, 14), (V124, 2), (V125, 16), (V126, 18), (V127, 18), (V128, 3), (V129, 1), (V13, 7), (V130, 18), (V131, 15), (V132, 13), (V133, 9), (V134, 10), (V135, 15), (V136, 1), (V137, 14), (V138, 21), (V139, 1), (V14, 4), (V140, 16), (V141, 16), (V142, 16), (V143, 11), (V144, 1), (V145, 17), (V146, 14), (V147, 5), (V148, 12), (V149, 1), (V15, 5), (V150, 12), (V151, 5), (V152, 2), (V153, 19), (V154, 11), (V155, 12), (V156, 16), (V157, 17), (V158, 1), (V159, 12), (V16, 5), (V160, 13), (V161, 12), (V162, 16), (V163, 17), (V164, 8), (V165, 10), (V166, 11), (V167, 15), (V168, 10), (V169, 16), (V17, 7), (V170, 15), (V171, 9), (V172, 1), (V173, 15), (V174, 19), (V175, 8), (V176, 24), (V177, 6), (V178, 10), (V179, 14), (V18, 15), (V180, 8), (V181, 1), (V182, 12), (V183, 17), (V184, 19), (V185, 15), (V186, 16), (V187, 2), (V188, 11), (V189, 16), (V19, 13), (V190, 6), (V191, 16), (V192, 12), (V193, 11), (V194, 22), (V195, 7), (V196, 17), (V197, 17), (V198, 13), (V199, 16), (V2, 5), (V20, 14), (V200, 12), (V201, 12), (V202, 17), (V203, 15), (V204, 12), (V205, 19), (V206, 8), (V207, 15), (V208, 18), (V209, 4), (V21, 3), (V210, 17), (V211, 19), (V212, 14), (V213, 13), (V214, 5), (V215, 3), (V216, 15), (V217, 13), (V218, 12), (V219, 15), (V22, 14), (V220, 1), (V221, 19), (V222, 14), (V223, 14), (V224, 13), (V225, 17), (V226, 18), (V227, 17), (V228, 5), (V229, 16), (V23, 13), (V230, 2), (V231, 13), (V232, 16), (V233, 22), (V234, 14), (V235, 17), (V236, 16), (V237, 13), (V238, 15), (V239, 17), (V24, 16), (V240, 2), (V241, 13), (V242, 14), (V243, 15), (V244, 10), (V245, 16), (V246, 20), (V247, 2), (V248, 13), (V249, 15), (V25, 17), (V250, 8), (V251, 11), (V252, 14), (V253, 1), (V254, 16), (V255, 19), (V256, 3), (V257, 15), (V258, 14), (V259, 13), (V26, 14), (V260, 8), (V261, 1), (V262, 14), (V263, 3), (V264, 10), (V265, 13), (V266, 13), (V267, 2), (V268, 16), (V269, 12), (V27, 11), (V270, 22), (V271, 10), (V272, 10), (V273, 14), (V274, 20), (V275, 7), (V276, 12), (V277, 11), (V278, 16), (V279, 10), (V28, 1), (V280, 12), (V281, 13), (V282, 14), (V283, 14), (V284, 3), (V285, 10), (V286, 19), (V287, 12), (V288, 14), (V289, 20), (V29, 8), (V290, 12), (V291, 3), (V292, 2), (V293, 15), (V294, 20), (V295, 11), (V296, 14), (V3, 3), (V30, 19), (V31, 19), (V32, 16), (V33, 12), (V34, 1), (V35, 14), (V36, 11), (V37, 10), (V38, 15), (V39, 16), (V4, 4), (V40, 1), (V41, 15), (V42, 19), (V43, 13), (V44, 7), (V45, 12), (V46, 11), (V47, 14), (V48, 14), (V49, 14), (V5, 3), (V50, 16), (V51, 14), (V52, 16), (V53, 13), (V54, 5), (V55, 15), (V56, 12), (V57, 9), (V58, 11), (V59, 15), (V6, 5), (V60, 16), (V61, 15), (V62, 3), (V63, 15), (V64, 4), (V65, 15), (V66, 13), (V67, 14), (V68, 9), (V69, 13), (V7, 3), (V70, 14), (V71, 18), (V72, 21), (V73, 12), (V74, 17), (V75, 10), (V76, 12), (V77, 8), (V78, 18), (V79, 12), (V8, 6), (V80, 14), (V81, 1), (V82, 17), (V83, 12), (V84, 16), (V85, 14), (V86, 17), (V87, 16), (V88, 16), (V89, 11), (V9, 2), (V90, 2), (V91, 19), (V92, 12), (V93, 11), (V94, 11), (V95, 16), (V96, 1), (V97, 23), (V98, 11), (V99, 20)]
	 ( INFO) == Finished creating data structures %right_file
	 ( INFO) == Beginning Preprocessing %right_file
	 ( INFO) == Finished with Preprocessing %right_file
{"StaticInstanceData": {"# Components":"1","# Constraints":"4119","# Normalized Constraints":"0","# Solutions":"0","# Values Removed From Unary Cons ":"0","# Variables":"297","Boost Version":"1.75.0","Instance Name":"","Max Arity":"2","Satisfiable":"0","Stampede Version":"v1.1.0-239-ge51ee236"},"PerformanceData": {"CPU Time Construction (ms)":"640","CPU Time Post Normalization (ms)":"83209","CPU Time Problem Setup  (ms)":"407","CPU Time Search (ms)":"82569","Full CPU Time (ms)":"83619","Peak Memory (MB)":"245.35"},
 "Components": [{"Component Stats": {"# Constraints":"4119","# Variables":"297"}, "LoggingSearchEngine": {"# BTs for Level":"[0, 3, 9, 24, 32, 36, 48, 82, 166, 464, 611, 721, 724, 647, 550, 462, 423, 365, 314, 275, 269, 245, 210, 203, 196, 179, 177, 162, 152, 146, 143, 140, 132, 127, 120, 112, 105, 100, 88, 81, 77, 74, 65, 60, 53, 47, 44, 36, 33, 27, 22, 21, 19, 19, 17, 16, 14, 14, 14, 14, 14, 14, 14, 14, 14, 13, 13, 13, 13, 12, 11, 11, 10, 10, 10, 10, 10, 10, 9, 7, 6, 6, 6, 6, 5, 5, 4, 4, 3, 3, 3, 3, 3, 3, 3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"10071","# backtracks per level":"[3, 9, 24, 32, 36, 48, 82, 166, 464, 611, 721, 724, 647, 550, 462, 423, 365, 314, 275, 269, 245, 210, 203, 196, 179, 177, 162, 152, 146, 143, 140, 132, 127, 120, 112, 105, 100, 88, 81, 77, 74, 65, 60, 53, 47, 44, 36, 33, 27, 22, 21, 19, 19, 17, 16, 14, 14, 14, 14, 14, 14, 14, 14, 14, 13, 13, 13, 13, 12, 11, 11, 10, 10, 10, 10, 10, 10, 9, 7, 6, 6, 6, 6, 5, 5, 4, 4, 3, 3, 3, 3, 3, 3, 3, 2, 2, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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":"16733","# solutions":"0","# total value trigger":"0","# total variable triggers":"0","# tuples removed after preprocessing":"253","# 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]","# values removed after preprocessing":"3","# 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]","search timeout":"0","successfully verified metrics":"0","verifying metrics message":"Did not verify metrics."}, "STR2": {"# calls to revise":"5994621","# isValid Checks":"78282203"}}]}