N.Nat.Type

See the readme for more information.

at least

type alias N1000NatPlus more =

N999NatPlus (N1NatPlus more)

At least 1000.

type alias N1001NatPlus more =

N1000NatPlus (N1NatPlus more)

At least 1001.

type alias N1002NatPlus more =

N1001NatPlus (N1NatPlus more)

At least 1002.

type alias N1003NatPlus more =

N1002NatPlus (N1NatPlus more)

At least 1003.

type alias N1004NatPlus more =

N1003NatPlus (N1NatPlus more)

At least 1004.

type alias N1005NatPlus more =

N1004NatPlus (N1NatPlus more)

At least 1005.

type alias N1006NatPlus more =

N1005NatPlus (N1NatPlus more)

At least 1006.

type alias N1007NatPlus more =

N1006NatPlus (N1NatPlus more)

At least 1007.

type alias N1008NatPlus more =

N1007NatPlus (N1NatPlus more)

At least 1008.

type alias N1009NatPlus more =

N1008NatPlus (N1NatPlus more)

At least 1009.

type alias N100NatPlus more =

N99NatPlus (N1NatPlus more)

At least 100.

type alias N1010NatPlus more =

N1009NatPlus (N1NatPlus more)

At least 1010.

type alias N1011NatPlus more =

N1010NatPlus (N1NatPlus more)

At least 1011.

type alias N1012NatPlus more =

N1011NatPlus (N1NatPlus more)

At least 1012.

type alias N1013NatPlus more =

N1012NatPlus (N1NatPlus more)

At least 1013.

type alias N1014NatPlus more =

N1013NatPlus (N1NatPlus more)

At least 1014.

type alias N1015NatPlus more =

N1014NatPlus (N1NatPlus more)

At least 1015.

type alias N1016NatPlus more =

N1015NatPlus (N1NatPlus more)

At least 1016.

type alias N1017NatPlus more =

N1016NatPlus (N1NatPlus more)

At least 1017.

type alias N1018NatPlus more =

N1017NatPlus (N1NatPlus more)

At least 1018.

type alias N1019NatPlus more =

N1018NatPlus (N1NatPlus more)

At least 1019.

type alias N101NatPlus more =

N100NatPlus (N1NatPlus more)

At least 101.

type alias N1020NatPlus more =

N1019NatPlus (N1NatPlus more)

At least 1020.

type alias N1021NatPlus more =

N1020NatPlus (N1NatPlus more)

At least 1021.

type alias N1022NatPlus more =

N1021NatPlus (N1NatPlus more)

At least 1022.

type alias N1023NatPlus more =

N1022NatPlus (N1NatPlus more)

At least 1023.

type alias N1024NatPlus more =

N1023NatPlus (N1NatPlus more)

At least 1024.

type alias N102NatPlus more =

N101NatPlus (N1NatPlus more)

At least 102.

type alias N103NatPlus more =

N102NatPlus (N1NatPlus more)

At least 103.

type alias N104NatPlus more =

N103NatPlus (N1NatPlus more)

At least 104.

type alias N105NatPlus more =

N104NatPlus (N1NatPlus more)

At least 105.

type alias N106NatPlus more =

N105NatPlus (N1NatPlus more)

At least 106.

type alias N107NatPlus more =

N106NatPlus (N1NatPlus more)

At least 107.

type alias N108NatPlus more =

N107NatPlus (N1NatPlus more)

At least 108.

type alias N109NatPlus more =

N108NatPlus (N1NatPlus more)

At least 109.

type alias N10NatPlus more =

N9NatPlus (N1NatPlus more)

At least 10.

type alias N110NatPlus more =

N109NatPlus (N1NatPlus more)

At least 110.

type alias N111NatPlus more =

N110NatPlus (N1NatPlus more)

At least 111.

type alias N112NatPlus more =

N111NatPlus (N1NatPlus more)

At least 112.

type alias N113NatPlus more =

N112NatPlus (N1NatPlus more)

At least 113.

type alias N114NatPlus more =

N113NatPlus (N1NatPlus more)

At least 114.

type alias N115NatPlus more =

N114NatPlus (N1NatPlus more)

At least 115.

type alias N116NatPlus more =

N115NatPlus (N1NatPlus more)

At least 116.

type alias N117NatPlus more =

N116NatPlus (N1NatPlus more)

At least 117.

type alias N118NatPlus more =

N117NatPlus (N1NatPlus more)

At least 118.

type alias N119NatPlus more =

N118NatPlus (N1NatPlus more)

At least 119.

type alias N11NatPlus more =

N10NatPlus (N1NatPlus more)

At least 11.

type alias N120NatPlus more =

N119NatPlus (N1NatPlus more)

At least 120.

type alias N121NatPlus more =

N120NatPlus (N1NatPlus more)

At least 121.

type alias N122NatPlus more =

N121NatPlus (N1NatPlus more)

At least 122.

type alias N123NatPlus more =

N122NatPlus (N1NatPlus more)

At least 123.

type alias N124NatPlus more =

N123NatPlus (N1NatPlus more)

At least 124.

type alias N125NatPlus more =

N124NatPlus (N1NatPlus more)

At least 125.

type alias N126NatPlus more =

N125NatPlus (N1NatPlus more)

At least 126.

type alias N127NatPlus more =

N126NatPlus (N1NatPlus more)

At least 127.

type alias N128NatPlus more =

N127NatPlus (N1NatPlus more)

At least 128.

type alias N129NatPlus more =

N128NatPlus (N1NatPlus more)

At least 129.

type alias N12NatPlus more =

N11NatPlus (N1NatPlus more)

At least 12.

type alias N130NatPlus more =

N129NatPlus (N1NatPlus more)

At least 130.

type alias N131NatPlus more =

N130NatPlus (N1NatPlus more)

At least 131.

type alias N132NatPlus more =

N131NatPlus (N1NatPlus more)

At least 132.

type alias N133NatPlus more =

N132NatPlus (N1NatPlus more)

At least 133.

type alias N134NatPlus more =

N133NatPlus (N1NatPlus more)

At least 134.

type alias N135NatPlus more =

N134NatPlus (N1NatPlus more)

At least 135.

type alias N136NatPlus more =

N135NatPlus (N1NatPlus more)

At least 136.

type alias N137NatPlus more =

N136NatPlus (N1NatPlus more)

At least 137.

type alias N138NatPlus more =

N137NatPlus (N1NatPlus more)

At least 138.

type alias N139NatPlus more =

N138NatPlus (N1NatPlus more)

At least 139.

type alias N13NatPlus more =

N12NatPlus (N1NatPlus more)

At least 13.

type alias N140NatPlus more =

N139NatPlus (N1NatPlus more)

At least 140.

type alias N141NatPlus more =

N140NatPlus (N1NatPlus more)

At least 141.

type alias N142NatPlus more =

N141NatPlus (N1NatPlus more)

At least 142.

type alias N143NatPlus more =

N142NatPlus (N1NatPlus more)

At least 143.

type alias N144NatPlus more =

N143NatPlus (N1NatPlus more)

At least 144.

type alias N145NatPlus more =

N144NatPlus (N1NatPlus more)

At least 145.

type alias N146NatPlus more =

N145NatPlus (N1NatPlus more)

At least 146.

type alias N147NatPlus more =

N146NatPlus (N1NatPlus more)

At least 147.

type alias N148NatPlus more =

N147NatPlus (N1NatPlus more)

At least 148.

type alias N149NatPlus more =

N148NatPlus (N1NatPlus more)

At least 149.

type alias N14NatPlus more =

N13NatPlus (N1NatPlus more)

At least 14.

type alias N150NatPlus more =

N149NatPlus (N1NatPlus more)

At least 150.

type alias N151NatPlus more =

N150NatPlus (N1NatPlus more)

At least 151.

type alias N152NatPlus more =

N151NatPlus (N1NatPlus more)

At least 152.

type alias N153NatPlus more =

N152NatPlus (N1NatPlus more)

At least 153.

type alias N154NatPlus more =

N153NatPlus (N1NatPlus more)

At least 154.

type alias N155NatPlus more =

N154NatPlus (N1NatPlus more)

At least 155.

type alias N156NatPlus more =

N155NatPlus (N1NatPlus more)

At least 156.

type alias N157NatPlus more =

N156NatPlus (N1NatPlus more)

At least 157.

type alias N158NatPlus more =

N157NatPlus (N1NatPlus more)

At least 158.

type alias N159NatPlus more =

N158NatPlus (N1NatPlus more)

At least 159.

type alias N15NatPlus more =

N14NatPlus (N1NatPlus more)

At least 15.

type alias N160NatPlus more =

N159NatPlus (N1NatPlus more)

At least 160.

type alias N161NatPlus more =

N160NatPlus (N1NatPlus more)

At least 161.

type alias N162NatPlus more =

N161NatPlus (N1NatPlus more)

At least 162.

type alias N163NatPlus more =

N162NatPlus (N1NatPlus more)

At least 163.

type alias N164NatPlus more =

N163NatPlus (N1NatPlus more)

At least 164.

type alias N165NatPlus more =

N164NatPlus (N1NatPlus more)

At least 165.

type alias N166NatPlus more =

N165NatPlus (N1NatPlus more)

At least 166.

type alias N167NatPlus more =

N166NatPlus (N1NatPlus more)

At least 167.

type alias N168NatPlus more =

N167NatPlus (N1NatPlus more)

At least 168.

type alias N169NatPlus more =

N168NatPlus (N1NatPlus more)

At least 169.

type alias N16NatPlus more =

N15NatPlus (N1NatPlus more)

At least 16.

type alias N170NatPlus more =

N169NatPlus (N1NatPlus more)

At least 170.

type alias N171NatPlus more =

N170NatPlus (N1NatPlus more)

At least 171.

type alias N172NatPlus more =

N171NatPlus (N1NatPlus more)

At least 172.

type alias N173NatPlus more =

N172NatPlus (N1NatPlus more)

At least 173.

type alias N174NatPlus more =

N173NatPlus (N1NatPlus more)

At least 174.

type alias N175NatPlus more =

N174NatPlus (N1NatPlus more)

At least 175.

type alias N176NatPlus more =

N175NatPlus (N1NatPlus more)

At least 176.

type alias N177NatPlus more =

N176NatPlus (N1NatPlus more)

At least 177.

type alias N178NatPlus more =

N177NatPlus (N1NatPlus more)

At least 178.

type alias N179NatPlus more =

N178NatPlus (N1NatPlus more)

At least 179.

type alias N17NatPlus more =

N16NatPlus (N1NatPlus more)

At least 17.

type alias N180NatPlus more =

N179NatPlus (N1NatPlus more)

At least 180.

type alias N181NatPlus more =

N180NatPlus (N1NatPlus more)

At least 181.

type alias N182NatPlus more =

N181NatPlus (N1NatPlus more)

At least 182.

type alias N183NatPlus more =

N182NatPlus (N1NatPlus more)

At least 183.

type alias N184NatPlus more =

N183NatPlus (N1NatPlus more)

At least 184.

type alias N185NatPlus more =

N184NatPlus (N1NatPlus more)

At least 185.

type alias N186NatPlus more =

N185NatPlus (N1NatPlus more)

At least 186.

type alias N187NatPlus more =

N186NatPlus (N1NatPlus more)

At least 187.

type alias N188NatPlus more =

N187NatPlus (N1NatPlus more)

At least 188.

type alias N189NatPlus more =

N188NatPlus (N1NatPlus more)

At least 189.

type alias N18NatPlus more =

N17NatPlus (N1NatPlus more)

At least 18.

type alias N190NatPlus more =

N189NatPlus (N1NatPlus more)

At least 190.

type alias N191NatPlus more =

N190NatPlus (N1NatPlus more)

At least 191.

type alias N192NatPlus more =

N191NatPlus (N1NatPlus more)

At least 192.

type alias N193NatPlus more =

N192NatPlus (N1NatPlus more)

At least 193.

type alias N194NatPlus more =

N193NatPlus (N1NatPlus more)

At least 194.

type alias N195NatPlus more =

N194NatPlus (N1NatPlus more)

At least 195.

type alias N196NatPlus more =

N195NatPlus (N1NatPlus more)

At least 196.

type alias N197NatPlus more =

N196NatPlus (N1NatPlus more)

At least 197.

type alias N198NatPlus more =

N197NatPlus (N1NatPlus more)

At least 198.

type alias N199NatPlus more =

N198NatPlus (N1NatPlus more)

At least 199.

type alias N19NatPlus more =

N18NatPlus (N1NatPlus more)

At least 19.

type N1NatPlus more

At least 1.

type alias N200NatPlus more =

N199NatPlus (N1NatPlus more)

At least 200.

type alias N201NatPlus more =

N200NatPlus (N1NatPlus more)

At least 201.

type alias N202NatPlus more =

N201NatPlus (N1NatPlus more)

At least 202.

type alias N203NatPlus more =

N202NatPlus (N1NatPlus more)

At least 203.

type alias N204NatPlus more =

N203NatPlus (N1NatPlus more)

At least 204.

type alias N205NatPlus more =

N204NatPlus (N1NatPlus more)

At least 205.

type alias N206NatPlus more =

N205NatPlus (N1NatPlus more)

At least 206.

type alias N207NatPlus more =

N206NatPlus (N1NatPlus more)

At least 207.

type alias N208NatPlus more =

N207NatPlus (N1NatPlus more)

At least 208.

type alias N209NatPlus more =

N208NatPlus (N1NatPlus more)

At least 209.

type alias N20NatPlus more =

N19NatPlus (N1NatPlus more)

At least 20.

type alias N210NatPlus more =

N209NatPlus (N1NatPlus more)

At least 210.

type alias N211NatPlus more =

N210NatPlus (N1NatPlus more)

At least 211.

type alias N212NatPlus more =

N211NatPlus (N1NatPlus more)

At least 212.

type alias N213NatPlus more =

N212NatPlus (N1NatPlus more)

At least 213.

type alias N214NatPlus more =

N213NatPlus (N1NatPlus more)

At least 214.

type alias N215NatPlus more =

N214NatPlus (N1NatPlus more)

At least 215.

type alias N216NatPlus more =

N215NatPlus (N1NatPlus more)

At least 216.

type alias N217NatPlus more =

N216NatPlus (N1NatPlus more)

At least 217.

type alias N218NatPlus more =

N217NatPlus (N1NatPlus more)

At least 218.

type alias N219NatPlus more =

N218NatPlus (N1NatPlus more)

At least 219.

type alias N21NatPlus more =

N20NatPlus (N1NatPlus more)

At least 21.

type alias N220NatPlus more =

N219NatPlus (N1NatPlus more)

At least 220.

type alias N221NatPlus more =

N220NatPlus (N1NatPlus more)

At least 221.

type alias N222NatPlus more =

N221NatPlus (N1NatPlus more)

At least 222.

type alias N223NatPlus more =

N222NatPlus (N1NatPlus more)

At least 223.

type alias N224NatPlus more =

N223NatPlus (N1NatPlus more)

At least 224.

type alias N225NatPlus more =

N224NatPlus (N1NatPlus more)

At least 225.

type alias N226NatPlus more =

N225NatPlus (N1NatPlus more)

At least 226.

type alias N227NatPlus more =

N226NatPlus (N1NatPlus more)

At least 227.

type alias N228NatPlus more =

N227NatPlus (N1NatPlus more)

At least 228.

type alias N229NatPlus more =

N228NatPlus (N1NatPlus more)

At least 229.

type alias N22NatPlus more =

N21NatPlus (N1NatPlus more)

At least 22.

type alias N230NatPlus more =

N229NatPlus (N1NatPlus more)

At least 230.

type alias N231NatPlus more =

N230NatPlus (N1NatPlus more)

At least 231.

type alias N232NatPlus more =

N231NatPlus (N1NatPlus more)

At least 232.

type alias N233NatPlus more =

N232NatPlus (N1NatPlus more)

At least 233.

type alias N234NatPlus more =

N233NatPlus (N1NatPlus more)

At least 234.

type alias N235NatPlus more =

N234NatPlus (N1NatPlus more)

At least 235.

type alias N236NatPlus more =

N235NatPlus (N1NatPlus more)

At least 236.

type alias N237NatPlus more =

N236NatPlus (N1NatPlus more)

At least 237.

type alias N238NatPlus more =

N237NatPlus (N1NatPlus more)

At least 238.

type alias N239NatPlus more =

N238NatPlus (N1NatPlus more)

At least 239.

type alias N23NatPlus more =

N22NatPlus (N1NatPlus more)

At least 23.

type alias N240NatPlus more =

N239NatPlus (N1NatPlus more)

At least 240.

type alias N241NatPlus more =

N240NatPlus (N1NatPlus more)

At least 241.

type alias N242NatPlus more =

N241NatPlus (N1NatPlus more)

At least 242.

type alias N243NatPlus more =

N242NatPlus (N1NatPlus more)

At least 243.

type alias N244NatPlus more =

N243NatPlus (N1NatPlus more)

At least 244.

type alias N245NatPlus more =

N244NatPlus (N1NatPlus more)

At least 245.

type alias N246NatPlus more =

N245NatPlus (N1NatPlus more)

At least 246.

type alias N247NatPlus more =

N246NatPlus (N1NatPlus more)

At least 247.

type alias N248NatPlus more =

N247NatPlus (N1NatPlus more)

At least 248.

type alias N249NatPlus more =

N248NatPlus (N1NatPlus more)

At least 249.

type alias N24NatPlus more =

N23NatPlus (N1NatPlus more)

At least 24.

type alias N250NatPlus more =

N249NatPlus (N1NatPlus more)

At least 250.

type alias N251NatPlus more =

N250NatPlus (N1NatPlus more)

At least 251.

type alias N252NatPlus more =

N251NatPlus (N1NatPlus more)

At least 252.

type alias N253NatPlus more =

N252NatPlus (N1NatPlus more)

At least 253.

type alias N254NatPlus more =

N253NatPlus (N1NatPlus more)

At least 254.

type alias N255NatPlus more =

N254NatPlus (N1NatPlus more)

At least 255.

type alias N256NatPlus more =

N255NatPlus (N1NatPlus more)

At least 256.

type alias N257NatPlus more =

N256NatPlus (N1NatPlus more)

At least 257.

type alias N258NatPlus more =

N257NatPlus (N1NatPlus more)

At least 258.

type alias N259NatPlus more =

N258NatPlus (N1NatPlus more)

At least 259.

type alias N25NatPlus more =

N24NatPlus (N1NatPlus more)

At least 25.

type alias N260NatPlus more =

N259NatPlus (N1NatPlus more)

At least 260.

type alias N261NatPlus more =

N260NatPlus (N1NatPlus more)

At least 261.

type alias N262NatPlus more =

N261NatPlus (N1NatPlus more)

At least 262.

type alias N263NatPlus more =

N262NatPlus (N1NatPlus more)

At least 263.

type alias N264NatPlus more =

N263NatPlus (N1NatPlus more)

At least 264.

type alias N265NatPlus more =

N264NatPlus (N1NatPlus more)

At least 265.

type alias N266NatPlus more =

N265NatPlus (N1NatPlus more)

At least 266.

type alias N267NatPlus more =

N266NatPlus (N1NatPlus more)

At least 267.

type alias N268NatPlus more =

N267NatPlus (N1NatPlus more)

At least 268.

type alias N269NatPlus more =

N268NatPlus (N1NatPlus more)

At least 269.

type alias N26NatPlus more =

N25NatPlus (N1NatPlus more)

At least 26.

type alias N270NatPlus more =

N269NatPlus (N1NatPlus more)

At least 270.

type alias N271NatPlus more =

N270NatPlus (N1NatPlus more)

At least 271.

type alias N272NatPlus more =

N271NatPlus (N1NatPlus more)

At least 272.

type alias N273NatPlus more =

N272NatPlus (N1NatPlus more)

At least 273.

type alias N274NatPlus more =

N273NatPlus (N1NatPlus more)

At least 274.

type alias N275NatPlus more =

N274NatPlus (N1NatPlus more)

At least 275.

type alias N276NatPlus more =

N275NatPlus (N1NatPlus more)

At least 276.

type alias N277NatPlus more =

N276NatPlus (N1NatPlus more)

At least 277.

type alias N278NatPlus more =

N277NatPlus (N1NatPlus more)

At least 278.

type alias N279NatPlus more =

N278NatPlus (N1NatPlus more)

At least 279.

type alias N27NatPlus more =

N26NatPlus (N1NatPlus more)

At least 27.

type alias N280NatPlus more =

N279NatPlus (N1NatPlus more)

At least 280.

type alias N281NatPlus more =

N280NatPlus (N1NatPlus more)

At least 281.

type alias N282NatPlus more =

N281NatPlus (N1NatPlus more)

At least 282.

type alias N283NatPlus more =

N282NatPlus (N1NatPlus more)

At least 283.

type alias N284NatPlus more =

N283NatPlus (N1NatPlus more)

At least 284.

type alias N285NatPlus more =

N284NatPlus (N1NatPlus more)

At least 285.

type alias N286NatPlus more =

