#[allow(unused_imports)] use std::collections::*; pub fn readln() -> String { let mut line = String::new(); ::std::io::stdin() .read_line(&mut line) .unwrap_or_else(|e| panic!("{}", e)); line } macro_rules !read {($($t :tt ) ,*;$n :expr ) =>{{let stdin =::std ::io ::stdin () ;let ret =::std ::io ::BufRead ::lines (stdin .lock () ) .take ($n ) .map (|line |{let line =line .unwrap () ;let mut it =line .split_whitespace () ;_read !(it ;$($t ) ,*) } ) .collect ::>() ;ret } } ;($($t :tt ) ,*) =>{{let line =readln () ;let mut it =line .split_whitespace () ;_read !(it ;$($t ) ,*) } } ;} macro_rules !_read {($it :ident ;[char ] ) =>{_read !($it ;String ) .chars () .collect ::>() } ;($it :ident ;[u8 ] ) =>{Vec ::from (_read !($it ;String ) .into_bytes () ) } ;($it :ident ;usize1 ) =>{$it .next () .unwrap_or_else (||panic !("input mismatch" ) ) .parse ::() .unwrap_or_else (|e |panic !("{}" ,e ) ) -1 } ;($it :ident ;[usize1 ] ) =>{$it .map (|s |s .parse ::() .unwrap_or_else (|e |panic !("{}" ,e ) ) -1 ) .collect ::>() } ;($it :ident ;[$t :ty ] ) =>{$it .map (|s |s .parse ::<$t >() .unwrap_or_else (|e |panic !("{}" ,e ) ) ) .collect ::>() } ;($it :ident ;$t :ty ) =>{$it .next () .unwrap_or_else (||panic !("input mismatch" ) ) .parse ::<$t >() .unwrap_or_else (|e |panic !("{}" ,e ) ) } ;($it :ident ;$($t :tt ) ,+) =>{($(_read !($it ;$t ) ) ,*) } ;} struct FenwickTree { n: usize, tree: Vec, e: T, } #[allow(dead_code)] impl FenwickTree { fn new(n: usize, e: T) -> Self { FenwickTree { n, tree: vec![e.clone(); n], e, } } /// A[i] += w fn add(&mut self, mut idx: usize, w: U) where T: std::ops::AddAssign, { idx += 1; while idx <= self.n { self.tree[idx - 1] += w.clone(); idx += idx & idx.wrapping_neg(); } } /// return A[0] + ... + A[idx-1] fn accum(&self, mut idx: usize) -> T { let mut sum = self.e.clone(); while idx > 0 { sum += self.tree[idx - 1].clone(); idx &= idx - 1; } sum } /// return ∑ d[i] for i in R fn sum(&self, interval: R) -> T where T: std::ops::Sub, R: std::ops::RangeBounds, { let r = match interval.end_bound() { std::ops::Bound::Excluded(&a) => a, std::ops::Bound::Included(&a) => a + 1, _ => self.n, }; match interval.start_bound() { std::ops::Bound::Included(&l) => self.accum(r) - self.accum(l), _ => self.accum(r), } } } fn main() { let n = read!(usize); let a = read!([usize]); let b = read!([usize]); if a[0] != b[0] || a[n - 1] != b[n - 1] { println!("-1"); return; } let a: Vec<_> = a.windows(2).map(|w| w[0] ^ w[1]).collect(); let b: Vec<_> = b.windows(2).map(|w| w[0] ^ w[1]).collect(); let mut c = a.clone(); let mut d = b.clone(); c.sort(); d.sort(); if c != d { println!("-1"); return; } c.dedup(); let m = c.len(); let map = (0..m).map(|i| (c[i], i)).collect::>(); let mut q = vec![std::collections::VecDeque::::new(); m]; for (i, a) in a.iter().enumerate() { q[*map.get(a).unwrap()].push_back(i); } let mut ft = FenwickTree::new(n - 1, 0i64); for i in 0..n - 1 { ft.add(i, 1); } let mut ans = 0; for b in b.iter() { let i = q[*map.get(b).unwrap()].pop_front().unwrap(); ans += ft.sum(..i); ft.add(i, -1); } println!("{}", ans); }