gistfile1.txt

(((((NOT [2147483647] >= [1])) OR ([1101630984] BETWEEN 1.0 AND 2.633208987908038))) UNION ((((((((((((((([Portfolio: 271757750]) INTERSECT ([Portfolio: 2147483647]))) INTERSECT ([1011936015] BETWEEN 8.988465674311579 AND [0]))) UNION ((([10989413] OUTSIDE OF [1365190511] AND [1201265135]) INTERSECT ((([Portfolio: 1814489976]) UNION ([Portfolio: 18394505]))))))) INTERSECT ((((((([Portfolio: 1]) INTERSECT ([Portfolio: 2147483647]))) MINUS ((([Portfolio: 607603394]) UNION ([Portfolio: 1]))))) UNION ([2147483647] OUTSIDE OF [0] AND 8.4785289707857))))) INTERSECT ((((([0] != 4.781640060634101) MINUS ((([1] <= 7.012333308824703) OR ([1275913339] >= [0]))))) MINUS ((((((([Portfolio: 0]) INTERSECT ([Portfolio: 1]))) MINUS ((([Portfolio: 1]) UNION ([Portfolio: 1]))))) INTERSECT ((((([Portfolio: 1]) INTERSECT ([Portfolio: 0]))) INTERSECT ((([Portfolio: 0]) INTERSECT ([Portfolio: 1264959523]))))))))))) MINUS ((([1] BETWEEN [0] AND 0.0) MINUS ((((((((([Portfolio: 0]) INTERSECT ([Portfolio: 1]))) MINUS ((([Portfolio: 2147483647]) INTERSECT ([Portfolio: 672525343]))))) MINUS ((((([Portfolio: 0]) MINUS ([Portfolio: 1064030914]))) MINUS ((([Portfolio: 270040828]) INTERSECT ([Portfolio: 1217760066]))))))) INTERSECT ((((((([Portfolio: 595547933]) MINUS ([Portfolio: 1]))) MINUS ((([Portfolio: 0]) UNION ([Portfolio: 1906181390]))))) UNION ((((([Portfolio: 0]) UNION ([Portfolio: 0]))) INTERSECT ([1] <= 1.0))))))))))) UNION ((NOT (((((NOT (NOT [2147483647] BETWEEN 4.516874421180065 AND [1]))) AND ((((([906536901] OUTSIDE OF 4.881056226869969 AND 1.0) OR ([0] = [0]))) OR ([1179880653] BETWEEN 1.0 AND 4.087698128890016))))) OR ((([1897406653] < [68222446]) AND ((((([1] != 8.988465674311579) AND ([1935837241] OUTSIDE OF [1927770066] AND [878546895]))) AND ((([2147483647] BETWEEN 8.988465674311579 AND [1526885895]) OR ([1520025468] BETWEEN 4.15940643136409 AND [0]))))))))))))), Union(Filter(Orr(Not(SimpleCharacteristicRule(BinaryValueComparison(2147483647,GE,LHSRHS(1)))),SimpleCharacteristicRule(TernaryValueComparison(1101630984,Between,ConstantRHS(1.0),ConstantRHS(2.633208987908038)))),Empty),Union(Minus(Intersection(Intersection(Union(Intersection(Intersection(Universe(271757750),Universe(2147483647)),Filter(SimpleCharacteristicRule(TernaryValueComparison(1011936015,Between,ConstantRHS(8.988465674311579),LHSRHS(0))),Empty)),Intersection(Filter(SimpleCharacteristicRule(TernaryValueComparison(10989413,Outside,LHSRHS(1365190511),LHSRHS(1201265135))),Empty),Union(Universe(1814489976),Universe(18394505)))),Union(Minus(Intersection(Universe(1),Universe(2147483647)),Union(Universe(607603394),Universe(1))),Filter(SimpleCharacteristicRule(TernaryValueComparison(2147483647,Outside,LHSRHS(0),ConstantRHS(8.4785289707857))),Empty))),Minus(Minus(Filter(SimpleCharacteristicRule(BinaryValueComparison(0,NE,ConstantRHS(4.781640060634101))),Empty),Filter(Orr(SimpleCharacteristicRule(BinaryValueComparison(1,LE,ConstantRHS(7.012333308824703))),SimpleCharacteristicRule(BinaryValueComparison(1275913339,GE,LHSRHS(0)))),Empty)),Intersection(Minus(Intersection(Universe(0),Universe(1)),Union(Universe(1),Universe(1))),Intersection(Intersection(Universe(1),Universe(0)),Intersection(Universe(0),Universe(1264959523)))))),Minus(Filter(SimpleCharacteristicRule(TernaryValueComparison(1,Between,LHSRHS(0),ConstantRHS(0.0))),Empty),Intersection(Minus(Minus(Intersection(Universe(0),Universe(1)),Intersection(Universe(2147483647),Universe(672525343))),Minus(Minus(Universe(0),Universe(1064030914)),Intersection(Universe(270040828),Universe(1217760066)))),Union(Minus(Minus(Universe(595547933),Universe(1)),Union(Universe(0),Universe(1906181390))),Intersection(Union(Universe(0),Universe(0)),Filter(SimpleCharacteristicRule(BinaryValueComparison(1,LE,ConstantRHS(1.0))),Empty)))))),Filter(Not(Orr(And(Not(Not(SimpleCharacteristicRule(TernaryValueComparison(2147483647,Between,ConstantRHS(4.516874421180065),LHSRHS(1))))),Orr(Orr(SimpleCharacteristicRule(TernaryValueComparison(906536901,Outside,ConstantRHS(4.881056226869969),ConstantRHS(1.0))),SimpleCharacteristicRule(BinaryValueComparison(0,EQ,LHSRHS(0)))),SimpleCharacteristicRule(TernaryValueComparison(1179880653,Between,ConstantRHS(1.0),ConstantRHS(4.087698128890016))))),And(SimpleCharacteristicRule(BinaryValueComparison(1897406653,LT,LHSRHS(68222446))),And(And(SimpleCharacteristicRule(BinaryValueComparison(1,NE,ConstantRHS(8.988465674311579))),SimpleCharacteristicRule(TernaryValueComparison(1935837241,Outside,LHSRHS(1927770066),LHSRHS(878546895)))),Orr(SimpleCharacteristicRule(TernaryValueComparison(2147483647,Between,ConstantRHS(8.988465674311579),LHSRHS(1526885895))),SimpleCharacteristicRule(TernaryValueComparison(1520025468,Between,ConstantRHS(4.15940643136409),LHSRHS(0)))))))),Empty)))