##Just some vars to play while debugging

from Compa import Compa
from Points import Data, Points

#import pdb;pdb.set_trace()

a = Compa({1, 2, 3, 4})
r = Data.load(["holo", "colo", "jamo"])

#pdb.run("a.uniq(r)")
#pdb.run("j == Points({1: {0}, 2: {0}, 3: {0}, 4: {0}})")

u = Data.load(["o"])
uu = Data.load(["holo"])

p=a.permute("&", "self.a_in_b({1}, {2})", ["{1}", "{2}"], [u, uu])
j=a.uniq(r)

s = Data.load([b"o"])
y=a.a_in_some_b(s, r)

P1 = Points({2: {1, 2, 3}})
P2 = Points({2: {2, 3, 4}})
Pi = Points({2: {2, 3}})
Pu = Points({2: {1, 2, 3, 4}})

a527c69813a86df333ec742f09423bd841505c75
<mask token>

<mask token>
a = Compa({1, 2, 3, 4})
r = Data.load(['holo', 'colo', 'jamo'])
u = Data.load(['o'])
uu = Data.load(['holo'])
p = a.permute('&', 'self.a_in_b({1}, {2})', ['{1}', '{2}'], [u, uu])
j = a.uniq(r)
s = Data.load([b'o'])
y = a.a_in_some_b(s, r)
P1 = Points({(2): {1, 2, 3}})
P2 = Points({(2): {2, 3, 4}})
Pi = Points({(2): {2, 3}})
Pu = Points({(2): {1, 2, 3, 4}})

from Compa import Compa
from Points import Data, Points
a = Compa({1, 2, 3, 4})
r = Data.load(['holo', 'colo', 'jamo'])
u = Data.load(['o'])
uu = Data.load(['holo'])
p = a.permute('&', 'self.a_in_b({1}, {2})', ['{1}', '{2}'], [u, uu])
j = a.uniq(r)
s = Data.load([b'o'])
y = a.a_in_some_b(s, r)
P1 = Points({(2): {1, 2, 3}})
P2 = Points({(2): {2, 3, 4}})
Pi = Points({(2): {2, 3}})
Pu = Points({(2): {1, 2, 3, 4}})

##Just some vars to play while debugging

from Compa import Compa
from Points import Data, Points

#import pdb;pdb.set_trace()

a = Compa({1, 2, 3, 4})
r = Data.load(["holo", "colo", "jamo"])

#pdb.run("a.uniq(r)")
#pdb.run("j == Points({1: {0}, 2: {0}, 3: {0}, 4: {0}})")

u = Data.load(["o"])
uu = Data.load(["holo"])

p=a.permute("&", "self.a_in_b({1}, {2})", ["{1}", "{2}"], [u, uu])
j=a.uniq(r)

s = Data.load([b"o"])
y=a.a_in_some_b(s, r)

P1 = Points({2: {1, 2, 3}})
P2 = Points({2: {2, 3, 4}})
Pi = Points({2: {2, 3}})
Pu = Points({2: {1, 2, 3, 4}})