N285NatPlus (N1NatPlus more)

At least 286.

type alias N287NatPlus more =

N286NatPlus (N1NatPlus more)

At least 287.

type alias N288NatPlus more =

N287NatPlus (N1NatPlus more)

At least 288.

type alias N289NatPlus more =

N288NatPlus (N1NatPlus more)

At least 289.

type alias N28NatPlus more =

N27NatPlus (N1NatPlus more)

At least 28.

type alias N290NatPlus more =

N289NatPlus (N1NatPlus more)

At least 290.

type alias N291NatPlus more =

N290NatPlus (N1NatPlus more)

At least 291.

type alias N292NatPlus more =

N291NatPlus (N1NatPlus more)

At least 292.

type alias N293NatPlus more =

N292NatPlus (N1NatPlus more)

At least 293.

type alias N294NatPlus more =

N293NatPlus (N1NatPlus more)

At least 294.

type alias N295NatPlus more =

N294NatPlus (N1NatPlus more)

At least 295.

type alias N296NatPlus more =

N295NatPlus (N1NatPlus more)

At least 296.

type alias N297NatPlus more =

N296NatPlus (N1NatPlus more)

At least 297.

type alias N298NatPlus more =

N297NatPlus (N1NatPlus more)

At least 298.

type alias N299NatPlus more =

N298NatPlus (N1NatPlus more)

At least 299.

type alias N29NatPlus more =

N28NatPlus (N1NatPlus more)

At least 29.

type alias N2NatPlus more =

N1NatPlus (N1NatPlus more)

At least 2.

type alias N300NatPlus more =

N299NatPlus (N1NatPlus more)

At least 300.

type alias N301NatPlus more =

N300NatPlus (N1NatPlus more)

At least 301.

type alias N302NatPlus more =

N301NatPlus (N1NatPlus more)

At least 302.

type alias N303NatPlus more =

N302NatPlus (N1NatPlus more)

At least 303.

type alias N304NatPlus more =

N303NatPlus (N1NatPlus more)

At least 304.

type alias N305NatPlus more =

N304NatPlus (N1NatPlus more)

At least 305.

type alias N306NatPlus more =

N305NatPlus (N1NatPlus more)

At least 306.

type alias N307NatPlus more =

N306NatPlus (N1NatPlus more)

At least 307.

type alias N308NatPlus more =

N307NatPlus (N1NatPlus more)

At least 308.

type alias N309NatPlus more =

N308NatPlus (N1NatPlus more)

At least 309.

type alias N30NatPlus more =

N29NatPlus (N1NatPlus more)

At least 30.

type alias N310NatPlus more =

N309NatPlus (N1NatPlus more)

At least 310.

type alias N311NatPlus more =

N310NatPlus (N1NatPlus more)

At least 311.

type alias N312NatPlus more =

N311NatPlus (N1NatPlus more)

At least 312.

type alias N313NatPlus more =

N312NatPlus (N1NatPlus more)

At least 313.

type alias N314NatPlus more =

N313NatPlus (N1NatPlus more)

At least 314.

type alias N315NatPlus more =

N314NatPlus (N1NatPlus more)

At least 315.

type alias N316NatPlus more =

N315NatPlus (N1NatPlus more)

At least 316.

type alias N317NatPlus more =

N316NatPlus (N1NatPlus more)

At least 317.

type alias N318NatPlus more =

N317NatPlus (N1NatPlus more)

At least 318.

type alias N319NatPlus more =

N318NatPlus (N1NatPlus more)

At least 319.

type alias N31NatPlus more =

N30NatPlus (N1NatPlus more)

At least 31.

type alias N320NatPlus more =

N319NatPlus (N1NatPlus more)

At least 320.

type alias N321NatPlus more =

N320NatPlus (N1NatPlus more)

At least 321.

type alias N322NatPlus more =

N321NatPlus (N1NatPlus more)

At least 322.

type alias N323NatPlus more =

N322NatPlus (N1NatPlus more)

At least 323.

type alias N324NatPlus more =

N323NatPlus (N1NatPlus more)

At least 324.

type alias N325NatPlus more =

N324NatPlus (N1NatPlus more)

At least 325.

type alias N326NatPlus more =

N325NatPlus (N1NatPlus more)

At least 326.

type alias N327NatPlus more =

N326NatPlus (N1NatPlus more)

At least 327.

type alias N328NatPlus more =

N327NatPlus (N1NatPlus more)

At least 328.

type alias N329NatPlus more =

N328NatPlus (N1NatPlus more)

At least 329.

type alias N32NatPlus more =

N31NatPlus (N1NatPlus more)

At least 32.

type alias N330NatPlus more =

N329NatPlus (N1NatPlus more)

At least 330.

type alias N331NatPlus more =

N330NatPlus (N1NatPlus more)

At least 331.

type alias N332NatPlus more =

N331NatPlus (N1NatPlus more)

At least 332.

type alias N333NatPlus more =

N332NatPlus (N1NatPlus more)

At least 333.

type alias N334NatPlus more =

N333NatPlus (N1NatPlus more)

At least 334.

type alias N335NatPlus more =

N334NatPlus (N1NatPlus more)

At least 335.

type alias N336NatPlus more =

N335NatPlus (N1NatPlus more)

At least 336.

type alias N337NatPlus more =

N336NatPlus (N1NatPlus more)

At least 337.

type alias N338NatPlus more =

N337NatPlus (N1NatPlus more)

At least 338.

type alias N339NatPlus more =

N338NatPlus (N1NatPlus more)

At least 339.

type alias N33NatPlus more =

N32NatPlus (N1NatPlus more)

At least 33.

type alias N340NatPlus more =

N339NatPlus (N1NatPlus more)

At least 340.

type alias N341NatPlus more =

N340NatPlus (N1NatPlus more)

At least 341.

type alias N342NatPlus more =

N341NatPlus (N1NatPlus more)

At least 342.

type alias N343NatPlus more =

N342NatPlus (N1NatPlus more)

At least 343.

type alias N344NatPlus more =

N343NatPlus (N1NatPlus more)

At least 344.

type alias N345NatPlus more =

N344NatPlus (N1NatPlus more)

At least 345.

type alias N346NatPlus more =

N345NatPlus (N1NatPlus more)

At least 346.

type alias N347NatPlus more =

N346NatPlus (N1NatPlus more)

At least 347.

type alias N348NatPlus more =

N347NatPlus (N1NatPlus more)

At least 348.

type alias N349NatPlus more =

N348NatPlus (N1NatPlus more)

At least 349.

type alias N34NatPlus more =

N33NatPlus (N1NatPlus more)

At least 34.

type alias N350NatPlus more =

N349NatPlus (N1NatPlus more)

At least 350.

type alias N351NatPlus more =

N350NatPlus (N1NatPlus more)

At least 351.

type alias N352NatPlus more =

N351NatPlus (N1NatPlus more)

At least 352.

type alias N353NatPlus more =

N352NatPlus (N1NatPlus more)

At least 353.

type alias N354NatPlus more =

N353NatPlus (N1NatPlus more)

At least 354.

type alias N355NatPlus more =

N354NatPlus (N1NatPlus more)

At least 355.

type alias N356NatPlus more =

N355NatPlus (N1NatPlus more)

At least 356.

type alias N357NatPlus more =

N356NatPlus (N1NatPlus more)

At least 357.

type alias N358NatPlus more =

N357NatPlus (N1NatPlus more)

At least 358.

type alias N359NatPlus more =

N358NatPlus (N1NatPlus more)

At least 359.

type alias N35NatPlus more =

N34NatPlus (N1NatPlus more)

At least 35.

type alias N360NatPlus more =

N359NatPlus (N1NatPlus more)

At least 360.

type alias N361NatPlus more =

N360NatPlus (N1NatPlus more)

At least 361.

type alias N362NatPlus more =

N361NatPlus (N1NatPlus more)

At least 362.

type alias N363NatPlus more =

N362NatPlus (N1NatPlus more)

At least 363.

type alias N364NatPlus more =

N363NatPlus (N1NatPlus more)

At least 364.

type alias N365NatPlus more =

N364NatPlus (N1NatPlus more)

At least 365.

type alias N366NatPlus more =

N365NatPlus (N1NatPlus more)

At least 366.

type alias N367NatPlus more =

N366NatPlus (N1NatPlus more)

At least 367.

type alias N368NatPlus more =

N367NatPlus (N1NatPlus more)

At least 368.

type alias N369NatPlus more =

N368NatPlus (N1NatPlus more)

At least 369.

type alias N36NatPlus more =

N35NatPlus (N1NatPlus more)

At least 36.

type alias N370NatPlus more =

N369NatPlus (N1NatPlus more)

At least 370.

type alias N371NatPlus more =

N370NatPlus (N1NatPlus more)

At least 371.

type alias N372NatPlus more =

N371NatPlus (N1NatPlus more)

At least 372.

type alias N373NatPlus more =

N372NatPlus (N1NatPlus more)

At least 373.

type alias N374NatPlus more =

N373NatPlus (N1NatPlus more)

At least 374.

type alias N375NatPlus more =

N374NatPlus (N1NatPlus more)

At least 375.

type alias N376NatPlus more =

N375NatPlus (N1NatPlus more)

At least 376.

type alias N377NatPlus more =

N376NatPlus (N1NatPlus more)

At least 377.

type alias N378NatPlus more =

N377NatPlus (N1NatPlus more)

At least 378.

type alias N379NatPlus more =

N378NatPlus (N1NatPlus more)

At least 379.

type alias N37NatPlus more =

N36NatPlus (N1NatPlus more)

At least 37.

type alias N380NatPlus more =

N379NatPlus (N1NatPlus more)

At least 380.

type alias N381NatPlus more =

N380NatPlus (N1NatPlus more)

At least 381.

type alias N382NatPlus more =

N381NatPlus (N1NatPlus more)

At least 382.

type alias N383NatPlus more =

N382NatPlus (N1NatPlus more)

At least 383.

type alias N384NatPlus more =

N383NatPlus (N1NatPlus more)

At least 384.

type alias N385NatPlus more =

N384NatPlus (N1NatPlus more)

At least 385.

type alias N386NatPlus more =

N385NatPlus (N1NatPlus more)

At least 386.

type alias N387NatPlus more =

N386NatPlus (N1NatPlus more)

At least 387.

type alias N388NatPlus more =

N387NatPlus (N1NatPlus more)

At least 388.

type alias N389NatPlus more =

N388NatPlus (N1NatPlus more)

At least 389.

type alias N38NatPlus more =

N37NatPlus (N1NatPlus more)

At least 38.

type alias N390NatPlus more =

N389NatPlus (N1NatPlus more)

At least 390.

type alias N391NatPlus more =

N390NatPlus (N1NatPlus more)

At least 391.

type alias N392NatPlus more =

N391NatPlus (N1NatPlus more)

At least 392.

type alias N393NatPlus more =

N392NatPlus (N1NatPlus more)

At least 393.

type alias N394NatPlus more =

N393NatPlus (N1NatPlus more)

At least 394.

type alias N395NatPlus more =

N394NatPlus (N1NatPlus more)

At least 395.

type alias N396NatPlus more =

N395NatPlus (N1NatPlus more)

At least 396.

type alias N397NatPlus more =

N396NatPlus (N1NatPlus more)

At least 397.

type alias N398NatPlus more =

N397NatPlus (N1NatPlus more)

At least 398.

type alias N399NatPlus more =

N398NatPlus (N1NatPlus more)

At least 399.

type alias N39NatPlus more =

N38NatPlus (N1NatPlus more)

At least 39.

type alias N3NatPlus more =

N2NatPlus (N1NatPlus more)

At least 3.

type alias N400NatPlus more =

N399NatPlus (N1NatPlus more)

At least 400.

type alias N401NatPlus more =

N400NatPlus (N1NatPlus more)

At least 401.

type alias N402NatPlus more =

N401NatPlus (N1NatPlus more)

At least 402.

type alias N403NatPlus more =

N402NatPlus (N1NatPlus more)

At least 403.

type alias N404NatPlus more =

N403NatPlus (N1NatPlus more)

At least 404.

type alias N405NatPlus more =

N404NatPlus (N1NatPlus more)

At least 405.

type alias N406NatPlus more =

N405NatPlus (N1NatPlus more)

At least 406.

type alias N407NatPlus more =

N406NatPlus (N1NatPlus more)

At least 407.

type alias N408NatPlus more =

N407NatPlus (N1NatPlus more)

At least 408.

type alias N409NatPlus more =

N408NatPlus (N1NatPlus more)

At least 409.

type alias N40NatPlus more =

N39NatPlus (N1NatPlus more)

At least 40.

type alias N410NatPlus more =

N409NatPlus (N1NatPlus more)

At least 410.

type alias N411NatPlus more =

N410NatPlus (N1NatPlus more)

At least 411.

type alias N412NatPlus more =

N411NatPlus (N1NatPlus more)

At least 412.

type alias N413NatPlus more =

N412NatPlus (N1NatPlus more)

At least 413.

type alias N414NatPlus more =

N413NatPlus (N1NatPlus more)

At least 414.

type alias N415NatPlus more =

N414NatPlus (N1NatPlus more)

At least 415.

type alias N416NatPlus more =

N415NatPlus (N1NatPlus more)

At least 416.

type alias N417NatPlus more =

N416NatPlus (N1NatPlus more)

At least 417.

type alias N418NatPlus more =

N417NatPlus (N1NatPlus more)

At least 418.

type alias N419NatPlus more =

N418NatPlus (N1NatPlus more)

At least 419.

type alias N41NatPlus more =

N40NatPlus (N1NatPlus more)

At least 41.

type alias N420NatPlus more =

N419NatPlus (N1NatPlus more)

At least 420.

type alias N421NatPlus more =

N420NatPlus (N1NatPlus more)

At least 421.

type alias N422NatPlus more =

N421NatPlus (N1NatPlus more)

At least 422.

type alias N423NatPlus more =

N422NatPlus (N1NatPlus more)

At least 423.

type alias N424NatPlus more =

N423NatPlus (N1NatPlus more)

At least 424.

type alias N425NatPlus more =

N424NatPlus (N1NatPlus more)

At least 425.

type alias N426NatPlus more =

N425NatPlus (N1NatPlus more)

At least 426.

type alias N427NatPlus more =

N426NatPlus (N1NatPlus more)

At least 427.

type alias N428NatPlus more =

N427NatPlus (N1NatPlus more)

At least 428.

type alias N429NatPlus more =

N428NatPlus (N1NatPlus more)

At least 429.

type alias N42NatPlus more =

N41NatPlus (N1NatPlus more)

At least 42.

type alias N430NatPlus more =

N429NatPlus (N1NatPlus more)

At least 430.

type alias N431NatPlus more =

N430NatPlus (N1NatPlus more)

At least 431.

type alias N432NatPlus more =

N431NatPlus (N1NatPlus more)

At least 432.

type alias N433NatPlus more =

N432NatPlus (N1NatPlus more)

At least 433.

type alias N434NatPlus more =

N433NatPlus (N1NatPlus more)

At least 434.

type alias N435NatPlus more =

N434NatPlus (N1NatPlus more)

At least 435.

type alias N436NatPlus more =

N435NatPlus (N1NatPlus more)

At least 436.

type alias N437NatPlus more =

N436NatPlus (N1NatPlus more)

At least 437.

type alias N438NatPlus more =

N437NatPlus (N1NatPlus more)

At least 438.

type alias N439NatPlus more =

N438NatPlus (N1NatPlus more)

At least 439.

type alias N43NatPlus more =

N42NatPlus (N1NatPlus more)

At least 43.

type alias N440NatPlus more =

N439NatPlus (N1NatPlus more)

At least 440.

type alias N441NatPlus more =

N440NatPlus (N1NatPlus more)

At least 441.

type alias N442NatPlus more =

N441NatPlus (N1NatPlus more)

At least 442.

type alias N443NatPlus more =

N442NatPlus (N1NatPlus more)

At least 443.

type alias N444NatPlus more =

N443NatPlus (N1NatPlus more)

At least 444.

type alias N445NatPlus more =

N444NatPlus (N1NatPlus more)

At least 445.

type alias N446NatPlus more =

N445NatPlus (N1NatPlus more)

At least 446.

type alias N447NatPlus more =

N446NatPlus (N1NatPlus more)

At least 447.

type alias N448NatPlus more =

N447NatPlus (N1NatPlus more)

At least 448.

type alias N449NatPlus more =

N448NatPlus (N1NatPlus more)

At least 449.

type alias N44NatPlus more =

N43NatPlus (N1NatPlus more)

At least 44.

type alias N450NatPlus more =

N449NatPlus (N1NatPlus more)

At least 450.

type alias N451NatPlus more =

N450NatPlus (N1NatPlus more)

At least 451.

type alias N452NatPlus more =

N451NatPlus (N1NatPlus more)

At least 452.

type alias N453NatPlus more =

N452NatPlus (N1NatPlus more)

At least 453.

type alias N454NatPlus more =

N453NatPlus (N1NatPlus more)

At least 454.

type alias N455NatPlus more =

N454NatPlus (N1NatPlus more)

At least 455.

type alias N456NatPlus more =

N455NatPlus (N1NatPlus more)

At least 456.

type alias N457NatPlus more =

N456NatPlus (N1NatPlus more)

At least 457.

type alias N458NatPlus more =

N457NatPlus (N1NatPlus more)

At least 458.

type alias N459NatPlus more =

N458NatPlus (N1NatPlus more)

At least 459.

type alias N45NatPlus more =

N44NatPlus (N1NatPlus more)

At least 45.

type alias N460NatPlus more =

N459NatPlus (N1NatPlus more)

At least 460.

type alias N461NatPlus more =

N460NatPlus (N1NatPlus more)

At least 461.

type alias N462NatPlus more =

N461NatPlus (N1NatPlus more)

At least 462.

type alias N463NatPlus more =

N462NatPlus (N1NatPlus more)

At least 463.

type alias N464NatPlus more =

N463NatPlus (N1NatPlus more)

At least 464.

type alias N465NatPlus more =

N464NatPlus (N1NatPlus more)

At least 465.

type alias N466NatPlus more =

N465NatPlus (N1NatPlus more)

At least 466.

type alias N467NatPlus more =

N466NatPlus (N1NatPlus more)

At least 467.

type alias N468NatPlus more =

N467NatPlus (N1NatPlus more)

At least 468.

type alias N469NatPlus more =

N468NatPlus (N1NatPlus more)

At least 469.

type alias N46NatPlus more =

N45NatPlus (N1NatPlus more)

At least 46.

type alias N470NatPlus more =

N469NatPlus (N1NatPlus more)

At least 470.

type alias N471NatPlus more =

N470NatPlus (N1NatPlus more)

At least 471.

type alias N472NatPlus more =

N471NatPlus (N1NatPlus more)

At least 472.

type alias N473NatPlus more =

N472NatPlus (N1NatPlus more)

At least 473.

type alias N474NatPlus more =

N473NatPlus (N1NatPlus more)

At least 474.

type alias N475NatPlus more =

N474NatPlus (N1NatPlus more)

At least 475.

type alias N476NatPlus more =

N475NatPlus (N1NatPlus more)

At least 476.

type alias N477NatPlus more =

N476NatPlus (N1NatPlus more)

At least 477.

type alias N478NatPlus more =

N477NatPlus (N1NatPlus more)

At least 478.

type alias N479NatPlus more =

N478NatPlus (N1NatPlus more)

At least 479.

type alias N47NatPlus more =

N46NatPlus (N1NatPlus more)

At least 47.

type alias N480NatPlus more =

N479NatPlus (N1NatPlus more)

At least 480.

type alias N481NatPlus more =

N480NatPlus (N1NatPlus more)

At least 481.

type alias N482NatPlus more =

N481NatPlus (N1NatPlus more)

At least 482.

type alias N483NatPlus more =

N482NatPlus (N1NatPlus more)

At least 483.

type alias N484NatPlus more =

N483NatPlus (N1NatPlus more)

At least 484.

type alias N485NatPlus more =

N484NatPlus (N1NatPlus more)

At least 485.

type alias N486NatPlus more =

N485NatPlus (N1NatPlus more)

At least 486.

type alias N487NatPlus more =

N486NatPlus (N1NatPlus more)

At least 487.

type alias N488NatPlus more =

N487NatPlus (N1NatPlus more)

At least 488.

type alias N489NatPlus more =

N488NatPlus (N1NatPlus more)

At least 489.

type alias N48NatPlus more =

N47NatPlus (N1NatPlus more)

At least 48.

type alias N490NatPlus more =

N489NatPlus (N1NatPlus more)

At least 490.

type alias N491NatPlus more =

N490NatPlus (N1NatPlus more)

At least 491.

type alias N492NatPlus more =

N491NatPlus (N1NatPlus more)

At least 492.

type alias N493NatPlus more =

N492NatPlus (N1NatPlus more)

At least 493.

type alias N494NatPlus more =

N493NatPlus (N1NatPlus more)

At least 494.

type alias N495NatPlus more =

N494NatPlus (N1NatPlus more)

At least 495.

