diff --git a/pkg/corset/allocation.go b/pkg/corset/allocation.go index 1925bf1..0beff1d 100644 --- a/pkg/corset/allocation.go +++ b/pkg/corset/allocation.go @@ -22,12 +22,12 @@ import ( type Register struct { // Context (i.e. module + multiplier) of this register. Context tr.Context - // Name of this register - Name string // Underlying datatype of this register. DataType sc.Type // Source columns of this register Sources []RegisterSource + // Cached name + cached_name *string } // IsActive determines whether or not this register is "active". Inactive @@ -60,9 +60,10 @@ func (r *Register) Merge(other *Register) { panic("cannot merge registers from different context") } // - r.Name = fmt.Sprintf("%s_xor_%s", r.Name, other.Name) r.DataType = schema.Join(r.DataType, other.DataType) r.Sources = append(r.Sources, other.Sources...) + // Reset the cached name + r.cached_name = nil // Deactivate other register other.Deactivate() } @@ -70,11 +71,45 @@ func (r *Register) Merge(other *Register) { // Deactivate marks a given register as no longer being required. This happens // when one register is merged into another. func (r *Register) Deactivate() { - r.Name = "" r.DataType = nil r.Sources = nil } +// Name returns the given name for this register. +func (r *Register) Name() string { + if r.cached_name == nil { + // Construct registers name + names := make([]string, len(r.Sources)) + for i, source := range r.Sources { + // FIXME: below is used instead of above in order to replicate the original + // Corset tool. Eventually, this behaviour should be deprecated. + names[i] = source.name.Tail() + } + // Construct register name from list of names + name := constructRegisterName(names) + r.cached_name = &name + } + // + return *r.cached_name +} + +// A simple algorithm for joining names together. +func constructRegisterName(names []string) string { + str := "" + // Sort names + slices.Sort(names) + // Joing them together + for i, n := range names { + if i == 0 { + str = n + } else { + str = fmt.Sprintf("%s_xor_%s", str, n) + } + } + // + return str +} + // RegisterSource provides necessary information about source-level columns // allocated to a given register. type RegisterSource struct { @@ -212,10 +247,10 @@ func identicalType(lhs *RegisterGroup, rhs *RegisterGroup) bool { // Sort the registers into alphabetical order. func sortRegisters(view *RegisterAllocationView) { slices.SortFunc(view.registers, func(l, r uint) int { - lhs := view.Register(l) - rhs := view.Register(r) - // Compare them alphabetically - return strings.Compare(lhs.Name, rhs.Name) + lhs := view.Register(l).Sources[0].name.String() + rhs := view.Register(r).Sources[0].name.String() + // Within perspective sort alphabetically by name + return strings.Compare(lhs, rhs) }) } @@ -238,6 +273,8 @@ type RegisterAllocator struct { allocation RegisterAllocation // Maps perspectives to their "allocation slot" perspectives map[string]uint + // Maps each slot to its perspective string. + slots []string // Allocation matrix, where each innermost array has an entry for each // perspective. The allocation slot for a perspective determines its index // within this array. Entries can be "empty" if they are given MaxUint @@ -252,6 +289,7 @@ func NewRegisterAllocator(allocation RegisterAllocation) *RegisterAllocator { allocator := RegisterAllocator{ allocation, make(map[string]uint, 0), + make([]string, 0), make([]RegisterGroup, 0), } // Identify all perspectives @@ -321,6 +359,7 @@ func (p *RegisterAllocator) allocatePerspective(perspective string) { if _, ok := p.perspectives[perspective]; !ok { slot := uint(len(p.perspectives)) p.perspectives[perspective] = slot + p.slots = append(p.slots, perspective) } } diff --git a/pkg/corset/environment.go b/pkg/corset/environment.go index 9f7b0c1..09eee0f 100644 --- a/pkg/corset/environment.go +++ b/pkg/corset/environment.go @@ -226,16 +226,6 @@ func (p *GlobalEnvironment) allocateArray(col *ColumnBinding, ctx util.Path, pat // Allocate a single register. func (p *GlobalEnvironment) allocateUnit(column *ColumnBinding, ctx util.Path, path util.Path, datatype sc.Type) { module := ctx.String() - // // The name is extracted from the different between the context and the // - // // path. The context must be a prefix of the path and, essentially, // - // // identifies the concrete module where this column will eventually live. - // name := path.Slice(ctx.Depth()).String()[1:] - // // Neaten the name up a bit - // name = strings.ReplaceAll(name, "/", "$") - // - // FIXME: below is used instead of above in order to replicate the original - // Corset tool. Eventually, this behaviour should be deprecated. - name := path.Tail() // moduleId := p.modules[module].Id regId := uint(len(p.registers)) @@ -250,9 +240,9 @@ func (p *GlobalEnvironment) allocateUnit(column *ColumnBinding, ctx util.Path, p // Allocate register p.registers = append(p.registers, Register{ tr.NewContext(moduleId, column.multiplier), - name, datatype, []RegisterSource{source}, + nil, }) // Map column to register p.columns[path.String()] = regId diff --git a/pkg/corset/translator.go b/pkg/corset/translator.go index 982b0d5..3cc3098 100644 --- a/pkg/corset/translator.go +++ b/pkg/corset/translator.go @@ -94,7 +94,7 @@ func (t *translator) translateInputColumnsInModule(module string) { panic("inactive register encountered") } else if regInfo.IsInput() { // Declare column at HIR level. - cid := t.schema.AddDataColumn(regInfo.Context, regInfo.Name, regInfo.DataType) + cid := t.schema.AddDataColumn(regInfo.Context, regInfo.Name(), regInfo.DataType) // Prove underlying types (as necessary) t.translateTypeConstraints(regIndex) // Sanity check @@ -158,7 +158,7 @@ func (t *translator) translateTypeConstraints(regIndex uint) { } // Add appropriate type constraint bound := regInfo.DataType.AsUint().Bound() - t.schema.AddRangeConstraint(regInfo.Name, regInfo.Context, &hir.ColumnAccess{Column: regIndex, Shift: 0}, bound) + t.schema.AddRangeConstraint(regInfo.Name(), regInfo.Context, &hir.ColumnAccess{Column: regIndex, Shift: 0}, bound) } } @@ -331,7 +331,7 @@ func (t *translator) translateDefInterleaved(decl *DefInterleaved, module util.P sources[i] = t.env.RegisterOf(source.Path()) } // Register assignment - cid := t.schema.AddAssignment(assignment.NewInterleaving(target.Context, target.Name, sources, target.DataType)) + cid := t.schema.AddAssignment(assignment.NewInterleaving(target.Context, target.Name(), sources, target.DataType)) // Sanity check column identifiers align. if cid != targetId { err := fmt.Sprintf("inconsitent (interleaved) column identifier (%d v %d)", cid, targetId) @@ -358,7 +358,7 @@ func (t *translator) translateDefPermutation(decl *DefPermutation, module util.P targetId := t.env.RegisterOf(targetPath) target := t.env.Register(targetId) // Construct columns - targets[i] = sc.NewColumn(target.Context, target.Name, target.DataType) + targets[i] = sc.NewColumn(target.Context, target.Name(), target.DataType) sources[i] = t.env.RegisterOf(decl.Sources[i].Path()) signs[i] = decl.Signs[i] // Record first CID diff --git a/testdata/perspective_17.accepts b/testdata/perspective_17.accepts index 569959a..055ec1f 100644 --- a/testdata/perspective_17.accepts +++ b/testdata/perspective_17.accepts @@ -1,382 +1,382 @@ -{ "P": [], "Q": [], "A_xor_C": [], "B": [], "E_xor_D": [] } +{ "P": [], "Q": [], "A_xor_C": [], "B": [], "D_xor_E": [] } ;; -{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "E_xor_D": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "E_xor_D": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "E_xor_D": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "E_xor_D": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "E_xor_D": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "E_xor_D": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "E_xor_D": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "D_xor_E": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "D_xor_E": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "D_xor_E": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "D_xor_E": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "D_xor_E": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "B": [0], "D_xor_E": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "B": [0], "D_xor_E": [65536] } ;; -{ "P": [0], "Q": [0], "A_xor_C": [0], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "E_xor_D": [0], "B": [0] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "E_xor_D": [0], "B": [1] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "E_xor_D": [0], "B": [255] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "E_xor_D": [0], "B": [256] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "E_xor_D": [0], "B": [444] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "E_xor_D": [0], "B": [1023] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "E_xor_D": [0], "B": [16385] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "E_xor_D": [0], "B": [65535] } -{ "P": [0], "Q": [0], "A_xor_C": [0], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [1], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [2], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [3], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [256], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [423], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [551], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [892], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [1011], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [2022], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [4483], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [8919], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [10101], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [16868], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [32378], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [65534], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [65535], "E_xor_D": [0], "B": [65536] } -{ "P": [0], "Q": [0], "A_xor_C": [65536], "E_xor_D": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "D_xor_E": [0], "B": [0] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "D_xor_E": [0], "B": [1] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "D_xor_E": [0], "B": [255] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "D_xor_E": [0], "B": [256] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "D_xor_E": [0], "B": [444] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "D_xor_E": [0], "B": [1023] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "D_xor_E": [0], "B": [16385] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "D_xor_E": [0], "B": [65535] } +{ "P": [0], "Q": [0], "A_xor_C": [0], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [1], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [2], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [3], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [256], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [423], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [551], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [892], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [1011], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [2022], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [4483], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [8919], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [10101], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [16868], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [32378], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [65534], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [65535], "D_xor_E": [0], "B": [65536] } +{ "P": [0], "Q": [0], "A_xor_C": [65536], "D_xor_E": [0], "B": [65536] } ;; perspective p1 -{ "P": [1], "Q": [0], "A_xor_C": [0], "E_xor_D": [0], "B": [0] } -{ "P": [1], "Q": [0], "A_xor_C": [1], "E_xor_D": [0], "B": [1] } -{ "P": [1], "Q": [0], "A_xor_C": [2], "E_xor_D": [0], "B": [2] } -{ "P": [1], "Q": [0], "A_xor_C": [3], "E_xor_D": [0], "B": [3] } -{ "P": [1], "Q": [0], "A_xor_C": [256], "E_xor_D": [0], "B": [256] } -{ "P": [1], "Q": [0], "A_xor_C": [423], "E_xor_D": [0], "B": [423] } -{ "P": [1], "Q": [0], "A_xor_C": [551], "E_xor_D": [0], "B": [551] } -{ "P": [1], "Q": [0], "A_xor_C": [892], "E_xor_D": [0], "B": [892] } -{ "P": [1], "Q": [0], "A_xor_C": [1011], "E_xor_D": [0], "B": [1011] } -{ "P": [1], "Q": [0], "A_xor_C": [2022], "E_xor_D": [0], "B": [2022] } -{ "P": [1], "Q": [0], "A_xor_C": [4483], "E_xor_D": [0], "B": [4483] } -{ "P": [1], "Q": [0], "A_xor_C": [8919], "E_xor_D": [0], "B": [8919] } -{ "P": [1], "Q": [0], "A_xor_C": [10101], "E_xor_D": [0], "B": [10101] } -{ "P": [1], "Q": [0], "A_xor_C": [16868], "E_xor_D": [0], "B": [16868] } -{ "P": [1], "Q": [0], "A_xor_C": [32378], "E_xor_D": [0], "B": [32378] } -{ "P": [1], "Q": [0], "A_xor_C": [65534], "E_xor_D": [0], "B": [65534] } -{ "P": [1], "Q": [0], "A_xor_C": [65535], "E_xor_D": [0], "B": [65535] } -{ "P": [1], "Q": [0], "A_xor_C": [65536], "E_xor_D": [0], "B": [65536] } +{ "P": [1], "Q": [0], "A_xor_C": [0], "D_xor_E": [0], "B": [0] } +{ "P": [1], "Q": [0], "A_xor_C": [1], "D_xor_E": [0], "B": [1] } +{ "P": [1], "Q": [0], "A_xor_C": [2], "D_xor_E": [0], "B": [2] } +{ "P": [1], "Q": [0], "A_xor_C": [3], "D_xor_E": [0], "B": [3] } +{ "P": [1], "Q": [0], "A_xor_C": [256], "D_xor_E": [0], "B": [256] } +{ "P": [1], "Q": [0], "A_xor_C": [423], "D_xor_E": [0], "B": [423] } +{ "P": [1], "Q": [0], "A_xor_C": [551], "D_xor_E": [0], "B": [551] } +{ "P": [1], "Q": [0], "A_xor_C": [892], "D_xor_E": [0], "B": [892] } +{ "P": [1], "Q": [0], "A_xor_C": [1011], "D_xor_E": [0], "B": [1011] } +{ "P": [1], "Q": [0], "A_xor_C": [2022], "D_xor_E": [0], "B": [2022] } +{ "P": [1], "Q": [0], "A_xor_C": [4483], "D_xor_E": [0], "B": [4483] } +{ "P": [1], "Q": [0], "A_xor_C": [8919], "D_xor_E": [0], "B": [8919] } +{ "P": [1], "Q": [0], "A_xor_C": [10101], "D_xor_E": [0], "B": [10101] } +{ "P": [1], "Q": [0], "A_xor_C": [16868], "D_xor_E": [0], "B": [16868] } +{ "P": [1], "Q": [0], "A_xor_C": [32378], "D_xor_E": [0], "B": [32378] } +{ "P": [1], "Q": [0], "A_xor_C": [65534], "D_xor_E": [0], "B": [65534] } +{ "P": [1], "Q": [0], "A_xor_C": [65535], "D_xor_E": [0], "B": [65535] } +{ "P": [1], "Q": [0], "A_xor_C": [65536], "D_xor_E": [0], "B": [65536] } ;; perspective p2 -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [1], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [1] } -{ "P": [0], "Q": [1], "A_xor_C": [2], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [2] } -{ "P": [0], "Q": [1], "A_xor_C": [3], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [3] } -{ "P": [0], "Q": [1], "A_xor_C": [256], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [256] } -{ "P": [0], "Q": [1], "A_xor_C": [423], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [423] } -{ "P": [0], "Q": [1], "A_xor_C": [551], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [551] } -{ "P": [0], "Q": [1], "A_xor_C": [892], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [892] } -{ "P": [0], "Q": [1], "A_xor_C": [1011], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [1011] } -{ "P": [0], "Q": [1], "A_xor_C": [2022], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [2022] } -{ "P": [0], "Q": [1], "A_xor_C": [4483], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [4483] } -{ "P": [0], "Q": [1], "A_xor_C": [8919], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [8919] } -{ "P": [0], "Q": [1], "A_xor_C": [10101], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [10101] } -{ "P": [0], "Q": [1], "A_xor_C": [16868], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [16868] } -{ "P": [0], "Q": [1], "A_xor_C": [32378], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [32378] } -{ "P": [0], "Q": [1], "A_xor_C": [65534], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [65534] } -{ "P": [0], "Q": [1], "A_xor_C": [65535], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [65535] } -{ "P": [0], "Q": [1], "A_xor_C": [65536], "B": [1], "E_xor_D": [0] } -{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "E_xor_D": [65536] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [1], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [1] } +{ "P": [0], "Q": [1], "A_xor_C": [2], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [2] } +{ "P": [0], "Q": [1], "A_xor_C": [3], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [3] } +{ "P": [0], "Q": [1], "A_xor_C": [256], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [256] } +{ "P": [0], "Q": [1], "A_xor_C": [423], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [423] } +{ "P": [0], "Q": [1], "A_xor_C": [551], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [551] } +{ "P": [0], "Q": [1], "A_xor_C": [892], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [892] } +{ "P": [0], "Q": [1], "A_xor_C": [1011], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [1011] } +{ "P": [0], "Q": [1], "A_xor_C": [2022], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [2022] } +{ "P": [0], "Q": [1], "A_xor_C": [4483], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [4483] } +{ "P": [0], "Q": [1], "A_xor_C": [8919], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [8919] } +{ "P": [0], "Q": [1], "A_xor_C": [10101], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [10101] } +{ "P": [0], "Q": [1], "A_xor_C": [16868], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [16868] } +{ "P": [0], "Q": [1], "A_xor_C": [32378], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [32378] } +{ "P": [0], "Q": [1], "A_xor_C": [65534], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [65534] } +{ "P": [0], "Q": [1], "A_xor_C": [65535], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [65535] } +{ "P": [0], "Q": [1], "A_xor_C": [65536], "B": [1], "D_xor_E": [0] } +{ "P": [0], "Q": [1], "A_xor_C": [0], "B": [1], "D_xor_E": [65536] } diff --git a/testdata/perspective_17.rejects b/testdata/perspective_17.rejects index 382aae4..c6cdea9 100644 --- a/testdata/perspective_17.rejects +++ b/testdata/perspective_17.rejects @@ -1,54 +1,54 @@ ;; perspective p1 -{ "P": [1], "Q": [0], "A_xor_C": [0], "B": [1], "E_xor_D": [1] } -{ "P": [1], "Q": [0], "A_xor_C": [0], "B": [1], "E_xor_D": [1] } -{ "P": [1], "Q": [0], "A_xor_C": [1], "B": [2], "E_xor_D": [2] } -{ "P": [1], "Q": [0], "A_xor_C": [2], "B": [3], "E_xor_D": [3] } -{ "P": [1], "Q": [0], "A_xor_C": [226], "B": [256], "E_xor_D": [256] } -{ "P": [1], "Q": [0], "A_xor_C": [42], "B": [423], "E_xor_D": [423] } -{ "P": [1], "Q": [0], "A_xor_C": [5511], "B": [551], "E_xor_D": [551] } -{ "P": [1], "Q": [0], "A_xor_C": [8342], "B": [891], "E_xor_D": [892] } -{ "P": [1], "Q": [0], "A_xor_C": [1111], "B": [1011], "E_xor_D": [1011] } -{ "P": [1], "Q": [0], "A_xor_C": [20222], "B": [2092], "E_xor_D": [2022] } -{ "P": [1], "Q": [0], "A_xor_C": [448], "B": [3412], "E_xor_D": [4483] } -{ "P": [1], "Q": [0], "A_xor_C": [89], "B": [1231], "E_xor_D": [8919] } -{ "P": [1], "Q": [0], "A_xor_C": [11], "B": [1289], "E_xor_D": [10101] } -{ "P": [1], "Q": [0], "A_xor_C": [1668], "B": [8990], "E_xor_D": [16868] } -{ "P": [1], "Q": [0], "A_xor_C": [33378], "B": [1231], "E_xor_D": [32378] } -{ "P": [1], "Q": [0], "A_xor_C": [63534], "B": [12879], "E_xor_D": [65534] } -{ "P": [1], "Q": [0], "A_xor_C": [65435], "B": [12], "E_xor_D": [65535] } -{ "P": [1], "Q": [0], "A_xor_C": [65539], "B": [1], "E_xor_D": [65536] } +{ "P": [1], "Q": [0], "A_xor_C": [0], "B": [1], "D_xor_E": [1] } +{ "P": [1], "Q": [0], "A_xor_C": [0], "B": [1], "D_xor_E": [1] } +{ "P": [1], "Q": [0], "A_xor_C": [1], "B": [2], "D_xor_E": [2] } +{ "P": [1], "Q": [0], "A_xor_C": [2], "B": [3], "D_xor_E": [3] } +{ "P": [1], "Q": [0], "A_xor_C": [226], "B": [256], "D_xor_E": [256] } +{ "P": [1], "Q": [0], "A_xor_C": [42], "B": [423], "D_xor_E": [423] } +{ "P": [1], "Q": [0], "A_xor_C": [5511], "B": [551], "D_xor_E": [551] } +{ "P": [1], "Q": [0], "A_xor_C": [8342], "B": [891], "D_xor_E": [892] } +{ "P": [1], "Q": [0], "A_xor_C": [1111], "B": [1011], "D_xor_E": [1011] } +{ "P": [1], "Q": [0], "A_xor_C": [20222], "B": [2092], "D_xor_E": [2022] } +{ "P": [1], "Q": [0], "A_xor_C": [448], "B": [3412], "D_xor_E": [4483] } +{ "P": [1], "Q": [0], "A_xor_C": [89], "B": [1231], "D_xor_E": [8919] } +{ "P": [1], "Q": [0], "A_xor_C": [11], "B": [1289], "D_xor_E": [10101] } +{ "P": [1], "Q": [0], "A_xor_C": [1668], "B": [8990], "D_xor_E": [16868] } +{ "P": [1], "Q": [0], "A_xor_C": [33378], "B": [1231], "D_xor_E": [32378] } +{ "P": [1], "Q": [0], "A_xor_C": [63534], "B": [12879], "D_xor_E": [65534] } +{ "P": [1], "Q": [0], "A_xor_C": [65435], "B": [12], "D_xor_E": [65535] } +{ "P": [1], "Q": [0], "A_xor_C": [65539], "B": [1], "D_xor_E": [65536] } ;; perspective p2 -{ "P": [0], "Q": [1], "A_xor_C": [1], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [1], "A_xor_C": [2], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [1], "A_xor_C": [2], "B": [0], "E_xor_D": [3] } -{ "P": [0], "Q": [1], "A_xor_C": [4], "B": [0], "E_xor_D": [2] } -{ "P": [0], "Q": [1], "A_xor_C": [3], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [1], "A_xor_C": [2], "B": [0], "E_xor_D": [3] } -{ "P": [0], "Q": [1], "A_xor_C": [256], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [1], "A_xor_C": [255], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [1], "A_xor_C": [423], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [1], "A_xor_C": [1], "B": [0], "E_xor_D": [423] } -{ "P": [0], "Q": [1], "A_xor_C": [551], "B": [0], "E_xor_D": [233] } -{ "P": [0], "Q": [1], "A_xor_C": [8192], "B": [0], "E_xor_D": [551] } -{ "P": [0], "Q": [1], "A_xor_C": [892], "B": [0], "E_xor_D": [12] } -{ "P": [0], "Q": [1], "A_xor_C": [9812], "B": [0], "E_xor_D": [892] } -{ "P": [0], "Q": [1], "A_xor_C": [1011], "B": [0], "E_xor_D": [10] } -{ "P": [0], "Q": [1], "A_xor_C": [901], "B": [0], "E_xor_D": [1011] } -{ "P": [0], "Q": [1], "A_xor_C": [2022], "B": [0], "E_xor_D": [121] } -{ "P": [0], "Q": [1], "A_xor_C": [2], "B": [0], "E_xor_D": [2022] } -{ "P": [0], "Q": [1], "A_xor_C": [4483], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [1], "A_xor_C": [9999], "B": [0], "E_xor_D": [4483] } -{ "P": [0], "Q": [1], "A_xor_C": [8919], "B": [0], "E_xor_D": [12] } -{ "P": [0], "Q": [1], "A_xor_C": [897], "B": [0], "E_xor_D": [8919] } -{ "P": [0], "Q": [1], "A_xor_C": [10101], "B": [0], "E_xor_D": [123] } -{ "P": [0], "Q": [1], "A_xor_C": [98], "B": [0], "E_xor_D": [10101] } -{ "P": [0], "Q": [1], "A_xor_C": [16868], "B": [0], "E_xor_D": [9] } -{ "P": [0], "Q": [1], "A_xor_C": [1], "B": [0], "E_xor_D": [16868] } -{ "P": [0], "Q": [1], "A_xor_C": [32378], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [1], "A_xor_C": [65536], "B": [0], "E_xor_D": [32378] } -{ "P": [0], "Q": [1], "A_xor_C": [65534], "B": [0], "E_xor_D": [3278] } -{ "P": [0], "Q": [1], "A_xor_C": [255], "B": [0], "E_xor_D": [65534] } -{ "P": [0], "Q": [1], "A_xor_C": [65535], "B": [0], "E_xor_D": [256] } -{ "P": [0], "Q": [1], "A_xor_C": [101], "B": [0], "E_xor_D": [65535] } -{ "P": [0], "Q": [1], "A_xor_C": [65536], "B": [0], "E_xor_D": [1] } -{ "P": [0], "Q": [1], "A_xor_C": [1], "B": [0], "E_xor_D": [65536] } +{ "P": [0], "Q": [1], "A_xor_C": [1], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [1], "A_xor_C": [2], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [1], "A_xor_C": [2], "B": [0], "D_xor_E": [3] } +{ "P": [0], "Q": [1], "A_xor_C": [4], "B": [0], "D_xor_E": [2] } +{ "P": [0], "Q": [1], "A_xor_C": [3], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [1], "A_xor_C": [2], "B": [0], "D_xor_E": [3] } +{ "P": [0], "Q": [1], "A_xor_C": [256], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [1], "A_xor_C": [255], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [1], "A_xor_C": [423], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [1], "A_xor_C": [1], "B": [0], "D_xor_E": [423] } +{ "P": [0], "Q": [1], "A_xor_C": [551], "B": [0], "D_xor_E": [233] } +{ "P": [0], "Q": [1], "A_xor_C": [8192], "B": [0], "D_xor_E": [551] } +{ "P": [0], "Q": [1], "A_xor_C": [892], "B": [0], "D_xor_E": [12] } +{ "P": [0], "Q": [1], "A_xor_C": [9812], "B": [0], "D_xor_E": [892] } +{ "P": [0], "Q": [1], "A_xor_C": [1011], "B": [0], "D_xor_E": [10] } +{ "P": [0], "Q": [1], "A_xor_C": [901], "B": [0], "D_xor_E": [1011] } +{ "P": [0], "Q": [1], "A_xor_C": [2022], "B": [0], "D_xor_E": [121] } +{ "P": [0], "Q": [1], "A_xor_C": [2], "B": [0], "D_xor_E": [2022] } +{ "P": [0], "Q": [1], "A_xor_C": [4483], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [1], "A_xor_C": [9999], "B": [0], "D_xor_E": [4483] } +{ "P": [0], "Q": [1], "A_xor_C": [8919], "B": [0], "D_xor_E": [12] } +{ "P": [0], "Q": [1], "A_xor_C": [897], "B": [0], "D_xor_E": [8919] } +{ "P": [0], "Q": [1], "A_xor_C": [10101], "B": [0], "D_xor_E": [123] } +{ "P": [0], "Q": [1], "A_xor_C": [98], "B": [0], "D_xor_E": [10101] } +{ "P": [0], "Q": [1], "A_xor_C": [16868], "B": [0], "D_xor_E": [9] } +{ "P": [0], "Q": [1], "A_xor_C": [1], "B": [0], "D_xor_E": [16868] } +{ "P": [0], "Q": [1], "A_xor_C": [32378], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [1], "A_xor_C": [65536], "B": [0], "D_xor_E": [32378] } +{ "P": [0], "Q": [1], "A_xor_C": [65534], "B": [0], "D_xor_E": [3278] } +{ "P": [0], "Q": [1], "A_xor_C": [255], "B": [0], "D_xor_E": [65534] } +{ "P": [0], "Q": [1], "A_xor_C": [65535], "B": [0], "D_xor_E": [256] } +{ "P": [0], "Q": [1], "A_xor_C": [101], "B": [0], "D_xor_E": [65535] } +{ "P": [0], "Q": [1], "A_xor_C": [65536], "B": [0], "D_xor_E": [1] } +{ "P": [0], "Q": [1], "A_xor_C": [1], "B": [0], "D_xor_E": [65536] }