[{"name":"N.Nat.Type","comment":" Represent natural numbers within a type.\n\n\nSee the readme for more information.\n\n\n## at least\n\n\n@docs N100Plus, N101Plus, N102Plus, N103Plus, N104Plus, N105Plus, N106Plus, N107Plus\n@docs N108Plus, N109Plus, N10Plus, N110Plus, N111Plus, N112Plus, N113Plus, N114Plus\n@docs N115Plus, N116Plus, N117Plus, N118Plus, N119Plus, N11Plus, N120Plus, N121Plus\n@docs N122Plus, N123Plus, N124Plus, N125Plus, N126Plus, N127Plus, N128Plus, N129Plus\n@docs N12Plus, N130Plus, N131Plus, N132Plus, N133Plus, N134Plus, N135Plus, N136Plus\n@docs N137Plus, N138Plus, N139Plus, N13Plus, N140Plus, N141Plus, N142Plus, N143Plus\n@docs N144Plus, N145Plus, N146Plus, N147Plus, N148Plus, N149Plus, N14Plus, N150Plus\n@docs N151Plus, N152Plus, N153Plus, N154Plus, N155Plus, N156Plus, N157Plus, N158Plus\n@docs N159Plus, N15Plus, N160Plus, N161Plus, N162Plus, N163Plus, N164Plus, N165Plus\n@docs N166Plus, N167Plus, N168Plus, N169Plus, N16Plus, N170Plus, N171Plus, N172Plus\n@docs N173Plus, N174Plus, N175Plus, N176Plus, N177Plus, N178Plus, N179Plus, N17Plus\n@docs N180Plus, N181Plus, N182Plus, N183Plus, N184Plus, N185Plus, N186Plus, N187Plus\n@docs N188Plus, N189Plus, N18Plus, N190Plus, N191Plus, N192Plus, N19Plus, N1Plus\n@docs N20Plus, N21Plus, N22Plus, N23Plus, N24Plus, N25Plus, N26Plus, N27Plus, N28Plus\n@docs N29Plus, N2Plus, N30Plus, N31Plus, N32Plus, N33Plus, N34Plus, N35Plus, N36Plus\n@docs N37Plus, N38Plus, N39Plus, N3Plus, N40Plus, N41Plus, N42Plus, N43Plus, N44Plus\n@docs N45Plus, N46Plus, N47Plus, N48Plus, N49Plus, N4Plus, N50Plus, N51Plus, N52Plus\n@docs N53Plus, N54Plus, N55Plus, N56Plus, N57Plus, N58Plus, N59Plus, N5Plus, N60Plus\n@docs N61Plus, N62Plus, N63Plus, N64Plus, N65Plus, N66Plus, N67Plus, N68Plus, N69Plus\n@docs N6Plus, N70Plus, N71Plus, N72Plus, N73Plus, N74Plus, N75Plus, N76Plus, N77Plus\n@docs N78Plus, N79Plus, N7Plus, N80Plus, N81Plus, N82Plus, N83Plus, N84Plus, N85Plus\n@docs N86Plus, N87Plus, N88Plus, N89Plus, N8Plus, N90Plus, N91Plus, N92Plus, N93Plus\n@docs N94Plus, N95Plus, N96Plus, N97Plus, N98Plus, N99Plus, N9Plus\n## exact\n\n\n@docs N0, N1, N10, N100, N101, N102, N103, N104, N105, N106, N107, N108, N109, N11, N110, N111, N112\n@docs N113, N114, N115, N116, N117, N118, N119, N12, N120, N121, N122, N123, N124, N125, N126, N127\n@docs N128, N129, N13, N130, N131, N132, N133, N134, N135, N136, N137, N138, N139, N14, N140, N141\n@docs N142, N143, N144, N145, N146, N147, N148, N149, N15, N150, N151, N152, N153, N154, N155, N156\n@docs N157, N158, N159, N16, N160, N161, N162, N163, N164, N165, N166, N167, N168, N169, N17, N170\n@docs N171, N172, N173, N174, N175, N176, N177, N178, N179, N18, N180, N181, N182, N183, N184, N185\n@docs N186, N187, N188, N189, N19, N190, N191, N192, N2, N20, N21, N22, N23, N24, N25, N26, N27, N28, N29\n@docs N3, N30, N31, N32, N33, N34, N35, N36, N37, N38, N39, N4, N40, N41, N42, N43, N44, N45, N46, N47, N48, N49\n@docs N5, N50, N51, N52, N53, N54, N55, N56, N57, N58, N59, N6, N60, N61, N62, N63, N64, N65, N66, N67, N68, N69\n@docs N7, N70, N71, N72, N73, N74, N75, N76, N77, N78, N79, N8, N80, N81, N82, N83, N84, N85, N86, N87, N88, N89\n@docs N9, N90, N91, N92, N93, N94, N95, N96, N97, N98, N99\n","unions":[],"aliases":[{"name":"N0","comment":" Exact the natural number 0.\n\n\n","args":[],"type":"N.Nat.Type.Z"},{"name":"N1","comment":" Exact the natural number 1.\n\n\n","args":[],"type":"N.Nat.Type.N1Plus N.Nat.Type.Z"},{"name":"N10","comment":" Exact the natural number 10.\n\n\n","args":[],"type":"N.Nat.Type.N10Plus N.Nat.Type.Z"},{"name":"N100","comment":" Exact the natural number 100.\n\n\n","args":[],"type":"N.Nat.Type.N100Plus N.Nat.Type.Z"},{"name":"N100Plus","comment":" 100 + some n, which is at least 100.\n\n\n","args":["more"],"type":"N.Nat.Type.N99Plus (N.Nat.Type.S more)"},{"name":"N101","comment":" Exact the natural number 101.\n\n\n","args":[],"type":"N.Nat.Type.N101Plus N.Nat.Type.Z"},{"name":"N101Plus","comment":" 101 + some n, which is at least 101.\n\n\n","args":["more"],"type":"N.Nat.Type.N100Plus (N.Nat.Type.S more)"},{"name":"N102","comment":" Exact the natural number 102.\n\n\n","args":[],"type":"N.Nat.Type.N102Plus N.Nat.Type.Z"},{"name":"N102Plus","comment":" 102 + some n, which is at least 102.\n\n\n","args":["more"],"type":"N.Nat.Type.N101Plus (N.Nat.Type.S more)"},{"name":"N103","comment":" Exact the natural number 103.\n\n\n","args":[],"type":"N.Nat.Type.N103Plus N.Nat.Type.Z"},{"name":"N103Plus","comment":" 103 + some n, which is at least 103.\n\n\n","args":["more"],"type":"N.Nat.Type.N102Plus (N.Nat.Type.S more)"},{"name":"N104","comment":" Exact the natural number 104.\n\n\n","args":[],"type":"N.Nat.Type.N104Plus N.Nat.Type.Z"},{"name":"N104Plus","comment":" 104 + some n, which is at least 104.\n\n\n","args":["more"],"type":"N.Nat.Type.N103Plus (N.Nat.Type.S more)"},{"name":"N105","comment":" Exact the natural number 105.\n\n\n","args":[],"type":"N.Nat.Type.N105Plus N.Nat.Type.Z"},{"name":"N105Plus","comment":" 105 + some n, which is at least 105.\n\n\n","args":["more"],"type":"N.Nat.Type.N104Plus (N.Nat.Type.S more)"},{"name":"N106","comment":" Exact the natural number 106.\n\n\n","args":[],"type":"N.Nat.Type.N106Plus N.Nat.Type.Z"},{"name":"N106Plus","comment":" 106 + some n, which is at least 106.\n\n\n","args":["more"],"type":"N.Nat.Type.N105Plus (N.Nat.Type.S more)"},{"name":"N107","comment":" Exact the natural number 107.\n\n\n","args":[],"type":"N.Nat.Type.N107Plus N.Nat.Type.Z"},{"name":"N107Plus","comment":" 107 + some n, which is at least 107.\n\n\n","args":["more"],"type":"N.Nat.Type.N106Plus (N.Nat.Type.S more)"},{"name":"N108","comment":" Exact the natural number 108.\n\n\n","args":[],"type":"N.Nat.Type.N108Plus N.Nat.Type.Z"},{"name":"N108Plus","comment":" 108 + some n, which is at least 108.\n\n\n","args":["more"],"type":"N.Nat.Type.N107Plus (N.Nat.Type.S more)"},{"name":"N109","comment":" Exact the natural number 109.\n\n\n","args":[],"type":"N.Nat.Type.N109Plus N.Nat.Type.Z"},{"name":"N109Plus","comment":" 109 + some n, which is at least 109.\n\n\n","args":["more"],"type":"N.Nat.Type.N108Plus (N.Nat.Type.S more)"},{"name":"N10Plus","comment":" 10 + some n, which is at least 10.\n\n\n","args":["more"],"type":"N.Nat.Type.N9Plus (N.Nat.Type.S more)"},{"name":"N11","comment":" Exact the natural number 11.\n\n\n","args":[],"type":"N.Nat.Type.N11Plus N.Nat.Type.Z"},{"name":"N110","comment":" Exact the natural number 110.\n\n\n","args":[],"type":"N.Nat.Type.N110Plus N.Nat.Type.Z"},{"name":"N110Plus","comment":" 110 + some n, which is at least 110.\n\n\n","args":["more"],"type":"N.Nat.Type.N109Plus (N.Nat.Type.S more)"},{"name":"N111","comment":" Exact the natural number 111.\n\n\n","args":[],"type":"N.Nat.Type.N111Plus N.Nat.Type.Z"},{"name":"N111Plus","comment":" 111 + some n, which is at least 111.\n\n\n","args":["more"],"type":"N.Nat.Type.N110Plus (N.Nat.Type.S more)"},{"name":"N112","comment":" Exact the natural number 112.\n\n\n","args":[],"type":"N.Nat.Type.N112Plus N.Nat.Type.Z"},{"name":"N112Plus","comment":" 112 + some n, which is at least 112.\n\n\n","args":["more"],"type":"N.Nat.Type.N111Plus (N.Nat.Type.S more)"},{"name":"N113","comment":" Exact the natural number 113.\n\n\n","args":[],"type":"N.Nat.Type.N113Plus N.Nat.Type.Z"},{"name":"N113Plus","comment":" 113 + some n, which is at least 113.\n\n\n","args":["more"],"type":"N.Nat.Type.N112Plus (N.Nat.Type.S more)"},{"name":"N114","comment":" Exact the natural number 114.\n\n\n","args":[],"type":"N.Nat.Type.N114Plus N.Nat.Type.Z"},{"name":"N114Plus","comment":" 114 + some n, which is at least 114.\n\n\n","args":["more"],"type":"N.Nat.Type.N113Plus (N.Nat.Type.S more)"},{"name":"N115","comment":" Exact the natural number 115.\n\n\n","args":[],"type":"N.Nat.Type.N115Plus N.Nat.Type.Z"},{"name":"N115Plus","comment":" 115 + some n, which is at least 115.\n\n\n","args":["more"],"type":"N.Nat.Type.N114Plus (N.Nat.Type.S more)"},{"name":"N116","comment":" Exact the natural number 116.\n\n\n","args":[],"type":"N.Nat.Type.N116Plus N.Nat.Type.Z"},{"name":"N116Plus","comment":" 116 + some n, which is at least 116.\n\n\n","args":["more"],"type":"N.Nat.Type.N115Plus (N.Nat.Type.S more)"},{"name":"N117","comment":" Exact the natural number 117.\n\n\n","args":[],"type":"N.Nat.Type.N117Plus N.Nat.Type.Z"},{"name":"N117Plus","comment":" 117 + some n, which is at least 117.\n\n\n","args":["more"],"type":"N.Nat.Type.N116Plus (N.Nat.Type.S more)"},{"name":"N118","comment":" Exact the natural number 118.\n\n\n","args":[],"type":"N.Nat.Type.N118Plus N.Nat.Type.Z"},{"name":"N118Plus","comment":" 118 + some n, which is at least 118.\n\n\n","args":["more"],"type":"N.Nat.Type.N117Plus (N.Nat.Type.S more)"},{"name":"N119","comment":" Exact the natural number 119.\n\n\n","args":[],"type":"N.Nat.Type.N119Plus N.Nat.Type.Z"},{"name":"N119Plus","comment":" 119 + some n, which is at least 119.\n\n\n","args":["more"],"type":"N.Nat.Type.N118Plus (N.Nat.Type.S more)"},{"name":"N11Plus","comment":" 11 + some n, which is at least 11.\n\n\n","args":["more"],"type":"N.Nat.Type.N10Plus (N.Nat.Type.S more)"},{"name":"N12","comment":" Exact the natural number 12.\n\n\n","args":[],"type":"N.Nat.Type.N12Plus N.Nat.Type.Z"},{"name":"N120","comment":" Exact the natural number 120.\n\n\n","args":[],"type":"N.Nat.Type.N120Plus N.Nat.Type.Z"},{"name":"N120Plus","comment":" 120 + some n, which is at least 120.\n\n\n","args":["more"],"type":"N.Nat.Type.N119Plus (N.Nat.Type.S more)"},{"name":"N121","comment":" Exact the natural number 121.\n\n\n","args":[],"type":"N.Nat.Type.N121Plus N.Nat.Type.Z"},{"name":"N121Plus","comment":" 121 + some n, which is at least 121.\n\n\n","args":["more"],"type":"N.Nat.Type.N120Plus (N.Nat.Type.S more)"},{"name":"N122","comment":" Exact the natural number 122.\n\n\n","args":[],"type":"N.Nat.Type.N122Plus N.Nat.Type.Z"},{"name":"N122Plus","comment":" 122 + some n, which is at least 122.\n\n\n","args":["more"],"type":"N.Nat.Type.N121Plus (N.Nat.Type.S more)"},{"name":"N123","comment":" Exact the natural number 123.\n\n\n","args":[],"type":"N.Nat.Type.N123Plus N.Nat.Type.Z"},{"name":"N123Plus","comment":" 123 + some n, which is at least 123.\n\n\n","args":["more"],"type":"N.Nat.Type.N122Plus (N.Nat.Type.S more)"},{"name":"N124","comment":" Exact the natural number 124.\n\n\n","args":[],"type":"N.Nat.Type.N124Plus N.Nat.Type.Z"},{"name":"N124Plus","comment":" 124 + some n, which is at least 124.\n\n\n","args":["more"],"type":"N.Nat.Type.N123Plus (N.Nat.Type.S more)"},{"name":"N125","comment":" Exact the natural number 125.\n\n\n","args":[],"type":"N.Nat.Type.N125Plus N.Nat.Type.Z"},{"name":"N125Plus","comment":" 125 + some n, which is at least 125.\n\n\n","args":["more"],"type":"N.Nat.Type.N124Plus (N.Nat.Type.S more)"},{"name":"N126","comment":" Exact the natural number 126.\n\n\n","args":[],"type":"N.Nat.Type.N126Plus N.Nat.Type.Z"},{"name":"N126Plus","comment":" 126 + some n, which is at least 126.\n\n\n","args":["more"],"type":"N.Nat.Type.N125Plus (N.Nat.Type.S more)"},{"name":"N127","comment":" Exact the natural number 127.\n\n\n","args":[],"type":"N.Nat.Type.N127Plus N.Nat.Type.Z"},{"name":"N127Plus","comment":" 127 + some n, which is at least 127.\n\n\n","args":["more"],"type":"N.Nat.Type.N126Plus (N.Nat.Type.S more)"},{"name":"N128","comment":" Exact the natural number 128.\n\n\n","args":[],"type":"N.Nat.Type.N128Plus N.Nat.Type.Z"},{"name":"N128Plus","comment":" 128 + some n, which is at least 128.\n\n\n","args":["more"],"type":"N.Nat.Type.N127Plus (N.Nat.Type.S more)"},{"name":"N129","comment":" Exact the natural number 129.\n\n\n","args":[],"type":"N.Nat.Type.N129Plus N.Nat.Type.Z"},{"name":"N129Plus","comment":" 129 + some n, which is at least 129.\n\n\n","args":["more"],"type":"N.Nat.Type.N128Plus (N.Nat.Type.S more)"},{"name":"N12Plus","comment":" 12 + some n, which is at least 12.\n\n\n","args":["more"],"type":"N.Nat.Type.N11Plus (N.Nat.Type.S more)"},{"name":"N13","comment":" Exact the natural number 13.\n\n\n","args":[],"type":"N.Nat.Type.N13Plus N.Nat.Type.Z"},{"name":"N130","comment":" Exact the natural number 130.\n\n\n","args":[],"type":"N.Nat.Type.N130Plus N.Nat.Type.Z"},{"name":"N130Plus","comment":" 130 + some n, which is at least 130.\n\n\n","args":["more"],"type":"N.Nat.Type.N129Plus (N.Nat.Type.S more)"},{"name":"N131","comment":" Exact the natural number 131.\n\n\n","args":[],"type":"N.Nat.Type.N131Plus N.Nat.Type.Z"},{"name":"N131Plus","comment":" 131 + some n, which is at least 131.\n\n\n","args":["more"],"type":"N.Nat.Type.N130Plus (N.Nat.Type.S more)"},{"name":"N132","comment":" Exact the natural number 132.\n\n\n","args":[],"type":"N.Nat.Type.N132Plus N.Nat.Type.Z"},{"name":"N132Plus","comment":" 132 + some n, which is at least 132.\n\n\n","args":["more"],"type":"N.Nat.Type.N131Plus (N.Nat.Type.S more)"},{"name":"N133","comment":" Exact the natural number 133.\n\n\n","args":[],"type":"N.Nat.Type.N133Plus N.Nat.Type.Z"},{"name":"N133Plus","comment":" 133 + some n, which is at least 133.\n\n\n","args":["more"],"type":"N.Nat.Type.N132Plus (N.Nat.Type.S more)"},{"name":"N134","comment":" Exact the natural number 134.\n\n\n","args":[],"type":"N.Nat.Type.N134Plus N.Nat.Type.Z"},{"name":"N134Plus","comment":" 134 + some n, which is at least 134.\n\n\n","args":["more"],"type":"N.Nat.Type.N133Plus (N.Nat.Type.S more)"},{"name":"N135","comment":" Exact the natural number 135.\n\n\n","args":[],"type":"N.Nat.Type.N135Plus N.Nat.Type.Z"},{"name":"N135Plus","comment":" 135 + some n, which is at least 135.\n\n\n","args":["more"],"type":"N.Nat.Type.N134Plus (N.Nat.Type.S more)"},{"name":"N136","comment":" Exact the natural number 136.\n\n\n","args":[],"type":"N.Nat.Type.N136Plus N.Nat.Type.Z"},{"name":"N136Plus","comment":" 136 + some n, which is at least 136.\n\n\n","args":["more"],"type":"N.Nat.Type.N135Plus (N.Nat.Type.S more)"},{"name":"N137","comment":" Exact the natural number 137.\n\n\n","args":[],"type":"N.Nat.Type.N137Plus N.Nat.Type.Z"},{"name":"N137Plus","comment":" 137 + some n, which is at least 137.\n\n\n","args":["more"],"type":"N.Nat.Type.N136Plus (N.Nat.Type.S more)"},{"name":"N138","comment":" Exact the natural number 138.\n\n\n","args":[],"type":"N.Nat.Type.N138Plus N.Nat.Type.Z"},{"name":"N138Plus","comment":" 138 + some n, which is at least 138.\n\n\n","args":["more"],"type":"N.Nat.Type.N137Plus (N.Nat.Type.S more)"},{"name":"N139","comment":" Exact the natural number 139.\n\n\n","args":[],"type":"N.Nat.Type.N139Plus N.Nat.Type.Z"},{"name":"N139Plus","comment":" 139 + some n, which is at least 139.\n\n\n","args":["more"],"type":"N.Nat.Type.N138Plus (N.Nat.Type.S more)"},{"name":"N13Plus","comment":" 13 + some n, which is at least 13.\n\n\n","args":["more"],"type":"N.Nat.Type.N12Plus (N.Nat.Type.S more)"},{"name":"N14","comment":" Exact the natural number 14.\n\n\n","args":[],"type":"N.Nat.Type.N14Plus N.Nat.Type.Z"},{"name":"N140","comment":" Exact the natural number 140.\n\n\n","args":[],"type":"N.Nat.Type.N140Plus N.Nat.Type.Z"},{"name":"N140Plus","comment":" 140 + some n, which is at least 140.\n\n\n","args":["more"],"type":"N.Nat.Type.N139Plus (N.Nat.Type.S more)"},{"name":"N141","comment":" Exact the natural number 141.\n\n\n","args":[],"type":"N.Nat.Type.N141Plus N.Nat.Type.Z"},{"name":"N141Plus","comment":" 141 + some n, which is at least 141.\n\n\n","args":["more"],"type":"N.Nat.Type.N140Plus (N.Nat.Type.S more)"},{"name":"N142","comment":" Exact the natural number 142.\n\n\n","args":[],"type":"N.Nat.Type.N142Plus N.Nat.Type.Z"},{"name":"N142Plus","comment":" 142 + some n, which is at least 142.\n\n\n","args":["more"],"type":"N.Nat.Type.N141Plus (N.Nat.Type.S more)"},{"name":"N143","comment":" Exact the natural number 143.\n\n\n","args":[],"type":"N.Nat.Type.N143Plus N.Nat.Type.Z"},{"name":"N143Plus","comment":" 143 + some n, which is at least 143.\n\n\n","args":["more"],"type":"N.Nat.Type.N142Plus (N.Nat.Type.S more)"},{"name":"N144","comment":" Exact the natural number 144.\n\n\n","args":[],"type":"N.Nat.Type.N144Plus N.Nat.Type.Z"},{"name":"N144Plus","comment":" 144 + some n, which is at least 144.\n\n\n","args":["more"],"type":"N.Nat.Type.N143Plus (N.Nat.Type.S more)"},{"name":"N145","comment":" Exact the natural number 145.\n\n\n","args":[],"type":"N.Nat.Type.N145Plus N.Nat.Type.Z"},{"name":"N145Plus","comment":" 145 + some n, which is at least 145.\n\n\n","args":["more"],"type":"N.Nat.Type.N144Plus (N.Nat.Type.S more)"},{"name":"N146","comment":" Exact the natural number 146.\n\n\n","args":[],"type":"N.Nat.Type.N146Plus N.Nat.Type.Z"},{"name":"N146Plus","comment":" 146 + some n, which is at least 146.\n\n\n","args":["more"],"type":"N.Nat.Type.N145Plus (N.Nat.Type.S more)"},{"name":"N147","comment":" Exact the natural number 147.\n\n\n","args":[],"type":"N.Nat.Type.N147Plus N.Nat.Type.Z"},{"name":"N147Plus","comment":" 147 + some n, which is at least 147.\n\n\n","args":["more"],"type":"N.Nat.Type.N146Plus (N.Nat.Type.S more)"},{"name":"N148","comment":" Exact the natural number 148.\n\n\n","args":[],"type":"N.Nat.Type.N148Plus N.Nat.Type.Z"},{"name":"N148Plus","comment":" 148 + some n, which is at least 148.\n\n\n","args":["more"],"type":"N.Nat.Type.N147Plus (N.Nat.Type.S more)"},{"name":"N149","comment":" Exact the natural number 149.\n\n\n","args":[],"type":"N.Nat.Type.N149Plus N.Nat.Type.Z"},{"name":"N149Plus","comment":" 149 + some n, which is at least 149.\n\n\n","args":["more"],"type":"N.Nat.Type.N148Plus (N.Nat.Type.S more)"},{"name":"N14Plus","comment":" 14 + some n, which is at least 14.\n\n\n","args":["more"],"type":"N.Nat.Type.N13Plus (N.Nat.Type.S more)"},{"name":"N15","comment":" Exact the natural number 15.\n\n\n","args":[],"type":"N.Nat.Type.N15Plus N.Nat.Type.Z"},{"name":"N150","comment":" Exact the natural number 150.\n\n\n","args":[],"type":"N.Nat.Type.N150Plus N.Nat.Type.Z"},{"name":"N150Plus","comment":" 150 + some n, which is at least 150.\n\n\n","args":["more"],"type":"N.Nat.Type.N149Plus (N.Nat.Type.S more)"},{"name":"N151","comment":" Exact the natural number 151.\n\n\n","args":[],"type":"N.Nat.Type.N151Plus N.Nat.Type.Z"},{"name":"N151Plus","comment":" 151 + some n, which is at least 151.\n\n\n","args":["more"],"type":"N.Nat.Type.N150Plus (N.Nat.Type.S more)"},{"name":"N152","comment":" Exact the natural number 152.\n\n\n","args":[],"type":"N.Nat.Type.N152Plus N.Nat.Type.Z"},{"name":"N152Plus","comment":" 152 + some n, which is at least 152.\n\n\n","args":["more"],"type":"N.Nat.Type.N151Plus (N.Nat.Type.S more)"},{"name":"N153","comment":" Exact the natural number 153.\n\n\n","args":[],"type":"N.Nat.Type.N153Plus N.Nat.Type.Z"},{"name":"N153Plus","comment":" 153 + some n, which is at least 153.\n\n\n","args":["more"],"type":"N.Nat.Type.N152Plus (N.Nat.Type.S more)"},{"name":"N154","comment":" Exact the natural number 154.\n\n\n","args":[],"type":"N.Nat.Type.N154Plus N.Nat.Type.Z"},{"name":"N154Plus","comment":" 154 + some n, which is at least 154.\n\n\n","args":["more"],"type":"N.Nat.Type.N153Plus (N.Nat.Type.S more)"},{"name":"N155","comment":" Exact the natural number 155.\n\n\n","args":[],"type":"N.Nat.Type.N155Plus N.Nat.Type.Z"},{"name":"N155Plus","comment":" 155 + some n, which is at least 155.\n\n\n","args":["more"],"type":"N.Nat.Type.N154Plus (N.Nat.Type.S more)"},{"name":"N156","comment":" Exact the natural number 156.\n\n\n","args":[],"type":"N.Nat.Type.N156Plus N.Nat.Type.Z"},{"name":"N156Plus","comment":" 156 + some n, which is at least 156.\n\n\n","args":["more"],"type":"N.Nat.Type.N155Plus (N.Nat.Type.S more)"},{"name":"N157","comment":" Exact the natural number 157.\n\n\n","args":[],"type":"N.Nat.Type.N157Plus N.Nat.Type.Z"},{"name":"N157Plus","comment":" 157 + some n, which is at least 157.\n\n\n","args":["more"],"type":"N.Nat.Type.N156Plus (N.Nat.Type.S more)"},{"name":"N158","comment":" Exact the natural number 158.\n\n\n","args":[],"type":"N.Nat.Type.N158Plus N.Nat.Type.Z"},{"name":"N158Plus","comment":" 158 + some n, which is at least 158.\n\n\n","args":["more"],"type":"N.Nat.Type.N157Plus (N.Nat.Type.S more)"},{"name":"N159","comment":" Exact the natural number 159.\n\n\n","args":[],"type":"N.Nat.Type.N159Plus N.Nat.Type.Z"},{"name":"N159Plus","comment":" 159 + some n, which is at least 159.\n\n\n","args":["more"],"type":"N.Nat.Type.N158Plus (N.Nat.Type.S more)"},{"name":"N15Plus","comment":" 15 + some n, which is at least 15.\n\n\n","args":["more"],"type":"N.Nat.Type.N14Plus (N.Nat.Type.S more)"},{"name":"N16","comment":" Exact the natural number 16.\n\n\n","args":[],"type":"N.Nat.Type.N16Plus N.Nat.Type.Z"},{"name":"N160","comment":" Exact the natural number 160.\n\n\n","args":[],"type":"N.Nat.Type.N160Plus N.Nat.Type.Z"},{"name":"N160Plus","comment":" 160 + some n, which is at least 160.\n\n\n","args":["more"],"type":"N.Nat.Type.N159Plus (N.Nat.Type.S more)"},{"name":"N161","comment":" Exact the natural number 161.\n\n\n","args":[],"type":"N.Nat.Type.N161Plus N.Nat.Type.Z"},{"name":"N161Plus","comment":" 161 + some n, which is at least 161.\n\n\n","args":["more"],"type":"N.Nat.Type.N160Plus (N.Nat.Type.S more)"},{"name":"N162","comment":" Exact the natural number 162.\n\n\n","args":[],"type":"N.Nat.Type.N162Plus N.Nat.Type.Z"},{"name":"N162Plus","comment":" 162 + some n, which is at least 162.\n\n\n","args":["more"],"type":"N.Nat.Type.N161Plus (N.Nat.Type.S more)"},{"name":"N163","comment":" Exact the natural number 163.\n\n\n","args":[],"type":"N.Nat.Type.N163Plus N.Nat.Type.Z"},{"name":"N163Plus","comment":" 163 + some n, which is at least 163.\n\n\n","args":["more"],"type":"N.Nat.Type.N162Plus (N.Nat.Type.S more)"},{"name":"N164","comment":" Exact the natural number 164.\n\n\n","args":[],"type":"N.Nat.Type.N164Plus N.Nat.Type.Z"},{"name":"N164Plus","comment":" 164 + some n, which is at least 164.\n\n\n","args":["more"],"type":"N.Nat.Type.N163Plus (N.Nat.Type.S more)"},{"name":"N165","comment":" Exact the natural number 165.\n\n\n","args":[],"type":"N.Nat.Type.N165Plus N.Nat.Type.Z"},{"name":"N165Plus","comment":" 165 + some n, which is at least 165.\n\n\n","args":["more"],"type":"N.Nat.Type.N164Plus (N.Nat.Type.S more)"},{"name":"N166","comment":" Exact the natural number 166.\n\n\n","args":[],"type":"N.Nat.Type.N166Plus N.Nat.Type.Z"},{"name":"N166Plus","comment":" 166 + some n, which is at least 166.\n\n\n","args":["more"],"type":"N.Nat.Type.N165Plus (N.Nat.Type.S more)"},{"name":"N167","comment":" Exact the natural number 167.\n\n\n","args":[],"type":"N.Nat.Type.N167Plus N.Nat.Type.Z"},{"name":"N167Plus","comment":" 167 + some n, which is at least 167.\n\n\n","args":["more"],"type":"N.Nat.Type.N166Plus (N.Nat.Type.S more)"},{"name":"N168","comment":" Exact the natural number 168.\n\n\n","args":[],"type":"N.Nat.Type.N168Plus N.Nat.Type.Z"},{"name":"N168Plus","comment":" 168 + some n, which is at least 168.\n\n\n","args":["more"],"type":"N.Nat.Type.N167Plus (N.Nat.Type.S more)"},{"name":"N169","comment":" Exact the natural number 169.\n\n\n","args":[],"type":"N.Nat.Type.N169Plus N.Nat.Type.Z"},{"name":"N169Plus","comment":" 169 + some n, which is at least 169.\n\n\n","args":["more"],"type":"N.Nat.Type.N168Plus (N.Nat.Type.S more)"},{"name":"N16Plus","comment":" 16 + some n, which is at least 16.\n\n\n","args":["more"],"type":"N.Nat.Type.N15Plus (N.Nat.Type.S more)"},{"name":"N17","comment":" Exact the natural number 17.\n\n\n","args":[],"type":"N.Nat.Type.N17Plus N.Nat.Type.Z"},{"name":"N170","comment":" Exact the natural number 170.\n\n\n","args":[],"type":"N.Nat.Type.N170Plus N.Nat.Type.Z"},{"name":"N170Plus","comment":" 170 + some n, which is at least 170.\n\n\n","args":["more"],"type":"N.Nat.Type.N169Plus (N.Nat.Type.S more)"},{"name":"N171","comment":" Exact the natural number 171.\n\n\n","args":[],"type":"N.Nat.Type.N171Plus N.Nat.Type.Z"},{"name":"N171Plus","comment":" 171 + some n, which is at least 171.\n\n\n","args":["more"],"type":"N.Nat.Type.N170Plus (N.Nat.Type.S more)"},{"name":"N172","comment":" Exact the natural number 172.\n\n\n","args":[],"type":"N.Nat.Type.N172Plus N.Nat.Type.Z"},{"name":"N172Plus","comment":" 172 + some n, which is at least 172.\n\n\n","args":["more"],"type":"N.Nat.Type.N171Plus (N.Nat.Type.S more)"},{"name":"N173","comment":" Exact the natural number 173.\n\n\n","args":[],"type":"N.Nat.Type.N173Plus N.Nat.Type.Z"},{"name":"N173Plus","comment":" 173 + some n, which is at least 173.\n\n\n","args":["more"],"type":"N.Nat.Type.N172Plus (N.Nat.Type.S more)"},{"name":"N174","comment":" Exact the natural number 174.\n\n\n","args":[],"type":"N.Nat.Type.N174Plus N.Nat.Type.Z"},{"name":"N174Plus","comment":" 174 + some n, which is at least 174.\n\n\n","args":["more"],"type":"N.Nat.Type.N173Plus (N.Nat.Type.S more)"},{"name":"N175","comment":" Exact the natural number 175.\n\n\n","args":[],"type":"N.Nat.Type.N175Plus N.Nat.Type.Z"},{"name":"N175Plus","comment":" 175 + some n, which is at least 175.\n\n\n","args":["more"],"type":"N.Nat.Type.N174Plus (N.Nat.Type.S more)"},{"name":"N176","comment":" Exact the natural number 176.\n\n\n","args":[],"type":"N.Nat.Type.N176Plus N.Nat.Type.Z"},{"name":"N176Plus","comment":" 176 + some n, which is at least 176.\n\n\n","args":["more"],"type":"N.Nat.Type.N175Plus (N.Nat.Type.S more)"},{"name":"N177","comment":" Exact the natural number 177.\n\n\n","args":[],"type":"N.Nat.Type.N177Plus N.Nat.Type.Z"},{"name":"N177Plus","comment":" 177 + some n, which is at least 177.\n\n\n","args":["more"],"type":"N.Nat.Type.N176Plus (N.Nat.Type.S more)"},{"name":"N178","comment":" Exact the natural number 178.\n\n\n","args":[],"type":"N.Nat.Type.N178Plus N.Nat.Type.Z"},{"name":"N178Plus","comment":" 178 + some n, which is at least 178.\n\n\n","args":["more"],"type":"N.Nat.Type.N177Plus (N.Nat.Type.S more)"},{"name":"N179","comment":" Exact the natural number 179.\n\n\n","args":[],"type":"N.Nat.Type.N179Plus N.Nat.Type.Z"},{"name":"N179Plus","comment":" 179 + some n, which is at least 179.\n\n\n","args":["more"],"type":"N.Nat.Type.N178Plus (N.Nat.Type.S more)"},{"name":"N17Plus","comment":" 17 + some n, which is at least 17.\n\n\n","args":["more"],"type":"N.Nat.Type.N16Plus (N.Nat.Type.S more)"},{"name":"N18","comment":" Exact the natural number 18.\n\n\n","args":[],"type":"N.Nat.Type.N18Plus N.Nat.Type.Z"},{"name":"N180","comment":" Exact the natural number 180.\n\n\n","args":[],"type":"N.Nat.Type.N180Plus N.Nat.Type.Z"},{"name":"N180Plus","comment":" 180 + some n, which is at least 180.\n\n\n","args":["more"],"type":"N.Nat.Type.N179Plus (N.Nat.Type.S more)"},{"name":"N181","comment":" Exact the natural number 181.\n\n\n","args":[],"type":"N.Nat.Type.N181Plus N.Nat.Type.Z"},{"name":"N181Plus","comment":" 181 + some n, which is at least 181.\n\n\n","args":["more"],"type":"N.Nat.Type.N180Plus (N.Nat.Type.S more)"},{"name":"N182","comment":" Exact the natural number 182.\n\n\n","args":[],"type":"N.Nat.Type.N182Plus N.Nat.Type.Z"},{"name":"N182Plus","comment":" 182 + some n, which is at least 182.\n\n\n","args":["more"],"type":"N.Nat.Type.N181Plus (N.Nat.Type.S more)"},{"name":"N183","comment":" Exact the natural number 183.\n\n\n","args":[],"type":"N.Nat.Type.N183Plus N.Nat.Type.Z"},{"name":"N183Plus","comment":" 183 + some n, which is at least 183.\n\n\n","args":["more"],"type":"N.Nat.Type.N182Plus (N.Nat.Type.S more)"},{"name":"N184","comment":" Exact the natural number 184.\n\n\n","args":[],"type":"N.Nat.Type.N184Plus N.Nat.Type.Z"},{"name":"N184Plus","comment":" 184 + some n, which is at least 184.\n\n\n","args":["more"],"type":"N.Nat.Type.N183Plus (N.Nat.Type.S more)"},{"name":"N185","comment":" Exact the natural number 185.\n\n\n","args":[],"type":"N.Nat.Type.N185Plus N.Nat.Type.Z"},{"name":"N185Plus","comment":" 185 + some n, which is at least 185.\n\n\n","args":["more"],"type":"N.Nat.Type.N184Plus (N.Nat.Type.S more)"},{"name":"N186","comment":" Exact the natural number 186.\n\n\n","args":[],"type":"N.Nat.Type.N186Plus N.Nat.Type.Z"},{"name":"N186Plus","comment":" 186 + some n, which is at least 186.\n\n\n","args":["more"],"type":"N.Nat.Type.N185Plus (N.Nat.Type.S more)"},{"name":"N187","comment":" Exact the natural number 187.\n\n\n","args":[],"type":"N.Nat.Type.N187Plus N.Nat.Type.Z"},{"name":"N187Plus","comment":" 187 + some n, which is at least 187.\n\n\n","args":["more"],"type":"N.Nat.Type.N186Plus (N.Nat.Type.S more)"},{"name":"N188","comment":" Exact the natural number 188.\n\n\n","args":[],"type":"N.Nat.Type.N188Plus N.Nat.Type.Z"},{"name":"N188Plus","comment":" 188 + some n, which is at least 188.\n\n\n","args":["more"],"type":"N.Nat.Type.N187Plus (N.Nat.Type.S more)"},{"name":"N189","comment":" Exact the natural number 189.\n\n\n","args":[],"type":"N.Nat.Type.N189Plus N.Nat.Type.Z"},{"name":"N189Plus","comment":" 189 + some n, which is at least 189.\n\n\n","args":["more"],"type":"N.Nat.Type.N188Plus (N.Nat.Type.S more)"},{"name":"N18Plus","comment":" 18 + some n, which is at least 18.\n\n\n","args":["more"],"type":"N.Nat.Type.N17Plus (N.Nat.Type.S more)"},{"name":"N19","comment":" Exact the natural number 19.\n\n\n","args":[],"type":"N.Nat.Type.N19Plus N.Nat.Type.Z"},{"name":"N190","comment":" Exact the natural number 190.\n\n\n","args":[],"type":"N.Nat.Type.N190Plus N.Nat.Type.Z"},{"name":"N190Plus","comment":" 190 + some n, which is at least 190.\n\n\n","args":["more"],"type":"N.Nat.Type.N189Plus (N.Nat.Type.S more)"},{"name":"N191","comment":" Exact the natural number 191.\n\n\n","args":[],"type":"N.Nat.Type.N191Plus N.Nat.Type.Z"},{"name":"N191Plus","comment":" 191 + some n, which is at least 191.\n\n\n","args":["more"],"type":"N.Nat.Type.N190Plus (N.Nat.Type.S more)"},{"name":"N192","comment":" Exact the natural number 192.\n\n\n","args":[],"type":"N.Nat.Type.N192Plus N.Nat.Type.Z"},{"name":"N192Plus","comment":" 192 + some n, which is at least 192.\n\n\n","args":["more"],"type":"N.Nat.Type.N191Plus (N.Nat.Type.S more)"},{"name":"N19Plus","comment":" 19 + some n, which is at least 19.\n\n\n","args":["more"],"type":"N.Nat.Type.N18Plus (N.Nat.Type.S more)"},{"name":"N1Plus","comment":" 1 + some n, which is at least 1.\n\n\n","args":["more"],"type":"N.Nat.Type.S more"},{"name":"N2","comment":" Exact the natural number 2.\n\n\n","args":[],"type":"N.Nat.Type.N2Plus N.Nat.Type.Z"},{"name":"N20","comment":" Exact the natural number 20.\n\n\n","args":[],"type":"N.Nat.Type.N20Plus N.Nat.Type.Z"},{"name":"N20Plus","comment":" 20 + some n, which is at least 20.\n\n\n","args":["more"],"type":"N.Nat.Type.N19Plus (N.Nat.Type.S more)"},{"name":"N21","comment":" Exact the natural number 21.\n\n\n","args":[],"type":"N.Nat.Type.N21Plus N.Nat.Type.Z"},{"name":"N21Plus","comment":" 21 + some n, which is at least 21.\n\n\n","args":["more"],"type":"N.Nat.Type.N20Plus (N.Nat.Type.S more)"},{"name":"N22","comment":" Exact the natural number 22.\n\n\n","args":[],"type":"N.Nat.Type.N22Plus N.Nat.Type.Z"},{"name":"N22Plus","comment":" 22 + some n, which is at least 22.\n\n\n","args":["more"],"type":"N.Nat.Type.N21Plus (N.Nat.Type.S more)"},{"name":"N23","comment":" Exact the natural number 23.\n\n\n","args":[],"type":"N.Nat.Type.N23Plus N.Nat.Type.Z"},{"name":"N23Plus","comment":" 23 + some n, which is at least 23.\n\n\n","args":["more"],"type":"N.Nat.Type.N22Plus (N.Nat.Type.S more)"},{"name":"N24","comment":" Exact the natural number 24.\n\n\n","args":[],"type":"N.Nat.Type.N24Plus N.Nat.Type.Z"},{"name":"N24Plus","comment":" 24 + some n, which is at least 24.\n\n\n","args":["more"],"type":"N.Nat.Type.N23Plus (N.Nat.Type.S more)"},{"name":"N25","comment":" Exact the natural number 25.\n\n\n","args":[],"type":"N.Nat.Type.N25Plus N.Nat.Type.Z"},{"name":"N25Plus","comment":" 25 + some n, which is at least 25.\n\n\n","args":["more"],"type":"N.Nat.Type.N24Plus (N.Nat.Type.S more)"},{"name":"N26","comment":" Exact the natural number 26.\n\n\n","args":[],"type":"N.Nat.Type.N26Plus N.Nat.Type.Z"},{"name":"N26Plus","comment":" 26 + some n, which is at least 26.\n\n\n","args":["more"],"type":"N.Nat.Type.N25Plus (N.Nat.Type.S more)"},{"name":"N27","comment":" Exact the natural number 27.\n\n\n","args":[],"type":"N.Nat.Type.N27Plus N.Nat.Type.Z"},{"name":"N27Plus","comment":" 27 + some n, which is at least 27.\n\n\n","args":["more"],"type":"N.Nat.Type.N26Plus (N.Nat.Type.S more)"},{"name":"N28","comment":" Exact the natural number 28.\n\n\n","args":[],"type":"N.Nat.Type.N28Plus N.Nat.Type.Z"},{"name":"N28Plus","comment":" 28 + some n, which is at least 28.\n\n\n","args":["more"],"type":"N.Nat.Type.N27Plus (N.Nat.Type.S more)"},{"name":"N29","comment":" Exact the natural number 29.\n\n\n","args":[],"type":"N.Nat.Type.N29Plus N.Nat.Type.Z"},{"name":"N29Plus","comment":" 29 + some n, which is at least 29.\n\n\n","args":["more"],"type":"N.Nat.Type.N28Plus (N.Nat.Type.S more)"},{"name":"N2Plus","comment":" 2 + some n, which is at least 2.\n\n\n","args":["more"],"type":"N.Nat.Type.N1Plus (N.Nat.Type.S more)"},{"name":"N3","comment":" Exact the natural number 3.\n\n\n","args":[],"type":"N.Nat.Type.N3Plus N.Nat.Type.Z"},{"name":"N30","comment":" Exact the natural number 30.\n\n\n","args":[],"type":"N.Nat.Type.N30Plus N.Nat.Type.Z"},{"name":"N30Plus","comment":" 30 + some n, which is at least 30.\n\n\n","args":["more"],"type":"N.Nat.Type.N29Plus (N.Nat.Type.S more)"},{"name":"N31","comment":" Exact the natural number 31.\n\n\n","args":[],"type":"N.Nat.Type.N31Plus N.Nat.Type.Z"},{"name":"N31Plus","comment":" 31 + some n, which is at least 31.\n\n\n","args":["more"],"type":"N.Nat.Type.N30Plus (N.Nat.Type.S more)"},{"name":"N32","comment":" Exact the natural number 32.\n\n\n","args":[],"type":"N.Nat.Type.N32Plus N.Nat.Type.Z"},{"name":"N32Plus","comment":" 32 + some n, which is at least 32.\n\n\n","args":["more"],"type":"N.Nat.Type.N31Plus (N.Nat.Type.S more)"},{"name":"N33","comment":" Exact the natural number 33.\n\n\n","args":[],"type":"N.Nat.Type.N33Plus N.Nat.Type.Z"},{"name":"N33Plus","comment":" 33 + some n, which is at least 33.\n\n\n","args":["more"],"type":"N.Nat.Type.N32Plus (N.Nat.Type.S more)"},{"name":"N34","comment":" Exact the natural number 34.\n\n\n","args":[],"type":"N.Nat.Type.N34Plus N.Nat.Type.Z"},{"name":"N34Plus","comment":" 34 + some n, which is at least 34.\n\n\n","args":["more"],"type":"N.Nat.Type.N33Plus (N.Nat.Type.S more)"},{"name":"N35","comment":" Exact the natural number 35.\n\n\n","args":[],"type":"N.Nat.Type.N35Plus N.Nat.Type.Z"},{"name":"N35Plus","comment":" 35 + some n, which is at least 35.\n\n\n","args":["more"],"type":"N.Nat.Type.N34Plus (N.Nat.Type.S more)"},{"name":"N36","comment":" Exact the natural number 36.\n\n\n","args":[],"type":"N.Nat.Type.N36Plus N.Nat.Type.Z"},{"name":"N36Plus","comment":" 36 + some n, which is at least 36.\n\n\n","args":["more"],"type":"N.Nat.Type.N35Plus (N.Nat.Type.S more)"},{"name":"N37","comment":" Exact the natural number 37.\n\n\n","args":[],"type":"N.Nat.Type.N37Plus N.Nat.Type.Z"},{"name":"N37Plus","comment":" 37 + some n, which is at least 37.\n\n\n","args":["more"],"type":"N.Nat.Type.N36Plus (N.Nat.Type.S more)"},{"name":"N38","comment":" Exact the natural number 38.\n\n\n","args":[],"type":"N.Nat.Type.N38Plus N.Nat.Type.Z"},{"name":"N38Plus","comment":" 38 + some n, which is at least 38.\n\n\n","args":["more"],"type":"N.Nat.Type.N37Plus (N.Nat.Type.S more)"},{"name":"N39","comment":" Exact the natural number 39.\n\n\n","args":[],"type":"N.Nat.Type.N39Plus N.Nat.Type.Z"},{"name":"N39Plus","comment":" 39 + some n, which is at least 39.\n\n\n","args":["more"],"type":"N.Nat.Type.N38Plus (N.Nat.Type.S more)"},{"name":"N3Plus","comment":" 3 + some n, which is at least 3.\n\n\n","args":["more"],"type":"N.Nat.Type.N2Plus (N.Nat.Type.S more)"},{"name":"N4","comment":" Exact the natural number 4.\n\n\n","args":[],"type":"N.Nat.Type.N4Plus N.Nat.Type.Z"},{"name":"N40","comment":" Exact the natural number 40.\n\n\n","args":[],"type":"N.Nat.Type.N40Plus N.Nat.Type.Z"},{"name":"N40Plus","comment":" 40 + some n, which is at least 40.\n\n\n","args":["more"],"type":"N.Nat.Type.N39Plus (N.Nat.Type.S more)"},{"name":"N41","comment":" Exact the natural number 41.\n\n\n","args":[],"type":"N.Nat.Type.N41Plus N.Nat.Type.Z"},{"name":"N41Plus","comment":" 41 + some n, which is at least 41.\n\n\n","args":["more"],"type":"N.Nat.Type.N40Plus (N.Nat.Type.S more)"},{"name":"N42","comment":" Exact the natural number 42.\n\n\n","args":[],"type":"N.Nat.Type.N42Plus N.Nat.Type.Z"},{"name":"N42Plus","comment":" 42 + some n, which is at least 42.\n\n\n","args":["more"],"type":"N.Nat.Type.N41Plus (N.Nat.Type.S more)"},{"name":"N43","comment":" Exact the natural number 43.\n\n\n","args":[],"type":"N.Nat.Type.N43Plus N.Nat.Type.Z"},{"name":"N43Plus","comment":" 43 + some n, which is at least 43.\n\n\n","args":["more"],"type":"N.Nat.Type.N42Plus (N.Nat.Type.S more)"},{"name":"N44","comment":" Exact the natural number 44.\n\n\n","args":[],"type":"N.Nat.Type.N44Plus N.Nat.Type.Z"},{"name":"N44Plus","comment":" 44 + some n, which is at least 44.\n\n\n","args":["more"],"type":"N.Nat.Type.N43Plus (N.Nat.Type.S more)"},{"name":"N45","comment":" Exact the natural number 45.\n\n\n","args":[],"type":"N.Nat.Type.N45Plus N.Nat.Type.Z"},{"name":"N45Plus","comment":" 45 + some n, which is at least 45.\n\n\n","args":["more"],"type":"N.Nat.Type.N44Plus (N.Nat.Type.S more)"},{"name":"N46","comment":" Exact the natural number 46.\n\n\n","args":[],"type":"N.Nat.Type.N46Plus N.Nat.Type.Z"},{"name":"N46Plus","comment":" 46 + some n, which is at least 46.\n\n\n","args":["more"],"type":"N.Nat.Type.N45Plus (N.Nat.Type.S more)"},{"name":"N47","comment":" Exact the natural number 47.\n\n\n","args":[],"type":"N.Nat.Type.N47Plus N.Nat.Type.Z"},{"name":"N47Plus","comment":" 47 + some n, which is at least 47.\n\n\n","args":["more"],"type":"N.Nat.Type.N46Plus (N.Nat.Type.S more)"},{"name":"N48","comment":" Exact the natural number 48.\n\n\n","args":[],"type":"N.Nat.Type.N48Plus N.Nat.Type.Z"},{"name":"N48Plus","comment":" 48 + some n, which is at least 48.\n\n\n","args":["more"],"type":"N.Nat.Type.N47Plus (N.Nat.Type.S more)"},{"name":"N49","comment":" Exact the natural number 49.\n\n\n","args":[],"type":"N.Nat.Type.N49Plus N.Nat.Type.Z"},{"name":"N49Plus","comment":" 49 + some n, which is at least 49.\n\n\n","args":["more"],"type":"N.Nat.Type.N48Plus (N.Nat.Type.S more)"},{"name":"N4Plus","comment":" 4 + some n, which is at least 4.\n\n\n","args":["more"],"type":"N.Nat.Type.N3Plus (N.Nat.Type.S more)"},{"name":"N5","comment":" Exact the natural number 5.\n\n\n","args":[],"type":"N.Nat.Type.N5Plus N.Nat.Type.Z"},{"name":"N50","comment":" Exact the natural number 50.\n\n\n","args":[],"type":"N.Nat.Type.N50Plus N.Nat.Type.Z"},{"name":"N50Plus","comment":" 50 + some n, which is at least 50.\n\n\n","args":["more"],"type":"N.Nat.Type.N49Plus (N.Nat.Type.S more)"},{"name":"N51","comment":" Exact the natural number 51.\n\n\n","args":[],"type":"N.Nat.Type.N51Plus N.Nat.Type.Z"},{"name":"N51Plus","comment":" 51 + some n, which is at least 51.\n\n\n","args":["more"],"type":"N.Nat.Type.N50Plus (N.Nat.Type.S more)"},{"name":"N52","comment":" Exact the natural number 52.\n\n\n","args":[],"type":"N.Nat.Type.N52Plus N.Nat.Type.Z"},{"name":"N52Plus","comment":" 52 + some n, which is at least 52.\n\n\n","args":["more"],"type":"N.Nat.Type.N51Plus (N.Nat.Type.S more)"},{"name":"N53","comment":" Exact the natural number 53.\n\n\n","args":[],"type":"N.Nat.Type.N53Plus N.Nat.Type.Z"},{"name":"N53Plus","comment":" 53 + some n, which is at least 53.\n\n\n","args":["more"],"type":"N.Nat.Type.N52Plus (N.Nat.Type.S more)"},{"name":"N54","comment":" Exact the natural number 54.\n\n\n","args":[],"type":"N.Nat.Type.N54Plus N.Nat.Type.Z"},{"name":"N54Plus","comment":" 54 + some n, which is at least 54.\n\n\n","args":["more"],"type":"N.Nat.Type.N53Plus (N.Nat.Type.S more)"},{"name":"N55","comment":" Exact the natural number 55.\n\n\n","args":[],"type":"N.Nat.Type.N55Plus N.Nat.Type.Z"},{"name":"N55Plus","comment":" 55 + some n, which is at least 55.\n\n\n","args":["more"],"type":"N.Nat.Type.N54Plus (N.Nat.Type.S more)"},{"name":"N56","comment":" Exact the natural number 56.\n\n\n","args":[],"type":"N.Nat.Type.N56Plus N.Nat.Type.Z"},{"name":"N56Plus","comment":" 56 + some n, which is at least 56.\n\n\n","args":["more"],"type":"N.Nat.Type.N55Plus (N.Nat.Type.S more)"},{"name":"N57","comment":" Exact the natural number 57.\n\n\n","args":[],"type":"N.Nat.Type.N57Plus N.Nat.Type.Z"},{"name":"N57Plus","comment":" 57 + some n, which is at least 57.\n\n\n","args":["more"],"type":"N.Nat.Type.N56Plus (N.Nat.Type.S more)"},{"name":"N58","comment":" Exact the natural number 58.\n\n\n","args":[],"type":"N.Nat.Type.N58Plus N.Nat.Type.Z"},{"name":"N58Plus","comment":" 58 + some n, which is at least 58.\n\n\n","args":["more"],"type":"N.Nat.Type.N57Plus (N.Nat.Type.S more)"},{"name":"N59","comment":" Exact the natural number 59.\n\n\n","args":[],"type":"N.Nat.Type.N59Plus N.Nat.Type.Z"},{"name":"N59Plus","comment":" 59 + some n, which is at least 59.\n\n\n","args":["more"],"type":"N.Nat.Type.N58Plus (N.Nat.Type.S more)"},{"name":"N5Plus","comment":" 5 + some n, which is at least 5.\n\n\n","args":["more"],"type":"N.Nat.Type.N4Plus (N.Nat.Type.S more)"},{"name":"N6","comment":" Exact the natural number 6.\n\n\n","args":[],"type":"N.Nat.Type.N6Plus N.Nat.Type.Z"},{"name":"N60","comment":" Exact the natural number 60.\n\n\n","args":[],"type":"N.Nat.Type.N60Plus N.Nat.Type.Z"},{"name":"N60Plus","comment":" 60 + some n, which is at least 60.\n\n\n","args":["more"],"type":"N.Nat.Type.N59Plus (N.Nat.Type.S more)"},{"name":"N61","comment":" Exact the natural number 61.\n\n\n","args":[],"type":"N.Nat.Type.N61Plus N.Nat.Type.Z"},{"name":"N61Plus","comment":" 61 + some n, which is at least 61.\n\n\n","args":["more"],"type":"N.Nat.Type.N60Plus (N.Nat.Type.S more)"},{"name":"N62","comment":" Exact the natural number 62.\n\n\n","args":[],"type":"N.Nat.Type.N62Plus N.Nat.Type.Z"},{"name":"N62Plus","comment":" 62 + some n, which is at least 62.\n\n\n","args":["more"],"type":"N.Nat.Type.N61Plus (N.Nat.Type.S more)"},{"name":"N63","comment":" Exact the natural number 63.\n\n\n","args":[],"type":"N.Nat.Type.N63Plus N.Nat.Type.Z"},{"name":"N63Plus","comment":" 63 + some n, which is at least 63.\n\n\n","args":["more"],"type":"N.Nat.Type.N62Plus (N.Nat.Type.S more)"},{"name":"N64","comment":" Exact the natural number 64.\n\n\n","args":[],"type":"N.Nat.Type.N64Plus N.Nat.Type.Z"},{"name":"N64Plus","comment":" 64 + some n, which is at least 64.\n\n\n","args":["more"],"type":"N.Nat.Type.N63Plus (N.Nat.Type.S more)"},{"name":"N65","comment":" Exact the natural number 65.\n\n\n","args":[],"type":"N.Nat.Type.N65Plus N.Nat.Type.Z"},{"name":"N65Plus","comment":" 65 + some n, which is at least 65.\n\n\n","args":["more"],"type":"N.Nat.Type.N64Plus (N.Nat.Type.S more)"},{"name":"N66","comment":" Exact the natural number 66.\n\n\n","args":[],"type":"N.Nat.Type.N66Plus N.Nat.Type.Z"},{"name":"N66Plus","comment":" 66 + some n, which is at least 66.\n\n\n","args":["more"],"type":"N.Nat.Type.N65Plus (N.Nat.Type.S more)"},{"name":"N67","comment":" Exact the natural number 67.\n\n\n","args":[],"type":"N.Nat.Type.N67Plus N.Nat.Type.Z"},{"name":"N67Plus","comment":" 67 + some n, which is at least 67.\n\n\n","args":["more"],"type":"N.Nat.Type.N66Plus (N.Nat.Type.S more)"},{"name":"N68","comment":" Exact the natural number 68.\n\n\n","args":[],"type":"N.Nat.Type.N68Plus N.Nat.Type.Z"},{"name":"N68Plus","comment":" 68 + some n, which is at least 68.\n\n\n","args":["more"],"type":"N.Nat.Type.N67Plus (N.Nat.Type.S more)"},{"name":"N69","comment":" Exact the natural number 69.\n\n\n","args":[],"type":"N.Nat.Type.N69Plus N.Nat.Type.Z"},{"name":"N69Plus","comment":" 69 + some n, which is at least 69.\n\n\n","args":["more"],"type":"N.Nat.Type.N68Plus (N.Nat.Type.S more)"},{"name":"N6Plus","comment":" 6 + some n, which is at least 6.\n\n\n","args":["more"],"type":"N.Nat.Type.N5Plus (N.Nat.Type.S more)"},{"name":"N7","comment":" Exact the natural number 7.\n\n\n","args":[],"type":"N.Nat.Type.N7Plus N.Nat.Type.Z"},{"name":"N70","comment":" Exact the natural number 70.\n\n\n","args":[],"type":"N.Nat.Type.N70Plus N.Nat.Type.Z"},{"name":"N70Plus","comment":" 70 + some n, which is at least 70.\n\n\n","args":["more"],"type":"N.Nat.Type.N69Plus (N.Nat.Type.S more)"},{"name":"N71","comment":" Exact the natural number 71.\n\n\n","args":[],"type":"N.Nat.Type.N71Plus N.Nat.Type.Z"},{"name":"N71Plus","comment":" 71 + some n, which is at least 71.\n\n\n","args":["more"],"type":"N.Nat.Type.N70Plus (N.Nat.Type.S more)"},{"name":"N72","comment":" Exact the natural number 72.\n\n\n","args":[],"type":"N.Nat.Type.N72Plus N.Nat.Type.Z"},{"name":"N72Plus","comment":" 72 + some n, which is at least 72.\n\n\n","args":["more"],"type":"N.Nat.Type.N71Plus (N.Nat.Type.S more)"},{"name":"N73","comment":" Exact the natural number 73.\n\n\n","args":[],"type":"N.Nat.Type.N73Plus N.Nat.Type.Z"},{"name":"N73Plus","comment":" 73 + some n, which is at least 73.\n\n\n","args":["more"],"type":"N.Nat.Type.N72Plus (N.Nat.Type.S more)"},{"name":"N74","comment":" Exact the natural number 74.\n\n\n","args":[],"type":"N.Nat.Type.N74Plus N.Nat.Type.Z"},{"name":"N74Plus","comment":" 74 + some n, which is at least 74.\n\n\n","args":["more"],"type":"N.Nat.Type.N73Plus (N.Nat.Type.S more)"},{"name":"N75","comment":" Exact the natural number 75.\n\n\n","args":[],"type":"N.Nat.Type.N75Plus N.Nat.Type.Z"},{"name":"N75Plus","comment":" 75 + some n, which is at least 75.\n\n\n","args":["more"],"type":"N.Nat.Type.N74Plus (N.Nat.Type.S more)"},{"name":"N76","comment":" Exact the natural number 76.\n\n\n","args":[],"type":"N.Nat.Type.N76Plus N.Nat.Type.Z"},{"name":"N76Plus","comment":" 76 + some n, which is at least 76.\n\n\n","args":["more"],"type":"N.Nat.Type.N75Plus (N.Nat.Type.S more)"},{"name":"N77","comment":" Exact the natural number 77.\n\n\n","args":[],"type":"N.Nat.Type.N77Plus N.Nat.Type.Z"},{"name":"N77Plus","comment":" 77 + some n, which is at least 77.\n\n\n","args":["more"],"type":"N.Nat.Type.N76Plus (N.Nat.Type.S more)"},{"name":"N78","comment":" Exact the natural number 78.\n\n\n","args":[],"type":"N.Nat.Type.N78Plus N.Nat.Type.Z"},{"name":"N78Plus","comment":" 78 + some n, which is at least 78.\n\n\n","args":["more"],"type":"N.Nat.Type.N77Plus (N.Nat.Type.S more)"},{"name":"N79","comment":" Exact the natural number 79.\n\n\n","args":[],"type":"N.Nat.Type.N79Plus N.Nat.Type.Z"},{"name":"N79Plus","comment":" 79 + some n, which is at least 79.\n\n\n","args":["more"],"type":"N.Nat.Type.N78Plus (N.Nat.Type.S more)"},{"name":"N7Plus","comment":" 7 + some n, which is at least 7.\n\n\n","args":["more"],"type":"N.Nat.Type.N6Plus (N.Nat.Type.S more)"},{"name":"N8","comment":" Exact the natural number 8.\n\n\n","args":[],"type":"N.Nat.Type.N8Plus N.Nat.Type.Z"},{"name":"N80","comment":" Exact the natural number 80.\n\n\n","args":[],"type":"N.Nat.Type.N80Plus N.Nat.Type.Z"},{"name":"N80Plus","comment":" 80 + some n, which is at least 80.\n\n\n","args":["more"],"type":"N.Nat.Type.N79Plus (N.Nat.Type.S more)"},{"name":"N81","comment":" Exact the natural number 81.\n\n\n","args":[],"type":"N.Nat.Type.N81Plus N.Nat.Type.Z"},{"name":"N81Plus","comment":" 81 + some n, which is at least 81.\n\n\n","args":["more"],"type":"N.Nat.Type.N80Plus (N.Nat.Type.S more)"},{"name":"N82","comment":" Exact the natural number 82.\n\n\n","args":[],"type":"N.Nat.Type.N82Plus N.Nat.Type.Z"},{"name":"N82Plus","comment":" 82 + some n, which is at least 82.\n\n\n","args":["more"],"type":"N.Nat.Type.N81Plus (N.Nat.Type.S more)"},{"name":"N83","comment":" Exact the natural number 83.\n\n\n","args":[],"type":"N.Nat.Type.N83Plus N.Nat.Type.Z"},{"name":"N83Plus","comment":" 83 + some n, which is at least 83.\n\n\n","args":["more"],"type":"N.Nat.Type.N82Plus (N.Nat.Type.S more)"},{"name":"N84","comment":" Exact the natural number 84.\n\n\n","args":[],"type":"N.Nat.Type.N84Plus N.Nat.Type.Z"},{"name":"N84Plus","comment":" 84 + some n, which is at least 84.\n\n\n","args":["more"],"type":"N.Nat.Type.N83Plus (N.Nat.Type.S more)"},{"name":"N85","comment":" Exact the natural number 85.\n\n\n","args":[],"type":"N.Nat.Type.N85Plus N.Nat.Type.Z"},{"name":"N85Plus","comment":" 85 + some n, which is at least 85.\n\n\n","args":["more"],"type":"N.Nat.Type.N84Plus (N.Nat.Type.S more)"},{"name":"N86","comment":" Exact the natural number 86.\n\n\n","args":[],"type":"N.Nat.Type.N86Plus N.Nat.Type.Z"},{"name":"N86Plus","comment":" 86 + some n, which is at least 86.\n\n\n","args":["more"],"type":"N.Nat.Type.N85Plus (N.Nat.Type.S more)"},{"name":"N87","comment":" Exact the natural number 87.\n\n\n","args":[],"type":"N.Nat.Type.N87Plus N.Nat.Type.Z"},{"name":"N87Plus","comment":" 87 + some n, which is at least 87.\n\n\n","args":["more"],"type":"N.Nat.Type.N86Plus (N.Nat.Type.S more)"},{"name":"N88","comment":" Exact the natural number 88.\n\n\n","args":[],"type":"N.Nat.Type.N88Plus N.Nat.Type.Z"},{"name":"N88Plus","comment":" 88 + some n, which is at least 88.\n\n\n","args":["more"],"type":"N.Nat.Type.N87Plus (N.Nat.Type.S more)"},{"name":"N89","comment":" Exact the natural number 89.\n\n\n","args":[],"type":"N.Nat.Type.N89Plus N.Nat.Type.Z"},{"name":"N89Plus","comment":" 89 + some n, which is at least 89.\n\n\n","args":["more"],"type":"N.Nat.Type.N88Plus (N.Nat.Type.S more)"},{"name":"N8Plus","comment":" 8 + some n, which is at least 8.\n\n\n","args":["more"],"type":"N.Nat.Type.N7Plus (N.Nat.Type.S more)"},{"name":"N9","comment":" Exact the natural number 9.\n\n\n","args":[],"type":"N.Nat.Type.N9Plus N.Nat.Type.Z"},{"name":"N90","comment":" Exact the natural number 90.\n\n\n","args":[],"type":"N.Nat.Type.N90Plus N.Nat.Type.Z"},{"name":"N90Plus","comment":" 90 + some n, which is at least 90.\n\n\n","args":["more"],"type":"N.Nat.Type.N89Plus (N.Nat.Type.S more)"},{"name":"N91","comment":" Exact the natural number 91.\n\n\n","args":[],"type":"N.Nat.Type.N91Plus N.Nat.Type.Z"},{"name":"N91Plus","comment":" 91 + some n, which is at least 91.\n\n\n","args":["more"],"type":"N.Nat.Type.N90Plus (N.Nat.Type.S more)"},{"name":"N92","comment":" Exact the natural number 92.\n\n\n","args":[],"type":"N.Nat.Type.N92Plus N.Nat.Type.Z"},{"name":"N92Plus","comment":" 92 + some n, which is at least 92.\n\n\n","args":["more"],"type":"N.Nat.Type.N91Plus (N.Nat.Type.S more)"},{"name":"N93","comment":" Exact the natural number 93.\n\n\n","args":[],"type":"N.Nat.Type.N93Plus N.Nat.Type.Z"},{"name":"N93Plus","comment":" 93 + some n, which is at least 93.\n\n\n","args":["more"],"type":"N.Nat.Type.N92Plus (N.Nat.Type.S more)"},{"name":"N94","comment":" Exact the natural number 94.\n\n\n","args":[],"type":"N.Nat.Type.N94Plus N.Nat.Type.Z"},{"name":"N94Plus","comment":" 94 + some n, which is at least 94.\n\n\n","args":["more"],"type":"N.Nat.Type.N93Plus (N.Nat.Type.S more)"},{"name":"N95","comment":" Exact the natural number 95.\n\n\n","args":[],"type":"N.Nat.Type.N95Plus N.Nat.Type.Z"},{"name":"N95Plus","comment":" 95 + some n, which is at least 95.\n\n\n","args":["more"],"type":"N.Nat.Type.N94Plus (N.Nat.Type.S more)"},{"name":"N96","comment":" Exact the natural number 96.\n\n\n","args":[],"type":"N.Nat.Type.N96Plus N.Nat.Type.Z"},{"name":"N96Plus","comment":" 96 + some n, which is at least 96.\n\n\n","args":["more"],"type":"N.Nat.Type.N95Plus (N.Nat.Type.S more)"},{"name":"N97","comment":" Exact the natural number 97.\n\n\n","args":[],"type":"N.Nat.Type.N97Plus N.Nat.Type.Z"},{"name":"N97Plus","comment":" 97 + some n, which is at least 97.\n\n\n","args":["more"],"type":"N.Nat.Type.N96Plus (N.Nat.Type.S more)"},{"name":"N98","comment":" Exact the natural number 98.\n\n\n","args":[],"type":"N.Nat.Type.N98Plus N.Nat.Type.Z"},{"name":"N98Plus","comment":" 98 + some n, which is at least 98.\n\n\n","args":["more"],"type":"N.Nat.Type.N97Plus (N.Nat.Type.S more)"},{"name":"N99","comment":" Exact the natural number 99.\n\n\n","args":[],"type":"N.Nat.Type.N99Plus N.Nat.Type.Z"},{"name":"N99Plus","comment":" 99 + some n, which is at least 99.\n\n\n","args":["more"],"type":"N.Nat.Type.N98Plus (N.Nat.Type.S more)"},{"name":"N9Plus","comment":" 9 + some n, which is at least 9.\n\n\n","args":["more"],"type":"N.Nat.Type.N8Plus (N.Nat.Type.S more)"}],"values":[],"binops":[]}]