diff --git a/data/fuzz/19.json b/data/fuzz/19.json new file mode 100644 index 0000000..8308662 --- /dev/null +++ b/data/fuzz/19.json @@ -0,0 +1 @@ +{"nodes":{"node_0":{"op":"operation","children":[],"eclass":"0","cost":88.33907914523702},"node_1":{"op":"operation","children":[],"eclass":"0","cost":31.380094022709294},"node_2":{"op":"operation","children":[],"eclass":"0","cost":85.46008208334565},"node_3":{"op":"operation","children":[],"eclass":"1","cost":51.03798035678284},"node_4":{"op":"operation","children":[],"eclass":"1","cost":88.57609102193999},"node_5":{"op":"operation","children":["node_3","node_4"],"eclass":"1","cost":29.920743409811124},"node_6":{"op":"operation","children":[],"eclass":"1","cost":83.84156235361831},"node_7":{"op":"operation","children":[],"eclass":"1","cost":15.961085173271005},"node_8":{"op":"operation","children":["node_0","node_4"],"eclass":"2","cost":95.02774306310243},"node_9":{"op":"operation","children":[],"eclass":"2","cost":59.71792436293144},"node_10":{"op":"operation","children":["node_5"],"eclass":"2","cost":68.45922247445554},"node_11":{"op":"operation","children":["node_5","node_6","node_9"],"eclass":"2","cost":57.01097446465635},"node_12":{"op":"operation","children":["node_9"],"eclass":"2","cost":81.34398176692994},"node_13":{"op":"operation","children":["node_0","node_10"],"eclass":"2","cost":88.8278857769136},"node_14":{"op":"operation","children":["node_6"],"eclass":"2","cost":29.12956833073791},"node_15":{"op":"operation","children":["node_7"],"eclass":"2","cost":60.913906070481275},"node_16":{"op":"operation","children":["node_3","node_14"],"eclass":"2","cost":38.327931493858856},"node_17":{"op":"operation","children":[],"eclass":"2","cost":3.0666168877196975},"node_18":{"op":"operation","children":["node_3","node_8","node_13"],"eclass":"2","cost":90.71871650194228},"node_19":{"op":"operation","children":["node_17"],"eclass":"2","cost":36.90315552724963},"node_20":{"op":"operation","children":[],"eclass":"3","cost":68.74450717533955},"node_21":{"op":"operation","children":["node_15"],"eclass":"4","cost":86.4333128929997},"node_22":{"op":"operation","children":[],"eclass":"4","cost":39.135523596243125},"node_23":{"op":"operation","children":["node_0","node_2","node_22"],"eclass":"4","cost":68.33455667461268},"node_24":{"op":"operation","children":["node_2","node_4","node_5","node_7","node_10"],"eclass":"4","cost":48.63662876945013},"node_25":{"op":"operation","children":[],"eclass":"4","cost":5.275616481149159},"node_26":{"op":"operation","children":["node_22"],"eclass":"4","cost":48.82599038198296},"node_27":{"op":"operation","children":["node_7"],"eclass":"4","cost":49.69001156482923},"node_28":{"op":"operation","children":["node_5","node_12","node_20","node_24"],"eclass":"4","cost":7.036804972594057},"node_29":{"op":"operation","children":["node_17","node_28"],"eclass":"4","cost":70.54109393760133},"node_30":{"op":"operation","children":["node_6","node_7","node_14"],"eclass":"5","cost":95.93578126220126},"node_31":{"op":"operation","children":["node_5","node_13","node_25"],"eclass":"5","cost":54.28803013353224},"node_32":{"op":"operation","children":["node_7","node_10","node_30"],"eclass":"5","cost":3.572346212908928},"node_33":{"op":"operation","children":["node_0","node_10","node_15","node_24","node_32"],"eclass":"6","cost":84.31285228381701},"node_34":{"op":"operation","children":["node_1","node_3","node_16","node_22","node_23"],"eclass":"6","cost":6.515351494494381},"node_35":{"op":"operation","children":["node_1","node_13","node_22","node_32"],"eclass":"6","cost":33.036709109796256},"node_36":{"op":"operation","children":["node_24"],"eclass":"7","cost":90.6873521656599},"node_37":{"op":"operation","children":["node_1","node_2","node_8","node_29","node_31"],"eclass":"7","cost":1.8364613848407596},"node_38":{"op":"operation","children":["node_8","node_25","node_30","node_32","node_36","node_37"],"eclass":"7","cost":94.45614868004778},"node_39":{"op":"operation","children":["node_11","node_31","node_33"],"eclass":"7","cost":87.30408798371053},"node_40":{"op":"operation","children":["node_2","node_4","node_8","node_15"],"eclass":"7","cost":99.33533866173661},"node_41":{"op":"operation","children":["node_0","node_3","node_6","node_8","node_11","node_23","node_33","node_38"],"eclass":"7","cost":1.017173923360426},"node_42":{"op":"operation","children":["node_11"],"eclass":"7","cost":67.35391642646766},"node_43":{"op":"operation","children":["node_4","node_6","node_14","node_35","node_37","node_39"],"eclass":"7","cost":25.188737716223553},"node_44":{"op":"operation","children":["node_16","node_21","node_24"],"eclass":"7","cost":6.621741488453536},"node_45":{"op":"operation","children":["node_16","node_18","node_38"],"eclass":"7","cost":37.226773804762125},"node_46":{"op":"operation","children":["node_3","node_25","node_27"],"eclass":"7","cost":98.0170455983861},"node_47":{"op":"operation","children":["node_5","node_10","node_12","node_22","node_25","node_26","node_32","node_38","node_39","node_43"],"eclass":"8","cost":8.286875513283443},"node_48":{"op":"operation","children":["node_11","node_21","node_29"],"eclass":"9","cost":57.43141619732109},"node_49":{"op":"operation","children":["node_14","node_17","node_21","node_22","node_28","node_30"],"eclass":"9","cost":6.31613518850469},"node_50":{"op":"operation","children":["node_20","node_33","node_40"],"eclass":"9","cost":51.70111022535549},"node_51":{"op":"operation","children":["node_26","node_47"],"eclass":"9","cost":50.74398959092199},"node_52":{"op":"operation","children":["node_10","node_13","node_23","node_45","node_51"],"eclass":"9","cost":92.18725389709668},"node_53":{"op":"operation","children":["node_35","node_37","node_44"],"eclass":"9","cost":72.97669763885398},"node_54":{"op":"operation","children":["node_2","node_11","node_12","node_22","node_25","node_32","node_33","node_34"],"eclass":"9","cost":89.03357592761667},"node_55":{"op":"operation","children":["node_3","node_4","node_14","node_34","node_49"],"eclass":"9","cost":28.60041721917057}},"root_eclasses":["7","7","7"]} \ No newline at end of file diff --git a/data/fuzz/20.json b/data/fuzz/20.json new file mode 100644 index 0000000..1db8135 --- /dev/null +++ b/data/fuzz/20.json @@ -0,0 +1 @@ +{"nodes":{"node_0":{"op":"operation","children":[],"eclass":"1","cost":70.2721327790228},"node_1":{"op":"operation","children":[],"eclass":"1","cost":6.4920232684143375},"node_2":{"op":"operation","children":[],"eclass":"1","cost":42.78088736710542},"node_3":{"op":"operation","children":[],"eclass":"2","cost":30.47070015707476},"node_4":{"op":"operation","children":[],"eclass":"2","cost":14.455712895038687},"node_5":{"op":"operation","children":[],"eclass":"3","cost":22.69943553756557},"node_6":{"op":"operation","children":[],"eclass":"3","cost":33.53070076029512},"node_7":{"op":"operation","children":[],"eclass":"3","cost":83.73756910410867},"node_8":{"op":"operation","children":["node_2"],"eclass":"4","cost":67.60765670803667},"node_9":{"op":"operation","children":[],"eclass":"4","cost":18.55732385574941},"node_10":{"op":"operation","children":["node_5","node_8"],"eclass":"4","cost":56.170358986602},"node_11":{"op":"operation","children":[],"eclass":"5","cost":36.80664953558397},"node_12":{"op":"operation","children":[],"eclass":"5","cost":39.52178205013678},"node_13":{"op":"operation","children":["node_4"],"eclass":"5","cost":1.205513686731663},"node_14":{"op":"operation","children":["node_5"],"eclass":"5","cost":90.7774707907316},"node_15":{"op":"operation","children":["node_2","node_5","node_12"],"eclass":"5","cost":93.90466701423674},"node_16":{"op":"operation","children":["node_14"],"eclass":"6","cost":3.0847826754068497},"node_17":{"op":"operation","children":["node_2"],"eclass":"6","cost":7.756700028946928},"node_18":{"op":"operation","children":["node_8","node_12","node_16"],"eclass":"6","cost":52.45963502700837},"node_19":{"op":"operation","children":["node_6","node_14"],"eclass":"7","cost":36.03764859953687},"node_20":{"op":"operation","children":["node_7","node_13"],"eclass":"7","cost":31.947599308161656},"node_21":{"op":"operation","children":["node_7","node_11"],"eclass":"8","cost":49.3596864532775},"node_22":{"op":"operation","children":["node_1","node_8","node_12","node_17","node_21"],"eclass":"8","cost":15.390197964638407},"node_23":{"op":"operation","children":["node_3","node_5","node_21"],"eclass":"8","cost":7.20230952652191},"node_24":{"op":"operation","children":["node_20"],"eclass":"8","cost":61.69559727573382},"node_25":{"op":"operation","children":["node_7","node_9"],"eclass":"9","cost":9.4732432724554},"node_26":{"op":"operation","children":["node_1","node_12","node_14"],"eclass":"9","cost":20.02570352884314},"node_27":{"op":"operation","children":["node_6"],"eclass":"9","cost":96.33510393259456},"node_28":{"op":"operation","children":["node_6","node_14"],"eclass":"9","cost":23.93519276506211},"node_29":{"op":"operation","children":["node_6"],"eclass":"9","cost":78.75924366645657},"node_30":{"op":"operation","children":["node_2","node_4","node_7","node_9","node_20","node_26","node_28"],"eclass":"9","cost":62.65046240611447},"node_31":{"op":"operation","children":["node_8","node_25"],"eclass":"9","cost":23.043537418290715},"node_32":{"op":"operation","children":[],"eclass":"10","cost":3.3183436702210245},"node_33":{"op":"operation","children":["node_0","node_9","node_22","node_26"],"eclass":"10","cost":59.46276528324592},"node_34":{"op":"operation","children":["node_0","node_6","node_13","node_20"],"eclass":"10","cost":53.570173433371714},"node_35":{"op":"operation","children":["node_16","node_25"],"eclass":"10","cost":55.49940954095498},"node_36":{"op":"operation","children":["node_9","node_14","node_21"],"eclass":"10","cost":34.13167290173868},"node_37":{"op":"operation","children":["node_13"],"eclass":"10","cost":90.13407515042354},"node_38":{"op":"operation","children":["node_25"],"eclass":"10","cost":27.670021102919783},"node_39":{"op":"operation","children":["node_1","node_16","node_27","node_35"],"eclass":"10","cost":6.382981991432968},"node_40":{"op":"operation","children":["node_0","node_5","node_15","node_20","node_28"],"eclass":"10","cost":29.291523951679743},"node_41":{"op":"operation","children":["node_9","node_10","node_14","node_17","node_20","node_25"],"eclass":"11","cost":9.616404253090671},"node_42":{"op":"operation","children":["node_8","node_9","node_11","node_12","node_22"],"eclass":"11","cost":4.298225365225717},"node_43":{"op":"operation","children":["node_5","node_18","node_28"],"eclass":"11","cost":20.76854847722258},"node_44":{"op":"operation","children":["node_6","node_19","node_22","node_25","node_39","node_41"],"eclass":"11","cost":26.588435064333872},"node_45":{"op":"operation","children":["node_21","node_34"],"eclass":"11","cost":83.36734477463786},"node_46":{"op":"operation","children":["node_8","node_35","node_40","node_43"],"eclass":"12","cost":81.82282415729807},"node_47":{"op":"operation","children":["node_6","node_9","node_10","node_13","node_25","node_38","node_43"],"eclass":"12","cost":19.32462002226243},"node_48":{"op":"operation","children":["node_3","node_25","node_28","node_37","node_39","node_43","node_44"],"eclass":"12","cost":0.4091297666135585},"node_49":{"op":"operation","children":["node_1","node_4","node_14","node_17","node_21","node_32"],"eclass":"12","cost":92.29246635554614},"node_50":{"op":"operation","children":["node_5","node_9","node_18","node_22","node_32","node_48"],"eclass":"13","cost":58.64303626683303},"node_51":{"op":"operation","children":["node_9","node_12","node_23","node_31","node_32","node_40","node_49"],"eclass":"13","cost":2.142965673606767},"node_52":{"op":"operation","children":["node_5","node_16","node_27","node_35","node_36"],"eclass":"13","cost":14.145395377038595},"node_53":{"op":"operation","children":["node_2","node_6","node_20","node_25","node_26","node_33","node_35","node_51"],"eclass":"13","cost":70.88015937485795},"node_54":{"op":"operation","children":["node_3","node_22","node_37","node_41","node_43","node_52"],"eclass":"14","cost":46.4193225258419}},"root_eclasses":["9"]} \ No newline at end of file diff --git a/data/fuzz/21.json b/data/fuzz/21.json new file mode 100644 index 0000000..01b32ee --- /dev/null +++ b/data/fuzz/21.json @@ -0,0 +1 @@ +{"nodes":{"node_0":{"op":"operation","children":[],"eclass":"0","cost":15.916309001866768},"node_1":{"op":"operation","children":[],"eclass":"0","cost":45.006641652425415},"node_2":{"op":"operation","children":[],"eclass":"0","cost":26.574186717673044},"node_3":{"op":"operation","children":[],"eclass":"0","cost":82.72977299545025},"node_4":{"op":"operation","children":[],"eclass":"0","cost":2.5029520297463637},"node_5":{"op":"operation","children":[],"eclass":"0","cost":62.28392043578622},"node_6":{"op":"operation","children":["node_4"],"eclass":"0","cost":50.969655973909},"node_7":{"op":"operation","children":[],"eclass":"0","cost":37.22972304905486},"node_8":{"op":"operation","children":["node_4"],"eclass":"1","cost":36.944047371571344},"node_9":{"op":"operation","children":["node_0"],"eclass":"1","cost":1.917361700818676},"node_10":{"op":"operation","children":[],"eclass":"1","cost":96.78226580453675},"node_11":{"op":"operation","children":["node_0","node_9"],"eclass":"1","cost":90.04727334374908},"node_12":{"op":"operation","children":["node_8","node_10"],"eclass":"2","cost":35.31502866973818},"node_13":{"op":"operation","children":["node_2"],"eclass":"2","cost":96.21590387081852},"node_14":{"op":"operation","children":["node_3","node_5"],"eclass":"2","cost":43.22663775722686},"node_15":{"op":"operation","children":["node_11","node_12"],"eclass":"2","cost":63.13546380086782},"node_16":{"op":"operation","children":["node_1","node_6","node_13"],"eclass":"2","cost":6.847285504865597},"node_17":{"op":"operation","children":["node_2","node_4"],"eclass":"2","cost":79.7369955677064},"node_18":{"op":"operation","children":["node_11","node_15"],"eclass":"2","cost":85.98420646950858},"node_19":{"op":"operation","children":["node_12","node_17"],"eclass":"2","cost":48.929174146128304},"node_20":{"op":"operation","children":["node_0","node_6"],"eclass":"2","cost":69.72506989692391},"node_21":{"op":"operation","children":["node_0","node_17"],"eclass":"2","cost":35.47924368433549},"node_22":{"op":"operation","children":["node_9"],"eclass":"3","cost":55.15653086609672},"node_23":{"op":"operation","children":["node_10","node_22"],"eclass":"3","cost":56.352787034091534},"node_24":{"op":"operation","children":["node_5","node_8","node_10","node_14","node_18"],"eclass":"3","cost":67.06509119067412},"node_25":{"op":"operation","children":["node_20"],"eclass":"4","cost":66.19086452789679},"node_26":{"op":"operation","children":["node_9","node_11","node_13","node_19","node_22"],"eclass":"5","cost":78.97865537916408},"node_27":{"op":"operation","children":["node_3","node_4","node_10","node_11","node_17","node_23"],"eclass":"5","cost":20.537789915697292},"node_28":{"op":"operation","children":["node_2","node_9","node_13","node_17"],"eclass":"5","cost":13.983880143201377},"node_29":{"op":"operation","children":["node_6","node_13","node_19"],"eclass":"5","cost":56.64832622937044},"node_30":{"op":"operation","children":["node_16","node_20"],"eclass":"5","cost":0.4207314263296902},"node_31":{"op":"operation","children":["node_9","node_14","node_15","node_30"],"eclass":"6","cost":19.555493152526026},"node_32":{"op":"operation","children":["node_27"],"eclass":"7","cost":89.4304243804299},"node_33":{"op":"operation","children":["node_14"],"eclass":"8","cost":90.41287881790421},"node_34":{"op":"operation","children":["node_9","node_10","node_13","node_17","node_19","node_27","node_30"],"eclass":"8","cost":98.94021877473797}},"root_eclasses":["5","5"]} \ No newline at end of file diff --git a/data/fuzz/22.json b/data/fuzz/22.json new file mode 100644 index 0000000..121531d --- /dev/null +++ b/data/fuzz/22.json @@ -0,0 +1 @@ +{"nodes":{"node_0":{"op":"operation","children":[],"eclass":"0","cost":81.72731601370266},"node_1":{"op":"operation","children":[],"eclass":"0","cost":61.840440513193826},"node_2":{"op":"operation","children":[],"eclass":"0","cost":23.87823836059647},"node_3":{"op":"operation","children":["node_1"],"eclass":"1","cost":76.29327639560273},"node_4":{"op":"operation","children":["node_1"],"eclass":"1","cost":73.6731721030058},"node_5":{"op":"operation","children":[],"eclass":"1","cost":1.257359586912421},"node_6":{"op":"operation","children":[],"eclass":"2","cost":84.2289162655649},"node_7":{"op":"operation","children":["node_5"],"eclass":"2","cost":39.895575889738986},"node_8":{"op":"operation","children":["node_1"],"eclass":"3","cost":2.470105840346304},"node_9":{"op":"operation","children":["node_1"],"eclass":"4","cost":91.50510840488799},"node_10":{"op":"operation","children":["node_0","node_3"],"eclass":"5","cost":78.90964028263414},"node_11":{"op":"operation","children":["node_2"],"eclass":"5","cost":85.89611195975871},"node_12":{"op":"operation","children":["node_10"],"eclass":"5","cost":17.12260724159772},"node_13":{"op":"operation","children":["node_9"],"eclass":"5","cost":58.99347209302045},"node_14":{"op":"operation","children":["node_2"],"eclass":"5","cost":49.55135972051907},"node_15":{"op":"operation","children":["node_3","node_11"],"eclass":"5","cost":31.26717094427426},"node_16":{"op":"operation","children":[],"eclass":"5","cost":34.595488342775226},"node_17":{"op":"operation","children":["node_0"],"eclass":"6","cost":3.982216349379808},"node_18":{"op":"operation","children":["node_1","node_2","node_15"],"eclass":"6","cost":60.51951279283118},"node_19":{"op":"operation","children":["node_8"],"eclass":"7","cost":75.60096961402832},"node_20":{"op":"operation","children":["node_3"],"eclass":"7","cost":28.900395426860815},"node_21":{"op":"operation","children":["node_8","node_17"],"eclass":"7","cost":60.40525083107118},"node_22":{"op":"operation","children":["node_2","node_14","node_16","node_19"],"eclass":"8","cost":25.063075834031313},"node_23":{"op":"operation","children":["node_6","node_20"],"eclass":"9","cost":64.52792084241851},"node_24":{"op":"operation","children":["node_12"],"eclass":"10","cost":71.95239453836321},"node_25":{"op":"operation","children":["node_4","node_10","node_18"],"eclass":"10","cost":10.643231128270225},"node_26":{"op":"operation","children":["node_3","node_5","node_15","node_17","node_22","node_24","node_25"],"eclass":"10","cost":47.705834309414854},"node_27":{"op":"operation","children":["node_3","node_10","node_16"],"eclass":"10","cost":13.16748335949568},"node_28":{"op":"operation","children":["node_4","node_7","node_18"],"eclass":"10","cost":74.35497765279682},"node_29":{"op":"operation","children":["node_18"],"eclass":"10","cost":60.87026796951951},"node_30":{"op":"operation","children":["node_20","node_21","node_24","node_29"],"eclass":"10","cost":15.866980195086333},"node_31":{"op":"operation","children":["node_4","node_25"],"eclass":"11","cost":84.32621726935523},"node_32":{"op":"operation","children":["node_0","node_10","node_13","node_20","node_26"],"eclass":"11","cost":80.9612004788205},"node_33":{"op":"operation","children":[],"eclass":"11","cost":47.078608554522695},"node_34":{"op":"operation","children":["node_5","node_9","node_22","node_26","node_28","node_30"],"eclass":"12","cost":59.17435601723828},"node_35":{"op":"operation","children":["node_2"],"eclass":"13","cost":71.57711982578198},"node_36":{"op":"operation","children":["node_4","node_19"],"eclass":"14","cost":98.81896481836625},"node_37":{"op":"operation","children":["node_8","node_33","node_35","node_36"],"eclass":"14","cost":44.33570201786433},"node_38":{"op":"operation","children":["node_6","node_14","node_22","node_28"],"eclass":"14","cost":66.82233645214886},"node_39":{"op":"operation","children":["node_3","node_6","node_16","node_21","node_38"],"eclass":"14","cost":27.56879468688791},"node_40":{"op":"operation","children":["node_14"],"eclass":"15","cost":9.019299981219142},"node_41":{"op":"operation","children":["node_1","node_17","node_29","node_36"],"eclass":"15","cost":63.551875666275016},"node_42":{"op":"operation","children":["node_5","node_14","node_20","node_23","node_30"],"eclass":"16","cost":31.675734861813687},"node_43":{"op":"operation","children":["node_10","node_20","node_31"],"eclass":"16","cost":57.090573887901044},"node_44":{"op":"operation","children":["node_2","node_7","node_15","node_26","node_30","node_31","node_34","node_36"],"eclass":"16","cost":41.811532096436935},"node_45":{"op":"operation","children":["node_19","node_31"],"eclass":"16","cost":40.90217832546929},"node_46":{"op":"operation","children":["node_11","node_23"],"eclass":"17","cost":31.39390230800938},"node_47":{"op":"operation","children":["node_27","node_28","node_31","node_35","node_43"],"eclass":"17","cost":14.697179907530922},"node_48":{"op":"operation","children":["node_19","node_20","node_24","node_35","node_36"],"eclass":"18","cost":80.3127354212841},"node_49":{"op":"operation","children":["node_18","node_20","node_28","node_31","node_42","node_45","node_46"],"eclass":"19","cost":32.26437986513751},"node_50":{"op":"operation","children":["node_1","node_3","node_5","node_20","node_27","node_40","node_41"],"eclass":"20","cost":75.43493697211659},"node_51":{"op":"operation","children":["node_0","node_21","node_23","node_26","node_31","node_32","node_38","node_43"],"eclass":"20","cost":19.591002527307744},"node_52":{"op":"operation","children":["node_0","node_6","node_12","node_22"],"eclass":"20","cost":19.34403400333291},"node_53":{"op":"operation","children":["node_6","node_8","node_13","node_21","node_23","node_32","node_36","node_42","node_50"],"eclass":"21","cost":13.917015261155308},"node_54":{"op":"operation","children":["node_10","node_17","node_18","node_20","node_22","node_26","node_33","node_39","node_44","node_48"],"eclass":"21","cost":86.0200230706855},"node_55":{"op":"operation","children":["node_25","node_27","node_28","node_31"],"eclass":"21","cost":51.947795609112546},"node_56":{"op":"operation","children":["node_6","node_9","node_11","node_13","node_19","node_24"],"eclass":"21","cost":84.33738698409569},"node_57":{"op":"operation","children":["node_0","node_13","node_33","node_39","node_56"],"eclass":"21","cost":68.39600624643339},"node_58":{"op":"operation","children":["node_16","node_21","node_23","node_33","node_46","node_57"],"eclass":"22","cost":78.44670711767986},"node_59":{"op":"operation","children":["node_1","node_3","node_41","node_46","node_56","node_57"],"eclass":"22","cost":38.90794665406126},"node_60":{"op":"operation","children":["node_20","node_28","node_55"],"eclass":"22","cost":92.00425932588365},"node_61":{"op":"operation","children":["node_1","node_2","node_9","node_23","node_28","node_29","node_33","node_47","node_48","node_60"],"eclass":"22","cost":30.061744753570864},"node_62":{"op":"operation","children":["node_11","node_24","node_29","node_49"],"eclass":"22","cost":40.416211257191925},"node_63":{"op":"operation","children":["node_16","node_18","node_26","node_34","node_55"],"eclass":"22","cost":60.19428938650192},"node_64":{"op":"operation","children":["node_6","node_15","node_23","node_35","node_44","node_61"],"eclass":"22","cost":98.14476586000809},"node_65":{"op":"operation","children":["node_5","node_8","node_25","node_31","node_39","node_56","node_57","node_58","node_60"],"eclass":"22","cost":97.17049862719418},"node_66":{"op":"operation","children":["node_4","node_20","node_38","node_46","node_52","node_53","node_54","node_59","node_62"],"eclass":"22","cost":59.10344092049825},"node_67":{"op":"operation","children":["node_21","node_34","node_46","node_50","node_57"],"eclass":"22","cost":66.00600033799952},"node_68":{"op":"operation","children":["node_2","node_3","node_5","node_8","node_12","node_14","node_16","node_26","node_27","node_33","node_40","node_44","node_48","node_65"],"eclass":"22","cost":30.12582823984208},"node_69":{"op":"operation","children":["node_12","node_18","node_31","node_32","node_51","node_52","node_63"],"eclass":"22","cost":41.441861482951026},"node_70":{"op":"operation","children":["node_3","node_14","node_40","node_43","node_44","node_55","node_61","node_63","node_66"],"eclass":"22","cost":2.1162182922892625},"node_71":{"op":"operation","children":["node_25","node_26","node_39","node_42","node_54"],"eclass":"22","cost":5.433405305490124},"node_72":{"op":"operation","children":["node_7","node_24","node_25","node_29","node_41","node_52","node_59"],"eclass":"22","cost":20.70807400759167},"node_73":{"op":"operation","children":["node_8","node_9","node_11","node_34","node_39","node_59","node_63","node_64","node_68"],"eclass":"22","cost":6.86035111496982},"node_74":{"op":"operation","children":["node_9","node_20","node_52","node_63","node_72"],"eclass":"22","cost":60.568962458393074},"node_75":{"op":"operation","children":["node_21","node_37","node_52","node_57","node_59","node_60","node_65","node_67"],"eclass":"23","cost":61.87936884962458},"node_76":{"op":"operation","children":["node_7","node_16","node_23","node_24","node_41","node_61","node_69","node_72"],"eclass":"23","cost":22.591383462696555},"node_77":{"op":"operation","children":["node_8","node_40","node_43","node_46","node_48","node_49","node_50","node_53","node_54"],"eclass":"23","cost":92.10557669601617},"node_78":{"op":"operation","children":["node_14","node_48","node_56","node_64","node_66","node_68"],"eclass":"23","cost":25.61415150508235},"node_79":{"op":"operation","children":["node_12","node_30","node_50","node_51","node_57","node_66","node_76","node_77"],"eclass":"23","cost":6.487611118700376},"node_80":{"op":"operation","children":["node_19","node_23","node_25","node_28","node_29","node_41","node_49","node_68","node_72"],"eclass":"23","cost":13.780151475841206},"node_81":{"op":"operation","children":["node_0","node_10","node_32","node_52","node_65"],"eclass":"23","cost":41.545995426950945},"node_82":{"op":"operation","children":["node_4","node_35","node_56","node_62","node_71","node_76"],"eclass":"24","cost":9.414449941306291},"node_83":{"op":"operation","children":["node_6","node_12","node_31"],"eclass":"24","cost":54.96366721903715},"node_84":{"op":"operation","children":["node_8","node_21","node_43","node_50","node_60"],"eclass":"25","cost":4.08733590220497},"node_85":{"op":"operation","children":["node_1","node_3","node_16","node_19","node_22","node_57","node_63","node_84"],"eclass":"25","cost":54.90980652822625},"node_86":{"op":"operation","children":["node_8","node_14","node_16","node_22","node_23","node_30","node_37","node_46","node_47","node_48","node_53","node_55","node_70","node_76","node_85"],"eclass":"25","cost":50.08928256206485},"node_87":{"op":"operation","children":["node_1","node_16","node_31","node_49","node_64","node_72","node_81","node_84"],"eclass":"25","cost":48.19985847674613},"node_88":{"op":"operation","children":["node_4","node_17","node_45","node_52","node_60","node_70"],"eclass":"25","cost":34.7103173037639},"node_89":{"op":"operation","children":["node_0","node_11","node_12","node_23","node_31","node_58","node_61","node_74"],"eclass":"26","cost":86.2187207441071}},"root_eclasses":["10"]} \ No newline at end of file