type alias N496NatPlus more =

N495NatPlus (N1NatPlus more)

At least 496.

type alias N497NatPlus more =

N496NatPlus (N1NatPlus more)

At least 497.

type alias N498NatPlus more =

N497NatPlus (N1NatPlus more)

At least 498.

type alias N499NatPlus more =

N498NatPlus (N1NatPlus more)

At least 499.

type alias N49NatPlus more =

N48NatPlus (N1NatPlus more)

At least 49.

type alias N4NatPlus more =

N3NatPlus (N1NatPlus more)

At least 4.

type alias N500NatPlus more =

N499NatPlus (N1NatPlus more)

At least 500.

type alias N501NatPlus more =

N500NatPlus (N1NatPlus more)

At least 501.

type alias N502NatPlus more =

N501NatPlus (N1NatPlus more)

At least 502.

type alias N503NatPlus more =

N502NatPlus (N1NatPlus more)

At least 503.

type alias N504NatPlus more =

N503NatPlus (N1NatPlus more)

At least 504.

type alias N505NatPlus more =

N504NatPlus (N1NatPlus more)

At least 505.

type alias N506NatPlus more =

N505NatPlus (N1NatPlus more)

At least 506.

type alias N507NatPlus more =

N506NatPlus (N1NatPlus more)

At least 507.

type alias N508NatPlus more =

N507NatPlus (N1NatPlus more)

At least 508.

type alias N509NatPlus more =

N508NatPlus (N1NatPlus more)

At least 509.

type alias N50NatPlus more =

N49NatPlus (N1NatPlus more)

At least 50.

type alias N510NatPlus more =

N509NatPlus (N1NatPlus more)

At least 510.

type alias N511NatPlus more =

N510NatPlus (N1NatPlus more)

At least 511.

type alias N512NatPlus more =

N511NatPlus (N1NatPlus more)

At least 512.

type alias N513NatPlus more =

N512NatPlus (N1NatPlus more)

At least 513.

type alias N514NatPlus more =

N513NatPlus (N1NatPlus more)

At least 514.

type alias N515NatPlus more =

N514NatPlus (N1NatPlus more)

At least 515.

type alias N516NatPlus more =

N515NatPlus (N1NatPlus more)

At least 516.

type alias N517NatPlus more =

N516NatPlus (N1NatPlus more)

At least 517.

type alias N518NatPlus more =

N517NatPlus (N1NatPlus more)

At least 518.

type alias N519NatPlus more =

N518NatPlus (N1NatPlus more)

At least 519.

type alias N51NatPlus more =

N50NatPlus (N1NatPlus more)

At least 51.

type alias N520NatPlus more =

N519NatPlus (N1NatPlus more)

At least 520.

type alias N521NatPlus more =

N520NatPlus (N1NatPlus more)

At least 521.

type alias N522NatPlus more =

N521NatPlus (N1NatPlus more)

At least 522.

type alias N523NatPlus more =

N522NatPlus (N1NatPlus more)

At least 523.

type alias N524NatPlus more =

N523NatPlus (N1NatPlus more)

At least 524.

type alias N525NatPlus more =

N524NatPlus (N1NatPlus more)

At least 525.

type alias N526NatPlus more =

N525NatPlus (N1NatPlus more)

At least 526.

type alias N527NatPlus more =

N526NatPlus (N1NatPlus more)

At least 527.

type alias N528NatPlus more =

N527NatPlus (N1NatPlus more)

At least 528.

type alias N529NatPlus more =

N528NatPlus (N1NatPlus more)

At least 529.

type alias N52NatPlus more =

N51NatPlus (N1NatPlus more)

At least 52.

type alias N530NatPlus more =

N529NatPlus (N1NatPlus more)

At least 530.

type alias N531NatPlus more =

N530NatPlus (N1NatPlus more)

At least 531.

type alias N532NatPlus more =

N531NatPlus (N1NatPlus more)

At least 532.

type alias N533NatPlus more =

N532NatPlus (N1NatPlus more)

At least 533.

type alias N534NatPlus more =

N533NatPlus (N1NatPlus more)

At least 534.

type alias N535NatPlus more =

N534NatPlus (N1NatPlus more)

At least 535.

type alias N536NatPlus more =

N535NatPlus (N1NatPlus more)

At least 536.

type alias N537NatPlus more =

N536NatPlus (N1NatPlus more)

At least 537.

type alias N538NatPlus more =

N537NatPlus (N1NatPlus more)

At least 538.

type alias N539NatPlus more =

N538NatPlus (N1NatPlus more)

At least 539.

type alias N53NatPlus more =

N52NatPlus (N1NatPlus more)

At least 53.

type alias N540NatPlus more =

N539NatPlus (N1NatPlus more)

At least 540.

type alias N541NatPlus more =

N540NatPlus (N1NatPlus more)

At least 541.

type alias N542NatPlus more =

N541NatPlus (N1NatPlus more)

At least 542.

type alias N543NatPlus more =

N542NatPlus (N1NatPlus more)

At least 543.

type alias N544NatPlus more =

N543NatPlus (N1NatPlus more)

At least 544.

type alias N545NatPlus more =

N544NatPlus (N1NatPlus more)

At least 545.

type alias N546NatPlus more =

N545NatPlus (N1NatPlus more)

At least 546.

type alias N547NatPlus more =

N546NatPlus (N1NatPlus more)

At least 547.

type alias N548NatPlus more =

N547NatPlus (N1NatPlus more)

At least 548.

type alias N549NatPlus more =

N548NatPlus (N1NatPlus more)

At least 549.

type alias N54NatPlus more =

N53NatPlus (N1NatPlus more)

At least 54.

type alias N550NatPlus more =

N549NatPlus (N1NatPlus more)

At least 550.

type alias N551NatPlus more =

N550NatPlus (N1NatPlus more)

At least 551.

type alias N552NatPlus more =

N551NatPlus (N1NatPlus more)

At least 552.

type alias N553NatPlus more =

N552NatPlus (N1NatPlus more)

At least 553.

type alias N554NatPlus more =

N553NatPlus (N1NatPlus more)

At least 554.

type alias N555NatPlus more =

N554NatPlus (N1NatPlus more)

At least 555.

type alias N556NatPlus more =

N555NatPlus (N1NatPlus more)

At least 556.

type alias N557NatPlus more =

N556NatPlus (N1NatPlus more)

At least 557.

type alias N558NatPlus more =

N557NatPlus (N1NatPlus more)

At least 558.

type alias N559NatPlus more =

N558NatPlus (N1NatPlus more)

At least 559.

type alias N55NatPlus more =

N54NatPlus (N1NatPlus more)

At least 55.

type alias N560NatPlus more =

N559NatPlus (N1NatPlus more)

At least 560.

type alias N561NatPlus more =

N560NatPlus (N1NatPlus more)

At least 561.

type alias N562NatPlus more =

N561NatPlus (N1NatPlus more)

At least 562.

type alias N563NatPlus more =

N562NatPlus (N1NatPlus more)

At least 563.

type alias N564NatPlus more =

N563NatPlus (N1NatPlus more)

At least 564.

type alias N565NatPlus more =

N564NatPlus (N1NatPlus more)

At least 565.

type alias N566NatPlus more =

N565NatPlus (N1NatPlus more)

At least 566.

type alias N567NatPlus more =

N566NatPlus (N1NatPlus more)

At least 567.

type alias N568NatPlus more =

N567NatPlus (N1NatPlus more)

At least 568.

type alias N569NatPlus more =

N568NatPlus (N1NatPlus more)

At least 569.

type alias N56NatPlus more =

N55NatPlus (N1NatPlus more)

At least 56.

type alias N570NatPlus more =

N569NatPlus (N1NatPlus more)

At least 570.

type alias N571NatPlus more =

N570NatPlus (N1NatPlus more)

At least 571.

type alias N572NatPlus more =

N571NatPlus (N1NatPlus more)

At least 572.

type alias N573NatPlus more =

N572NatPlus (N1NatPlus more)

At least 573.

type alias N574NatPlus more =

N573NatPlus (N1NatPlus more)

At least 574.

type alias N575NatPlus more =

N574NatPlus (N1NatPlus more)

At least 575.

type alias N576NatPlus more =

N575NatPlus (N1NatPlus more)

At least 576.

type alias N577NatPlus more =

N576NatPlus (N1NatPlus more)

At least 577.

type alias N578NatPlus more =

N577NatPlus (N1NatPlus more)

At least 578.

type alias N579NatPlus more =

N578NatPlus (N1NatPlus more)

At least 579.

type alias N57NatPlus more =

N56NatPlus (N1NatPlus more)

At least 57.

type alias N580NatPlus more =

N579NatPlus (N1NatPlus more)

At least 580.

type alias N581NatPlus more =

N580NatPlus (N1NatPlus more)

At least 581.

type alias N582NatPlus more =

N581NatPlus (N1NatPlus more)

At least 582.

type alias N583NatPlus more =

N582NatPlus (N1NatPlus more)

At least 583.

type alias N584NatPlus more =

N583NatPlus (N1NatPlus more)

At least 584.

type alias N585NatPlus more =

N584NatPlus (N1NatPlus more)

At least 585.

type alias N586NatPlus more =

N585NatPlus (N1NatPlus more)

At least 586.

type alias N587NatPlus more =

N586NatPlus (N1NatPlus more)

At least 587.

type alias N588NatPlus more =

N587NatPlus (N1NatPlus more)

At least 588.

type alias N589NatPlus more =

N588NatPlus (N1NatPlus more)

At least 589.

type alias N58NatPlus more =

N57NatPlus (N1NatPlus more)

At least 58.

type alias N590NatPlus more =

N589NatPlus (N1NatPlus more)

At least 590.

type alias N591NatPlus more =

N590NatPlus (N1NatPlus more)

At least 591.

type alias N592NatPlus more =

N591NatPlus (N1NatPlus more)

At least 592.

type alias N593NatPlus more =

N592NatPlus (N1NatPlus more)

At least 593.

type alias N594NatPlus more =

N593NatPlus (N1NatPlus more)

At least 594.

type alias N595NatPlus more =

N594NatPlus (N1NatPlus more)

At least 595.

type alias N596NatPlus more =

N595NatPlus (N1NatPlus more)

At least 596.

type alias N597NatPlus more =

N596NatPlus (N1NatPlus more)

At least 597.

type alias N598NatPlus more =

N597NatPlus (N1NatPlus more)

At least 598.

type alias N599NatPlus more =

N598NatPlus (N1NatPlus more)

At least 599.

type alias N59NatPlus more =

N58NatPlus (N1NatPlus more)

At least 59.

type alias N5NatPlus more =

N4NatPlus (N1NatPlus more)

At least 5.

type alias N600NatPlus more =

N599NatPlus (N1NatPlus more)

At least 600.

type alias N601NatPlus more =

N600NatPlus (N1NatPlus more)

At least 601.

type alias N602NatPlus more =

N601NatPlus (N1NatPlus more)

At least 602.

type alias N603NatPlus more =

N602NatPlus (N1NatPlus more)

At least 603.

type alias N604NatPlus more =

N603NatPlus (N1NatPlus more)

At least 604.

type alias N605NatPlus more =

N604NatPlus (N1NatPlus more)

At least 605.

type alias N606NatPlus more =

N605NatPlus (N1NatPlus more)

At least 606.

type alias N607NatPlus more =

N606NatPlus (N1NatPlus more)

At least 607.

type alias N608NatPlus more =

N607NatPlus (N1NatPlus more)

At least 608.

type alias N609NatPlus more =

N608NatPlus (N1NatPlus more)

At least 609.

type alias N60NatPlus more =

N59NatPlus (N1NatPlus more)

At least 60.

type alias N610NatPlus more =

N609NatPlus (N1NatPlus more)

At least 610.

type alias N611NatPlus more =

N610NatPlus (N1NatPlus more)

At least 611.

type alias N612NatPlus more =

N611NatPlus (N1NatPlus more)

At least 612.

type alias N613NatPlus more =

N612NatPlus (N1NatPlus more)

At least 613.

type alias N614NatPlus more =

N613NatPlus (N1NatPlus more)

At least 614.

type alias N615NatPlus more =

N614NatPlus (N1NatPlus more)

At least 615.

type alias N616NatPlus more =

N615NatPlus (N1NatPlus more)

At least 616.

type alias N617NatPlus more =

N616NatPlus (N1NatPlus more)

At least 617.

type alias N618NatPlus more =

N617NatPlus (N1NatPlus more)

At least 618.

type alias N619NatPlus more =

N618NatPlus (N1NatPlus more)

At least 619.

type alias N61NatPlus more =

N60NatPlus (N1NatPlus more)

At least 61.

type alias N620NatPlus more =

N619NatPlus (N1NatPlus more)

At least 620.

type alias N621NatPlus more =

N620NatPlus (N1NatPlus more)

At least 621.

type alias N622NatPlus more =

N621NatPlus (N1NatPlus more)

At least 622.

type alias N623NatPlus more =

N622NatPlus (N1NatPlus more)

At least 623.

type alias N624NatPlus more =

N623NatPlus (N1NatPlus more)

At least 624.

type alias N625NatPlus more =

N624NatPlus (N1NatPlus more)

At least 625.

type alias N626NatPlus more =

N625NatPlus (N1NatPlus more)

At least 626.

type alias N627NatPlus more =

N626NatPlus (N1NatPlus more)

At least 627.

type alias N628NatPlus more =

N627NatPlus (N1NatPlus more)

At least 628.

type alias N629NatPlus more =

N628NatPlus (N1NatPlus more)

At least 629.

type alias N62NatPlus more =

N61NatPlus (N1NatPlus more)

At least 62.

type alias N630NatPlus more =

N629NatPlus (N1NatPlus more)

At least 630.

type alias N631NatPlus more =

N630NatPlus (N1NatPlus more)

At least 631.

type alias N632NatPlus more =

N631NatPlus (N1NatPlus more)

At least 632.

type alias N633NatPlus more =

N632NatPlus (N1NatPlus more)

At least 633.

type alias N634NatPlus more =

N633NatPlus (N1NatPlus more)

At least 634.

type alias N635NatPlus more =

N634NatPlus (N1NatPlus more)

At least 635.

type alias N636NatPlus more =

N635NatPlus (N1NatPlus more)

At least 636.

type alias N637NatPlus more =

N636NatPlus (N1NatPlus more)

At least 637.

type alias N638NatPlus more =

N637NatPlus (N1NatPlus more)

At least 638.

type alias N639NatPlus more =

N638NatPlus (N1NatPlus more)

At least 639.

type alias N63NatPlus more =

N62NatPlus (N1NatPlus more)

At least 63.

type alias N640NatPlus more =

N639NatPlus (N1NatPlus more)

At least 640.

type alias N641NatPlus more =

N640NatPlus (N1NatPlus more)

At least 641.

type alias N642NatPlus more =

N641NatPlus (N1NatPlus more)

At least 642.

type alias N643NatPlus more =

N642NatPlus (N1NatPlus more)

At least 643.

type alias N644NatPlus more =

N643NatPlus (N1NatPlus more)

At least 644.

type alias N645NatPlus more =

N644NatPlus (N1NatPlus more)

At least 645.

type alias N646NatPlus more =

N645NatPlus (N1NatPlus more)

At least 646.

type alias N647NatPlus more =

N646NatPlus (N1NatPlus more)

At least 647.

type alias N648NatPlus more =

N647NatPlus (N1NatPlus more)

At least 648.

type alias N649NatPlus more =

N648NatPlus (N1NatPlus more)

At least 649.

type alias N64NatPlus more =

N63NatPlus (N1NatPlus more)

At least 64.

type alias N650NatPlus more =

N649NatPlus (N1NatPlus more)

At least 650.

type alias N651NatPlus more =

N650NatPlus (N1NatPlus more)

At least 651.

type alias N652NatPlus more =

N651NatPlus (N1NatPlus more)

At least 652.

type alias N653NatPlus more =

N652NatPlus (N1NatPlus more)

At least 653.

type alias N654NatPlus more =

N653NatPlus (N1NatPlus more)

At least 654.

type alias N655NatPlus more =

N654NatPlus (N1NatPlus more)

At least 655.

type alias N656NatPlus more =

N655NatPlus (N1NatPlus more)

At least 656.

type alias N657NatPlus more =

N656NatPlus (N1NatPlus more)

At least 657.

type alias N658NatPlus more =

N657NatPlus (N1NatPlus more)

At least 658.

type alias N659NatPlus more =

N658NatPlus (N1NatPlus more)

At least 659.

type alias N65NatPlus more =

N64NatPlus (N1NatPlus more)

At least 65.

type alias N660NatPlus more =

N659NatPlus (N1NatPlus more)

At least 660.

type alias N661NatPlus more =

N660NatPlus (N1NatPlus more)

At least 661.

type alias N662NatPlus more =

N661NatPlus (N1NatPlus more)

At least 662.

type alias N663NatPlus more =

N662NatPlus (N1NatPlus more)

At least 663.

type alias N664NatPlus more =

N663NatPlus (N1NatPlus more)

At least 664.

type alias N665NatPlus more =

N664NatPlus (N1NatPlus more)

At least 665.

type alias N666NatPlus more =

N665NatPlus (N1NatPlus more)

At least 666.

type alias N667NatPlus more =

N666NatPlus (N1NatPlus more)

At least 667.

type alias N668NatPlus more =

N667NatPlus (N1NatPlus more)

At least 668.

type alias N669NatPlus more =

N668NatPlus (N1NatPlus more)

At least 669.

type alias N66NatPlus more =

N65NatPlus (N1NatPlus more)

At least 66.

type alias N670NatPlus more =

N669NatPlus (N1NatPlus more)

At least 670.

type alias N671NatPlus more =

N670NatPlus (N1NatPlus more)

At least 671.

type alias N672NatPlus more =

N671NatPlus (N1NatPlus more)

At least 672.

type alias N673NatPlus more =

N672NatPlus (N1NatPlus more)

At least 673.

type alias N674NatPlus more =

N673NatPlus (N1NatPlus more)

At least 674.

type alias N675NatPlus more =

N674NatPlus (N1NatPlus more)

At least 675.

type alias N676NatPlus more =

N675NatPlus (N1NatPlus more)

At least 676.

type alias N677NatPlus more =

N676NatPlus (N1NatPlus more)

At least 677.

type alias N678NatPlus more =

N677NatPlus (N1NatPlus more)

At least 678.

type alias N679NatPlus more =

N678NatPlus (N1NatPlus more)

At least 679.

type alias N67NatPlus more =

N66NatPlus (N1NatPlus more)

At least 67.

type alias N680NatPlus more =

N679NatPlus (N1NatPlus more)

At least 680.

type alias N681NatPlus more =

N680NatPlus (N1NatPlus more)

At least 681.

type alias N682NatPlus more =

N681NatPlus (N1NatPlus more)

At least 682.

type alias N683NatPlus more =

N682NatPlus (N1NatPlus more)

At least 683.

type alias N684NatPlus more =

N683NatPlus (N1NatPlus more)

At least 684.

type alias N685NatPlus more =

N684NatPlus (N1NatPlus more)

At least 685.

type alias N686NatPlus more =

N685NatPlus (N1NatPlus more)

At least 686.

type alias N687NatPlus more =

N686NatPlus (N1NatPlus more)

At least 687.

type alias N688NatPlus more =

N687NatPlus (N1NatPlus more)

At least 688.

type alias N689NatPlus more =

N688NatPlus (N1NatPlus more)

At least 689.

type alias N68NatPlus more =

N67NatPlus (N1NatPlus more)

At least 68.

type alias N690NatPlus more =

N689NatPlus (N1NatPlus more)

At least 690.

type alias N691NatPlus more =

N690NatPlus (N1NatPlus more)

At least 691.

type alias N692NatPlus more =

N691NatPlus (N1NatPlus more)

At least 692.

type alias N693NatPlus more =

N692NatPlus (N1NatPlus more)

At least 693.

type alias N694NatPlus more =

N693NatPlus (N1NatPlus more)

At least 694.

type alias N695NatPlus more =

N694NatPlus (N1NatPlus more)

At least 695.

type alias N696NatPlus more =

N695NatPlus (N1NatPlus more)

At least 696.

type alias N697NatPlus more =

N696NatPlus (N1NatPlus more)

At least 697.

type alias N698NatPlus more =

N697NatPlus (N1NatPlus more)

At least 698.

type alias N699NatPlus more =

N698NatPlus (N1NatPlus more)

At least 699.

type alias N69NatPlus more =

N68NatPlus (N1NatPlus more)

At least 69.

type alias N6NatPlus more =

N5NatPlus (N1NatPlus more)

At least 6.

type alias N700NatPlus more =

N699NatPlus (N1NatPlus more)

At least 700.

type alias N701NatPlus more =

N700NatPlus (N1NatPlus more)

At least 701.

type alias N702NatPlus more =

N701NatPlus (N1NatPlus more)

At least 702.

type alias N703NatPlus more =

N702NatPlus (N1NatPlus more)

At least 703.

type alias N704NatPlus more =

N703NatPlus (N1NatPlus more)

At least 704.

type alias N705NatPlus more =

N704NatPlus (N1NatPlus more)

At least 705.

type alias N706NatPlus more =

N705NatPlus (N1NatPlus more)

At least 706.

type alias N707NatPlus more =

N706NatPlus (N1NatPlus more)

At least 707.

type alias N708NatPlus more =

N707NatPlus (N1NatPlus more)

At least 708.

type alias N709NatPlus more =

N708NatPlus (N1NatPlus more)

At least 709.

type alias N70NatPlus more =

N69NatPlus (N1NatPlus more)

At least 70.

type alias N710NatPlus more =

N709NatPlus (N1NatPlus more)

At least 710.

type alias N711NatPlus more =

N710NatPlus (N1NatPlus more)

At least 711.

type alias N712NatPlus more =

N711NatPlus (N1NatPlus more)

At least 712.

type alias N713NatPlus more =

N712NatPlus (N1NatPlus more)

At least 713.

type alias N714NatPlus more =

N713NatPlus (N1NatPlus more)

At least 714.

type alias N715NatPlus more =

N714NatPlus (N1NatPlus more)

At least 715.

type alias N716NatPlus more =

N715NatPlus (N1NatPlus more)

At least 716.

type alias N717NatPlus more =

N716NatPlus (N1NatPlus more)

At least 717.

type alias N718NatPlus more =

N717NatPlus (N1NatPlus more)

At least 718.

type alias N719NatPlus more =

N718NatPlus (N1NatPlus more)

At least 719.

type alias N71NatPlus more =

N70NatPlus (N1NatPlus more)

At least 71.

type alias N720NatPlus more =

N719NatPlus (N1NatPlus more)

At least 720.

type alias N721NatPlus more =

N720NatPlus (N1NatPlus more)

At least 721.

type alias N722NatPlus more =

N721NatPlus (N1NatPlus more)

At least 722.

type alias N723NatPlus more =

N722NatPlus (N1NatPlus more)

At least 723.

type alias N724NatPlus more =

N723NatPlus (N1NatPlus more)

At least 724.

type alias N725NatPlus more =

N724NatPlus (N1NatPlus more)

At least 725.

type alias N726NatPlus more =

N725NatPlus (N1NatPlus more)

At least 726.

type alias N727NatPlus more =

N726NatPlus (N1NatPlus more)

At least 727.

type alias N728NatPlus more =

N727NatPlus (N1NatPlus more)

At least 728.

type alias N729NatPlus more =

N728NatPlus (N1NatPlus more)

At least 729.

type alias N72NatPlus more =

N71NatPlus (N1NatPlus more)

At least 72.

type alias N730NatPlus more =

N729NatPlus (N1NatPlus more)

At least 730.

type alias N731NatPlus more =

N730NatPlus (N1NatPlus more)

At least 731.

type alias N732NatPlus more =

N731NatPlus (N1NatPlus more)

At least 732.

type alias N733NatPlus more =

N732NatPlus (N1NatPlus more)

At least 733.

type alias N734NatPlus more =

N733NatPlus (N1NatPlus more)

At least 734.

type alias N735NatPlus more =

N734NatPlus (N1NatPlus more)

At least 735.

type alias N736NatPlus more =

N735NatPlus (N1NatPlus more)

At least 736.

type alias N737NatPlus more =

N736NatPlus (N1NatPlus more)

At least 737.

type alias N738NatPlus more =

N737NatPlus (N1NatPlus more)

At least 738.

type alias N739NatPlus more =

N738NatPlus (N1NatPlus more)

At least 739.

type alias N73NatPlus more =

N72NatPlus (N1NatPlus more)

At least 73.

type alias N740NatPlus more =

N739NatPlus (N1NatPlus more)

At least 740.

type alias N741NatPlus more =

N740NatPlus (N1NatPlus more)

At least 741.

type alias N742NatPlus more =

N741NatPlus (N1NatPlus more)

At least 742.

type alias N743NatPlus more =

N742NatPlus (N1NatPlus more)

At least 743.

type alias N744NatPlus more =

N743NatPlus (N1NatPlus more)

At least 744.

type alias N745NatPlus more =

N744NatPlus (N1NatPlus more)

At least 745.

type alias N746NatPlus more =

N745NatPlus (N1NatPlus more)

At least 746.

type alias N747NatPlus more =

N746NatPlus (N1NatPlus more)

At least 747.

type alias N748NatPlus more =

N747NatPlus (N1NatPlus more)

At least 748.

type alias N749NatPlus more =

N748NatPlus (N1NatPlus more)

At least 749.

type alias N74NatPlus more =

N73NatPlus (N1NatPlus more)

At least 74.

type alias N750NatPlus more =

N749NatPlus (N1NatPlus more)

At least 750.

type alias N751NatPlus more =

N750NatPlus (N1NatPlus more)

At least 751.

type alias N752NatPlus more =

N751NatPlus (N1NatPlus more)

At least 752.

type alias N753NatPlus more =

N752NatPlus (N1NatPlus more)

At least 753.

type alias N754NatPlus more =

N753NatPlus (N1NatPlus more)

At least 754.

type alias N755NatPlus more =

N754NatPlus (N1NatPlus more)

At least 755.

type alias N756NatPlus more =

N755NatPlus (N1NatPlus more)

At least 756.

type alias N757NatPlus more =

N756NatPlus (N1NatPlus more)

At least 757.

type alias N758NatPlus more =

N757NatPlus (N1NatPlus more)

At least 758.

type alias N759NatPlus more =

N758NatPlus (N1NatPlus more)

At least 759.

type alias N75NatPlus more =

N74NatPlus (N1NatPlus more)

At least 75.

type alias N760NatPlus more =

N759NatPlus (N1NatPlus more)

At least 760.

type alias N761NatPlus more =

N760NatPlus (N1NatPlus more)

At least 761.

type alias N762NatPlus more =

N761NatPlus (N1NatPlus more)

At least 762.

type alias N763NatPlus more =

N762NatPlus (N1NatPlus more)

At least 763.

type alias N764NatPlus more =

N763NatPlus (N1NatPlus more)

At least 764.

type alias N765NatPlus more =

N764NatPlus (N1NatPlus more)

At least 765.

type alias N766NatPlus more =

N765NatPlus (N1NatPlus more)

At least 766.

type alias N767NatPlus more =

N766NatPlus (N1NatPlus more)

At least 767.

type alias N768NatPlus more =

N767NatPlus (N1NatPlus more)

At least 768.

type alias N769NatPlus more =

N768NatPlus (N1NatPlus more)

At least 769.

type alias N76NatPlus more =

N75NatPlus (N1NatPlus more)

At least 76.

type alias N770NatPlus more =

N769NatPlus (N1NatPlus more)

At least 770.

type alias N771NatPlus more =

N770NatPlus (N1NatPlus more)

At least 771.

type alias N772NatPlus more =

N771NatPlus (N1NatPlus more)

At least 772.

type alias N773NatPlus more =

N772NatPlus (N1NatPlus more)

At least 773.

type alias N774NatPlus more =

N773NatPlus (N1NatPlus more)

At least 774.

type alias N775NatPlus more =

N774NatPlus (N1NatPlus more)

At least 775.

type alias N776NatPlus more =

N775NatPlus (N1NatPlus more)

At least 776.

type alias N777NatPlus more =

N776NatPlus (N1NatPlus more)

At least 777.

type alias N778NatPlus more =

N777NatPlus (N1NatPlus more)

At least 778.

type alias N779NatPlus more =

N778NatPlus (N1NatPlus more)

At least 779.

type alias N77NatPlus more =

N76NatPlus (N1NatPlus more)

At least 77.

type alias N780NatPlus more =

N779NatPlus (N1NatPlus more)

At least 780.

type alias N781NatPlus more =

N780NatPlus (N1NatPlus more)

At least 781.

type alias N782NatPlus more =

N781NatPlus (N1NatPlus more)

At least 782.

type alias N783NatPlus more =

N782NatPlus (N1NatPlus more)

At least 783.

type alias N784NatPlus more =

N783NatPlus (N1NatPlus more)

At least 784.

type alias N785NatPlus more =

N784NatPlus (N1NatPlus more)

At least 785.

type alias N786NatPlus more =

N785NatPlus (N1NatPlus more)

At least 786.

type alias N787NatPlus more =

N786NatPlus (N1NatPlus more)

At least 787.

type alias N788NatPlus more =

N787NatPlus (N1NatPlus more)

At least 788.

type alias N789NatPlus more =

N788NatPlus (N1NatPlus more)

At least 789.

type alias N78NatPlus more =

N77NatPlus (N1NatPlus more)

At least 78.

type alias N790NatPlus more =

N789NatPlus (N1NatPlus more)

At least 790.

type alias N791NatPlus more =

N790NatPlus (N1NatPlus more)

At least 791.

type alias N792NatPlus more =

N791NatPlus (N1NatPlus more)

At least 792.

type alias N793NatPlus more =

N792NatPlus (N1NatPlus more)

At least 793.

type alias N794NatPlus more =

N793NatPlus (N1NatPlus more)

At least 794.

type alias N795NatPlus more =

N794NatPlus (N1NatPlus more)

At least 795.

type alias N796NatPlus more =

N795NatPlus (N1NatPlus more)

At least 796.

type alias N797NatPlus more =

N796NatPlus (N1NatPlus more)

At least 797.

type alias N798NatPlus more =

N797NatPlus (N1NatPlus more)

At least 798.

type alias N799NatPlus more =

N798NatPlus (N1NatPlus more)

At least 799.

type alias N79NatPlus more =

N78NatPlus (N1NatPlus more)

At least 79.

type alias N7NatPlus more =

N6NatPlus (N1NatPlus more)

At least 7.

type alias N800NatPlus more =

N799NatPlus (N1NatPlus more)

At least 800.

type alias N801NatPlus more =

N800NatPlus (N1NatPlus more)

At least 801.

type alias N802NatPlus more =

N801NatPlus (N1NatPlus more)

At least 802.

type alias N803NatPlus more =

N802NatPlus (N1NatPlus more)

At least 803.

type alias N804NatPlus more =

N803NatPlus (N1NatPlus more)

At least 804.

type alias N805NatPlus more =

N804NatPlus (N1NatPlus more)

At least 805.

type alias N806NatPlus more =

N805NatPlus (N1NatPlus more)

At least 806.

type alias N807NatPlus more =

N806NatPlus (N1NatPlus more)

At least 807.

type alias N808NatPlus more =

N807NatPlus (N1NatPlus more)

At least 808.

type alias N809NatPlus more =

N808NatPlus (N1NatPlus more)

At least 809.

type alias N80NatPlus more =

N79NatPlus (N1NatPlus more)

At least 80.

type alias N810NatPlus more =

N809NatPlus (N1NatPlus more)

At least 810.

type alias N811NatPlus more =

N810NatPlus (N1NatPlus more)

At least 811.

type alias N812NatPlus more =

N811NatPlus (N1NatPlus more)

At least 812.

type alias N813NatPlus more =

N812NatPlus (N1NatPlus more)

At least 813.

type alias N814NatPlus more =

N813NatPlus (N1NatPlus more)

At least 814.

type alias N815NatPlus more =

N814NatPlus (N1NatPlus more)

At least 815.

type alias N816NatPlus more =

N815NatPlus (N1NatPlus more)

At least 816.

type alias N817NatPlus more =

N816NatPlus (N1NatPlus more)

At least 817.

type alias N818NatPlus more =

N817NatPlus (N1NatPlus more)

At least 818.

type alias N819NatPlus more =

N818NatPlus (N1NatPlus more)

At least 819.

type alias N81NatPlus more =

N80NatPlus (N1NatPlus more)

At least 81.

type alias N820NatPlus more =

N819NatPlus (N1NatPlus more)

At least 820.

type alias N821NatPlus more =

N820NatPlus (N1NatPlus more)

At least 821.

type alias N822NatPlus more =

N821NatPlus (N1NatPlus more)

At least 822.

type alias N823NatPlus more =

N822NatPlus (N1NatPlus more)

At least 823.

type alias N824NatPlus more =

N823NatPlus (N1NatPlus more)

At least 824.

type alias N825NatPlus more =

N824NatPlus (N1NatPlus more)

At least 825.

type alias N826NatPlus more =

N825NatPlus (N1NatPlus more)

At least 826.

type alias N827NatPlus more =

N826NatPlus (N1NatPlus more)

At least 827.

type alias N828NatPlus more =

N827NatPlus (N1NatPlus more)

At least 828.

type alias N829NatPlus more =

N828NatPlus (N1NatPlus more)

At least 829.

type alias N82NatPlus more =

N81NatPlus (N1NatPlus more)

At least 82.

type alias N830NatPlus more =

N829NatPlus (N1NatPlus more)

At least 830.

type alias N831NatPlus more =

N830NatPlus (N1NatPlus more)

At least 831.

type alias N832NatPlus more =

N831NatPlus (N1NatPlus more)

At least 832.

type alias N833NatPlus more =

N832NatPlus (N1NatPlus more)

At least 833.

type alias N834NatPlus more =

N833NatPlus (N1NatPlus more)

At least 834.

type alias N835NatPlus more =

N834NatPlus (N1NatPlus more)

At least 835.

type alias N836NatPlus more =

N835NatPlus (N1NatPlus more)

At least 836.

type alias N837NatPlus more =

N836NatPlus (N1NatPlus more)

At least 837.

type alias N838NatPlus more =

N837NatPlus (N1NatPlus more)

At least 838.

type alias N839NatPlus more =

N838NatPlus (N1NatPlus more)

At least 839.

type alias N83NatPlus more =

N82NatPlus (N1NatPlus more)

At least 83.

type alias N840NatPlus more =

N839NatPlus (N1NatPlus more)

At least 840.

type alias N841NatPlus more =

N840NatPlus (N1NatPlus more)

At least 841.

type alias N842NatPlus more =

N841NatPlus (N1NatPlus more)

At least 842.

type alias N843NatPlus more =

N842NatPlus (N1NatPlus more)

At least 843.

type alias N844NatPlus more =

N843NatPlus (N1NatPlus more)

At least 844.

type alias N845NatPlus more =

N844NatPlus (N1NatPlus more)

At least 845.

type alias N846NatPlus more =

N845NatPlus (N1NatPlus more)

At least 846.

type alias N847NatPlus more =

N846NatPlus (N1NatPlus more)

At least 847.

type alias N848NatPlus more =

N847NatPlus (N1NatPlus more)

At least 848.

type alias N849NatPlus more =

N848NatPlus (N1NatPlus more)

At least 849.

type alias N84NatPlus more =

N83NatPlus (N1NatPlus more)

At least 84.

type alias N850NatPlus more =

N849NatPlus (N1NatPlus more)

At least 850.

type alias N851NatPlus more =

N850NatPlus (N1NatPlus more)

At least 851.

type alias N852NatPlus more =

N851NatPlus (N1NatPlus more)

At least 852.

type alias N853NatPlus more =

N852NatPlus (N1NatPlus more)

At least 853.

type alias N854NatPlus more =

N853NatPlus (N1NatPlus more)

At least 854.

type alias N855NatPlus more =

N854NatPlus (N1NatPlus more)

At least 855.

type alias N856NatPlus more =

N855NatPlus (N1NatPlus more)

At least 856.

type alias N857NatPlus more =

N856NatPlus (N1NatPlus more)

At least 857.

type alias N858NatPlus more =

N857NatPlus (N1NatPlus more)

At least 858.

type alias N859NatPlus more =

N858NatPlus (N1NatPlus more)

At least 859.

type alias N85NatPlus more =

N84NatPlus (N1NatPlus more)

At least 85.

type alias N860NatPlus more =

N859NatPlus (N1NatPlus more)

At least 860.

type alias N861NatPlus more =

N860NatPlus (N1NatPlus more)

At least 861.

type alias N862NatPlus more =

N861NatPlus (N1NatPlus more)

At least 862.

type alias N863NatPlus more =

N862NatPlus (N1NatPlus more)

At least 863.

type alias N864NatPlus more =

N863NatPlus (N1NatPlus more)

At least 864.

type alias N865NatPlus more =

N864NatPlus (N1NatPlus more)

At least 865.

type alias N866NatPlus more =

N865NatPlus (N1NatPlus more)

At least 866.

type alias N867NatPlus more =

N866NatPlus (N1NatPlus more)

At least 867.

type alias N868NatPlus more =

N867NatPlus (N1NatPlus more)

At least 868.

type alias N869NatPlus more =

N868NatPlus (N1NatPlus more)

At least 869.

type alias N86NatPlus more =

N85NatPlus (N1NatPlus more)

At least 86.

type alias N870NatPlus more =

N869NatPlus (N1NatPlus more)

At least 870.

type alias N871NatPlus more =

N870NatPlus (N1NatPlus more)

At least 871.

type alias N872NatPlus more =

N871NatPlus (N1NatPlus more)

At least 872.

type alias N873NatPlus more =

N872NatPlus (N1NatPlus more)

At least 873.

type alias N874NatPlus more =

N873NatPlus (N1NatPlus more)

At least 874.

type alias N875NatPlus more =

N874NatPlus (N1NatPlus more)

At least 875.

type alias N876NatPlus more =

N875NatPlus (N1NatPlus more)

At least 876.

type alias N877NatPlus more =

N876NatPlus (N1NatPlus more)

At least 877.

type alias N878NatPlus more =

N877NatPlus (N1NatPlus more)

At least 878.

type alias N879NatPlus more =

N878NatPlus (N1NatPlus more)

At least 879.

type alias N87NatPlus more =

N86NatPlus (N1NatPlus more)

At least 87.

type alias N880NatPlus more =

N879NatPlus (N1NatPlus more)

At least 880.

type alias N881NatPlus more =

N880NatPlus (N1NatPlus more)

At least 881.

type alias N882NatPlus more =

N881NatPlus (N1NatPlus more)

At least 882.

type alias N883NatPlus more =

N882NatPlus (N1NatPlus more)

At least 883.

type alias N884NatPlus more =

N883NatPlus (N1NatPlus more)

At least 884.

type alias N885NatPlus more =

N884NatPlus (N1NatPlus more)

At least 885.

type alias N886NatPlus more =

N885NatPlus (N1NatPlus more)

At least 886.

type alias N887NatPlus more =

N886NatPlus (N1NatPlus more)

At least 887.

type alias N888NatPlus more =

N887NatPlus (N1NatPlus more)

At least 888.

type alias N889NatPlus more =

N888NatPlus (N1NatPlus more)

At least 889.

type alias N88NatPlus more =

N87NatPlus (N1NatPlus more)

At least 88.

type alias N890NatPlus more =

N889NatPlus (N1NatPlus more)

At least 890.

type alias N891NatPlus more =

N890NatPlus (N1NatPlus more)

At least 891.

type alias N892NatPlus more =

N891NatPlus (N1NatPlus more)

At least 892.

type alias N893NatPlus more =

N892NatPlus (N1NatPlus more)

At least 893.

type alias N894NatPlus more =

N893NatPlus (N1NatPlus more)

At least 894.

type alias N895NatPlus more =

N894NatPlus (N1NatPlus more)

At least 895.

type alias N896NatPlus more =

N895NatPlus (N1NatPlus more)

At least 896.

type alias N897NatPlus more =

N896NatPlus (N1NatPlus more)

At least 897.

type alias N898NatPlus more =

N897NatPlus (N1NatPlus more)

At least 898.

type alias N899NatPlus more =

N898NatPlus (N1NatPlus more)

At least 899.

type alias N89NatPlus more =

N88NatPlus (N1NatPlus more)

At least 89.

type alias N8NatPlus more =

N7NatPlus (N1NatPlus more)

At least 8.

type alias N900NatPlus more =

N899NatPlus (N1NatPlus more)

At least 900.

type alias N901NatPlus more =

N900NatPlus (N1NatPlus more)

At least 901.

type alias N902NatPlus more =

N901NatPlus (N1NatPlus more)

At least 902.

type alias N903NatPlus more =

N902NatPlus (N1NatPlus more)

At least 903.

type alias N904NatPlus more =

N903NatPlus (N1NatPlus more)

At least 904.

type alias N905NatPlus more =

N904NatPlus (N1NatPlus more)

At least 905.

type alias N906NatPlus more =

N905NatPlus (N1NatPlus more)

At least 906.

type alias N907NatPlus more =

N906NatPlus (N1NatPlus more)

At least 907.

type alias N908NatPlus more =

N907NatPlus (N1NatPlus more)

At least 908.

type alias N909NatPlus more =

N908NatPlus (N1NatPlus more)

At least 909.

type alias N90NatPlus more =

N89NatPlus (N1NatPlus more)

At least 90.

type alias N910NatPlus more =

N909NatPlus (N1NatPlus more)

At least 910.

type alias N911NatPlus more =

N910NatPlus (N1NatPlus more)

At least 911.

type alias N912NatPlus more =

N911NatPlus (N1NatPlus more)

At least 912.

type alias N913NatPlus more =

N912NatPlus (N1NatPlus more)

At least 913.

type alias N914NatPlus more =

N913NatPlus (N1NatPlus more)

At least 914.

type alias N915NatPlus more =

N914NatPlus (N1NatPlus more)

At least 915.

type alias N916NatPlus more =

N915NatPlus (N1NatPlus more)

At least 916.

type alias N917NatPlus more =

N916NatPlus (N1NatPlus more)

At least 917.

type alias N918NatPlus more =

N917NatPlus (N1NatPlus more)

At least 918.

type alias N919NatPlus more =

N918NatPlus (N1NatPlus more)

At least 919.

type alias N91NatPlus more =

N90NatPlus (N1NatPlus more)

At least 91.

type alias N920NatPlus more =

N919NatPlus (N1NatPlus more)

At least 920.

type alias N921NatPlus more =

N920NatPlus (N1NatPlus more)

At least 921.

type alias N922NatPlus more =

N921NatPlus (N1NatPlus more)

At least 922.

type alias N923NatPlus more =

N922NatPlus (N1NatPlus more)

At least 923.

type alias N924NatPlus more =

N923NatPlus (N1NatPlus more)

At least 924.

type alias N925NatPlus more =

N924NatPlus (N1NatPlus more)

At least 925.

type alias N926NatPlus more =

N925NatPlus (N1NatPlus more)

At least 926.

type alias N927NatPlus more =

N926NatPlus (N1NatPlus more)

At least 927.

type alias N928NatPlus more =

N927NatPlus (N1NatPlus more)

At least 928.

type alias N929NatPlus more =

N928NatPlus (N1NatPlus more)

At least 929.

type alias N92NatPlus more =

N91NatPlus (N1NatPlus more)

At least 92.

type alias N930NatPlus more =

N929NatPlus (N1NatPlus more)

At least 930.

type alias N931NatPlus more =

N930NatPlus (N1NatPlus more)

At least 931.

type alias N932NatPlus more =

N931NatPlus (N1NatPlus more)

At least 932.

type alias N933NatPlus more =

N932NatPlus (N1NatPlus more)

At least 933.

type alias N934NatPlus more =

N933NatPlus (N1NatPlus more)

At least 934.

type alias N935NatPlus more =

N934NatPlus (N1NatPlus more)

At least 935.

type alias N936NatPlus more =

N935NatPlus (N1NatPlus more)

At least 936.

type alias N937NatPlus more =

N936NatPlus (N1NatPlus more)

At least 937.

type alias N938NatPlus more =

N937NatPlus (N1NatPlus more)

At least 938.

type alias N939NatPlus more =

N938NatPlus (N1NatPlus more)

At least 939.

type alias N93NatPlus more =

N92NatPlus (N1NatPlus more)

At least 93.

type alias N940NatPlus more =

N939NatPlus (N1NatPlus more)

At least 940.

type alias N941NatPlus more =

N940NatPlus (N1NatPlus more)

At least 941.

type alias N942NatPlus more =

N941NatPlus (N1NatPlus more)

At least 942.

type alias N943NatPlus more =

N942NatPlus (N1NatPlus more)

At least 943.

type alias N944NatPlus more =

N943NatPlus (N1NatPlus more)

At least 944.

type alias N945NatPlus more =

N944NatPlus (N1NatPlus more)

At least 945.

type alias N946NatPlus more =

N945NatPlus (N1NatPlus more)

At least 946.

type alias N947NatPlus more =

N946NatPlus (N1NatPlus more)

At least 947.

type alias N948NatPlus more =

N947NatPlus (N1NatPlus more)

At least 948.

type alias N949NatPlus more =

N948NatPlus (N1NatPlus more)

At least 949.

type alias N94NatPlus more =

N93NatPlus (N1NatPlus more)

At least 94.

type alias N950NatPlus more =

N949NatPlus (N1NatPlus more)

At least 950.

type alias N951NatPlus more =

N950NatPlus (N1NatPlus more)

At least 951.

type alias N952NatPlus more =

N951NatPlus (N1NatPlus more)

At least 952.

type alias N953NatPlus more =

N952NatPlus (N1NatPlus more)

At least 953.

type alias N954NatPlus more =

N953NatPlus (N1NatPlus more)

At least 954.

type alias N955NatPlus more =

N954NatPlus (N1NatPlus more)

At least 955.

type alias N956NatPlus more =

N955NatPlus (N1NatPlus more)

At least 956.

type alias N957NatPlus more =

N956NatPlus (N1NatPlus more)

At least 957.

type alias N958NatPlus more =

N957NatPlus (N1NatPlus more)

At least 958.

type alias N959NatPlus more =

N958NatPlus (N1NatPlus more)

At least 959.

type alias N95NatPlus more =

N94NatPlus (N1NatPlus more)

At least 95.

type alias N960NatPlus more =

N959NatPlus (N1NatPlus more)

At least 960.

type alias N961NatPlus more =

N960NatPlus (N1NatPlus more)

At least 961.

type alias N962NatPlus more =

N961NatPlus (N1NatPlus more)

At least 962.

type alias N963NatPlus more =

N962NatPlus (N1NatPlus more)

At least 963.

type alias N964NatPlus more =

N963NatPlus (N1NatPlus more)

At least 964.

type alias N965NatPlus more =

N964NatPlus (N1NatPlus more)

At least 965.

type alias N966NatPlus more =

N965NatPlus (N1NatPlus more)

At least 966.

type alias N967NatPlus more =

N966NatPlus (N1NatPlus more)

At least 967.

type alias N968NatPlus more =

N967NatPlus (N1NatPlus more)

At least 968.

type alias N969NatPlus more =

N968NatPlus (N1NatPlus more)

At least 969.

type alias N96NatPlus more =

N95NatPlus (N1NatPlus more)

At least 96.

type alias N970NatPlus more =

N969NatPlus (N1NatPlus more)

At least 970.

type alias N971NatPlus more =

N970NatPlus (N1NatPlus more)

At least 971.

type alias N972NatPlus more =

N971NatPlus (N1NatPlus more)

At least 972.

type alias N973NatPlus more =

N972NatPlus (N1NatPlus more)

At least 973.

type alias N974NatPlus more =

N973NatPlus (N1NatPlus more)

At least 974.

type alias N975NatPlus more =

N974NatPlus (N1NatPlus more)

At least 975.

type alias N976NatPlus more =

N975NatPlus (N1NatPlus more)

At least 976.

type alias N977NatPlus more =

N976NatPlus (N1NatPlus more)

At least 977.

type alias N978NatPlus more =

N977NatPlus (N1NatPlus more)

At least 978.

type alias N979NatPlus more =

N978NatPlus (N1NatPlus more)

At least 979.

type alias N97NatPlus more =

N96NatPlus (N1NatPlus more)

At least 97.

type alias N980NatPlus more =

N979NatPlus (N1NatPlus more)

At least 980.

type alias N981NatPlus more =

N980NatPlus (N1NatPlus more)

At least 981.

type alias N982NatPlus more =

N981NatPlus (N1NatPlus more)

At least 982.

type alias N983NatPlus more =

N982NatPlus (N1NatPlus more)

At least 983.

type alias N984NatPlus more =

N983NatPlus (N1NatPlus more)

At least 984.

type alias N985NatPlus more =

N984NatPlus (N1NatPlus more)

At least 985.

type alias N986NatPlus more =

N985NatPlus (N1NatPlus more)

At least 986.

type alias N987NatPlus more =

N986NatPlus (N1NatPlus more)

At least 987.

type alias N988NatPlus more =

N987NatPlus (N1NatPlus more)

At least 988.

type alias N989NatPlus more =

N988NatPlus (N1NatPlus more)

At least 989.

type alias N98NatPlus more =

N97NatPlus (N1NatPlus more)

At least 98.

type alias N990NatPlus more =

N989NatPlus (N1NatPlus more)

At least 990.

type alias N991NatPlus more =

N990NatPlus (N1NatPlus more)

At least 991.

type alias N992NatPlus more =

N991NatPlus (N1NatPlus more)

At least 992.

type alias N993NatPlus more =

N992NatPlus (N1NatPlus more)

At least 993.

type alias N994NatPlus more =

N993NatPlus (N1NatPlus more)

At least 994.

type alias N995NatPlus more =

N994NatPlus (N1NatPlus more)

At least 995.

type alias N996NatPlus more =

N995NatPlus (N1NatPlus more)

At least 996.

type alias N997NatPlus more =

N996NatPlus (N1NatPlus more)

At least 997.

type alias N998NatPlus more =

N997NatPlus (N1NatPlus more)

At least 998.

type alias N999NatPlus more =

N998NatPlus (N1NatPlus more)

At least 999.

type alias N99NatPlus more =

N98NatPlus (N1NatPlus more)

At least 99.

type alias N9NatPlus more =

N8NatPlus (N1NatPlus more)

At least 9.

exact

type N0Nat

Exact 0.

type alias N1000Nat =

N1000NatPlus N0Nat

Exact 1000.

type alias N1001Nat =

N1001NatPlus N0Nat

Exact 1001.

type alias N1002Nat =

N1002NatPlus N0Nat

Exact 1002.

type alias N1003Nat =

N1003NatPlus N0Nat

Exact 1003.

type alias N1004Nat =

N1004NatPlus N0Nat

Exact 1004.

type alias N1005Nat =

N1005NatPlus N0Nat

Exact 1005.

type alias N1006Nat =

N1006NatPlus N0Nat

Exact 1006.

type alias N1007Nat =

N1007NatPlus N0Nat

Exact 1007.

type alias N1008Nat =

N1008NatPlus N0Nat

Exact 1008.

type alias N1009Nat =

N1009NatPlus N0Nat

Exact 1009.

type alias N100Nat =

N100NatPlus N0Nat

Exact 100.

type alias N1010Nat =

N1010NatPlus N0Nat

Exact 1010.

type alias N1011Nat =

N1011NatPlus N0Nat

Exact 1011.

type alias N1012Nat =

N1012NatPlus N0Nat

Exact 1012.

type alias N1013Nat =

N1013NatPlus N0Nat

Exact 1013.

type alias N1014Nat =

N1014NatPlus N0Nat

Exact 1014.

type alias N1015Nat =

N1015NatPlus N0Nat

Exact 1015.

type alias N1016Nat =

N1016NatPlus N0Nat

Exact 1016.

type alias N1017Nat =

N1017NatPlus N0Nat

Exact 1017.

type alias N1018Nat =

N1018NatPlus N0Nat

Exact 1018.

type alias N1019Nat =

N1019NatPlus N0Nat

Exact 1019.

type alias N101Nat =

N101NatPlus N0Nat

Exact 101.

type alias N1020Nat =

N1020NatPlus N0Nat

Exact 1020.

type alias N1021Nat =

N1021NatPlus N0Nat

Exact 1021.

type alias N1022Nat =

N1022NatPlus N0Nat

Exact 1022.

type alias N1023Nat =

N1023NatPlus N0Nat

Exact 1023.

type alias N1024Nat =

N1024NatPlus N0Nat

Exact 1024.

type alias N102Nat =

N102NatPlus N0Nat

Exact 102.

type alias N103Nat =

N103NatPlus N0Nat

Exact 103.

type alias N104Nat =

N104NatPlus N0Nat

Exact 104.

type alias N105Nat =

N105NatPlus N0Nat

Exact 105.

type alias N106Nat =

N106NatPlus N0Nat

Exact 106.

type alias N107Nat =

N107NatPlus N0Nat

Exact 107.

type alias N108Nat =

N108NatPlus N0Nat

Exact 108.

type alias N109Nat =

N109NatPlus N0Nat

Exact 109.

type alias N10Nat =

N10NatPlus N0Nat

Exact 10.

type alias N110Nat =

N110NatPlus N0Nat

Exact 110.

type alias N111Nat =

N111NatPlus N0Nat

Exact 111.

type alias N112Nat =

N112NatPlus N0Nat

Exact 112.

type alias N113Nat =

N113NatPlus N0Nat

Exact 113.

type alias N114Nat =

N114NatPlus N0Nat

Exact 114.

type alias N115Nat =

N115NatPlus N0Nat

Exact 115.

type alias N116Nat =

N116NatPlus N0Nat

Exact 116.

type alias N117Nat =

N117NatPlus N0Nat

Exact 117.

type alias N118Nat =

N118NatPlus N0Nat

Exact 118.

type alias N119Nat =

N119NatPlus N0Nat

Exact 119.

type alias N11Nat =

N11NatPlus N0Nat

Exact 11.

type alias N120Nat =

N120NatPlus N0Nat

Exact 120.

type alias N121Nat =

N121NatPlus N0Nat

Exact 121.

type alias N122Nat =

N122NatPlus N0Nat

Exact 122.

type alias N123Nat =

N123NatPlus N0Nat

Exact 123.

type alias N124Nat =

N124NatPlus N0Nat

Exact 124.

type alias N125Nat =

N125NatPlus N0Nat

Exact 125.

type alias N126Nat =

N126NatPlus N0Nat

Exact 126.

type alias N127Nat =

N127NatPlus N0Nat

Exact 127.

type alias N128Nat =

N128NatPlus N0Nat

Exact 128.

type alias N129Nat =

N129NatPlus N0Nat

Exact 129.

type alias N12Nat =

N12NatPlus N0Nat

Exact 12.

type alias N130Nat =

N130NatPlus N0Nat

Exact 130.

type alias N131Nat =

N131NatPlus N0Nat

Exact 131.

type alias N132Nat =

N132NatPlus N0Nat

Exact 132.

type alias N133Nat =

N133NatPlus N0Nat

Exact 133.

type alias N134Nat =

N134NatPlus N0Nat

Exact 134.

type alias N135Nat =

N135NatPlus N0Nat

Exact 135.

type alias N136Nat =

N136NatPlus N0Nat

Exact 136.

type alias N137Nat =

N137NatPlus N0Nat

Exact 137.

type alias N138Nat =

N138NatPlus N0Nat

Exact 138.

type alias N139Nat =

N139NatPlus N0Nat

Exact 139.

type alias N13Nat =

N13NatPlus N0Nat

Exact 13.

type alias N140Nat =

N140NatPlus N0Nat

Exact 140.

type alias N141Nat =

N141NatPlus N0Nat

Exact 141.

type alias N142Nat =

N142NatPlus N0Nat

Exact 142.

type alias N143Nat =

N143NatPlus N0Nat

Exact 143.

type alias N144Nat =

N144NatPlus N0Nat

Exact 144.

type alias N145Nat =

N145NatPlus N0Nat

Exact 145.

type alias N146Nat =

N146NatPlus N0Nat

Exact 146.

type alias N147Nat =

N147NatPlus N0Nat

Exact 147.

type alias N148Nat =

N148NatPlus N0Nat

Exact 148.

type alias N149Nat =

N149NatPlus N0Nat

Exact 149.

type alias N14Nat =

N14NatPlus N0Nat

Exact 14.

type alias N150Nat =

N150NatPlus N0Nat

Exact 150.

type alias N151Nat =

N151NatPlus N0Nat

Exact 151.

type alias N152Nat =

N152NatPlus N0Nat

Exact 152.

type alias N153Nat =

N153NatPlus N0Nat

Exact 153.

type alias N154Nat =

N154NatPlus N0Nat

Exact 154.

type alias N155Nat =

N155NatPlus N0Nat

Exact 155.

type alias N156Nat =

N156NatPlus N0Nat

Exact 156.

type alias N157Nat =

N157NatPlus N0Nat

Exact 157.

type alias N158Nat =

N158NatPlus N0Nat

Exact 158.

type alias N159Nat =

N159NatPlus N0Nat

Exact 159.

type alias N15Nat =

N15NatPlus N0Nat

Exact 15.

type alias N160Nat =

N160NatPlus N0Nat

Exact 160.

type alias N161Nat =

N161NatPlus N0Nat

Exact 161.

type alias N162Nat =

N162NatPlus N0Nat

Exact 162.

type alias N163Nat =

N163NatPlus N0Nat

Exact 163.

type alias N164Nat =

N164NatPlus N0Nat

Exact 164.

type alias N165Nat =

N165NatPlus N0Nat

Exact 165.

type alias N166Nat =

N166NatPlus N0Nat

Exact 166.

type alias N167Nat =

N167NatPlus N0Nat

Exact 167.

type alias N168Nat =

N168NatPlus N0Nat

Exact 168.

type alias N169Nat =

N169NatPlus N0Nat

Exact 169.

type alias N16Nat =

N16NatPlus N0Nat

Exact 16.

type alias N170Nat =

N170NatPlus N0Nat

Exact 170.

type alias N171Nat =

N171NatPlus N0Nat

Exact 171.

type alias N172Nat =

N172NatPlus N0Nat

Exact 172.

type alias N173Nat =

N173NatPlus N0Nat

Exact 173.

type alias N174Nat =

N174NatPlus N0Nat

Exact 174.

type alias N175Nat =

N175NatPlus N0Nat

Exact 175.

type alias N176Nat =

N176NatPlus N0Nat

Exact 176.

type alias N177Nat =

N177NatPlus N0Nat

Exact 177.

type alias N178Nat =

N178NatPlus N0Nat

Exact 178.

type alias N179Nat =

N179NatPlus N0Nat

Exact 179.

type alias N17Nat =

N17NatPlus N0Nat

Exact 17.

type alias N180Nat =

N180NatPlus N0Nat

Exact 180.

type alias N181Nat =

N181NatPlus N0Nat

Exact 181.

type alias N182Nat =

N182NatPlus N0Nat

Exact 182.

type alias N183Nat =

N183NatPlus N0Nat

Exact 183.

type alias N184Nat =

N184NatPlus N0Nat

Exact 184.

type alias N185Nat =

N185NatPlus N0Nat

Exact 185.

type alias N186Nat =

N186NatPlus N0Nat

Exact 186.

type alias N187Nat =

N187NatPlus N0Nat

Exact 187.

type alias N188Nat =

N188NatPlus N0Nat

Exact 188.

type alias N189Nat =

N189NatPlus N0Nat

Exact 189.

type alias N18Nat =

N18NatPlus N0Nat

Exact 18.

type alias N190Nat =

N190NatPlus N0Nat

Exact 190.

type alias N191Nat =

N191NatPlus N0Nat

Exact 191.

type alias N192Nat =

N192NatPlus N0Nat

Exact 192.

type alias N193Nat =

N193NatPlus N0Nat

Exact 193.

type alias N194Nat =

N194NatPlus N0Nat

Exact 194.

type alias N195Nat =

N195NatPlus N0Nat

Exact 195.

type alias N196Nat =

N196NatPlus N0Nat

Exact 196.

type alias N197Nat =

N197NatPlus N0Nat

Exact 197.

type alias N198Nat =

N198NatPlus N0Nat

Exact 198.

type alias N199Nat =

N199NatPlus N0Nat

Exact 199.

type alias N19Nat =

N19NatPlus N0Nat

Exact 19.

type alias N1Nat =

N1NatPlus N0Nat

Exact 1.

type alias N200Nat =

N200NatPlus N0Nat

Exact 200.

type alias N201Nat =

N201NatPlus N0Nat

Exact 201.

type alias N202Nat =

N202NatPlus N0Nat

Exact 202.

type alias N203Nat =

N203NatPlus N0Nat

Exact 203.

type alias N204Nat =

N204NatPlus N0Nat

Exact 204.

type alias N205Nat =

N205NatPlus N0Nat

Exact 205.

type alias N206Nat =

N206NatPlus N0Nat

Exact 206.

type alias N207Nat =

N207NatPlus N0Nat

Exact 207.

type alias N208Nat =

N208NatPlus N0Nat

Exact 208.

type alias N209Nat =

N209NatPlus N0Nat

Exact 209.

type alias N20Nat =

N20NatPlus N0Nat

Exact 20.

type alias N210Nat =

N210NatPlus N0Nat

Exact 210.

type alias N211Nat =

N211NatPlus N0Nat

Exact 211.

type alias N212Nat =

N212NatPlus N0Nat

Exact 212.

type alias N213Nat =

N213NatPlus N0Nat

Exact 213.

type alias N214Nat =

N214NatPlus N0Nat

Exact 214.

type alias N215Nat =

N215NatPlus N0Nat

Exact 215.

type alias N216Nat =

N216NatPlus N0Nat

Exact 216.

type alias N217Nat =

N217NatPlus N0Nat

Exact 217.

type alias N218Nat =

N218NatPlus N0Nat

Exact 218.

type alias N219Nat =

N219NatPlus N0Nat

Exact 219.

type alias N21Nat =

N21NatPlus N0Nat

Exact 21.

type alias N220Nat =

N220NatPlus N0Nat

Exact 220.

type alias N221Nat =

N221NatPlus N0Nat

Exact 221.

type alias N222Nat =

N222NatPlus N0Nat

Exact 222.

type alias N223Nat =

N223NatPlus N0Nat

Exact 223.

type alias N224Nat =

N224NatPlus N0Nat

Exact 224.

type alias N225Nat =

N225NatPlus N0Nat

Exact 225.

type alias N226Nat =

N226NatPlus N0Nat

Exact 226.

type alias N227Nat =

N227NatPlus N0Nat

Exact 227.

type alias N228Nat =

N228NatPlus N0Nat

Exact 228.

type alias N229Nat =

N229NatPlus N0Nat

Exact 229.

type alias N22Nat =

N22NatPlus N0Nat

Exact 22.

type alias N230Nat =

N230NatPlus N0Nat

Exact 230.

type alias N231Nat =

N231NatPlus N0Nat

Exact 231.

type alias N232Nat =

N232NatPlus N0Nat

Exact 232.

type alias N233Nat =

N233NatPlus N0Nat

Exact 233.

type alias N234Nat =

N234NatPlus N0Nat

Exact 234.

type alias N235Nat =

N235NatPlus N0Nat

Exact 235.

type alias N236Nat =

N236NatPlus N0Nat

Exact 236.

type alias N237Nat =

N237NatPlus N0Nat

Exact 237.

type alias N238Nat =

N238NatPlus N0Nat

Exact 238.

type alias N239Nat =

N239NatPlus N0Nat

Exact 239.

type alias N23Nat =

N23NatPlus N0Nat

Exact 23.

type alias N240Nat =

N240NatPlus N0Nat

Exact 240.

type alias N241Nat =

N241NatPlus N0Nat

Exact 241.

type alias N242Nat =

N242NatPlus N0Nat

Exact 242.

type alias N243Nat =

N243NatPlus N0Nat

Exact 243.

type alias N244Nat =

N244NatPlus N0Nat

Exact 244.

type alias N245Nat =

N245NatPlus N0Nat

Exact 245.

type alias N246Nat =

N246NatPlus N0Nat

Exact 246.

type alias N247Nat =

N247NatPlus N0Nat

Exact 247.

type alias N248Nat =

N248NatPlus N0Nat

Exact 248.

type alias N249Nat =

N249NatPlus N0Nat

Exact 249.

type alias N24Nat =

N24NatPlus N0Nat

Exact 24.

type alias N250Nat =

N250NatPlus N0Nat

Exact 250.

type alias N251Nat =

N251NatPlus N0Nat

Exact 251.

type alias N252Nat =

N252NatPlus N0Nat

Exact 252.

type alias N253Nat =

N253NatPlus N0Nat

Exact 253.

type alias N254Nat =

N254NatPlus N0Nat

Exact 254.

type alias N255Nat =

N255NatPlus N0Nat

Exact 255.

type alias N256Nat =

N256NatPlus N0Nat

Exact 256.

type alias N257Nat =

N257NatPlus N0Nat

Exact 257.

type alias N258Nat =

N258NatPlus N0Nat

Exact 258.

type alias N259Nat =

N259NatPlus N0Nat

Exact 259.

type alias N25Nat =

N25NatPlus N0Nat

Exact 25.

type alias N260Nat =

N260NatPlus N0Nat

Exact 260.

type alias N261Nat =

N261NatPlus N0Nat

Exact 261.

type alias N262Nat =

N262NatPlus N0Nat

Exact 262.

type alias N263Nat =

N263NatPlus N0Nat

Exact 263.

type alias N264Nat =

N264NatPlus N0Nat

Exact 264.

type alias N265Nat =

N265NatPlus N0Nat

Exact 265.

type alias N266Nat =

N266NatPlus N0Nat

Exact 266.

type alias N267Nat =

N267NatPlus N0Nat

Exact 267.

type alias N268Nat =

N268NatPlus N0Nat

Exact 268.

type alias N269Nat =

N269NatPlus N0Nat

Exact 269.

type alias N26Nat =

N26NatPlus N0Nat

Exact 26.

type alias N270Nat =

N270NatPlus N0Nat

Exact 270.

type alias N271Nat =

N271NatPlus N0Nat

Exact 271.

type alias N272Nat =

N272NatPlus N0Nat

Exact 272.

type alias N273Nat =

N273NatPlus N0Nat

Exact 273.

type alias N274Nat =

N274NatPlus N0Nat

Exact 274.

type alias N275Nat =

N275NatPlus N0Nat

Exact 275.

type alias N276Nat =

N276NatPlus N0Nat

Exact 276.

type alias N277Nat =

N277NatPlus N0Nat

Exact 277.

type alias N278Nat =

N278NatPlus N0Nat

Exact 278.

type alias N279Nat =

N279NatPlus N0Nat

Exact 279.

type alias N27Nat =

N27NatPlus N0Nat

Exact 27.

type alias N280Nat =

N280NatPlus N0Nat

Exact 280.

type alias N281Nat =

N281NatPlus N0Nat

Exact 281.

type alias N282Nat =

N282NatPlus N0Nat

Exact 282.

type alias N283Nat =

N283NatPlus N0Nat

Exact 283.

type alias N284Nat =

N284NatPlus N0Nat

Exact 284.

type alias N285Nat =

N285NatPlus N0Nat

Exact 285.

type alias N286Nat =

N286NatPlus N0Nat

Exact 286.

type alias N287Nat =

N287NatPlus N0Nat

Exact 287.

type alias N288Nat =

N288NatPlus N0Nat

Exact 288.

type alias N289Nat =

N289NatPlus N0Nat

Exact 289.

type alias N28Nat =

N28NatPlus N0Nat

Exact 28.

type alias N290Nat =

N290NatPlus N0Nat

Exact 290.

type alias N291Nat =

N291NatPlus N0Nat

Exact 291.

type alias N292Nat =

N292NatPlus N0Nat

Exact 292.

type alias N293Nat =

N293NatPlus N0Nat

Exact 293.

type alias N294Nat =

N294NatPlus N0Nat

Exact 294.

type alias N295Nat =

N295NatPlus N0Nat

Exact 295.

type alias N296Nat =

N296NatPlus N0Nat

Exact 296.

type alias N297Nat =

N297NatPlus N0Nat

Exact 297.

type alias N298Nat =

N298NatPlus N0Nat

Exact 298.

type alias N299Nat =

N299NatPlus N0Nat

Exact 299.

type alias N29Nat =

N29NatPlus N0Nat

Exact 29.

type alias N2Nat =

N2NatPlus N0Nat

Exact 2.

type alias N300Nat =

N300NatPlus N0Nat

Exact 300.

type alias N301Nat =

N301NatPlus N0Nat

Exact 301.

type alias N302Nat =

N302NatPlus N0Nat

Exact 302.

type alias N303Nat =

N303NatPlus N0Nat

Exact 303.

type alias N304Nat =

N304NatPlus N0Nat

Exact 304.

type alias N305Nat =

N305NatPlus N0Nat

Exact 305.

type alias N306Nat =

N306NatPlus N0Nat

Exact 306.

type alias N307Nat =

N307NatPlus N0Nat

Exact 307.

type alias N308Nat =

N308NatPlus N0Nat

Exact 308.

type alias N309Nat =

N309NatPlus N0Nat

Exact 309.

type alias N30Nat =

N30NatPlus N0Nat

Exact 30.

type alias N310Nat =

N310NatPlus N0Nat

Exact 310.

type alias N311Nat =

N311NatPlus N0Nat

Exact 311.

type alias N312Nat =

N312NatPlus N0Nat

Exact 312.

type alias N313Nat =

N313NatPlus N0Nat

Exact 313.

type alias N314Nat =

N314NatPlus N0Nat

Exact 314.

type alias N315Nat =

N315NatPlus N0Nat

Exact 315.

type alias N316Nat =

N316NatPlus N0Nat

Exact 316.

type alias N317Nat =

N317NatPlus N0Nat

Exact 317.

type alias N318Nat =

N318NatPlus N0Nat

Exact 318.

type alias N319Nat =

N319NatPlus N0Nat

Exact 319.

type alias N31Nat =

N31NatPlus N0Nat

Exact 31.

type alias N320Nat =

N320NatPlus N0Nat

Exact 320.

type alias N321Nat =

N321NatPlus N0Nat

Exact 321.

type alias N322Nat =

N322NatPlus N0Nat

Exact 322.

type alias N323Nat =

N323NatPlus N0Nat

Exact 323.

type alias N324Nat =

N324NatPlus N0Nat

Exact 324.

type alias N325Nat =

N325NatPlus N0Nat

Exact 325.

type alias N326Nat =

N326NatPlus N0Nat

Exact 326.

type alias N327Nat =

N327NatPlus N0Nat

Exact 327.

type alias N328Nat =

N328NatPlus N0Nat

Exact 328.

type alias N329Nat =

N329NatPlus N0Nat

Exact 329.

type alias N32Nat =

N32NatPlus N0Nat

Exact 32.

type alias N330Nat =

N330NatPlus N0Nat

Exact 330.

type alias N331Nat =

N331NatPlus N0Nat

Exact 331.

type alias N332Nat =

N332NatPlus N0Nat

Exact 332.

type alias N333Nat =

N333NatPlus N0Nat

Exact 333.

type alias N334Nat =

N334NatPlus N0Nat

Exact 334.

type alias N335Nat =

N335NatPlus N0Nat

Exact 335.

type alias N336Nat =

N336NatPlus N0Nat

Exact 336.

type alias N337Nat =

N337NatPlus N0Nat

Exact 337.

type alias N338Nat =

N338NatPlus N0Nat

Exact 338.

type alias N339Nat =

N339NatPlus N0Nat

Exact 339.

type alias N33Nat =

N33NatPlus N0Nat

Exact 33.

type alias N340Nat =

N340NatPlus N0Nat

Exact 340.

type alias N341Nat =

N341NatPlus N0Nat

Exact 341.

type alias N342Nat =

N342NatPlus N0Nat

Exact 342.

type alias N343Nat =

N343NatPlus N0Nat

Exact 343.

type alias N344Nat =

N344NatPlus N0Nat

Exact 344.

type alias N345Nat =

N345NatPlus N0Nat

Exact 345.

type alias N346Nat =

N346NatPlus N0Nat

Exact 346.

type alias N347Nat =

N347NatPlus N0Nat

Exact 347.

type alias N348Nat =

N348NatPlus N0Nat

Exact 348.

type alias N349Nat =

N349NatPlus N0Nat

Exact 349.

type alias N34Nat =

N34NatPlus N0Nat

Exact 34.

type alias N350Nat =

N350NatPlus N0Nat

Exact 350.

type alias N351Nat =

N351NatPlus N0Nat

Exact 351.

type alias N352Nat =

N352NatPlus N0Nat

Exact 352.

type alias N353Nat =

N353NatPlus N0Nat

Exact 353.

type alias N354Nat =

N354NatPlus N0Nat

Exact 354.

type alias N355Nat =

N355NatPlus N0Nat

Exact 355.

type alias N356Nat =

N356NatPlus N0Nat

Exact 356.

type alias N357Nat =

N357NatPlus N0Nat

Exact 357.

type alias N358Nat =

N358NatPlus N0Nat

Exact 358.

type alias N359Nat =

N359NatPlus N0Nat

Exact 359.

type alias N35Nat =

N35NatPlus N0Nat

Exact 35.

type alias N360Nat =

N360NatPlus N0Nat

Exact 360.

type alias N361Nat =

N361NatPlus N0Nat

Exact 361.

type alias N362Nat =

N362NatPlus N0Nat

Exact 362.

type alias N363Nat =

N363NatPlus N0Nat

Exact 363.

type alias N364Nat =

N364NatPlus N0Nat

Exact 364.

type alias N365Nat =

N365NatPlus N0Nat

Exact 365.

type alias N366Nat =

N366NatPlus N0Nat

Exact 366.

type alias N367Nat =

N367NatPlus N0Nat

Exact 367.

type alias N368Nat =

N368NatPlus N0Nat

Exact 368.

type alias N369Nat =

N369NatPlus N0Nat

Exact 369.

type alias N36Nat =

N36NatPlus N0Nat

Exact 36.

type alias N370Nat =

N370NatPlus N0Nat

Exact 370.

type alias N371Nat =

N371NatPlus N0Nat

Exact 371.

type alias N372Nat =

N372NatPlus N0Nat

Exact 372.

type alias N373Nat =

N373NatPlus N0Nat

Exact 373.

type alias N374Nat =

N374NatPlus N0Nat

Exact 374.

type alias N375Nat =

N375NatPlus N0Nat

Exact 375.

type alias N376Nat =

N376NatPlus N0Nat

Exact 376.

type alias N377Nat =

N377NatPlus N0Nat

Exact 377.

type alias N378Nat =

N378NatPlus N0Nat

Exact 378.

type alias N379Nat =

N379NatPlus N0Nat

Exact 379.

type alias N37Nat =

N37NatPlus N0Nat

Exact 37.

type alias N380Nat =

N380NatPlus N0Nat

Exact 380.

type alias N381Nat =

N381NatPlus N0Nat

Exact 381.

type alias N382Nat =

N382NatPlus N0Nat

Exact 382.

type alias N383Nat =

N383NatPlus N0Nat

Exact 383.

type alias N384Nat =

N384NatPlus N0Nat

Exact 384.

type alias N385Nat =

N385NatPlus N0Nat

Exact 385.

type alias N386Nat =

N386NatPlus N0Nat

Exact 386.

type alias N387Nat =

N387NatPlus N0Nat

Exact 387.

type alias N388Nat =

N388NatPlus N0Nat

Exact 388.

type alias N389Nat =

N389NatPlus N0Nat

Exact 389.

type alias N38Nat =

N38NatPlus N0Nat

Exact 38.

type alias N390Nat =

N390NatPlus N0Nat

Exact 390.

type alias N391Nat =

N391NatPlus N0Nat

Exact 391.

type alias N392Nat =

N392NatPlus N0Nat

Exact 392.

type alias N393Nat =

N393NatPlus N0Nat

Exact 393.

type alias N394Nat =

N394NatPlus N0Nat

Exact 394.

type alias N395Nat =

N395NatPlus N0Nat

Exact 395.

type alias N396Nat =

N396NatPlus N0Nat

Exact 396.

type alias N397Nat =

N397NatPlus N0Nat

Exact 397.

type alias N398Nat =

N398NatPlus N0Nat

Exact 398.

type alias N399Nat =

N399NatPlus N0Nat

Exact 399.

type alias N39Nat =

N39NatPlus N0Nat

Exact 39.

type alias N3Nat =

N3NatPlus N0Nat

Exact 3.

type alias N400Nat =

N400NatPlus N0Nat

Exact 400.

type alias N401Nat =

N401NatPlus N0Nat

Exact 401.

type alias N402Nat =

N402NatPlus N0Nat

Exact 402.

type alias N403Nat =

N403NatPlus N0Nat

Exact 403.

type alias N404Nat =

N404NatPlus N0Nat

Exact 404.

type alias N405Nat =

N405NatPlus N0Nat

Exact 405.

type alias N406Nat =

N406NatPlus N0Nat

Exact 406.

type alias N407Nat =

N407NatPlus N0Nat

Exact 407.

type alias N408Nat =

N408NatPlus N0Nat

Exact 408.

type alias N409Nat =

N409NatPlus N0Nat

Exact 409.

type alias N40Nat =

N40NatPlus N0Nat

Exact 40.

type alias N410Nat =

N410NatPlus N0Nat

Exact 410.

type alias N411Nat =

N411NatPlus N0Nat

Exact 411.

type alias N412Nat =

N412NatPlus N0Nat

Exact 412.

type alias N413Nat =

N413NatPlus N0Nat

Exact 413.

type alias N414Nat =

N414NatPlus N0Nat

Exact 414.

type alias N415Nat =

N415NatPlus N0Nat

Exact 415.

type alias N416Nat =

N416NatPlus N0Nat

Exact 416.

type alias N417Nat =

N417NatPlus N0Nat

Exact 417.

type alias N418Nat =

N418NatPlus N0Nat

Exact 418.

type alias N419Nat =

N419NatPlus N0Nat

Exact 419.

type alias N41Nat =

N41NatPlus N0Nat

Exact 41.

type alias N420Nat =

N420NatPlus N0Nat

Exact 420.

type alias N421Nat =

N421NatPlus N0Nat

Exact 421.

type alias N422Nat =

N422NatPlus N0Nat

Exact 422.

type alias N423Nat =

N423NatPlus N0Nat

Exact 423.

type alias N424Nat =

N424NatPlus N0Nat

Exact 424.

type alias N425Nat =

N425NatPlus N0Nat

Exact 425.

type alias N426Nat =

N426NatPlus N0Nat

Exact 426.

type alias N427Nat =

N427NatPlus N0Nat

Exact 427.

type alias N428Nat =

N428NatPlus N0Nat

Exact 428.

type alias N429Nat =

N429NatPlus N0Nat

Exact 429.

type alias N42Nat =

N42NatPlus N0Nat

Exact 42.

type alias N430Nat =

N430NatPlus N0Nat

Exact 430.

type alias N431Nat =

N431NatPlus N0Nat

Exact 431.

type alias N432Nat =

N432NatPlus N0Nat

Exact 432.

type alias N433Nat =

N433NatPlus N0Nat

Exact 433.

type alias N434Nat =

N434NatPlus N0Nat

Exact 434.

type alias N435Nat =

N435NatPlus N0Nat

Exact 435.

type alias N436Nat =

N436NatPlus N0Nat

Exact 436.

type alias N437Nat =

N437NatPlus N0Nat

Exact 437.

type alias N438Nat =

N438NatPlus N0Nat

Exact 438.

type alias N439Nat =

N439NatPlus N0Nat

Exact 439.

type alias N43Nat =

N43NatPlus N0Nat

Exact 43.

type alias N440Nat =

N440NatPlus N0Nat

Exact 440.

type alias N441Nat =

N441NatPlus N0Nat

Exact 441.

type alias N442Nat =

N442NatPlus N0Nat

Exact 442.

type alias N443Nat =

N443NatPlus N0Nat

Exact 443.

type alias N444Nat =

N444NatPlus N0Nat

Exact 444.

type alias N445Nat =

N445NatPlus N0Nat

Exact 445.

type alias N446Nat =

N446NatPlus N0Nat

Exact 446.

type alias N447Nat =

N447NatPlus N0Nat

Exact 447.

type alias N448Nat =

N448NatPlus N0Nat

Exact 448.

type alias N449Nat =

N449NatPlus N0Nat

Exact 449.

type alias N44Nat =

N44NatPlus N0Nat

Exact 44.

type alias N450Nat =

N450NatPlus N0Nat

Exact 450.

type alias N451Nat =

N451NatPlus N0Nat

Exact 451.

type alias N452Nat =

N452NatPlus N0Nat

Exact 452.

type alias N453Nat =

N453NatPlus N0Nat

Exact 453.

type alias N454Nat =

N454NatPlus N0Nat

Exact 454.

type alias N455Nat =

N455NatPlus N0Nat

Exact 455.

type alias N456Nat =

N456NatPlus N0Nat

Exact 456.

type alias N457Nat =

N457NatPlus N0Nat

Exact 457.

type alias N458Nat =

N458NatPlus N0Nat

Exact 458.

type alias N459Nat =

N459NatPlus N0Nat

Exact 459.

type alias N45Nat =

N45NatPlus N0Nat

Exact 45.

type alias N460Nat =

N460NatPlus N0Nat

Exact 460.

type alias N461Nat =

N461NatPlus N0Nat

Exact 461.

type alias N462Nat =

N462NatPlus N0Nat

Exact 462.

type alias N463Nat =

N463NatPlus N0Nat

Exact 463.

type alias N464Nat =

N464NatPlus N0Nat

Exact 464.

type alias N465Nat =

N465NatPlus N0Nat

Exact 465.

type alias N466Nat =

N466NatPlus N0Nat

Exact 466.

type alias N467Nat =

N467NatPlus N0Nat

Exact 467.

type alias N468Nat =

N468NatPlus N0Nat

Exact 468.

type alias N469Nat =

N469NatPlus N0Nat

Exact 469.

type alias N46Nat =

N46NatPlus N0Nat

Exact 46.

type alias N470Nat =

N470NatPlus N0Nat

Exact 470.

type alias N471Nat =

N471NatPlus N0Nat

Exact 471.

type alias N472Nat =

N472NatPlus N0Nat

Exact 472.

type alias N473Nat =

N473NatPlus N0Nat

Exact 473.

type alias N474Nat =

N474NatPlus N0Nat

Exact 474.

type alias N475Nat =

N475NatPlus N0Nat

Exact 475.

type alias N476Nat =

N476NatPlus N0Nat

Exact 476.

type alias N477Nat =

N477NatPlus N0Nat

Exact 477.

type alias N478Nat =

N478NatPlus N0Nat

Exact 478.

type alias N479Nat =

N479NatPlus N0Nat

Exact 479.

type alias N47Nat =

N47NatPlus N0Nat

Exact 47.

type alias N480Nat =

N480NatPlus N0Nat

Exact 480.

type alias N481Nat =

N481NatPlus N0Nat

Exact 481.

type alias N482Nat =

N482NatPlus N0Nat

Exact 482.

type alias N483Nat =

N483NatPlus N0Nat

Exact 483.

type alias N484Nat =

N484NatPlus N0Nat

Exact 484.

type alias N485Nat =

N485NatPlus N0Nat

Exact 485.

type alias N486Nat =

N486NatPlus N0Nat

Exact 486.

type alias N487Nat =

N487NatPlus N0Nat

Exact 487.

type alias N488Nat =

N488NatPlus N0Nat

Exact 488.

type alias N489Nat =

N489NatPlus N0Nat

Exact 489.

type alias N48Nat =

N48NatPlus N0Nat

Exact 48.

type alias N490Nat =

N490NatPlus N0Nat

Exact 490.

type alias N491Nat =

N491NatPlus N0Nat

Exact 491.

type alias N492Nat =

N492NatPlus N0Nat

Exact 492.

type alias N493Nat =

N493NatPlus N0Nat

Exact 493.

type alias N494Nat =

N494NatPlus N0Nat

Exact 494.

type alias N495Nat =

N495NatPlus N0Nat

Exact 495.

type alias N496Nat =

N496NatPlus N0Nat

Exact 496.

type alias N497Nat =

N497NatPlus N0Nat

Exact 497.

type alias N498Nat =

N498NatPlus N0Nat

Exact 498.

type alias N499Nat =

N499NatPlus N0Nat

Exact 499.

type alias N49Nat =

N49NatPlus N0Nat

Exact 49.

type alias N4Nat =

N4NatPlus N0Nat

Exact 4.

type alias N500Nat =

N500NatPlus N0Nat

Exact 500.

type alias N501Nat =

N501NatPlus N0Nat

Exact 501.

type alias N502Nat =

N502NatPlus N0Nat

Exact 502.

type alias N503Nat =

N503NatPlus N0Nat

Exact 503.

type alias N504Nat =

N504NatPlus N0Nat

Exact 504.

type alias N505Nat =

N505NatPlus N0Nat

Exact 505.

type alias N506Nat =

N506NatPlus N0Nat

Exact 506.

type alias N507Nat =

N507NatPlus N0Nat

Exact 507.

type alias N508Nat =

N508NatPlus N0Nat

Exact 508.

type alias N509Nat =

N509NatPlus N0Nat

Exact 509.

type alias N50Nat =

N50NatPlus N0Nat

Exact 50.

type alias N510Nat =

N510NatPlus N0Nat

Exact 510.

type alias N511Nat =

N511NatPlus N0Nat

Exact 511.

type alias N512Nat =

N512NatPlus N0Nat

Exact 512.

type alias N513Nat =

N513NatPlus N0Nat

Exact 513.

type alias N514Nat =

N514NatPlus N0Nat

Exact 514.

type alias N515Nat =

N515NatPlus N0Nat

Exact 515.

type alias N516Nat =

N516NatPlus N0Nat

Exact 516.

type alias N517Nat =

N517NatPlus N0Nat

Exact 517.

type alias N518Nat =

N518NatPlus N0Nat

Exact 518.

type alias N519Nat =

N519NatPlus N0Nat

Exact 519.

type alias N51Nat =

N51NatPlus N0Nat

Exact 51.

type alias N520Nat =

N520NatPlus N0Nat

Exact 520.

type alias N521Nat =

N521NatPlus N0Nat

Exact 521.

type alias N522Nat =

N522NatPlus N0Nat

Exact 522.

type alias N523Nat =

N523NatPlus N0Nat

Exact 523.

type alias N524Nat =

N524NatPlus N0Nat

Exact 524.

type alias N525Nat =

N525NatPlus N0Nat

Exact 525.

type alias N526Nat =

N526NatPlus N0Nat

Exact 526.

type alias N527Nat =

N527NatPlus N0Nat

Exact 527.

type alias N528Nat =

N528NatPlus N0Nat

Exact 528.

type alias N529Nat =

N529NatPlus N0Nat

Exact 529.

type alias N52Nat =

N52NatPlus N0Nat

Exact 52.

type alias N530Nat =

N530NatPlus N0Nat

Exact 530.

type alias N531Nat =

N531NatPlus N0Nat

Exact 531.

type alias N532Nat =

N532NatPlus N0Nat

Exact 532.

type alias N533Nat =

N533NatPlus N0Nat

Exact 533.

type alias N534Nat =

N534NatPlus N0Nat

Exact 534.

type alias N535Nat =

N535NatPlus N0Nat

Exact 535.

type alias N536Nat =

N536NatPlus N0Nat

Exact 536.

type alias N537Nat =

N537NatPlus N0Nat

Exact 537.

type alias N538Nat =

N538NatPlus N0Nat

Exact 538.

type alias N539Nat =

N539NatPlus N0Nat

Exact 539.

type alias N53Nat =

N53NatPlus N0Nat

Exact 53.

type alias N540Nat =

N540NatPlus N0Nat

Exact 540.

type alias N541Nat =

N541NatPlus N0Nat

Exact 541.

type alias N542Nat =

N542NatPlus N0Nat

Exact 542.

type alias N543Nat =

N543NatPlus N0Nat

Exact 543.

type alias N544Nat =

N544NatPlus N0Nat

Exact 544.

type alias N545Nat =

N545NatPlus N0Nat

Exact 545.

type alias N546Nat =

N546NatPlus N0Nat

Exact 546.

type alias N547Nat =

N547NatPlus N0Nat

Exact 547.

type alias N548Nat =

N548NatPlus N0Nat

Exact 548.

type alias N549Nat =

N549NatPlus N0Nat

Exact 549.

type alias N54Nat =

N54NatPlus N0Nat

Exact 54.

type alias N550Nat =

N550NatPlus N0Nat

Exact 550.

type alias N551Nat =

N551NatPlus N0Nat

Exact 551.

type alias N552Nat =

N552NatPlus N0Nat

Exact 552.

type alias N553Nat =

N553NatPlus N0Nat

Exact 553.

type alias N554Nat =

N554NatPlus N0Nat

Exact 554.

type alias N555Nat =

N555NatPlus N0Nat

Exact 555.

type alias N556Nat =

N556NatPlus N0Nat

Exact 556.

type alias N557Nat =

N557NatPlus N0Nat

Exact 557.

type alias N558Nat =

N558NatPlus N0Nat

Exact 558.

type alias N559Nat =

N559NatPlus N0Nat

Exact 559.

type alias N55Nat =

N55NatPlus N0Nat

Exact 55.

type alias N560Nat =

N560NatPlus N0Nat

Exact 560.

type alias N561Nat =

N561NatPlus N0Nat

Exact 561.

type alias N562Nat =

N562NatPlus N0Nat

Exact 562.

type alias N563Nat =

N563NatPlus N0Nat

Exact 563.

type alias N564Nat =

N564NatPlus N0Nat

Exact 564.

type alias N565Nat =

N565NatPlus N0Nat

Exact 565.

type alias N566Nat =

N566NatPlus N0Nat

Exact 566.

type alias N567Nat =

N567NatPlus N0Nat

Exact 567.

type alias N568Nat =

N568NatPlus N0Nat

Exact 568.

type alias N569Nat =

N569NatPlus N0Nat

Exact 569.

type alias N56Nat =

N56NatPlus N0Nat

Exact 56.

type alias N570Nat =

N570NatPlus N0Nat

Exact 570.

type alias N571Nat =

N571NatPlus N0Nat

Exact 571.

type alias N572Nat =

N572NatPlus N0Nat

Exact 572.

type alias N573Nat =

N573NatPlus N0Nat

Exact 573.

type alias N574Nat =

N574NatPlus N0Nat

Exact 574.

type alias N575Nat =

N575NatPlus N0Nat

Exact 575.

type alias N576Nat =

N576NatPlus N0Nat

Exact 576.

type alias N577Nat =

N577NatPlus N0Nat

Exact 577.

type alias N578Nat =

N578NatPlus N0Nat

Exact 578.

type alias N579Nat =

N579NatPlus N0Nat

Exact 579.

type alias N57Nat =

N57NatPlus N0Nat

Exact 57.

type alias N580Nat =

N580NatPlus N0Nat

Exact 580.

type alias N581Nat =

N581NatPlus N0Nat

Exact 581.

type alias N582Nat =

N582NatPlus N0Nat

Exact 582.

type alias N583Nat =

N583NatPlus N0Nat

Exact 583.

type alias N584Nat =

N584NatPlus N0Nat

Exact 584.

type alias N585Nat =

N585NatPlus N0Nat

Exact 585.

type alias N586Nat =

N586NatPlus N0Nat

Exact 586.

type alias N587Nat =

N587NatPlus N0Nat

Exact 587.

type alias N588Nat =

N588NatPlus N0Nat

Exact 588.

type alias N589Nat =

N589NatPlus N0Nat

Exact 589.

type alias N58Nat =

N58NatPlus N0Nat

Exact 58.

type alias N590Nat =

N590NatPlus N0Nat

Exact 590.

type alias N591Nat =

N591NatPlus N0Nat

Exact 591.

type alias N592Nat =

N592NatPlus N0Nat

Exact 592.

type alias N593Nat =

N593NatPlus N0Nat

Exact 593.

type alias N594Nat =

N594NatPlus N0Nat

Exact 594.

type alias N595Nat =

N595NatPlus N0Nat

Exact 595.

type alias N596Nat =

N596NatPlus N0Nat

Exact 596.

type alias N597Nat =

N597NatPlus N0Nat

Exact 597.

type alias N598Nat =

N598NatPlus N0Nat

Exact 598.

type alias N599Nat =

N599NatPlus N0Nat

Exact 599.

type alias N59Nat =

N59NatPlus N0Nat

Exact 59.

type alias N5Nat =

N5NatPlus N0Nat

Exact 5.

type alias N600Nat =

N600NatPlus N0Nat

Exact 600.

type alias N601Nat =

N601NatPlus N0Nat

Exact 601.

type alias N602Nat =

N602NatPlus N0Nat

Exact 602.

type alias N603Nat =

N603NatPlus N0Nat

Exact 603.

type alias N604Nat =

N604NatPlus N0Nat

Exact 604.

type alias N605Nat =

N605NatPlus N0Nat

Exact 605.

type alias N606Nat =

N606NatPlus N0Nat

Exact 606.

type alias N607Nat =

N607NatPlus N0Nat

Exact 607.

type alias N608Nat =

N608NatPlus N0Nat

Exact 608.

type alias N609Nat =

N609NatPlus N0Nat

Exact 609.

type alias N60Nat =

N60NatPlus N0Nat

Exact 60.

type alias N610Nat =

N610NatPlus N0Nat

Exact 610.

type alias N611Nat =

N611NatPlus N0Nat

Exact 611.

type alias N612Nat =

N612NatPlus N0Nat

Exact 612.

type alias N613Nat =

N613NatPlus N0Nat

Exact 613.

type alias N614Nat =

N614NatPlus N0Nat

Exact 614.

type alias N615Nat =

N615NatPlus N0Nat

Exact 615.

type alias N616Nat =

N616NatPlus N0Nat

Exact 616.

type alias N617Nat =

N617NatPlus N0Nat

Exact 617.

type alias N618Nat =

N618NatPlus N0Nat

Exact 618.

type alias N619Nat =

N619NatPlus N0Nat

Exact 619.

type alias N61Nat =

N61NatPlus N0Nat

Exact 61.

type alias N620Nat =

N620NatPlus N0Nat

Exact 620.

type alias N621Nat =

N621NatPlus N0Nat

Exact 621.

type alias N622Nat =

N622NatPlus N0Nat

Exact 622.

type alias N623Nat =

N623NatPlus N0Nat

Exact 623.

type alias N624Nat =

N624NatPlus N0Nat

Exact 624.

type alias N625Nat =

N625NatPlus N0Nat

Exact 625.

type alias N626Nat =

N626NatPlus N0Nat

Exact 626.

type alias N627Nat =

N627NatPlus N0Nat

Exact 627.

type alias N628Nat =

N628NatPlus N0Nat

Exact 628.

type alias N629Nat =

N629NatPlus N0Nat

Exact 629.

type alias N62Nat =

N62NatPlus N0Nat

Exact 62.

type alias N630Nat =

N630NatPlus N0Nat

Exact 630.

type alias N631Nat =

N631NatPlus N0Nat

Exact 631.

type alias N632Nat =

N632NatPlus N0Nat

Exact 632.

type alias N633Nat =

N633NatPlus N0Nat

Exact 633.

type alias N634Nat =

N634NatPlus N0Nat

Exact 634.

type alias N635Nat =

N635NatPlus N0Nat

Exact 635.

type alias N636Nat =

N636NatPlus N0Nat

Exact 636.

type alias N637Nat =

N637NatPlus N0Nat

Exact 637.

type alias N638Nat =

N638NatPlus N0Nat

Exact 638.

type alias N639Nat =

N639NatPlus N0Nat

Exact 639.

type alias N63Nat =

N63NatPlus N0Nat

Exact 63.

type alias N640Nat =

N640NatPlus N0Nat

Exact 640.

type alias N641Nat =

N641NatPlus N0Nat

Exact 641.

type alias N642Nat =

N642NatPlus N0Nat

Exact 642.

type alias N643Nat =

N643NatPlus N0Nat

Exact 643.

type alias N644Nat =

N644NatPlus N0Nat

Exact 644.

type alias N645Nat =

N645NatPlus N0Nat

Exact 645.

type alias N646Nat =

N646NatPlus N0Nat

Exact 646.

type alias N647Nat =

N647NatPlus N0Nat

Exact 647.

type alias N648Nat =

N648NatPlus N0Nat

Exact 648.

type alias N649Nat =

N649NatPlus N0Nat

Exact 649.

type alias N64Nat =

N64NatPlus N0Nat

Exact 64.

type alias N650Nat =

N650NatPlus N0Nat

Exact 650.

type alias N651Nat =

N651NatPlus N0Nat

Exact 651.

type alias N652Nat =

N652NatPlus N0Nat

Exact 652.

type alias N653Nat =

N653NatPlus N0Nat

Exact 653.

type alias N654Nat =

N654NatPlus N0Nat

Exact 654.

type alias N655Nat =

N655NatPlus N0Nat

Exact 655.

type alias N656Nat =

N656NatPlus N0Nat

Exact 656.

type alias N657Nat =

N657NatPlus N0Nat

Exact 657.

type alias N658Nat =

N658NatPlus N0Nat

Exact 658.

type alias N659Nat =

N659NatPlus N0Nat

Exact 659.

type alias N65Nat =

N65NatPlus N0Nat

Exact 65.

type alias N660Nat =

N660NatPlus N0Nat

Exact 660.

type alias N661Nat =

N661NatPlus N0Nat

Exact 661.

type alias N662Nat =

N662NatPlus N0Nat

Exact 662.

type alias N663Nat =

N663NatPlus N0Nat

Exact 663.

type alias N664Nat =

N664NatPlus N0Nat

Exact 664.

type alias N665Nat =

N665NatPlus N0Nat

Exact 665.

type alias N666Nat =

N666NatPlus N0Nat

Exact 666.

type alias N667Nat =

N667NatPlus N0Nat

Exact 667.

type alias N668Nat =

N668NatPlus N0Nat

Exact 668.

type alias N669Nat =

N669NatPlus N0Nat

Exact 669.

type alias N66Nat =

N66NatPlus N0Nat

Exact 66.

type alias N670Nat =

N670NatPlus N0Nat

Exact 670.

type alias N671Nat =

N671NatPlus N0Nat

Exact 671.

type alias N672Nat =

N672NatPlus N0Nat

Exact 672.

type alias N673Nat =

N673NatPlus N0Nat

Exact 673.

type alias N674Nat =

N674NatPlus N0Nat

Exact 674.

type alias N675Nat =

N675NatPlus N0Nat

Exact 675.

type alias N676Nat =

N676NatPlus N0Nat

Exact 676.

type alias N677Nat =

N677NatPlus N0Nat

Exact 677.

type alias N678Nat =

N678NatPlus N0Nat

Exact 678.

type alias N679Nat =

N679NatPlus N0Nat

Exact 679.

type alias N67Nat =

N67NatPlus N0Nat

Exact 67.

type alias N680Nat =

N680NatPlus N0Nat

Exact 680.

type alias N681Nat =

N681NatPlus N0Nat

Exact 681.

type alias N682Nat =

N682NatPlus N0Nat

Exact 682.

type alias N683Nat =

N683NatPlus N0Nat

Exact 683.

type alias N684Nat =

N684NatPlus N0Nat

Exact 684.

type alias N685Nat =

N685NatPlus N0Nat

Exact 685.

type alias N686Nat =

N686NatPlus N0Nat

Exact 686.

type alias N687Nat =

N687NatPlus N0Nat

Exact 687.

type alias N688Nat =

N688NatPlus N0Nat

Exact 688.

type alias N689Nat =

N689NatPlus N0Nat

Exact 689.

type alias N68Nat =

N68NatPlus N0Nat

Exact 68.

type alias N690Nat =

N690NatPlus N0Nat

Exact 690.

type alias N691Nat =

N691NatPlus N0Nat

Exact 691.

type alias N692Nat =

N692NatPlus N0Nat

Exact 692.

type alias N693Nat =

N693NatPlus N0Nat

Exact 693.

type alias N694Nat =

N694NatPlus N0Nat

Exact 694.

type alias N695Nat =

N695NatPlus N0Nat

Exact 695.

type alias N696Nat =

N696NatPlus N0Nat

Exact 696.

type alias N697Nat =

N697NatPlus N0Nat

Exact 697.

type alias N698Nat =

N698NatPlus N0Nat

Exact 698.

type alias N699Nat =

N699NatPlus N0Nat

Exact 699.

type alias N69Nat =

N69NatPlus N0Nat

Exact 69.

type alias N6Nat =

N6NatPlus N0Nat

Exact 6.

type alias N700Nat =

N700NatPlus N0Nat

Exact 700.

type alias N701Nat =

N701NatPlus N0Nat

Exact 701.

type alias N702Nat =

N702NatPlus N0Nat

Exact 702.

type alias N703Nat =

N703NatPlus N0Nat

Exact 703.

type alias N704Nat =

N704NatPlus N0Nat

Exact 704.

type alias N705Nat =

N705NatPlus N0Nat

Exact 705.

type alias N706Nat =

N706NatPlus N0Nat

Exact 706.

type alias N707Nat =

N707NatPlus N0Nat

Exact 707.

type alias N708Nat =

N708NatPlus N0Nat

Exact 708.

type alias N709Nat =

N709NatPlus N0Nat

Exact 709.

type alias N70Nat =

N70NatPlus N0Nat

Exact 70.

type alias N710Nat =

N710NatPlus N0Nat

Exact 710.

type alias N711Nat =

N711NatPlus N0Nat

Exact 711.

type alias N712Nat =

N712NatPlus N0Nat

Exact 712.

type alias N713Nat =

N713NatPlus N0Nat

Exact 713.

type alias N714Nat =

N714NatPlus N0Nat

Exact 714.

type alias N715Nat =

N715NatPlus N0Nat

Exact 715.

type alias N716Nat =

N716NatPlus N0Nat

Exact 716.

type alias N717Nat =

N717NatPlus N0Nat

Exact 717.

type alias N718Nat =

N718NatPlus N0Nat

Exact 718.

type alias N719Nat =

N719NatPlus N0Nat

Exact 719.

type alias N71Nat =

N71NatPlus N0Nat

Exact 71.

type alias N720Nat =

N720NatPlus N0Nat

Exact 720.

type alias N721Nat =

N721NatPlus N0Nat

Exact 721.

type alias N722Nat =

N722NatPlus N0Nat

Exact 722.

type alias N723Nat =

N723NatPlus N0Nat

Exact 723.

type alias N724Nat =

N724NatPlus N0Nat

Exact 724.

type alias N725Nat =

N725NatPlus N0Nat

Exact 725.

type alias N726Nat =

N726NatPlus N0Nat

Exact 726.

type alias N727Nat =

N727NatPlus N0Nat

Exact 727.

type alias N728Nat =

N728NatPlus N0Nat

Exact 728.

type alias N729Nat =

N729NatPlus N0Nat

Exact 729.

type alias N72Nat =

N72NatPlus N0Nat

Exact 72.

type alias N730Nat =

N730NatPlus N0Nat

Exact 730.

type alias N731Nat =

N731NatPlus N0Nat

Exact 731.

type alias N732Nat =

N732NatPlus N0Nat

Exact 732.

type alias N733Nat =

N733NatPlus N0Nat

Exact 733.

type alias N734Nat =

N734NatPlus N0Nat

Exact 734.

type alias N735Nat =

N735NatPlus N0Nat

Exact 735.

type alias N736Nat =

N736NatPlus N0Nat

Exact 736.

type alias N737Nat =

N737NatPlus N0Nat

Exact 737.

type alias N738Nat =

N738NatPlus N0Nat

Exact 738.

type alias N739Nat =

N739NatPlus N0Nat

Exact 739.

type alias N73Nat =

N73NatPlus N0Nat

Exact 73.

type alias N740Nat =

N740NatPlus N0Nat

Exact 740.

type alias N741Nat =

N741NatPlus N0Nat

Exact 741.

type alias N742Nat =

N742NatPlus N0Nat

Exact 742.

type alias N743Nat =

N743NatPlus N0Nat

Exact 743.

type alias N744Nat =

N744NatPlus N0Nat

Exact 744.

type alias N745Nat =

N745NatPlus N0Nat

Exact 745.

type alias N746Nat =

N746NatPlus N0Nat

Exact 746.

type alias N747Nat =

N747NatPlus N0Nat

Exact 747.

type alias N748Nat =

N748NatPlus N0Nat

Exact 748.

type alias N749Nat =

N749NatPlus N0Nat

Exact 749.

type alias N74Nat =

N74NatPlus N0Nat

Exact 74.

type alias N750Nat =

N750NatPlus N0Nat

Exact 750.

type alias N751Nat =

N751NatPlus N0Nat

Exact 751.

type alias N752Nat =

N752NatPlus N0Nat

Exact 752.

type alias N753Nat =

N753NatPlus N0Nat

Exact 753.

type alias N754Nat =

N754NatPlus N0Nat

Exact 754.

type alias N755Nat =

N755NatPlus N0Nat

Exact 755.

type alias N756Nat =

N756NatPlus N0Nat

Exact 756.

type alias N757Nat =

N757NatPlus N0Nat

Exact 757.

type alias N758Nat =

N758NatPlus N0Nat

Exact 758.

type alias N759Nat =

N759NatPlus N0Nat

Exact 759.

type alias N75Nat =

N75NatPlus N0Nat

Exact 75.

type alias N760Nat =

N760NatPlus N0Nat

Exact 760.

type alias N761Nat =

N761NatPlus N0Nat

Exact 761.

type alias N762Nat =

N762NatPlus N0Nat

Exact 762.

type alias N763Nat =

N763NatPlus N0Nat

Exact 763.

type alias N764Nat =

N764NatPlus N0Nat

Exact 764.

type alias N765Nat =

N765NatPlus N0Nat

Exact 765.

type alias N766Nat =

N766NatPlus N0Nat

Exact 766.

type alias N767Nat =

N767NatPlus N0Nat

Exact 767.

type alias N768Nat =

N768NatPlus N0Nat

Exact 768.

type alias N769Nat =

N769NatPlus N0Nat

Exact 769.

type alias N76Nat =

N76NatPlus N0Nat

Exact 76.

type alias N770Nat =

N770NatPlus N0Nat

Exact 770.

type alias N771Nat =

N771NatPlus N0Nat

Exact 771.

type alias N772Nat =

N772NatPlus N0Nat

Exact 772.

type alias N773Nat =

N773NatPlus N0Nat

Exact 773.

type alias N774Nat =

N774NatPlus N0Nat

Exact 774.

type alias N775Nat =

N775NatPlus N0Nat

Exact 775.

type alias N776Nat =

N776NatPlus N0Nat

Exact 776.

type alias N777Nat =

N777NatPlus N0Nat

Exact 777.

type alias N778Nat =

N778NatPlus N0Nat

Exact 778.

type alias N779Nat =

N779NatPlus N0Nat

Exact 779.

type alias N77Nat =

N77NatPlus N0Nat

Exact 77.

type alias N780Nat =

N780NatPlus N0Nat

Exact 780.

type alias N781Nat =

N781NatPlus N0Nat

Exact 781.

type alias N782Nat =

N782NatPlus N0Nat

Exact 782.

type alias N783Nat =

N783NatPlus N0Nat

Exact 783.

type alias N784Nat =

N784NatPlus N0Nat

Exact 784.

type alias N785Nat =

N785NatPlus N0Nat

Exact 785.

type alias N786Nat =

N786NatPlus N0Nat

Exact 786.

type alias N787Nat =

N787NatPlus N0Nat

Exact 787.

type alias N788Nat =

N788NatPlus N0Nat

Exact 788.

type alias N789Nat =

N789NatPlus N0Nat

Exact 789.

type alias N78Nat =

N78NatPlus N0Nat

Exact 78.

type alias N790Nat =

N790NatPlus N0Nat

Exact 790.

type alias N791Nat =

N791NatPlus N0Nat

Exact 791.

type alias N792Nat =

N792NatPlus N0Nat

Exact 792.

type alias N793Nat =

N793NatPlus N0Nat

Exact 793.

type alias N794Nat =

N794NatPlus N0Nat

Exact 794.

type alias N795Nat =

N795NatPlus N0Nat

Exact 795.

type alias N796Nat =

N796NatPlus N0Nat

Exact 796.

type alias N797Nat =

N797NatPlus N0Nat

Exact 797.

type alias N798Nat =

N798NatPlus N0Nat

Exact 798.

type alias N799Nat =

N799NatPlus N0Nat

Exact 799.

type alias N79Nat =

N79NatPlus N0Nat

Exact 79.

type alias N7Nat =

N7NatPlus N0Nat

Exact 7.

type alias N800Nat =

N800NatPlus N0Nat

Exact 800.

type alias N801Nat =

N801NatPlus N0Nat

Exact 801.

type alias N802Nat =

N802NatPlus N0Nat

Exact 802.

type alias N803Nat =

N803NatPlus N0Nat

Exact 803.

type alias N804Nat =

N804NatPlus N0Nat

Exact 804.

type alias N805Nat =

N805NatPlus N0Nat

Exact 805.

type alias N806Nat =

N806NatPlus N0Nat

Exact 806.

type alias N807Nat =

N807NatPlus N0Nat

Exact 807.

type alias N808Nat =

N808NatPlus N0Nat

Exact 808.

type alias N809Nat =

N809NatPlus N0Nat

Exact 809.

type alias N80Nat =

N80NatPlus N0Nat

Exact 80.

type alias N810Nat =

N810NatPlus N0Nat

Exact 810.

type alias N811Nat =

N811NatPlus N0Nat

Exact 811.

type alias N812Nat =

N812NatPlus N0Nat

Exact 812.

type alias N813Nat =

N813NatPlus N0Nat

Exact 813.

type alias N814Nat =

N814NatPlus N0Nat

Exact 814.

type alias N815Nat =

N815NatPlus N0Nat

Exact 815.

type alias N816Nat =

N816NatPlus N0Nat

Exact 816.

type alias N817Nat =

N817NatPlus N0Nat

Exact 817.

type alias N818Nat =

N818NatPlus N0Nat

Exact 818.

type alias N819Nat =

N819NatPlus N0Nat

Exact 819.

type alias N81Nat =

N81NatPlus N0Nat

Exact 81.

type alias N820Nat =

N820NatPlus N0Nat

Exact 820.

type alias N821Nat =

N821NatPlus N0Nat

Exact 821.

type alias N822Nat =

N822NatPlus N0Nat

Exact 822.

type alias N823Nat =

N823NatPlus N0Nat

Exact 823.

type alias N824Nat =

N824NatPlus N0Nat

Exact 824.

type alias N825Nat =

N825NatPlus N0Nat

Exact 825.

type alias N826Nat =

N826NatPlus N0Nat

Exact 826.

type alias N827Nat =

N827NatPlus N0Nat

Exact 827.

type alias N828Nat =

N828NatPlus N0Nat

Exact 828.

type alias N829Nat =

N829NatPlus N0Nat

Exact 829.

type alias N82Nat =

N82NatPlus N0Nat

Exact 82.

type alias N830Nat =

N830NatPlus N0Nat

Exact 830.

type alias N831Nat =

N831NatPlus N0Nat

Exact 831.

type alias N832Nat =

N832NatPlus N0Nat

Exact 832.

type alias N833Nat =

N833NatPlus N0Nat

Exact 833.

type alias N834Nat =

N834NatPlus N0Nat

Exact 834.

type alias N835Nat =

N835NatPlus N0Nat

Exact 835.

type alias N836Nat =

N836NatPlus N0Nat

Exact 836.

type alias N837Nat =

N837NatPlus N0Nat

Exact 837.

type alias N838Nat =

N838NatPlus N0Nat

Exact 838.

type alias N839Nat =

N839NatPlus N0Nat

Exact 839.

type alias N83Nat =

N83NatPlus N0Nat

Exact 83.

type alias N840Nat =

N840NatPlus N0Nat

Exact 840.

type alias N841Nat =

N841NatPlus N0Nat

Exact 841.

type alias N842Nat =

N842NatPlus N0Nat

Exact 842.

type alias N843Nat =

N843NatPlus N0Nat

Exact 843.

type alias N844Nat =

N844NatPlus N0Nat

Exact 844.

type alias N845Nat =

N845NatPlus N0Nat

Exact 845.

type alias N846Nat =

N846NatPlus N0Nat

Exact 846.

type alias N847Nat =

N847NatPlus N0Nat

Exact 847.

type alias N848Nat =

N848NatPlus N0Nat

Exact 848.

type alias N849Nat =

N849NatPlus N0Nat

Exact 849.

type alias N84Nat =

N84NatPlus N0Nat

Exact 84.

type alias N850Nat =

N850NatPlus N0Nat

Exact 850.

type alias N851Nat =

N851NatPlus N0Nat

Exact 851.

type alias N852Nat =

N852NatPlus N0Nat

Exact 852.

type alias N853Nat =

N853NatPlus N0Nat

Exact 853.

type alias N854Nat =

N854NatPlus N0Nat

Exact 854.

type alias N855Nat =

N855NatPlus N0Nat

Exact 855.

type alias N856Nat =

N856NatPlus N0Nat

Exact 856.

type alias N857Nat =

N857NatPlus N0Nat

Exact 857.

type alias N858Nat =

N858NatPlus N0Nat

Exact 858.

type alias N859Nat =

N859NatPlus N0Nat

Exact 859.

type alias N85Nat =

N85NatPlus N0Nat

Exact 85.

type alias N860Nat =

N860NatPlus N0Nat

Exact 860.

type alias N861Nat =

N861NatPlus N0Nat

Exact 861.

type alias N862Nat =

N862NatPlus N0Nat

Exact 862.

type alias N863Nat =

N863NatPlus N0Nat

Exact 863.

type alias N864Nat =

N864NatPlus N0Nat

Exact 864.

type alias N865Nat =

N865NatPlus N0Nat

Exact 865.

type alias N866Nat =

N866NatPlus N0Nat

Exact 866.

type alias N867Nat =

N867NatPlus N0Nat

Exact 867.

type alias N868Nat =

N868NatPlus N0Nat

Exact 868.

type alias N869Nat =

N869NatPlus N0Nat

Exact 869.

type alias N86Nat =

N86NatPlus N0Nat

Exact 86.

type alias N870Nat =

N870NatPlus N0Nat

Exact 870.

type alias N871Nat =

N871NatPlus N0Nat

Exact 871.

type alias N872Nat =

N872NatPlus N0Nat

Exact 872.

type alias N873Nat =

N873NatPlus N0Nat

Exact 873.

type alias N874Nat =

N874NatPlus N0Nat

Exact 874.

type alias N875Nat =

N875NatPlus N0Nat

Exact 875.

type alias N876Nat =

N876NatPlus N0Nat

Exact 876.

type alias N877Nat =

N877NatPlus N0Nat

Exact 877.

type alias N878Nat =

N878NatPlus N0Nat

Exact 878.

type alias N879Nat =

N879NatPlus N0Nat

Exact 879.

type alias N87Nat =

N87NatPlus N0Nat

Exact 87.

type alias N880Nat =

N880NatPlus N0Nat

Exact 880.

type alias N881Nat =

N881NatPlus N0Nat

Exact 881.

type alias N882Nat =

N882NatPlus N0Nat

Exact 882.

type alias N883Nat =

N883NatPlus N0Nat

Exact 883.

type alias N884Nat =

N884NatPlus N0Nat

Exact 884.

type alias N885Nat =

N885NatPlus N0Nat

Exact 885.

type alias N886Nat =

N886NatPlus N0Nat

Exact 886.

type alias N887Nat =

N887NatPlus N0Nat

Exact 887.

type alias N888Nat =

N888NatPlus N0Nat

Exact 888.

type alias N889Nat =

N889NatPlus N0Nat

Exact 889.

type alias N88Nat =

N88NatPlus N0Nat

Exact 88.

type alias N890Nat =

N890NatPlus N0Nat

Exact 890.

type alias N891Nat =

N891NatPlus N0Nat

Exact 891.

type alias N892Nat =

N892NatPlus N0Nat

Exact 892.

type alias N893Nat =

N893NatPlus N0Nat

Exact 893.

type alias N894Nat =

N894NatPlus N0Nat

Exact 894.

type alias N895Nat =

N895NatPlus N0Nat

Exact 895.

type alias N896Nat =

N896NatPlus N0Nat

Exact 896.

type alias N897Nat =

N897NatPlus N0Nat

Exact 897.

type alias N898Nat =

N898NatPlus N0Nat

Exact 898.

type alias N899Nat =

N899NatPlus N0Nat

Exact 899.

type alias N89Nat =

N89NatPlus N0Nat

Exact 89.

type alias N8Nat =

N8NatPlus N0Nat

Exact 8.

type alias N900Nat =

N900NatPlus N0Nat

Exact 900.

type alias N901Nat =

N901NatPlus N0Nat

Exact 901.

type alias N902Nat =

N902NatPlus N0Nat

Exact 902.

type alias N903Nat =

N903NatPlus N0Nat

Exact 903.

type alias N904Nat =

N904NatPlus N0Nat

Exact 904.

type alias N905Nat =

N905NatPlus N0Nat

Exact 905.

type alias N906Nat =

N906NatPlus N0Nat

Exact 906.

type alias N907Nat =

N907NatPlus N0Nat

Exact 907.

type alias N908Nat =

N908NatPlus N0Nat

Exact 908.

type alias N909Nat =

N909NatPlus N0Nat

Exact 909.

type alias N90Nat =

N90NatPlus N0Nat

Exact 90.

type alias N910Nat =

N910NatPlus N0Nat

Exact 910.

type alias N911Nat =

N911NatPlus N0Nat

Exact 911.

type alias N912Nat =

N912NatPlus N0Nat

Exact 912.

type alias N913Nat =

N913NatPlus N0Nat

Exact 913.

type alias N914Nat =

N914NatPlus N0Nat

Exact 914.

type alias N915Nat =

N915NatPlus N0Nat

Exact 915.

type alias N916Nat =

N916NatPlus N0Nat

Exact 916.

type alias N917Nat =

N917NatPlus N0Nat

Exact 917.

type alias N918Nat =

N918NatPlus N0Nat

Exact 918.

type alias N919Nat =

N919NatPlus N0Nat

Exact 919.

type alias N91Nat =

N91NatPlus N0Nat

Exact 91.

type alias N920Nat =

N920NatPlus N0Nat

Exact 920.

type alias N921Nat =

N921NatPlus N0Nat

Exact 921.

type alias N922Nat =

N922NatPlus N0Nat

Exact 922.

type alias N923Nat =

N923NatPlus N0Nat

Exact 923.

type alias N924Nat =

N924NatPlus N0Nat

Exact 924.

type alias N925Nat =

N925NatPlus N0Nat

Exact 925.

type alias N926Nat =

N926NatPlus N0Nat

Exact 926.

type alias N927Nat =

N927NatPlus N0Nat

Exact 927.

type alias N928Nat =

N928NatPlus N0Nat

Exact 928.

type alias N929Nat =

N929NatPlus N0Nat

Exact 929.

type alias N92Nat =

N92NatPlus N0Nat

Exact 92.

type alias N930Nat =

N930NatPlus N0Nat

Exact 930.

type alias N931Nat =

N931NatPlus N0Nat

Exact 931.

type alias N932Nat =

N932NatPlus N0Nat

Exact 932.

type alias N933Nat =

N933NatPlus N0Nat

Exact 933.

type alias N934Nat =

N934NatPlus N0Nat

Exact 934.

type alias N935Nat =

N935NatPlus N0Nat

Exact 935.

type alias N936Nat =

N936NatPlus N0Nat

Exact 936.

type alias N937Nat =

N937NatPlus N0Nat

Exact 937.

type alias N938Nat =

N938NatPlus N0Nat

Exact 938.

type alias N939Nat =

N939NatPlus N0Nat

Exact 939.

type alias N93Nat =

N93NatPlus N0Nat

Exact 93.

type alias N940Nat =

N940NatPlus N0Nat

Exact 940.

type alias N941Nat =

N941NatPlus N0Nat

Exact 941.

type alias N942Nat =

N942NatPlus N0Nat

Exact 942.

type alias N943Nat =

N943NatPlus N0Nat

Exact 943.

type alias N944Nat =

N944NatPlus N0Nat

Exact 944.

type alias N945Nat =

N945NatPlus N0Nat

Exact 945.

type alias N946Nat =

N946NatPlus N0Nat

Exact 946.

type alias N947Nat =

N947NatPlus N0Nat

Exact 947.

type alias N948Nat =

N948NatPlus N0Nat

Exact 948.

type alias N949Nat =

N949NatPlus N0Nat

Exact 949.

type alias N94Nat =

N94NatPlus N0Nat

Exact 94.

type alias N950Nat =

N950NatPlus N0Nat

Exact 950.

type alias N951Nat =

N951NatPlus N0Nat

Exact 951.

type alias N952Nat =

N952NatPlus N0Nat

Exact 952.

type alias N953Nat =

N953NatPlus N0Nat

Exact 953.

type alias N954Nat =

N954NatPlus N0Nat

Exact 954.

type alias N955Nat =

N955NatPlus N0Nat

Exact 955.

type alias N956Nat =

N956NatPlus N0Nat

Exact 956.

type alias N957Nat =

N957NatPlus N0Nat

Exact 957.

type alias N958Nat =

N958NatPlus N0Nat

Exact 958.

type alias N959Nat =

N959NatPlus N0Nat

Exact 959.

type alias N95Nat =

N95NatPlus N0Nat

Exact 95.

type alias N960Nat =

N960NatPlus N0Nat

Exact 960.

type alias N961Nat =

N961NatPlus N0Nat

Exact 961.

type alias N962Nat =

N962NatPlus N0Nat

Exact 962.

type alias N963Nat =

N963NatPlus N0Nat

Exact 963.

type alias N964Nat =

N964NatPlus N0Nat

Exact 964.

type alias N965Nat =

N965NatPlus N0Nat

Exact 965.

type alias N966Nat =

N966NatPlus N0Nat

Exact 966.

type alias N967Nat =

N967NatPlus N0Nat

Exact 967.

type alias N968Nat =

N968NatPlus N0Nat

Exact 968.

type alias N969Nat =

N969NatPlus N0Nat

Exact 969.

type alias N96Nat =

N96NatPlus N0Nat

Exact 96.

type alias N970Nat =

N970NatPlus N0Nat

Exact 970.

type alias N971Nat =

N971NatPlus N0Nat

Exact 971.

type alias N972Nat =

N972NatPlus N0Nat

Exact 972.

type alias N973Nat =

N973NatPlus N0Nat

Exact 973.

type alias N974Nat =

N974NatPlus N0Nat

Exact 974.

type alias N975Nat =

N975NatPlus N0Nat

Exact 975.

type alias N976Nat =

N976NatPlus N0Nat

Exact 976.

type alias N977Nat =

N977NatPlus N0Nat

Exact 977.

type alias N978Nat =

N978NatPlus N0Nat

Exact 978.

type alias N979Nat =

N979NatPlus N0Nat

Exact 979.

type alias N97Nat =

N97NatPlus N0Nat

Exact 97.

type alias N980Nat =

N980NatPlus N0Nat

Exact 980.

type alias N981Nat =

N981NatPlus N0Nat

Exact 981.

type alias N982Nat =

N982NatPlus N0Nat

Exact 982.

type alias N983Nat =

N983NatPlus N0Nat

Exact 983.

type alias N984Nat =

N984NatPlus N0Nat

Exact 984.

type alias N985Nat =

N985NatPlus N0Nat

Exact 985.

type alias N986Nat =

N986NatPlus N0Nat

Exact 986.

type alias N987Nat =

N987NatPlus N0Nat

Exact 987.

type alias N988Nat =

N988NatPlus N0Nat

Exact 988.

type alias N989Nat =

N989NatPlus N0Nat

Exact 989.

type alias N98Nat =

N98NatPlus N0Nat

Exact 98.

type alias N990Nat =

N990NatPlus N0Nat

Exact 990.

type alias N991Nat =

N991NatPlus N0Nat

Exact 991.

type alias N992Nat =

N992NatPlus N0Nat

Exact 992.

type alias N993Nat =

N993NatPlus N0Nat

Exact 993.

type alias N994Nat =

N994NatPlus N0Nat

Exact 994.

type alias N995Nat =

N995NatPlus N0Nat

Exact 995.

type alias N996Nat =

N996NatPlus N0Nat

Exact 996.

type alias N997Nat =

N997NatPlus N0Nat

Exact 997.

type alias N998Nat =

N998NatPlus N0Nat

Exact 998.

type alias N999Nat =

N999NatPlus N0Nat

Exact 999.

type alias N99Nat =

N99NatPlus N0Nat

Exact 99.

type alias N9Nat =

N9NatPlus N0Nat

Exact 9.

Modules

N.Nat.Type

indique/elm-n-nat-type/2.0.1

N.Nat.Type

at least

exact

Modules