| |
| /** |
| Type aliases for many constants. |
| |
| This file is generated by typenum's build script. |
| |
| For unsigned integers, the format is `U` followed by the number. We define aliases for |
| |
| - Numbers 0 through 1024 |
| - Powers of 2 below `u64::MAX` |
| - Powers of 10 below `u64::MAX` |
| |
| These alias definitions look like this: |
| |
| ```rust |
| use typenum::{B0, B1, UInt, UTerm}; |
| |
| # #[allow(dead_code)] |
| type U6 = UInt<UInt<UInt<UTerm, B1>, B1>, B0>; |
| ``` |
| |
| For positive signed integers, the format is `P` followed by the number and for negative |
| signed integers it is `N` followed by the number. For the signed integer zero, we use |
| `Z0`. We define aliases for |
| |
| - Numbers -1024 through 1024 |
| - Powers of 2 between `i64::MIN` and `i64::MAX` |
| - Powers of 10 between `i64::MIN` and `i64::MAX` |
| |
| These alias definitions look like this: |
| |
| ```rust |
| use typenum::{B0, B1, UInt, UTerm, PInt, NInt}; |
| |
| # #[allow(dead_code)] |
| type P6 = PInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>>; |
| # #[allow(dead_code)] |
| type N6 = NInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>>; |
| ``` |
| |
| # Example |
| ```rust |
| # #[allow(unused_imports)] |
| use typenum::{U0, U1, U2, U3, U4, U5, U6}; |
| # #[allow(unused_imports)] |
| use typenum::{N3, N2, N1, Z0, P1, P2, P3}; |
| # #[allow(unused_imports)] |
| use typenum::{U774, N17, N10000, P1024, P4096}; |
| ``` |
| |
| We also define the aliases `False` and `True` for `B0` and `B1`, respectively. |
| */ |
| #[allow(missing_docs)] |
| pub mod consts { |
| use crate::uint::{UInt, UTerm}; |
| use crate::int::{PInt, NInt}; |
| |
| pub use crate::bit::{B0, B1}; |
| pub use crate::int::Z0; |
| |
| pub type True = B1; |
| pub type False = B0; |
| pub type U0 = UTerm; |
| pub type U1 = UInt<UTerm, B1>; |
| pub type P1 = PInt<U1>; pub type N1 = NInt<U1>; |
| pub type U2 = UInt<UInt<UTerm, B1>, B0>; |
| pub type P2 = PInt<U2>; pub type N2 = NInt<U2>; |
| pub type U3 = UInt<UInt<UTerm, B1>, B1>; |
| pub type P3 = PInt<U3>; pub type N3 = NInt<U3>; |
| pub type U4 = UInt<UInt<UInt<UTerm, B1>, B0>, B0>; |
| pub type P4 = PInt<U4>; pub type N4 = NInt<U4>; |
| pub type U5 = UInt<UInt<UInt<UTerm, B1>, B0>, B1>; |
| pub type P5 = PInt<U5>; pub type N5 = NInt<U5>; |
| pub type U6 = UInt<UInt<UInt<UTerm, B1>, B1>, B0>; |
| pub type P6 = PInt<U6>; pub type N6 = NInt<U6>; |
| pub type U7 = UInt<UInt<UInt<UTerm, B1>, B1>, B1>; |
| pub type P7 = PInt<U7>; pub type N7 = NInt<U7>; |
| pub type U8 = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>; |
| pub type P8 = PInt<U8>; pub type N8 = NInt<U8>; |
| pub type U9 = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>; |
| pub type P9 = PInt<U9>; pub type N9 = NInt<U9>; |
| pub type U10 = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>; |
| pub type P10 = PInt<U10>; pub type N10 = NInt<U10>; |
| pub type U11 = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>; |
| pub type P11 = PInt<U11>; pub type N11 = NInt<U11>; |
| pub type U12 = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>; |
| pub type P12 = PInt<U12>; pub type N12 = NInt<U12>; |
| pub type U13 = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>; |
| pub type P13 = PInt<U13>; pub type N13 = NInt<U13>; |
| pub type U14 = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>; |
| pub type P14 = PInt<U14>; pub type N14 = NInt<U14>; |
| pub type U15 = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>; |
| pub type P15 = PInt<U15>; pub type N15 = NInt<U15>; |
| pub type U16 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>; |
| pub type P16 = PInt<U16>; pub type N16 = NInt<U16>; |
| pub type U17 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>; |
| pub type P17 = PInt<U17>; pub type N17 = NInt<U17>; |
| pub type U18 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>; |
| pub type P18 = PInt<U18>; pub type N18 = NInt<U18>; |
| pub type U19 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>; |
| pub type P19 = PInt<U19>; pub type N19 = NInt<U19>; |
| pub type U20 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>; |
| pub type P20 = PInt<U20>; pub type N20 = NInt<U20>; |
| pub type U21 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>; |
| pub type P21 = PInt<U21>; pub type N21 = NInt<U21>; |
| pub type U22 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>; |
| pub type P22 = PInt<U22>; pub type N22 = NInt<U22>; |
| pub type U23 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>; |
| pub type P23 = PInt<U23>; pub type N23 = NInt<U23>; |
| pub type U24 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>; |
| pub type P24 = PInt<U24>; pub type N24 = NInt<U24>; |
| pub type U25 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>; |
| pub type P25 = PInt<U25>; pub type N25 = NInt<U25>; |
| pub type U26 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>; |
| pub type P26 = PInt<U26>; pub type N26 = NInt<U26>; |
| pub type U27 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>; |
| pub type P27 = PInt<U27>; pub type N27 = NInt<U27>; |
| pub type U28 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>; |
| pub type P28 = PInt<U28>; pub type N28 = NInt<U28>; |
| pub type U29 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>; |
| pub type P29 = PInt<U29>; pub type N29 = NInt<U29>; |
| pub type U30 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>; |
| pub type P30 = PInt<U30>; pub type N30 = NInt<U30>; |
| pub type U31 = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>; |
| pub type P31 = PInt<U31>; pub type N31 = NInt<U31>; |
| pub type U32 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>; |
| pub type P32 = PInt<U32>; pub type N32 = NInt<U32>; |
| pub type U33 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>; |
| pub type P33 = PInt<U33>; pub type N33 = NInt<U33>; |
| pub type U34 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>; |
| pub type P34 = PInt<U34>; pub type N34 = NInt<U34>; |
| pub type U35 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>; |
| pub type P35 = PInt<U35>; pub type N35 = NInt<U35>; |
| pub type U36 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>; |
| pub type P36 = PInt<U36>; pub type N36 = NInt<U36>; |
| pub type U37 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>; |
| pub type P37 = PInt<U37>; pub type N37 = NInt<U37>; |
| pub type U38 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>; |
| pub type P38 = PInt<U38>; pub type N38 = NInt<U38>; |
| pub type U39 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>; |
| pub type P39 = PInt<U39>; pub type N39 = NInt<U39>; |
| pub type U40 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>; |
| pub type P40 = PInt<U40>; pub type N40 = NInt<U40>; |
| pub type U41 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>; |
| pub type P41 = PInt<U41>; pub type N41 = NInt<U41>; |
| pub type U42 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>; |
| pub type P42 = PInt<U42>; pub type N42 = NInt<U42>; |
| pub type U43 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>; |
| pub type P43 = PInt<U43>; pub type N43 = NInt<U43>; |
| pub type U44 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>; |
| pub type P44 = PInt<U44>; pub type N44 = NInt<U44>; |
| pub type U45 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>; |
| pub type P45 = PInt<U45>; pub type N45 = NInt<U45>; |
| pub type U46 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>; |
| pub type P46 = PInt<U46>; pub type N46 = NInt<U46>; |
| pub type U47 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>; |
| pub type P47 = PInt<U47>; pub type N47 = NInt<U47>; |
| pub type U48 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>; |
| pub type P48 = PInt<U48>; pub type N48 = NInt<U48>; |
| pub type U49 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>; |
| pub type P49 = PInt<U49>; pub type N49 = NInt<U49>; |
| pub type U50 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>; |
| pub type P50 = PInt<U50>; pub type N50 = NInt<U50>; |
| pub type U51 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>; |
| pub type P51 = PInt<U51>; pub type N51 = NInt<U51>; |
| pub type U52 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>; |
| pub type P52 = PInt<U52>; pub type N52 = NInt<U52>; |
| pub type U53 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>; |
| pub type P53 = PInt<U53>; pub type N53 = NInt<U53>; |
| pub type U54 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>; |
| pub type P54 = PInt<U54>; pub type N54 = NInt<U54>; |
| pub type U55 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>; |
| pub type P55 = PInt<U55>; pub type N55 = NInt<U55>; |
| pub type U56 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>; |
| pub type P56 = PInt<U56>; pub type N56 = NInt<U56>; |
| pub type U57 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>; |
| pub type P57 = PInt<U57>; pub type N57 = NInt<U57>; |
| pub type U58 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>; |
| pub type P58 = PInt<U58>; pub type N58 = NInt<U58>; |
| pub type U59 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>; |
| pub type P59 = PInt<U59>; pub type N59 = NInt<U59>; |
| pub type U60 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>; |
| pub type P60 = PInt<U60>; pub type N60 = NInt<U60>; |
| pub type U61 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>; |
| pub type P61 = PInt<U61>; pub type N61 = NInt<U61>; |
| pub type U62 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>; |
| pub type P62 = PInt<U62>; pub type N62 = NInt<U62>; |
| pub type U63 = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>; |
| pub type P63 = PInt<U63>; pub type N63 = NInt<U63>; |
| pub type U64 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>; |
| pub type P64 = PInt<U64>; pub type N64 = NInt<U64>; |
| pub type U65 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>; |
| pub type P65 = PInt<U65>; pub type N65 = NInt<U65>; |
| pub type U66 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>; |
| pub type P66 = PInt<U66>; pub type N66 = NInt<U66>; |
| pub type U67 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>; |
| pub type P67 = PInt<U67>; pub type N67 = NInt<U67>; |
| pub type U68 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>; |
| pub type P68 = PInt<U68>; pub type N68 = NInt<U68>; |
| pub type U69 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>; |
| pub type P69 = PInt<U69>; pub type N69 = NInt<U69>; |
| pub type U70 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>; |
| pub type P70 = PInt<U70>; pub type N70 = NInt<U70>; |
| pub type U71 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>; |
| pub type P71 = PInt<U71>; pub type N71 = NInt<U71>; |
| pub type U72 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>; |
| pub type P72 = PInt<U72>; pub type N72 = NInt<U72>; |
| pub type U73 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>; |
| pub type P73 = PInt<U73>; pub type N73 = NInt<U73>; |
| pub type U74 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>; |
| pub type P74 = PInt<U74>; pub type N74 = NInt<U74>; |
| pub type U75 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>; |
| pub type P75 = PInt<U75>; pub type N75 = NInt<U75>; |
| pub type U76 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>; |
| pub type P76 = PInt<U76>; pub type N76 = NInt<U76>; |
| pub type U77 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>; |
| pub type P77 = PInt<U77>; pub type N77 = NInt<U77>; |
| pub type U78 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>; |
| pub type P78 = PInt<U78>; pub type N78 = NInt<U78>; |
| pub type U79 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>; |
| pub type P79 = PInt<U79>; pub type N79 = NInt<U79>; |
| pub type U80 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>; |
| pub type P80 = PInt<U80>; pub type N80 = NInt<U80>; |
| pub type U81 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>; |
| pub type P81 = PInt<U81>; pub type N81 = NInt<U81>; |
| pub type U82 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>; |
| pub type P82 = PInt<U82>; pub type N82 = NInt<U82>; |
| pub type U83 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>; |
| pub type P83 = PInt<U83>; pub type N83 = NInt<U83>; |
| pub type U84 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>; |
| pub type P84 = PInt<U84>; pub type N84 = NInt<U84>; |
| pub type U85 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>; |
| pub type P85 = PInt<U85>; pub type N85 = NInt<U85>; |
| pub type U86 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>; |
| pub type P86 = PInt<U86>; pub type N86 = NInt<U86>; |
| pub type U87 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>; |
| pub type P87 = PInt<U87>; pub type N87 = NInt<U87>; |
| pub type U88 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>; |
| pub type P88 = PInt<U88>; pub type N88 = NInt<U88>; |
| pub type U89 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>; |
| pub type P89 = PInt<U89>; pub type N89 = NInt<U89>; |
| pub type U90 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>; |
| pub type P90 = PInt<U90>; pub type N90 = NInt<U90>; |
| pub type U91 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>; |
| pub type P91 = PInt<U91>; pub type N91 = NInt<U91>; |
| pub type U92 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>; |
| pub type P92 = PInt<U92>; pub type N92 = NInt<U92>; |
| pub type U93 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>; |
| pub type P93 = PInt<U93>; pub type N93 = NInt<U93>; |
| pub type U94 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>; |
| pub type P94 = PInt<U94>; pub type N94 = NInt<U94>; |
| pub type U95 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>; |
| pub type P95 = PInt<U95>; pub type N95 = NInt<U95>; |
| pub type U96 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>; |
| pub type P96 = PInt<U96>; pub type N96 = NInt<U96>; |
| pub type U97 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>; |
| pub type P97 = PInt<U97>; pub type N97 = NInt<U97>; |
| pub type U98 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>; |
| pub type P98 = PInt<U98>; pub type N98 = NInt<U98>; |
| pub type U99 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>; |
| pub type P99 = PInt<U99>; pub type N99 = NInt<U99>; |
| pub type U100 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>; |
| pub type P100 = PInt<U100>; pub type N100 = NInt<U100>; |
| pub type U101 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>; |
| pub type P101 = PInt<U101>; pub type N101 = NInt<U101>; |
| pub type U102 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>; |
| pub type P102 = PInt<U102>; pub type N102 = NInt<U102>; |
| pub type U103 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>; |
| pub type P103 = PInt<U103>; pub type N103 = NInt<U103>; |
| pub type U104 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>; |
| pub type P104 = PInt<U104>; pub type N104 = NInt<U104>; |
| pub type U105 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>; |
| pub type P105 = PInt<U105>; pub type N105 = NInt<U105>; |
| pub type U106 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>; |
| pub type P106 = PInt<U106>; pub type N106 = NInt<U106>; |
| pub type U107 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>; |
| pub type P107 = PInt<U107>; pub type N107 = NInt<U107>; |
| pub type U108 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>; |
| pub type P108 = PInt<U108>; pub type N108 = NInt<U108>; |
| pub type U109 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>; |
| pub type P109 = PInt<U109>; pub type N109 = NInt<U109>; |
| pub type U110 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>; |
| pub type P110 = PInt<U110>; pub type N110 = NInt<U110>; |
| pub type U111 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>; |
| pub type P111 = PInt<U111>; pub type N111 = NInt<U111>; |
| pub type U112 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>; |
| pub type P112 = PInt<U112>; pub type N112 = NInt<U112>; |
| pub type U113 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>; |
| pub type P113 = PInt<U113>; pub type N113 = NInt<U113>; |
| pub type U114 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>; |
| pub type P114 = PInt<U114>; pub type N114 = NInt<U114>; |
| pub type U115 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>; |
| pub type P115 = PInt<U115>; pub type N115 = NInt<U115>; |
| pub type U116 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>; |
| pub type P116 = PInt<U116>; pub type N116 = NInt<U116>; |
| pub type U117 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>; |
| pub type P117 = PInt<U117>; pub type N117 = NInt<U117>; |
| pub type U118 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>; |
| pub type P118 = PInt<U118>; pub type N118 = NInt<U118>; |
| pub type U119 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>; |
| pub type P119 = PInt<U119>; pub type N119 = NInt<U119>; |
| pub type U120 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>; |
| pub type P120 = PInt<U120>; pub type N120 = NInt<U120>; |
| pub type U121 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>; |
| pub type P121 = PInt<U121>; pub type N121 = NInt<U121>; |
| pub type U122 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>; |
| pub type P122 = PInt<U122>; pub type N122 = NInt<U122>; |
| pub type U123 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>; |
| pub type P123 = PInt<U123>; pub type N123 = NInt<U123>; |
| pub type U124 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>; |
| pub type P124 = PInt<U124>; pub type N124 = NInt<U124>; |
| pub type U125 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>; |
| pub type P125 = PInt<U125>; pub type N125 = NInt<U125>; |
| pub type U126 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>; |
| pub type P126 = PInt<U126>; pub type N126 = NInt<U126>; |
| pub type U127 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>; |
| pub type P127 = PInt<U127>; pub type N127 = NInt<U127>; |
| pub type U128 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B0>; |
| pub type P128 = PInt<U128>; pub type N128 = NInt<U128>; |
| pub type U129 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B1>; |
| pub type P129 = PInt<U129>; pub type N129 = NInt<U129>; |
| pub type U130 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B0>; |
| pub type P130 = PInt<U130>; pub type N130 = NInt<U130>; |
| pub type U131 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B1>; |
| pub type P131 = PInt<U131>; pub type N131 = NInt<U131>; |
| pub type U132 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B0>; |
| pub type P132 = PInt<U132>; pub type N132 = NInt<U132>; |
| pub type U133 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B1>; |
| pub type P133 = PInt<U133>; pub type N133 = NInt<U133>; |
| pub type U134 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B0>; |
| pub type P134 = PInt<U134>; pub type N134 = NInt<U134>; |
| pub type U135 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B1>; |
| pub type P135 = PInt<U135>; pub type N135 = NInt<U135>; |
| pub type U136 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B0>; |
| pub type P136 = PInt<U136>; pub type N136 = NInt<U136>; |
| pub type U137 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B1>; |
| pub type P137 = PInt<U137>; pub type N137 = NInt<U137>; |
| pub type U138 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B0>; |
| pub type P138 = PInt<U138>; pub type N138 = NInt<U138>; |
| pub type U139 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B1>; |
| pub type P139 = PInt<U139>; pub type N139 = NInt<U139>; |
| pub type U140 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B0>; |
| pub type P140 = PInt<U140>; pub type N140 = NInt<U140>; |
| pub type U141 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B1>; |
| pub type P141 = PInt<U141>; pub type N141 = NInt<U141>; |
| pub type U142 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B0>; |
| pub type P142 = PInt<U142>; pub type N142 = NInt<U142>; |
| pub type U143 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B1>; |
| pub type P143 = PInt<U143>; pub type N143 = NInt<U143>; |
| pub type U144 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B0>; |
| pub type P144 = PInt<U144>; pub type N144 = NInt<U144>; |
| pub type U145 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B1>; |
| pub type P145 = PInt<U145>; pub type N145 = NInt<U145>; |
| pub type U146 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B0>; |
| pub type P146 = PInt<U146>; pub type N146 = NInt<U146>; |
| pub type U147 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B1>; |
| pub type P147 = PInt<U147>; pub type N147 = NInt<U147>; |
| pub type U148 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B0>; |
| pub type P148 = PInt<U148>; pub type N148 = NInt<U148>; |
| pub type U149 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B1>; |
| pub type P149 = PInt<U149>; pub type N149 = NInt<U149>; |
| pub type U150 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B0>; |
| pub type P150 = PInt<U150>; pub type N150 = NInt<U150>; |
| pub type U151 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B1>; |
| pub type P151 = PInt<U151>; pub type N151 = NInt<U151>; |
| pub type U152 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B0>; |
| pub type P152 = PInt<U152>; pub type N152 = NInt<U152>; |
| pub type U153 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B1>; |
| pub type P153 = PInt<U153>; pub type N153 = NInt<U153>; |
| pub type U154 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B0>; |
| pub type P154 = PInt<U154>; pub type N154 = NInt<U154>; |
| pub type U155 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B1>; |
| pub type P155 = PInt<U155>; pub type N155 = NInt<U155>; |
| pub type U156 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B0>; |
| pub type P156 = PInt<U156>; pub type N156 = NInt<U156>; |
| pub type U157 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B1>; |
| pub type P157 = PInt<U157>; pub type N157 = NInt<U157>; |
| pub type U158 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B0>; |
| pub type P158 = PInt<U158>; pub type N158 = NInt<U158>; |
| pub type U159 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B1>; |
| pub type P159 = PInt<U159>; pub type N159 = NInt<U159>; |
| pub type U160 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B0>; |
| pub type P160 = PInt<U160>; pub type N160 = NInt<U160>; |
| pub type U161 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B1>; |
| pub type P161 = PInt<U161>; pub type N161 = NInt<U161>; |
| pub type U162 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B0>; |
| pub type P162 = PInt<U162>; pub type N162 = NInt<U162>; |
| pub type U163 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B1>; |
| pub type P163 = PInt<U163>; pub type N163 = NInt<U163>; |
| pub type U164 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B0>; |
| pub type P164 = PInt<U164>; pub type N164 = NInt<U164>; |
| pub type U165 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B1>; |
| pub type P165 = PInt<U165>; pub type N165 = NInt<U165>; |
| pub type U166 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B0>; |
| pub type P166 = PInt<U166>; pub type N166 = NInt<U166>; |
| pub type U167 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B1>; |
| pub type P167 = PInt<U167>; pub type N167 = NInt<U167>; |
| pub type U168 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B0>; |
| pub type P168 = PInt<U168>; pub type N168 = NInt<U168>; |
| pub type U169 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B1>; |
| pub type P169 = PInt<U169>; pub type N169 = NInt<U169>; |
| pub type U170 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B0>; |
| pub type P170 = PInt<U170>; pub type N170 = NInt<U170>; |
| pub type U171 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B1>; |
| pub type P171 = PInt<U171>; pub type N171 = NInt<U171>; |
| pub type U172 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B0>; |
| pub type P172 = PInt<U172>; pub type N172 = NInt<U172>; |
| pub type U173 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B1>; |
| pub type P173 = PInt<U173>; pub type N173 = NInt<U173>; |
| pub type U174 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B0>; |
| pub type P174 = PInt<U174>; pub type N174 = NInt<U174>; |
| pub type U175 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B1>; |
| pub type P175 = PInt<U175>; pub type N175 = NInt<U175>; |
| pub type U176 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B0>; |
| pub type P176 = PInt<U176>; pub type N176 = NInt<U176>; |
| pub type U177 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B1>; |
| pub type P177 = PInt<U177>; pub type N177 = NInt<U177>; |
| pub type U178 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B0>; |
| pub type P178 = PInt<U178>; pub type N178 = NInt<U178>; |
| pub type U179 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B1>; |
| pub type P179 = PInt<U179>; pub type N179 = NInt<U179>; |
| pub type U180 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B0>; |
| pub type P180 = PInt<U180>; pub type N180 = NInt<U180>; |
| pub type U181 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B1>; |
| pub type P181 = PInt<U181>; pub type N181 = NInt<U181>; |
| pub type U182 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B0>; |
| pub type P182 = PInt<U182>; pub type N182 = NInt<U182>; |
| pub type U183 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B1>; |
| pub type P183 = PInt<U183>; pub type N183 = NInt<U183>; |
| pub type U184 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B0>; |
| pub type P184 = PInt<U184>; pub type N184 = NInt<U184>; |
| pub type U185 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B1>; |
| pub type P185 = PInt<U185>; pub type N185 = NInt<U185>; |
| pub type U186 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B0>; |
| pub type P186 = PInt<U186>; pub type N186 = NInt<U186>; |
| pub type U187 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B1>; |
| pub type P187 = PInt<U187>; pub type N187 = NInt<U187>; |
| pub type U188 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B0>; |
| pub type P188 = PInt<U188>; pub type N188 = NInt<U188>; |
| pub type U189 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B1>; |
| pub type P189 = PInt<U189>; pub type N189 = NInt<U189>; |
| pub type U190 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B0>; |
| pub type P190 = PInt<U190>; pub type N190 = NInt<U190>; |
| pub type U191 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B1>; |
| pub type P191 = PInt<U191>; pub type N191 = NInt<U191>; |
| pub type U192 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B0>; |
| pub type P192 = PInt<U192>; pub type N192 = NInt<U192>; |
| pub type U193 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B1>; |
| pub type P193 = PInt<U193>; pub type N193 = NInt<U193>; |
| pub type U194 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B0>; |
| pub type P194 = PInt<U194>; pub type N194 = NInt<U194>; |
| pub type U195 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B1>; |
| pub type P195 = PInt<U195>; pub type N195 = NInt<U195>; |
| pub type U196 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B0>; |
| pub type P196 = PInt<U196>; pub type N196 = NInt<U196>; |
| pub type U197 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B1>; |
| pub type P197 = PInt<U197>; pub type N197 = NInt<U197>; |
| pub type U198 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B0>; |
| pub type P198 = PInt<U198>; pub type N198 = NInt<U198>; |
| pub type U199 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B1>; |
| pub type P199 = PInt<U199>; pub type N199 = NInt<U199>; |
| pub type U200 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B0>; |
| pub type P200 = PInt<U200>; pub type N200 = NInt<U200>; |
| pub type U201 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B1>; |
| pub type P201 = PInt<U201>; pub type N201 = NInt<U201>; |
| pub type U202 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B0>; |
| pub type P202 = PInt<U202>; pub type N202 = NInt<U202>; |
| pub type U203 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B1>; |
| pub type P203 = PInt<U203>; pub type N203 = NInt<U203>; |
| pub type U204 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B0>; |
| pub type P204 = PInt<U204>; pub type N204 = NInt<U204>; |
| pub type U205 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B1>; |
| pub type P205 = PInt<U205>; pub type N205 = NInt<U205>; |
| pub type U206 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B0>; |
| pub type P206 = PInt<U206>; pub type N206 = NInt<U206>; |
| pub type U207 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B1>; |
| pub type P207 = PInt<U207>; pub type N207 = NInt<U207>; |
| pub type U208 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B0>; |
| pub type P208 = PInt<U208>; pub type N208 = NInt<U208>; |
| pub type U209 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B1>; |
| pub type P209 = PInt<U209>; pub type N209 = NInt<U209>; |
| pub type U210 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B0>; |
| pub type P210 = PInt<U210>; pub type N210 = NInt<U210>; |
| pub type U211 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B1>; |
| pub type P211 = PInt<U211>; pub type N211 = NInt<U211>; |
| pub type U212 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B0>; |
| pub type P212 = PInt<U212>; pub type N212 = NInt<U212>; |
| pub type U213 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B1>; |
| pub type P213 = PInt<U213>; pub type N213 = NInt<U213>; |
| pub type U214 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B0>; |
| pub type P214 = PInt<U214>; pub type N214 = NInt<U214>; |
| pub type U215 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B1>; |
| pub type P215 = PInt<U215>; pub type N215 = NInt<U215>; |
| pub type U216 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B0>; |
| pub type P216 = PInt<U216>; pub type N216 = NInt<U216>; |
| pub type U217 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B1>; |
| pub type P217 = PInt<U217>; pub type N217 = NInt<U217>; |
| pub type U218 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B0>; |
| pub type P218 = PInt<U218>; pub type N218 = NInt<U218>; |
| pub type U219 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B1>; |
| pub type P219 = PInt<U219>; pub type N219 = NInt<U219>; |
| pub type U220 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, B0>; |
| pub type P220 = PInt<U220>; pub type N220 = NInt<U220>; |
| pub type U221 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, B1>; |
| pub type P221 = PInt<U221>; pub type N221 = NInt<U221>; |
| pub type U222 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B0>; |
| pub type P222 = PInt<U222>; pub type N222 = NInt<U222>; |
| pub type U223 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B1>; |
| pub type P223 = PInt<U223>; pub type N223 = NInt<U223>; |
| pub type U224 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B0>; |
| pub type P224 = PInt<U224>; pub type N224 = NInt<U224>; |
| pub type U225 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B1>; |
| pub type P225 = PInt<U225>; pub type N225 = NInt<U225>; |
| pub type U226 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, B0>; |
| pub type P226 = PInt<U226>; pub type N226 = NInt<U226>; |
| pub type U227 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, B1>; |
| pub type P227 = PInt<U227>; pub type N227 = NInt<U227>; |
| pub type U228 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B0>; |
| pub type P228 = PInt<U228>; pub type N228 = NInt<U228>; |
| pub type U229 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B1>; |
| pub type P229 = PInt<U229>; pub type N229 = NInt<U229>; |
| pub type U230 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B0>; |
| pub type P230 = PInt<U230>; pub type N230 = NInt<U230>; |
| pub type U231 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B1>; |
| pub type P231 = PInt<U231>; pub type N231 = NInt<U231>; |
| pub type U232 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, B0>; |
| pub type P232 = PInt<U232>; pub type N232 = NInt<U232>; |
| pub type U233 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, B1>; |
| pub type P233 = PInt<U233>; pub type N233 = NInt<U233>; |
| pub type U234 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B0>; |
| pub type P234 = PInt<U234>; pub type N234 = NInt<U234>; |
| pub type U235 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B1>; |
| pub type P235 = PInt<U235>; pub type N235 = NInt<U235>; |
| pub type U236 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B0>; |
| pub type P236 = PInt<U236>; pub type N236 = NInt<U236>; |
| pub type U237 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B1>; |
| pub type P237 = PInt<U237>; pub type N237 = NInt<U237>; |
| pub type U238 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>, B0>; |
| pub type P238 = PInt<U238>; pub type N238 = NInt<U238>; |
| pub type U239 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>, B1>; |
| pub type P239 = PInt<U239>; pub type N239 = NInt<U239>; |
| pub type U240 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>, B0>; |
| pub type P240 = PInt<U240>; pub type N240 = NInt<U240>; |
| pub type U241 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>, B1>; |
| pub type P241 = PInt<U241>; pub type N241 = NInt<U241>; |
| pub type U242 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>, B0>; |
| pub type P242 = PInt<U242>; pub type N242 = NInt<U242>; |
| pub type U243 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>, B1>; |
| pub type P243 = PInt<U243>; pub type N243 = NInt<U243>; |
| pub type U244 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>, B0>; |
| pub type P244 = PInt<U244>; pub type N244 = NInt<U244>; |
| pub type U245 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>, B1>; |
| pub type P245 = PInt<U245>; pub type N245 = NInt<U245>; |
| pub type U246 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>, B0>; |
| pub type P246 = PInt<U246>; pub type N246 = NInt<U246>; |
| pub type U247 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>, B1>; |
| pub type P247 = PInt<U247>; pub type N247 = NInt<U247>; |
| pub type U248 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B0>; |
| pub type P248 = PInt<U248>; pub type N248 = NInt<U248>; |
| pub type U249 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>, B1>; |
| pub type P249 = PInt<U249>; pub type N249 = NInt<U249>; |
| pub type U250 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>, B0>; |
| pub type P250 = PInt<U250>; pub type N250 = NInt<U250>; |
| pub type U251 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>, B1>; |
| pub type P251 = PInt<U251>; pub type N251 = NInt<U251>; |
| pub type U252 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B0>; |
| pub type P252 = PInt<U252>; pub type N252 = NInt<U252>; |
| pub type U253 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>, B1>; |
| pub type P253 = PInt<U253>; pub type N253 = NInt<U253>; |
| pub type U254 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>, B0>; |
| pub type P254 = PInt<U254>; pub type N254 = NInt<U254>; |
| pub type U255 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>, B1>; |
| pub type P255 = PInt<U255>; pub type N255 = NInt<U255>; |
| pub type U256 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B0>; |
| pub type P256 = PInt<U256>; pub type N256 = NInt<U256>; |
| pub type U257 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B0>, B1>; |
| pub type P257 = PInt<U257>; pub type N257 = NInt<U257>; |
| pub type U258 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B1>, B0>; |
| pub type P258 = PInt<U258>; pub type N258 = NInt<U258>; |
| pub type U259 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B1>, B1>; |
| pub type P259 = PInt<U259>; pub type N259 = NInt<U259>; |
| pub type U260 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B0>, B0>; |
| pub type P260 = PInt<U260>; pub type N260 = NInt<U260>; |
| pub type U261 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B0>, B1>; |
| pub type P261 = PInt<U261>; pub type N261 = NInt<U261>; |
| pub type U262 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B1>, B0>; |
| pub type P262 = PInt<U262>; pub type N262 = NInt<U262>; |
| pub type U263 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B1>, B1>; |
| pub type P263 = PInt<U263>; pub type N263 = NInt<U263>; |
| pub type U264 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B0>, B0>; |
| pub type P264 = PInt<U264>; pub type N264 = NInt<U264>; |
| pub type U265 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B0>, B1>; |
| pub type P265 = PInt<U265>; pub type N265 = NInt<U265>; |
| pub type U266 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B1>, B0>; |
| pub type P266 = PInt<U266>; pub type N266 = NInt<U266>; |
| pub type U267 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B1>, B1>; |
| pub type P267 = PInt<U267>; pub type N267 = NInt<U267>; |
| pub type U268 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B0>, B0>; |
| pub type P268 = PInt<U268>; pub type N268 = NInt<U268>; |
| pub type U269 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B0>, B1>; |
| pub type P269 = PInt<U269>; pub type N269 = NInt<U269>; |
| pub type U270 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B1>, B0>; |
| pub type P270 = PInt<U270>; pub type N270 = NInt<U270>; |
| pub type U271 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B1>, B1>; |
| pub type P271 = PInt<U271>; pub type N271 = NInt<U271>; |
| pub type U272 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B0>, B0>; |
| pub type P272 = PInt<U272>; pub type N272 = NInt<U272>; |
| pub type U273 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B0>, B1>; |
| pub type P273 = PInt<U273>; pub type N273 = NInt<U273>; |
| pub type U274 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B1>, B0>; |
| pub type P274 = PInt<U274>; pub type N274 = NInt<U274>; |
| pub type U275 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B1>, B1>; |
| pub type P275 = PInt<U275>; pub type N275 = NInt<U275>; |
| pub type U276 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B0>, B0>; |
| pub type P276 = PInt<U276>; pub type N276 = NInt<U276>; |
| pub type U277 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B0>, B1>; |
| pub type P277 = PInt<U277>; pub type N277 = NInt<U277>; |
| pub type U278 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B1>, B0>; |
| pub type P278 = PInt<U278>; pub type N278 = NInt<U278>; |
| pub type U279 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B1>, B1>; |
| pub type P279 = PInt<U279>; pub type N279 = NInt<U279>; |
| pub type U280 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B0>, B0>; |
| pub type P280 = PInt<U280>; pub type N280 = NInt<U280>; |
| pub type U281 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B0>, B1>; |
| pub type P281 = PInt<U281>; pub type N281 = NInt<U281>; |
| pub type U282 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B1>, B0>; |
| pub type P282 = PInt<U282>; pub type N282 = NInt<U282>; |
| pub type U283 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B1>, B1>; |
| pub type P283 = PInt<U283>; pub type N283 = NInt<U283>; |
| pub type U284 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B0>, B0>; |
| pub type P284 = PInt<U284>; pub type N284 = NInt<U284>; |
| pub type U285 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B0>, B1>; |
| pub type P285 = PInt<U285>; pub type N285 = NInt<U285>; |
| pub type U286 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B1>, B0>; |
| pub type P286 = PInt<U286>; pub type N286 = NInt<U286>; |
| pub type U287 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B1>, B1>; |
| pub type P287 = PInt<U287>; pub type N287 = NInt<U287>; |
| pub type U288 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B0>, B0>; |
| pub type P288 = PInt<U288>; pub type N288 = NInt<U288>; |
| pub type U289 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B0>, B1>; |
| pub type P289 = PInt<U289>; pub type N289 = NInt<U289>; |
| pub type U290 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B1>, B0>; |
| pub type P290 = PInt<U290>; pub type N290 = NInt<U290>; |
| pub type U291 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B1>, B1>; |
| pub type P291 = PInt<U291>; pub type N291 = NInt<U291>; |
| pub type U292 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B0>, B0>; |
| pub type P292 = PInt<U292>; pub type N292 = NInt<U292>; |
| pub type U293 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B0>, B1>; |
| pub type P293 = PInt<U293>; pub type N293 = NInt<U293>; |
| pub type U294 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B1>, B0>; |
| pub type P294 = PInt<U294>; pub type N294 = NInt<U294>; |
| pub type U295 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B1>, B1>; |
| pub type P295 = PInt<U295>; pub type N295 = NInt<U295>; |
| pub type U296 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B0>, B0>; |
| pub type P296 = PInt<U296>; pub type N296 = NInt<U296>; |
| pub type U297 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B0>, B1>; |
| pub type P297 = PInt<U297>; pub type N297 = NInt<U297>; |
| pub type U298 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B1>, B0>; |
| pub type P298 = PInt<U298>; pub type N298 = NInt<U298>; |
| pub type U299 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B1>, B1>; |
| pub type P299 = PInt<U299>; pub type N299 = NInt<U299>; |
| pub type U300 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B0>, B0>; |
| pub type P300 = PInt<U300>; pub type N300 = NInt<U300>; |
| pub type U301 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B0>, B1>; |
| pub type P301 = PInt<U301>; pub type N301 = NInt<U301>; |
| pub type U302 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B1>, B0>; |
| pub type P302 = PInt<U302>; pub type N302 = NInt<U302>; |
| pub type U303 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B1>, B1>; |
| pub type P303 = PInt<U303>; pub type N303 = NInt<U303>; |
| pub type U304 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B0>, B0>; |
| pub type P304 = PInt<U304>; pub type N304 = NInt<U304>; |
| pub type U305 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B0>, B1>; |
| pub type P305 = PInt<U305>; pub type N305 = NInt<U305>; |
| pub type U306 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B1>, B0>; |
| pub type P306 = PInt<U306>; pub type N306 = NInt<U306>; |
| pub type U307 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B1>, B1>; |
| pub type P307 = PInt<U307>; pub type N307 = NInt<U307>; |
| pub type U308 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B0>, B0>; |
| pub type P308 = PInt<U308>; pub type N308 = NInt<U308>; |
| pub type U309 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B0>, B1>; |
| pub type P309 = PInt<U309>; pub type N309 = NInt<U309>; |
| pub type U310 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B1>, B0>; |
| pub type P310 = PInt<U310>; pub type N310 = NInt<U310>; |
| pub type U311 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B1>, B1>; |
| pub type P311 = PInt<U311>; pub type N311 = NInt<U311>; |
| pub type U312 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B0>, B0>; |
| pub type P312 = PInt<U312>; pub type N312 = NInt<U312>; |
| pub type U313 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B0>, B1>; |
| pub type P313 = PInt<U313>; pub type N313 = NInt<U313>; |
| pub type U314 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B1>, B0>; |
| pub type P314 = PInt<U314>; pub type N314 = NInt<U314>; |
| pub type U315 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B1>, B1>; |
| pub type P315 = PInt<U315>; pub type N315 = NInt<U315>; |
| pub type U316 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B0>, B0>; |
| pub type P316 = PInt<U316>; pub type N316 = NInt<U316>; |
| pub type U317 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B0>, B1>; |
| pub type P317 = PInt<U317>; pub type N317 = NInt<U317>; |
| pub type U318 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B1>, B0>; |
| pub type P318 = PInt<U318>; pub type N318 = NInt<U318>; |
| pub type U319 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B1>, B1>; |
| pub type P319 = PInt<U319>; pub type N319 = NInt<U319>; |
| pub type U320 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B0>, B0>; |
| pub type P320 = PInt<U320>; pub type N320 = NInt<U320>; |
| pub type U321 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B0>, B1>; |
| pub type P321 = PInt<U321>; pub type N321 = NInt<U321>; |
| pub type U322 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B1>, B0>; |
| pub type P322 = PInt<U322>; pub type N322 = NInt<U322>; |
| pub type U323 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B1>, B1>; |
| pub type P323 = PInt<U323>; pub type N323 = NInt<U323>; |
| pub type U324 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B0>, B0>; |
| pub type P324 = PInt<U324>; pub type N324 = NInt<U324>; |
| pub type U325 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B0>, B1>; |
| pub type P325 = PInt<U325>; pub type N325 = NInt<U325>; |
| pub type U326 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B1>, B0>; |
| pub type P326 = PInt<U326>; pub type N326 = NInt<U326>; |
| pub type U327 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B1>, B1>; |
| pub type P327 = PInt<U327>; pub type N327 = NInt<U327>; |
| pub type U328 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B0>, B0>; |
| pub type P328 = PInt<U328>; pub type N328 = NInt<U328>; |
| pub type U329 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B0>, B1>; |
| pub type P329 = PInt<U329>; pub type N329 = NInt<U329>; |
| pub type U330 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B1>, B0>; |
| pub type P330 = PInt<U330>; pub type N330 = NInt<U330>; |
| pub type U331 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B1>, B1>; |
| pub type P331 = PInt<U331>; pub type N331 = NInt<U331>; |
| pub type U332 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B0>, B0>; |
| pub type P332 = PInt<U332>; pub type N332 = NInt<U332>; |
| pub type U333 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B0>, B1>; |
| pub type P333 = PInt<U333>; pub type N333 = NInt<U333>; |
| pub type U334 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, B0>; |
| pub type P334 = PInt<U334>; pub type N334 = NInt<U334>; |
| pub type U335 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B1>, B1>; |
| pub type P335 = PInt<U335>; pub type N335 = NInt<U335>; |
| pub type U336 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B0>, B0>; |
| pub type P336 = PInt<U336>; pub type N336 = NInt<U336>; |
| pub type U337 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B0>, B1>; |
| pub type P337 = PInt<U337>; pub type N337 = NInt<U337>; |
| pub type U338 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B1>, B0>; |
| pub type P338 = PInt<U338>; pub type N338 = NInt<U338>; |
| pub type U339 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B1>, B1>; |
| pub type P339 = PInt<U339>; pub type N339 = NInt<U339>; |
| pub type U340 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B0>, B0>; |
| pub type P340 = PInt<U340>; pub type N340 = NInt<U340>; |
| pub type U341 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B0>, B1>; |
| pub type P341 = PInt<U341>; pub type N341 = NInt<U341>; |
| pub type U342 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B1>, B0>; |
| pub type P342 = PInt<U342>; pub type N342 = NInt<U342>; |
| pub type U343 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B1>, B1>; |
| pub type P343 = PInt<U343>; pub type N343 = NInt<U343>; |
| pub type U344 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B0>, B0>; |
| pub type P344 = PInt<U344>; pub type N344 = NInt<U344>; |
| pub type U345 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B0>, B1>; |
| pub type P345 = PInt<U345>; pub type N345 = NInt<U345>; |
| pub type U346 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B1>, B0>; |
| pub type P346 = PInt<U346>; pub type N346 = NInt<U346>; |
| pub type U347 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B1>, B1>; |
| pub type P347 = PInt<U347>; pub type N347 = NInt<U347>; |
| pub type U348 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B0>, B0>; |
| pub type P348 = PInt<U348>; pub type N348 = NInt<U348>; |
| pub type U349 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B0>, B1>; |
| pub type P349 = PInt<U349>; pub type N349 = NInt<U349>; |
| pub type U350 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B1>, B0>; |
| pub type P350 = PInt<U350>; pub type N350 = NInt<U350>; |
| pub type U351 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B1>, B1>; |
| pub type P351 = PInt<U351>; pub type N351 = NInt<U351>; |
| pub type U352 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B0>, B0>; |
| pub type P352 = PInt<U352>; pub type N352 = NInt<U352>; |
| pub type U353 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B0>, B1>; |
| pub type P353 = PInt<U353>; pub type N353 = NInt<U353>; |
| pub type U354 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B1>, B0>; |
| pub type P354 = PInt<U354>; pub type N354 = NInt<U354>; |
| pub type U355 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B1>, B1>; |
| pub type P355 = PInt<U355>; pub type N355 = NInt<U355>; |
| pub type U356 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B0>, B0>; |
| pub type P356 = PInt<U356>; pub type N356 = NInt<U356>; |
| pub type U357 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B0>, B1>; |
| pub type P357 = PInt<U357>; pub type N357 = NInt<U357>; |
| pub type U358 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B1>, B0>; |
| pub type P358 = PInt<U358>; pub type N358 = NInt<U358>; |
| pub type U359 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B1>, B1>; |
| pub type P359 = PInt<U359>; pub type N359 = NInt<U359>; |
| pub type U360 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B0>, B0>; |
| pub type P360 = PInt<U360>; pub type N360 = NInt<U360>; |
| pub type U361 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B0>, B1>; |
| pub type P361 = PInt<U361>; pub type N361 = NInt<U361>; |
| pub type U362 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B1>, B0>; |
| pub type P362 = PInt<U362>; pub type N362 = NInt<U362>; |
| pub type U363 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B1>, B1>; |
| pub type P363 = PInt<U363>; pub type N363 = NInt<U363>; |
| pub type U364 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B0>, B0>; |
| pub type P364 = PInt<U364>; pub type N364 = NInt<U364>; |
| pub type U365 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B0>, B1>; |
| pub type P365 = PInt<U365>; pub type N365 = NInt<U365>; |
| pub type U366 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B1>, B0>; |
| pub type P366 = PInt<U366>; pub type N366 = NInt<U366>; |
| pub type U367 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B1>, B1>; |
| pub type P367 = PInt<U367>; pub type N367 = NInt<U367>; |
| pub type U368 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B0>, B0>; |
| pub type P368 = PInt<U368>; pub type N368 = NInt<U368>; |
| pub type U369 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B0>, B1>; |
| pub type P369 = PInt<U369>; pub type N369 = NInt<U369>; |
| pub type U370 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B1>, B0>; |
| pub type P370 = PInt<U370>; pub type N370 = NInt<U370>; |
| pub type U371 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B1>, B1>; |
| pub type P371 = PInt<U371>; pub type N371 = NInt<U371>; |
| pub type U372 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B0>, B0>; |
| pub type P372 = PInt<U372>; pub type N372 = NInt<U372>; |
| pub type U373 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B0>, B1>; |
| pub type P373 = PInt<U373>; pub type N373 = NInt<U373>; |
| pub type U374 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B1>, B0>; |
| pub type P374 = PInt<U374>; pub type N374 = NInt<U374>; |
| pub type U375 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B1>, B1>; |
| pub type P375 = PInt<U375>; pub type N375 = NInt<U375>; |
| pub type U376 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B0>, B0>; |
| pub type P376 = PInt<U376>; pub type N376 = NInt<U376>; |
| pub type U377 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B0>, B1>; |
| pub type P377 = PInt<U377>; pub type N377 = NInt<U377>; |
| pub type U378 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B1>, B0>; |
| pub type P378 = PInt<U378>; pub type N378 = NInt<U378>; |
| pub type U379 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B1>, B1>; |
| pub type P379 = PInt<U379>; pub type N379 = NInt<U379>; |
| pub type U380 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B0>, B0>; |
| pub type P380 = PInt<U380>; pub type N380 = NInt<U380>; |
| pub type U381 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B0>, B1>; |
| pub type P381 = PInt<U381>; pub type N381 = NInt<U381>; |
| pub type U382 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B1>, B0>; |
| pub type P382 = PInt<U382>; pub type N382 = NInt<U382>; |
| pub type U383 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B1>, B1>; |
| pub type P383 = PInt<U383>; pub type N383 = NInt<U383>; |
| pub type U384 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B0>; |
| pub type P384 = PInt<U384>; pub type N384 = NInt<U384>; |
| pub type U385 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B0>, B1>; |
| pub type P385 = PInt<U385>; pub type N385 = NInt<U385>; |
| pub type U386 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B0>; |
| pub type P386 = PInt<U386>; pub type N386 = NInt<U386>; |
| pub type U387 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B1>, B1>; |
| pub type P387 = PInt<U387>; pub type N387 = NInt<U387>; |
| pub type U388 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B0>; |
| pub type P388 = PInt<U388>; pub type N388 = NInt<U388>; |
| pub type U389 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B0>, B1>; |
| pub type P389 = PInt<U389>; pub type N389 = NInt<U389>; |
| pub type U390 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B0>; |
| pub type P390 = PInt<U390>; pub type N390 = NInt<U390>; |
| pub type U391 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B1>, B1>; |
| pub type P391 = PInt<U391>; pub type N391 = NInt<U391>; |
| pub type U392 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B0>; |
| pub type P392 = PInt<U392>; pub type N392 = NInt<U392>; |
| pub type U393 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B0>, B1>; |
| pub type P393 = PInt<U393>; pub type N393 = NInt<U393>; |
| pub type U394 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B0>; |
| pub type P394 = PInt<U394>; pub type N394 = NInt<U394>; |
| pub type U395 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B1>, B1>; |
| pub type P395 = PInt<U395>; pub type N395 = NInt<U395>; |
| pub type U396 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B0>; |
| pub type P396 = PInt<U396>; pub type N396 = NInt<U396>; |
| pub type U397 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B0>, B1>; |
| pub type P397 = PInt<U397>; pub type N397 = NInt<U397>; |
| pub type U398 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B0>; |
| pub type P398 = PInt<U398>; pub type N398 = NInt<U398>; |
| pub type U399 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B1>, B1>; |
| pub type P399 = PInt<U399>; pub type N399 = NInt<U399>; |
| pub type U400 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B0>; |
| pub type P400 = PInt<U400>; pub type N400 = NInt<U400>; |
| pub type U401 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B0>, B1>; |
| pub type P401 = PInt<U401>; pub type N401 = NInt<U401>; |
| pub type U402 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B0>; |
| pub type P402 = PInt<U402>; pub type N402 = NInt<U402>; |
| pub type U403 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B1>, B1>; |
| pub type P403 = PInt<U403>; pub type N403 = NInt<U403>; |
| pub type U404 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B0>; |
| pub type P404 = PInt<U404>; pub type N404 = NInt<U404>; |
| pub type U405 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B0>, B1>; |
| pub type P405 = PInt<U405>; pub type N405 = NInt<U405>; |
| pub type U406 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B0>; |
| pub type P406 = PInt<U406>; pub type N406 = NInt<U406>; |
| pub type U407 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B1>, B1>; |
| pub type P407 = PInt<U407>; pub type N407 = NInt<U407>; |
| pub type U408 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B0>; |
| pub type P408 = PInt<U408>; pub type N408 = NInt<U408>; |
| pub type U409 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B0>, B1>; |
| pub type P409 = PInt<U409>; pub type N409 = NInt<U409>; |
| pub type U410 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B0>; |
| pub type P410 = PInt<U410>; pub type N410 = NInt<U410>; |
| pub type U411 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B1>, B1>; |
| pub type P411 = PInt<U411>; pub type N411 = NInt<U411>; |
| pub type U412 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B0>; |
| pub type P412 = PInt<U412>; pub type N412 = NInt<U412>; |
| pub type U413 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B0>, B1>; |
| pub type P413 = PInt<U413>; pub type N413 = NInt<U413>; |
| pub type U414 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B0>; |
| pub type P414 = PInt<U414>; pub type N414 = NInt<U414>; |
| pub type U415 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B1>, B1>; |
| pub type P415 = PInt<U415>; pub type N415 = NInt<U415>; |
| pub type U416 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B0>; |
| pub type P416 = PInt<U416>; pub type N416 = NInt<U416>; |
| pub type U417 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B0>, B1>; |
| pub type P417 = PInt<U417>; pub type N417 = NInt<U417>; |
| pub type U418 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B0>; |
| pub type P418 = PInt<U418>; pub type N418 = NInt<U418>; |
| pub type U419 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B1>, B1>; |
| pub type P419 = PInt<U419>; pub type N419 = NInt<U419>; |
| pub type U420 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B0>; |
| pub type P420 = PInt<U420>; pub type N420 = NInt<U420>; |
| pub type U421 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B0>, B1>; |
| pub type P421 = PInt<U421>; pub type N421 = NInt<U421>; |
| pub type U422 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B0>; |
| pub type P422 = PInt<U422>; pub type N422 = NInt<U422>; |
| pub type U423 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B1>, B1>; |
| pub type P423 = PInt<U423>; pub type N423 = NInt<U423>; |
| pub type U424 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B0>; |
| pub type P424 = PInt<U424>; pub type N424 = NInt<U424>; |
| pub type U425 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B0>, B1>; |
| pub type P425 = PInt<U425>; pub type N425 = NInt<U425>; |
| pub type U426 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B0>; |
| pub type P426 = PInt<U426>; pub type N426 = NInt<U426>; |
| pub type U427 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B1>, B1>; |
| pub type P427 = PInt<U427>; pub type N427 = NInt<U427>; |
| pub type U428 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B0>; |
| pub type P428 = PInt<U428>; pub type N428 = NInt<U428>; |
| pub type U429 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B0>, B1>; |
| pub type P429 = PInt<U429>; pub type N429 = NInt<U429>; |
| pub type U430 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B0>; |
| pub type P430 = PInt<U430>; pub type N430 = NInt<U430>; |
| pub type U431 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B1>, B1>; |
| pub type P431 = PInt<U431>; pub type N431 = NInt<U431>; |
| pub type U432 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B0>; |
| pub type P432 = PInt<U432>; pub type N432 = NInt<U432>; |
| pub type U433 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B0>, B1>; |
| pub type P433 = PInt<U433>; pub type N433 = NInt<U433>; |
| pub type U434 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B0>; |
| pub type P434 = PInt<U434>; pub type N434 = NInt<U434>; |
| pub type U435 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B1>, B1>; |
| pub type P435 = PInt<U435>; pub type N435 = NInt<U435>; |
| pub type U436 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B0>; |
| pub type P436 = PInt<U436>; pub type N436 = NInt<U436>; |
| pub type U437 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B0>, B1>; |
| pub type P437 = PInt<U437>; pub type N437 = NInt<U437>; |
| pub type U438 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B0>; |
| pub type P438 = PInt<U438>; pub type N438 = NInt<U438>; |
| pub type U439 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B1>, B1>; |
| pub type P439 = PInt<U439>; pub type N439 = NInt<U439>; |
| pub type U440 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B0>; |
| pub type P440 = PInt<U440>; pub type N440 = NInt<U440>; |
| pub type U441 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, B0>, B1>; |
| pub type P441 = PInt<U441>; pub type N441 = NInt<U441>; |
| pub type U442 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B0>; |
| pub type P442 = PInt<U442>; pub type N442 = NInt<U442>; |
| pub type U443 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>, B1>, B1>; |
| pub type P443 = PInt<U443>; pub type N443 = NInt<U443>; |
| pub type U444 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B0>; |
| pub type P444 = PInt<U444>; pub type N444 = NInt<U444>; |
| pub type U445 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B0>, B1>; |
| pub type P445 = PInt<U445>; pub type N445 = NInt<U445>; |
| pub type U446 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B0>; |
| pub type P446 = PInt<U446>; pub type N446 = NInt<U446>; |
| pub type U447 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>, B1>, B1>; |
| pub type P447 = PInt<U447>; pub type N447 = NInt<U447>; |
| pub type U448 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B0>; |
| pub type P448 = PInt<U448>; pub type N448 = NInt<U448>; |
| pub type U449 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B0>, B1>; |
| pub type P449 = PInt<U449>; pub type N449 = NInt<U449>; |
| pub type U450 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B0>; |
| pub type P450 = PInt<U450>; pub type N450 = NInt<U450>; |
| pub type U451 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>, B1>, B1>; |
| pub type P451 = PInt<U451>; pub type N451 = NInt<U451>; |
| pub type U452 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B0>; |
| pub type P452 = PInt<U452>; pub type N452 = NInt<U452>; |
| pub type U453 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, B0>, B1>; |
| pub type P453 = PInt<U453>; pub type N453 = NInt<U453>; |
| pub type U454 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B0>; |
| pub type P454 = PInt<U454>; pub type N454 = NInt<U454>; |
| pub type U455 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>, B1>, B1>; |
| pub type P455 = PInt<U455>; pub type N455 = NInt<U455>; |
| pub type U456 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B0>; |
| pub type P456 = PInt<U456>; pub type N456 = NInt<U456>; |
| pub type U457 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B0>, B1>; |
| pub type P457 = PInt<U457>; pub type N457 = NInt<U457>; |
| pub type U458 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B0>; |
| pub type P458 = PInt<U458>; pub type N458 = NInt<U458>; |
| pub type U459 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>, B1>, B1>; |
| pub type P459 = PInt<U459>; pub type N459 = NInt<U459>; |
| pub type U460 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B0>; |
| pub type P460 = PInt<U460>; pub type N460 = NInt<U460>; |
| pub type U461 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B0>, B1>; |
| pub type P461 = PInt<U461>; pub type N461 = NInt<U461>; |
| pub type U462 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B0>; |
| pub type P462 = PInt<U462>; pub type N462 = NInt<U462>; |
| pub type U463 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>, B1>, B1>; |
| pub type P463 = PInt<U463>; pub type N463 = NInt<U463>; |
| pub type U464 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B0>; |
| pub type P464 = PInt<U464>; pub type N464 = NInt<U464>; |
| pub type U465 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, B0>, B1>; |
| pub type P465 = PInt<U465>; pub type N465 = NInt<U465>; |
| pub type U466 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B0>; |
| pub type P466 = PInt<U466>; pub type N466 = NInt<U466>; |
| pub type U467 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>, B1>, B1>; |
| pub type P467 = PInt<U467>; pub type N467 = NInt<U467>; |
| pub type U468 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B0>; |
| pub type P468 = PInt<U468>; pub type N468 = NInt<U468>; |
| pub type U469 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B0>, B1>; |
| pub type P469 = PInt<U469>; pub type N469 = NInt<U469>; |
| pub type U470 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B0>; |
| pub type P470 = PInt<U470>; pub type N470 = NInt<U470>; |
| pub type U471 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>, B1>, B1>; |
| pub type P471 = PInt<U471>; pub type N471 = NInt<U471>; |
| pub type U472 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B0>; |
| pub type P472 = PInt<U472>; pub type N472 = NInt<U472>; |
| pub type U473 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B0>, B1>; |
| pub type P473 = PInt<U473>; pub type N473 = NInt<U473>; |
| pub type U474 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B0>; |
| pub type P474 = PInt<U474>; pub type N474 = NInt<U474>; |
| pub type U475 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>, B1>, B1>; |
| pub type P475 = PInt<U475>; pub type N475 = NInt<U475>; |
| pub type U476 = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm |