[{"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 N100NatPlus, N101NatPlus, N102NatPlus, N103NatPlus, N104NatPlus\n@docs N105NatPlus, N106NatPlus, N107NatPlus, N108NatPlus, N109NatPlus\n@docs N10NatPlus, N110NatPlus, N111NatPlus, N112NatPlus, N113NatPlus\n@docs N114NatPlus, N115NatPlus, N116NatPlus, N117NatPlus, N118NatPlus\n@docs N119NatPlus, N11NatPlus, N120NatPlus, N121NatPlus, N122NatPlus\n@docs N123NatPlus, N124NatPlus, N125NatPlus, N126NatPlus, N127NatPlus\n@docs N128NatPlus, N129NatPlus, N12NatPlus, N130NatPlus, N131NatPlus\n@docs N132NatPlus, N133NatPlus, N134NatPlus, N135NatPlus, N136NatPlus\n@docs N137NatPlus, N138NatPlus, N139NatPlus, N13NatPlus, N140NatPlus\n@docs N141NatPlus, N142NatPlus, N143NatPlus, N144NatPlus, N145NatPlus\n@docs N146NatPlus, N147NatPlus, N148NatPlus, N149NatPlus, N14NatPlus\n@docs N150NatPlus, N151NatPlus, N152NatPlus, N153NatPlus, N154NatPlus\n@docs N155NatPlus, N156NatPlus, N157NatPlus, N158NatPlus, N159NatPlus\n@docs N15NatPlus, N160NatPlus, N161NatPlus, N162NatPlus, N163NatPlus\n@docs N164NatPlus, N165NatPlus, N166NatPlus, N167NatPlus, N168NatPlus\n@docs N169NatPlus, N16NatPlus, N170NatPlus, N171NatPlus, N172NatPlus\n@docs N173NatPlus, N174NatPlus, N175NatPlus, N176NatPlus, N177NatPlus\n@docs N178NatPlus, N179NatPlus, N17NatPlus, N180NatPlus, N181NatPlus\n@docs N182NatPlus, N183NatPlus, N184NatPlus, N185NatPlus, N186NatPlus\n@docs N187NatPlus, N188NatPlus, N189NatPlus, N18NatPlus, N190NatPlus\n@docs N191NatPlus, N192NatPlus, N19NatPlus, N1NatPlus, N20NatPlus, N21NatPlus\n@docs N22NatPlus, N23NatPlus, N24NatPlus, N25NatPlus, N26NatPlus, N27NatPlus\n@docs N28NatPlus, N29NatPlus, N2NatPlus, N30NatPlus, N31NatPlus, N32NatPlus\n@docs N33NatPlus, N34NatPlus, N35NatPlus, N36NatPlus, N37NatPlus, N38NatPlus\n@docs N39NatPlus, N3NatPlus, N40NatPlus, N41NatPlus, N42NatPlus, N43NatPlus\n@docs N44NatPlus, N45NatPlus, N46NatPlus, N47NatPlus, N48NatPlus, N49NatPlus\n@docs N4NatPlus, N50NatPlus, N51NatPlus, N52NatPlus, N53NatPlus, N54NatPlus\n@docs N55NatPlus, N56NatPlus, N57NatPlus, N58NatPlus, N59NatPlus, N5NatPlus\n@docs N60NatPlus, N61NatPlus, N62NatPlus, N63NatPlus, N64NatPlus, N65NatPlus\n@docs N66NatPlus, N67NatPlus, N68NatPlus, N69NatPlus, N6NatPlus, N70NatPlus\n@docs N71NatPlus, N72NatPlus, N73NatPlus, N74NatPlus, N75NatPlus, N76NatPlus\n@docs N77NatPlus, N78NatPlus, N79NatPlus, N7NatPlus, N80NatPlus, N81NatPlus\n@docs N82NatPlus, N83NatPlus, N84NatPlus, N85NatPlus, N86NatPlus, N87NatPlus\n@docs N88NatPlus, N89NatPlus, N8NatPlus, N90NatPlus, N91NatPlus, N92NatPlus\n@docs N93NatPlus, N94NatPlus, N95NatPlus, N96NatPlus, N97NatPlus, N98NatPlus\n@docs N99NatPlus, N9NatPlus\n## exact\n\n\n@docs N0Nat, N100Nat, N101Nat, N102Nat, N103Nat, N104Nat, N105Nat, N106Nat, N107Nat\n@docs N108Nat, N109Nat, N10Nat, N110Nat, N111Nat, N112Nat, N113Nat, N114Nat, N115Nat\n@docs N116Nat, N117Nat, N118Nat, N119Nat, N11Nat, N120Nat, N121Nat, N122Nat, N123Nat\n@docs N124Nat, N125Nat, N126Nat, N127Nat, N128Nat, N129Nat, N12Nat, N130Nat, N131Nat\n@docs N132Nat, N133Nat, N134Nat, N135Nat, N136Nat, N137Nat, N138Nat, N139Nat, N13Nat\n@docs N140Nat, N141Nat, N142Nat, N143Nat, N144Nat, N145Nat, N146Nat, N147Nat, N148Nat\n@docs N149Nat, N14Nat, N150Nat, N151Nat, N152Nat, N153Nat, N154Nat, N155Nat, N156Nat\n@docs N157Nat, N158Nat, N159Nat, N15Nat, N160Nat, N161Nat, N162Nat, N163Nat, N164Nat\n@docs N165Nat, N166Nat, N167Nat, N168Nat, N169Nat, N16Nat, N170Nat, N171Nat, N172Nat\n@docs N173Nat, N174Nat, N175Nat, N176Nat, N177Nat, N178Nat, N179Nat, N17Nat, N180Nat\n@docs N181Nat, N182Nat, N183Nat, N184Nat, N185Nat, N186Nat, N187Nat, N188Nat, N189Nat\n@docs N18Nat, N190Nat, N191Nat, N192Nat, N19Nat, N1Nat, N20Nat, N21Nat, N22Nat, N23Nat\n@docs N24Nat, N25Nat, N26Nat, N27Nat, N28Nat, N29Nat, N2Nat, N30Nat, N31Nat, N32Nat\n@docs N33Nat, N34Nat, N35Nat, N36Nat, N37Nat, N38Nat, N39Nat, N3Nat, N40Nat, N41Nat\n@docs N42Nat, N43Nat, N44Nat, N45Nat, N46Nat, N47Nat, N48Nat, N49Nat, N4Nat, N50Nat\n@docs N51Nat, N52Nat, N53Nat, N54Nat, N55Nat, N56Nat, N57Nat, N58Nat, N59Nat, N5Nat\n@docs N60Nat, N61Nat, N62Nat, N63Nat, N64Nat, N65Nat, N66Nat, N67Nat, N68Nat, N69Nat\n@docs N6Nat, N70Nat, N71Nat, N72Nat, N73Nat, N74Nat, N75Nat, N76Nat, N77Nat, N78Nat\n@docs N79Nat, N7Nat, N80Nat, N81Nat, N82Nat, N83Nat, N84Nat, N85Nat, N86Nat, N87Nat\n@docs N88Nat, N89Nat, N8Nat, N90Nat, N91Nat, N92Nat, N93Nat, N94Nat, N95Nat, N96Nat\n@docs N97Nat, N98Nat, N99Nat, N9Nat\n","unions":[{"name":"N0Nat","comment":" Exact the natural number 0.\n\n\n","args":[],"cases":[]},{"name":"N1NatPlus","comment":" At least 1.\n\n\n","args":["more"],"cases":[]}],"aliases":[{"name":"N100Nat","comment":" Exact the natural number 100.\n\n\n","args":[],"type":"N.Nat.Type.N100NatPlus N.Nat.Type.N0Nat"},{"name":"N100NatPlus","comment":" At least 100.\n\n\n","args":["more"],"type":"N.Nat.Type.N99NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N101Nat","comment":" Exact the natural number 101.\n\n\n","args":[],"type":"N.Nat.Type.N101NatPlus N.Nat.Type.N0Nat"},{"name":"N101NatPlus","comment":" At least 101.\n\n\n","args":["more"],"type":"N.Nat.Type.N100NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N102Nat","comment":" Exact the natural number 102.\n\n\n","args":[],"type":"N.Nat.Type.N102NatPlus N.Nat.Type.N0Nat"},{"name":"N102NatPlus","comment":" At least 102.\n\n\n","args":["more"],"type":"N.Nat.Type.N101NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N103Nat","comment":" Exact the natural number 103.\n\n\n","args":[],"type":"N.Nat.Type.N103NatPlus N.Nat.Type.N0Nat"},{"name":"N103NatPlus","comment":" At least 103.\n\n\n","args":["more"],"type":"N.Nat.Type.N102NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N104Nat","comment":" Exact the natural number 104.\n\n\n","args":[],"type":"N.Nat.Type.N104NatPlus N.Nat.Type.N0Nat"},{"name":"N104NatPlus","comment":" At least 104.\n\n\n","args":["more"],"type":"N.Nat.Type.N103NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N105Nat","comment":" Exact the natural number 105.\n\n\n","args":[],"type":"N.Nat.Type.N105NatPlus N.Nat.Type.N0Nat"},{"name":"N105NatPlus","comment":" At least 105.\n\n\n","args":["more"],"type":"N.Nat.Type.N104NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N106Nat","comment":" Exact the natural number 106.\n\n\n","args":[],"type":"N.Nat.Type.N106NatPlus N.Nat.Type.N0Nat"},{"name":"N106NatPlus","comment":" At least 106.\n\n\n","args":["more"],"type":"N.Nat.Type.N105NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N107Nat","comment":" Exact the natural number 107.\n\n\n","args":[],"type":"N.Nat.Type.N107NatPlus N.Nat.Type.N0Nat"},{"name":"N107NatPlus","comment":" At least 107.\n\n\n","args":["more"],"type":"N.Nat.Type.N106NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N108Nat","comment":" Exact the natural number 108.\n\n\n","args":[],"type":"N.Nat.Type.N108NatPlus N.Nat.Type.N0Nat"},{"name":"N108NatPlus","comment":" At least 108.\n\n\n","args":["more"],"type":"N.Nat.Type.N107NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N109Nat","comment":" Exact the natural number 109.\n\n\n","args":[],"type":"N.Nat.Type.N109NatPlus N.Nat.Type.N0Nat"},{"name":"N109NatPlus","comment":" At least 109.\n\n\n","args":["more"],"type":"N.Nat.Type.N108NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N10Nat","comment":" Exact the natural number 10.\n\n\n","args":[],"type":"N.Nat.Type.N10NatPlus N.Nat.Type.N0Nat"},{"name":"N10NatPlus","comment":" At least 10.\n\n\n","args":["more"],"type":"N.Nat.Type.N9NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N110Nat","comment":" Exact the natural number 110.\n\n\n","args":[],"type":"N.Nat.Type.N110NatPlus N.Nat.Type.N0Nat"},{"name":"N110NatPlus","comment":" At least 110.\n\n\n","args":["more"],"type":"N.Nat.Type.N109NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N111Nat","comment":" Exact the natural number 111.\n\n\n","args":[],"type":"N.Nat.Type.N111NatPlus N.Nat.Type.N0Nat"},{"name":"N111NatPlus","comment":" At least 111.\n\n\n","args":["more"],"type":"N.Nat.Type.N110NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N112Nat","comment":" Exact the natural number 112.\n\n\n","args":[],"type":"N.Nat.Type.N112NatPlus N.Nat.Type.N0Nat"},{"name":"N112NatPlus","comment":" At least 112.\n\n\n","args":["more"],"type":"N.Nat.Type.N111NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N113Nat","comment":" Exact the natural number 113.\n\n\n","args":[],"type":"N.Nat.Type.N113NatPlus N.Nat.Type.N0Nat"},{"name":"N113NatPlus","comment":" At least 113.\n\n\n","args":["more"],"type":"N.Nat.Type.N112NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N114Nat","comment":" Exact the natural number 114.\n\n\n","args":[],"type":"N.Nat.Type.N114NatPlus N.Nat.Type.N0Nat"},{"name":"N114NatPlus","comment":" At least 114.\n\n\n","args":["more"],"type":"N.Nat.Type.N113NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N115Nat","comment":" Exact the natural number 115.\n\n\n","args":[],"type":"N.Nat.Type.N115NatPlus N.Nat.Type.N0Nat"},{"name":"N115NatPlus","comment":" At least 115.\n\n\n","args":["more"],"type":"N.Nat.Type.N114NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N116Nat","comment":" Exact the natural number 116.\n\n\n","args":[],"type":"N.Nat.Type.N116NatPlus N.Nat.Type.N0Nat"},{"name":"N116NatPlus","comment":" At least 116.\n\n\n","args":["more"],"type":"N.Nat.Type.N115NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N117Nat","comment":" Exact the natural number 117.\n\n\n","args":[],"type":"N.Nat.Type.N117NatPlus N.Nat.Type.N0Nat"},{"name":"N117NatPlus","comment":" At least 117.\n\n\n","args":["more"],"type":"N.Nat.Type.N116NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N118Nat","comment":" Exact the natural number 118.\n\n\n","args":[],"type":"N.Nat.Type.N118NatPlus N.Nat.Type.N0Nat"},{"name":"N118NatPlus","comment":" At least 118.\n\n\n","args":["more"],"type":"N.Nat.Type.N117NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N119Nat","comment":" Exact the natural number 119.\n\n\n","args":[],"type":"N.Nat.Type.N119NatPlus N.Nat.Type.N0Nat"},{"name":"N119NatPlus","comment":" At least 119.\n\n\n","args":["more"],"type":"N.Nat.Type.N118NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N11Nat","comment":" Exact the natural number 11.\n\n\n","args":[],"type":"N.Nat.Type.N11NatPlus N.Nat.Type.N0Nat"},{"name":"N11NatPlus","comment":" At least 11.\n\n\n","args":["more"],"type":"N.Nat.Type.N10NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N120Nat","comment":" Exact the natural number 120.\n\n\n","args":[],"type":"N.Nat.Type.N120NatPlus N.Nat.Type.N0Nat"},{"name":"N120NatPlus","comment":" At least 120.\n\n\n","args":["more"],"type":"N.Nat.Type.N119NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N121Nat","comment":" Exact the natural number 121.\n\n\n","args":[],"type":"N.Nat.Type.N121NatPlus N.Nat.Type.N0Nat"},{"name":"N121NatPlus","comment":" At least 121.\n\n\n","args":["more"],"type":"N.Nat.Type.N120NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N122Nat","comment":" Exact the natural number 122.\n\n\n","args":[],"type":"N.Nat.Type.N122NatPlus N.Nat.Type.N0Nat"},{"name":"N122NatPlus","comment":" At least 122.\n\n\n","args":["more"],"type":"N.Nat.Type.N121NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N123Nat","comment":" Exact the natural number 123.\n\n\n","args":[],"type":"N.Nat.Type.N123NatPlus N.Nat.Type.N0Nat"},{"name":"N123NatPlus","comment":" At least 123.\n\n\n","args":["more"],"type":"N.Nat.Type.N122NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N124Nat","comment":" Exact the natural number 124.\n\n\n","args":[],"type":"N.Nat.Type.N124NatPlus N.Nat.Type.N0Nat"},{"name":"N124NatPlus","comment":" At least 124.\n\n\n","args":["more"],"type":"N.Nat.Type.N123NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N125Nat","comment":" Exact the natural number 125.\n\n\n","args":[],"type":"N.Nat.Type.N125NatPlus N.Nat.Type.N0Nat"},{"name":"N125NatPlus","comment":" At least 125.\n\n\n","args":["more"],"type":"N.Nat.Type.N124NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N126Nat","comment":" Exact the natural number 126.\n\n\n","args":[],"type":"N.Nat.Type.N126NatPlus N.Nat.Type.N0Nat"},{"name":"N126NatPlus","comment":" At least 126.\n\n\n","args":["more"],"type":"N.Nat.Type.N125NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N127Nat","comment":" Exact the natural number 127.\n\n\n","args":[],"type":"N.Nat.Type.N127NatPlus N.Nat.Type.N0Nat"},{"name":"N127NatPlus","comment":" At least 127.\n\n\n","args":["more"],"type":"N.Nat.Type.N126NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N128Nat","comment":" Exact the natural number 128.\n\n\n","args":[],"type":"N.Nat.Type.N128NatPlus N.Nat.Type.N0Nat"},{"name":"N128NatPlus","comment":" At least 128.\n\n\n","args":["more"],"type":"N.Nat.Type.N127NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N129Nat","comment":" Exact the natural number 129.\n\n\n","args":[],"type":"N.Nat.Type.N129NatPlus N.Nat.Type.N0Nat"},{"name":"N129NatPlus","comment":" At least 129.\n\n\n","args":["more"],"type":"N.Nat.Type.N128NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N12Nat","comment":" Exact the natural number 12.\n\n\n","args":[],"type":"N.Nat.Type.N12NatPlus N.Nat.Type.N0Nat"},{"name":"N12NatPlus","comment":" At least 12.\n\n\n","args":["more"],"type":"N.Nat.Type.N11NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N130Nat","comment":" Exact the natural number 130.\n\n\n","args":[],"type":"N.Nat.Type.N130NatPlus N.Nat.Type.N0Nat"},{"name":"N130NatPlus","comment":" At least 130.\n\n\n","args":["more"],"type":"N.Nat.Type.N129NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N131Nat","comment":" Exact the natural number 131.\n\n\n","args":[],"type":"N.Nat.Type.N131NatPlus N.Nat.Type.N0Nat"},{"name":"N131NatPlus","comment":" At least 131.\n\n\n","args":["more"],"type":"N.Nat.Type.N130NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N132Nat","comment":" Exact the natural number 132.\n\n\n","args":[],"type":"N.Nat.Type.N132NatPlus N.Nat.Type.N0Nat"},{"name":"N132NatPlus","comment":" At least 132.\n\n\n","args":["more"],"type":"N.Nat.Type.N131NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N133Nat","comment":" Exact the natural number 133.\n\n\n","args":[],"type":"N.Nat.Type.N133NatPlus N.Nat.Type.N0Nat"},{"name":"N133NatPlus","comment":" At least 133.\n\n\n","args":["more"],"type":"N.Nat.Type.N132NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N134Nat","comment":" Exact the natural number 134.\n\n\n","args":[],"type":"N.Nat.Type.N134NatPlus N.Nat.Type.N0Nat"},{"name":"N134NatPlus","comment":" At least 134.\n\n\n","args":["more"],"type":"N.Nat.Type.N133NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N135Nat","comment":" Exact the natural number 135.\n\n\n","args":[],"type":"N.Nat.Type.N135NatPlus N.Nat.Type.N0Nat"},{"name":"N135NatPlus","comment":" At least 135.\n\n\n","args":["more"],"type":"N.Nat.Type.N134NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N136Nat","comment":" Exact the natural number 136.\n\n\n","args":[],"type":"N.Nat.Type.N136NatPlus N.Nat.Type.N0Nat"},{"name":"N136NatPlus","comment":" At least 136.\n\n\n","args":["more"],"type":"N.Nat.Type.N135NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N137Nat","comment":" Exact the natural number 137.\n\n\n","args":[],"type":"N.Nat.Type.N137NatPlus N.Nat.Type.N0Nat"},{"name":"N137NatPlus","comment":" At least 137.\n\n\n","args":["more"],"type":"N.Nat.Type.N136NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N138Nat","comment":" Exact the natural number 138.\n\n\n","args":[],"type":"N.Nat.Type.N138NatPlus N.Nat.Type.N0Nat"},{"name":"N138NatPlus","comment":" At least 138.\n\n\n","args":["more"],"type":"N.Nat.Type.N137NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N139Nat","comment":" Exact the natural number 139.\n\n\n","args":[],"type":"N.Nat.Type.N139NatPlus N.Nat.Type.N0Nat"},{"name":"N139NatPlus","comment":" At least 139.\n\n\n","args":["more"],"type":"N.Nat.Type.N138NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N13Nat","comment":" Exact the natural number 13.\n\n\n","args":[],"type":"N.Nat.Type.N13NatPlus N.Nat.Type.N0Nat"},{"name":"N13NatPlus","comment":" At least 13.\n\n\n","args":["more"],"type":"N.Nat.Type.N12NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N140Nat","comment":" Exact the natural number 140.\n\n\n","args":[],"type":"N.Nat.Type.N140NatPlus N.Nat.Type.N0Nat"},{"name":"N140NatPlus","comment":" At least 140.\n\n\n","args":["more"],"type":"N.Nat.Type.N139NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N141Nat","comment":" Exact the natural number 141.\n\n\n","args":[],"type":"N.Nat.Type.N141NatPlus N.Nat.Type.N0Nat"},{"name":"N141NatPlus","comment":" At least 141.\n\n\n","args":["more"],"type":"N.Nat.Type.N140NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N142Nat","comment":" Exact the natural number 142.\n\n\n","args":[],"type":"N.Nat.Type.N142NatPlus N.Nat.Type.N0Nat"},{"name":"N142NatPlus","comment":" At least 142.\n\n\n","args":["more"],"type":"N.Nat.Type.N141NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N143Nat","comment":" Exact the natural number 143.\n\n\n","args":[],"type":"N.Nat.Type.N143NatPlus N.Nat.Type.N0Nat"},{"name":"N143NatPlus","comment":" At least 143.\n\n\n","args":["more"],"type":"N.Nat.Type.N142NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N144Nat","comment":" Exact the natural number 144.\n\n\n","args":[],"type":"N.Nat.Type.N144NatPlus N.Nat.Type.N0Nat"},{"name":"N144NatPlus","comment":" At least 144.\n\n\n","args":["more"],"type":"N.Nat.Type.N143NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N145Nat","comment":" Exact the natural number 145.\n\n\n","args":[],"type":"N.Nat.Type.N145NatPlus N.Nat.Type.N0Nat"},{"name":"N145NatPlus","comment":" At least 145.\n\n\n","args":["more"],"type":"N.Nat.Type.N144NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N146Nat","comment":" Exact the natural number 146.\n\n\n","args":[],"type":"N.Nat.Type.N146NatPlus N.Nat.Type.N0Nat"},{"name":"N146NatPlus","comment":" At least 146.\n\n\n","args":["more"],"type":"N.Nat.Type.N145NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N147Nat","comment":" Exact the natural number 147.\n\n\n","args":[],"type":"N.Nat.Type.N147NatPlus N.Nat.Type.N0Nat"},{"name":"N147NatPlus","comment":" At least 147.\n\n\n","args":["more"],"type":"N.Nat.Type.N146NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N148Nat","comment":" Exact the natural number 148.\n\n\n","args":[],"type":"N.Nat.Type.N148NatPlus N.Nat.Type.N0Nat"},{"name":"N148NatPlus","comment":" At least 148.\n\n\n","args":["more"],"type":"N.Nat.Type.N147NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N149Nat","comment":" Exact the natural number 149.\n\n\n","args":[],"type":"N.Nat.Type.N149NatPlus N.Nat.Type.N0Nat"},{"name":"N149NatPlus","comment":" At least 149.\n\n\n","args":["more"],"type":"N.Nat.Type.N148NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N14Nat","comment":" Exact the natural number 14.\n\n\n","args":[],"type":"N.Nat.Type.N14NatPlus N.Nat.Type.N0Nat"},{"name":"N14NatPlus","comment":" At least 14.\n\n\n","args":["more"],"type":"N.Nat.Type.N13NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N150Nat","comment":" Exact the natural number 150.\n\n\n","args":[],"type":"N.Nat.Type.N150NatPlus N.Nat.Type.N0Nat"},{"name":"N150NatPlus","comment":" At least 150.\n\n\n","args":["more"],"type":"N.Nat.Type.N149NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N151Nat","comment":" Exact the natural number 151.\n\n\n","args":[],"type":"N.Nat.Type.N151NatPlus N.Nat.Type.N0Nat"},{"name":"N151NatPlus","comment":" At least 151.\n\n\n","args":["more"],"type":"N.Nat.Type.N150NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N152Nat","comment":" Exact the natural number 152.\n\n\n","args":[],"type":"N.Nat.Type.N152NatPlus N.Nat.Type.N0Nat"},{"name":"N152NatPlus","comment":" At least 152.\n\n\n","args":["more"],"type":"N.Nat.Type.N151NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N153Nat","comment":" Exact the natural number 153.\n\n\n","args":[],"type":"N.Nat.Type.N153NatPlus N.Nat.Type.N0Nat"},{"name":"N153NatPlus","comment":" At least 153.\n\n\n","args":["more"],"type":"N.Nat.Type.N152NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N154Nat","comment":" Exact the natural number 154.\n\n\n","args":[],"type":"N.Nat.Type.N154NatPlus N.Nat.Type.N0Nat"},{"name":"N154NatPlus","comment":" At least 154.\n\n\n","args":["more"],"type":"N.Nat.Type.N153NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N155Nat","comment":" Exact the natural number 155.\n\n\n","args":[],"type":"N.Nat.Type.N155NatPlus N.Nat.Type.N0Nat"},{"name":"N155NatPlus","comment":" At least 155.\n\n\n","args":["more"],"type":"N.Nat.Type.N154NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N156Nat","comment":" Exact the natural number 156.\n\n\n","args":[],"type":"N.Nat.Type.N156NatPlus N.Nat.Type.N0Nat"},{"name":"N156NatPlus","comment":" At least 156.\n\n\n","args":["more"],"type":"N.Nat.Type.N155NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N157Nat","comment":" Exact the natural number 157.\n\n\n","args":[],"type":"N.Nat.Type.N157NatPlus N.Nat.Type.N0Nat"},{"name":"N157NatPlus","comment":" At least 157.\n\n\n","args":["more"],"type":"N.Nat.Type.N156NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N158Nat","comment":" Exact the natural number 158.\n\n\n","args":[],"type":"N.Nat.Type.N158NatPlus N.Nat.Type.N0Nat"},{"name":"N158NatPlus","comment":" At least 158.\n\n\n","args":["more"],"type":"N.Nat.Type.N157NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N159Nat","comment":" Exact the natural number 159.\n\n\n","args":[],"type":"N.Nat.Type.N159NatPlus N.Nat.Type.N0Nat"},{"name":"N159NatPlus","comment":" At least 159.\n\n\n","args":["more"],"type":"N.Nat.Type.N158NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N15Nat","comment":" Exact the natural number 15.\n\n\n","args":[],"type":"N.Nat.Type.N15NatPlus N.Nat.Type.N0Nat"},{"name":"N15NatPlus","comment":" At least 15.\n\n\n","args":["more"],"type":"N.Nat.Type.N14NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N160Nat","comment":" Exact the natural number 160.\n\n\n","args":[],"type":"N.Nat.Type.N160NatPlus N.Nat.Type.N0Nat"},{"name":"N160NatPlus","comment":" At least 160.\n\n\n","args":["more"],"type":"N.Nat.Type.N159NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N161Nat","comment":" Exact the natural number 161.\n\n\n","args":[],"type":"N.Nat.Type.N161NatPlus N.Nat.Type.N0Nat"},{"name":"N161NatPlus","comment":" At least 161.\n\n\n","args":["more"],"type":"N.Nat.Type.N160NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N162Nat","comment":" Exact the natural number 162.\n\n\n","args":[],"type":"N.Nat.Type.N162NatPlus N.Nat.Type.N0Nat"},{"name":"N162NatPlus","comment":" At least 162.\n\n\n","args":["more"],"type":"N.Nat.Type.N161NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N163Nat","comment":" Exact the natural number 163.\n\n\n","args":[],"type":"N.Nat.Type.N163NatPlus N.Nat.Type.N0Nat"},{"name":"N163NatPlus","comment":" At least 163.\n\n\n","args":["more"],"type":"N.Nat.Type.N162NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N164Nat","comment":" Exact the natural number 164.\n\n\n","args":[],"type":"N.Nat.Type.N164NatPlus N.Nat.Type.N0Nat"},{"name":"N164NatPlus","comment":" At least 164.\n\n\n","args":["more"],"type":"N.Nat.Type.N163NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N165Nat","comment":" Exact the natural number 165.\n\n\n","args":[],"type":"N.Nat.Type.N165NatPlus N.Nat.Type.N0Nat"},{"name":"N165NatPlus","comment":" At least 165.\n\n\n","args":["more"],"type":"N.Nat.Type.N164NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N166Nat","comment":" Exact the natural number 166.\n\n\n","args":[],"type":"N.Nat.Type.N166NatPlus N.Nat.Type.N0Nat"},{"name":"N166NatPlus","comment":" At least 166.\n\n\n","args":["more"],"type":"N.Nat.Type.N165NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N167Nat","comment":" Exact the natural number 167.\n\n\n","args":[],"type":"N.Nat.Type.N167NatPlus N.Nat.Type.N0Nat"},{"name":"N167NatPlus","comment":" At least 167.\n\n\n","args":["more"],"type":"N.Nat.Type.N166NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N168Nat","comment":" Exact the natural number 168.\n\n\n","args":[],"type":"N.Nat.Type.N168NatPlus N.Nat.Type.N0Nat"},{"name":"N168NatPlus","comment":" At least 168.\n\n\n","args":["more"],"type":"N.Nat.Type.N167NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N169Nat","comment":" Exact the natural number 169.\n\n\n","args":[],"type":"N.Nat.Type.N169NatPlus N.Nat.Type.N0Nat"},{"name":"N169NatPlus","comment":" At least 169.\n\n\n","args":["more"],"type":"N.Nat.Type.N168NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N16Nat","comment":" Exact the natural number 16.\n\n\n","args":[],"type":"N.Nat.Type.N16NatPlus N.Nat.Type.N0Nat"},{"name":"N16NatPlus","comment":" At least 16.\n\n\n","args":["more"],"type":"N.Nat.Type.N15NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N170Nat","comment":" Exact the natural number 170.\n\n\n","args":[],"type":"N.Nat.Type.N170NatPlus N.Nat.Type.N0Nat"},{"name":"N170NatPlus","comment":" At least 170.\n\n\n","args":["more"],"type":"N.Nat.Type.N169NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N171Nat","comment":" Exact the natural number 171.\n\n\n","args":[],"type":"N.Nat.Type.N171NatPlus N.Nat.Type.N0Nat"},{"name":"N171NatPlus","comment":" At least 171.\n\n\n","args":["more"],"type":"N.Nat.Type.N170NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N172Nat","comment":" Exact the natural number 172.\n\n\n","args":[],"type":"N.Nat.Type.N172NatPlus N.Nat.Type.N0Nat"},{"name":"N172NatPlus","comment":" At least 172.\n\n\n","args":["more"],"type":"N.Nat.Type.N171NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N173Nat","comment":" Exact the natural number 173.\n\n\n","args":[],"type":"N.Nat.Type.N173NatPlus N.Nat.Type.N0Nat"},{"name":"N173NatPlus","comment":" At least 173.\n\n\n","args":["more"],"type":"N.Nat.Type.N172NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N174Nat","comment":" Exact the natural number 174.\n\n\n","args":[],"type":"N.Nat.Type.N174NatPlus N.Nat.Type.N0Nat"},{"name":"N174NatPlus","comment":" At least 174.\n\n\n","args":["more"],"type":"N.Nat.Type.N173NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N175Nat","comment":" Exact the natural number 175.\n\n\n","args":[],"type":"N.Nat.Type.N175NatPlus N.Nat.Type.N0Nat"},{"name":"N175NatPlus","comment":" At least 175.\n\n\n","args":["more"],"type":"N.Nat.Type.N174NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N176Nat","comment":" Exact the natural number 176.\n\n\n","args":[],"type":"N.Nat.Type.N176NatPlus N.Nat.Type.N0Nat"},{"name":"N176NatPlus","comment":" At least 176.\n\n\n","args":["more"],"type":"N.Nat.Type.N175NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N177Nat","comment":" Exact the natural number 177.\n\n\n","args":[],"type":"N.Nat.Type.N177NatPlus N.Nat.Type.N0Nat"},{"name":"N177NatPlus","comment":" At least 177.\n\n\n","args":["more"],"type":"N.Nat.Type.N176NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N178Nat","comment":" Exact the natural number 178.\n\n\n","args":[],"type":"N.Nat.Type.N178NatPlus N.Nat.Type.N0Nat"},{"name":"N178NatPlus","comment":" At least 178.\n\n\n","args":["more"],"type":"N.Nat.Type.N177NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N179Nat","comment":" Exact the natural number 179.\n\n\n","args":[],"type":"N.Nat.Type.N179NatPlus N.Nat.Type.N0Nat"},{"name":"N179NatPlus","comment":" At least 179.\n\n\n","args":["more"],"type":"N.Nat.Type.N178NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N17Nat","comment":" Exact the natural number 17.\n\n\n","args":[],"type":"N.Nat.Type.N17NatPlus N.Nat.Type.N0Nat"},{"name":"N17NatPlus","comment":" At least 17.\n\n\n","args":["more"],"type":"N.Nat.Type.N16NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N180Nat","comment":" Exact the natural number 180.\n\n\n","args":[],"type":"N.Nat.Type.N180NatPlus N.Nat.Type.N0Nat"},{"name":"N180NatPlus","comment":" At least 180.\n\n\n","args":["more"],"type":"N.Nat.Type.N179NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N181Nat","comment":" Exact the natural number 181.\n\n\n","args":[],"type":"N.Nat.Type.N181NatPlus N.Nat.Type.N0Nat"},{"name":"N181NatPlus","comment":" At least 181.\n\n\n","args":["more"],"type":"N.Nat.Type.N180NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N182Nat","comment":" Exact the natural number 182.\n\n\n","args":[],"type":"N.Nat.Type.N182NatPlus N.Nat.Type.N0Nat"},{"name":"N182NatPlus","comment":" At least 182.\n\n\n","args":["more"],"type":"N.Nat.Type.N181NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N183Nat","comment":" Exact the natural number 183.\n\n\n","args":[],"type":"N.Nat.Type.N183NatPlus N.Nat.Type.N0Nat"},{"name":"N183NatPlus","comment":" At least 183.\n\n\n","args":["more"],"type":"N.Nat.Type.N182NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N184Nat","comment":" Exact the natural number 184.\n\n\n","args":[],"type":"N.Nat.Type.N184NatPlus N.Nat.Type.N0Nat"},{"name":"N184NatPlus","comment":" At least 184.\n\n\n","args":["more"],"type":"N.Nat.Type.N183NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N185Nat","comment":" Exact the natural number 185.\n\n\n","args":[],"type":"N.Nat.Type.N185NatPlus N.Nat.Type.N0Nat"},{"name":"N185NatPlus","comment":" At least 185.\n\n\n","args":["more"],"type":"N.Nat.Type.N184NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N186Nat","comment":" Exact the natural number 186.\n\n\n","args":[],"type":"N.Nat.Type.N186NatPlus N.Nat.Type.N0Nat"},{"name":"N186NatPlus","comment":" At least 186.\n\n\n","args":["more"],"type":"N.Nat.Type.N185NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N187Nat","comment":" Exact the natural number 187.\n\n\n","args":[],"type":"N.Nat.Type.N187NatPlus N.Nat.Type.N0Nat"},{"name":"N187NatPlus","comment":" At least 187.\n\n\n","args":["more"],"type":"N.Nat.Type.N186NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N188Nat","comment":" Exact the natural number 188.\n\n\n","args":[],"type":"N.Nat.Type.N188NatPlus N.Nat.Type.N0Nat"},{"name":"N188NatPlus","comment":" At least 188.\n\n\n","args":["more"],"type":"N.Nat.Type.N187NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N189Nat","comment":" Exact the natural number 189.\n\n\n","args":[],"type":"N.Nat.Type.N189NatPlus N.Nat.Type.N0Nat"},{"name":"N189NatPlus","comment":" At least 189.\n\n\n","args":["more"],"type":"N.Nat.Type.N188NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N18Nat","comment":" Exact the natural number 18.\n\n\n","args":[],"type":"N.Nat.Type.N18NatPlus N.Nat.Type.N0Nat"},{"name":"N18NatPlus","comment":" At least 18.\n\n\n","args":["more"],"type":"N.Nat.Type.N17NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N190Nat","comment":" Exact the natural number 190.\n\n\n","args":[],"type":"N.Nat.Type.N190NatPlus N.Nat.Type.N0Nat"},{"name":"N190NatPlus","comment":" At least 190.\n\n\n","args":["more"],"type":"N.Nat.Type.N189NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N191Nat","comment":" Exact the natural number 191.\n\n\n","args":[],"type":"N.Nat.Type.N191NatPlus N.Nat.Type.N0Nat"},{"name":"N191NatPlus","comment":" At least 191.\n\n\n","args":["more"],"type":"N.Nat.Type.N190NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N192Nat","comment":" Exact the natural number 192.\n\n\n","args":[],"type":"N.Nat.Type.N192NatPlus N.Nat.Type.N0Nat"},{"name":"N192NatPlus","comment":" At least 192.\n\n\n","args":["more"],"type":"N.Nat.Type.N191NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N19Nat","comment":" Exact the natural number 19.\n\n\n","args":[],"type":"N.Nat.Type.N19NatPlus N.Nat.Type.N0Nat"},{"name":"N19NatPlus","comment":" At least 19.\n\n\n","args":["more"],"type":"N.Nat.Type.N18NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N1Nat","comment":" Exact the natural number 1.\n\n\n","args":[],"type":"N.Nat.Type.N1NatPlus N.Nat.Type.N0Nat"},{"name":"N20Nat","comment":" Exact the natural number 20.\n\n\n","args":[],"type":"N.Nat.Type.N20NatPlus N.Nat.Type.N0Nat"},{"name":"N20NatPlus","comment":" At least 20.\n\n\n","args":["more"],"type":"N.Nat.Type.N19NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N21Nat","comment":" Exact the natural number 21.\n\n\n","args":[],"type":"N.Nat.Type.N21NatPlus N.Nat.Type.N0Nat"},{"name":"N21NatPlus","comment":" At least 21.\n\n\n","args":["more"],"type":"N.Nat.Type.N20NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N22Nat","comment":" Exact the natural number 22.\n\n\n","args":[],"type":"N.Nat.Type.N22NatPlus N.Nat.Type.N0Nat"},{"name":"N22NatPlus","comment":" At least 22.\n\n\n","args":["more"],"type":"N.Nat.Type.N21NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N23Nat","comment":" Exact the natural number 23.\n\n\n","args":[],"type":"N.Nat.Type.N23NatPlus N.Nat.Type.N0Nat"},{"name":"N23NatPlus","comment":" At least 23.\n\n\n","args":["more"],"type":"N.Nat.Type.N22NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N24Nat","comment":" Exact the natural number 24.\n\n\n","args":[],"type":"N.Nat.Type.N24NatPlus N.Nat.Type.N0Nat"},{"name":"N24NatPlus","comment":" At least 24.\n\n\n","args":["more"],"type":"N.Nat.Type.N23NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N25Nat","comment":" Exact the natural number 25.\n\n\n","args":[],"type":"N.Nat.Type.N25NatPlus N.Nat.Type.N0Nat"},{"name":"N25NatPlus","comment":" At least 25.\n\n\n","args":["more"],"type":"N.Nat.Type.N24NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N26Nat","comment":" Exact the natural number 26.\n\n\n","args":[],"type":"N.Nat.Type.N26NatPlus N.Nat.Type.N0Nat"},{"name":"N26NatPlus","comment":" At least 26.\n\n\n","args":["more"],"type":"N.Nat.Type.N25NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N27Nat","comment":" Exact the natural number 27.\n\n\n","args":[],"type":"N.Nat.Type.N27NatPlus N.Nat.Type.N0Nat"},{"name":"N27NatPlus","comment":" At least 27.\n\n\n","args":["more"],"type":"N.Nat.Type.N26NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N28Nat","comment":" Exact the natural number 28.\n\n\n","args":[],"type":"N.Nat.Type.N28NatPlus N.Nat.Type.N0Nat"},{"name":"N28NatPlus","comment":" At least 28.\n\n\n","args":["more"],"type":"N.Nat.Type.N27NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N29Nat","comment":" Exact the natural number 29.\n\n\n","args":[],"type":"N.Nat.Type.N29NatPlus N.Nat.Type.N0Nat"},{"name":"N29NatPlus","comment":" At least 29.\n\n\n","args":["more"],"type":"N.Nat.Type.N28NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N2Nat","comment":" Exact the natural number 2.\n\n\n","args":[],"type":"N.Nat.Type.N2NatPlus N.Nat.Type.N0Nat"},{"name":"N2NatPlus","comment":" At least 2.\n\n\n","args":["more"],"type":"N.Nat.Type.N1NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N30Nat","comment":" Exact the natural number 30.\n\n\n","args":[],"type":"N.Nat.Type.N30NatPlus N.Nat.Type.N0Nat"},{"name":"N30NatPlus","comment":" At least 30.\n\n\n","args":["more"],"type":"N.Nat.Type.N29NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N31Nat","comment":" Exact the natural number 31.\n\n\n","args":[],"type":"N.Nat.Type.N31NatPlus N.Nat.Type.N0Nat"},{"name":"N31NatPlus","comment":" At least 31.\n\n\n","args":["more"],"type":"N.Nat.Type.N30NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N32Nat","comment":" Exact the natural number 32.\n\n\n","args":[],"type":"N.Nat.Type.N32NatPlus N.Nat.Type.N0Nat"},{"name":"N32NatPlus","comment":" At least 32.\n\n\n","args":["more"],"type":"N.Nat.Type.N31NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N33Nat","comment":" Exact the natural number 33.\n\n\n","args":[],"type":"N.Nat.Type.N33NatPlus N.Nat.Type.N0Nat"},{"name":"N33NatPlus","comment":" At least 33.\n\n\n","args":["more"],"type":"N.Nat.Type.N32NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N34Nat","comment":" Exact the natural number 34.\n\n\n","args":[],"type":"N.Nat.Type.N34NatPlus N.Nat.Type.N0Nat"},{"name":"N34NatPlus","comment":" At least 34.\n\n\n","args":["more"],"type":"N.Nat.Type.N33NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N35Nat","comment":" Exact the natural number 35.\n\n\n","args":[],"type":"N.Nat.Type.N35NatPlus N.Nat.Type.N0Nat"},{"name":"N35NatPlus","comment":" At least 35.\n\n\n","args":["more"],"type":"N.Nat.Type.N34NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N36Nat","comment":" Exact the natural number 36.\n\n\n","args":[],"type":"N.Nat.Type.N36NatPlus N.Nat.Type.N0Nat"},{"name":"N36NatPlus","comment":" At least 36.\n\n\n","args":["more"],"type":"N.Nat.Type.N35NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N37Nat","comment":" Exact the natural number 37.\n\n\n","args":[],"type":"N.Nat.Type.N37NatPlus N.Nat.Type.N0Nat"},{"name":"N37NatPlus","comment":" At least 37.\n\n\n","args":["more"],"type":"N.Nat.Type.N36NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N38Nat","comment":" Exact the natural number 38.\n\n\n","args":[],"type":"N.Nat.Type.N38NatPlus N.Nat.Type.N0Nat"},{"name":"N38NatPlus","comment":" At least 38.\n\n\n","args":["more"],"type":"N.Nat.Type.N37NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N39Nat","comment":" Exact the natural number 39.\n\n\n","args":[],"type":"N.Nat.Type.N39NatPlus N.Nat.Type.N0Nat"},{"name":"N39NatPlus","comment":" At least 39.\n\n\n","args":["more"],"type":"N.Nat.Type.N38NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N3Nat","comment":" Exact the natural number 3.\n\n\n","args":[],"type":"N.Nat.Type.N3NatPlus N.Nat.Type.N0Nat"},{"name":"N3NatPlus","comment":" At least 3.\n\n\n","args":["more"],"type":"N.Nat.Type.N2NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N40Nat","comment":" Exact the natural number 40.\n\n\n","args":[],"type":"N.Nat.Type.N40NatPlus N.Nat.Type.N0Nat"},{"name":"N40NatPlus","comment":" At least 40.\n\n\n","args":["more"],"type":"N.Nat.Type.N39NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N41Nat","comment":" Exact the natural number 41.\n\n\n","args":[],"type":"N.Nat.Type.N41NatPlus N.Nat.Type.N0Nat"},{"name":"N41NatPlus","comment":" At least 41.\n\n\n","args":["more"],"type":"N.Nat.Type.N40NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N42Nat","comment":" Exact the natural number 42.\n\n\n","args":[],"type":"N.Nat.Type.N42NatPlus N.Nat.Type.N0Nat"},{"name":"N42NatPlus","comment":" At least 42.\n\n\n","args":["more"],"type":"N.Nat.Type.N41NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N43Nat","comment":" Exact the natural number 43.\n\n\n","args":[],"type":"N.Nat.Type.N43NatPlus N.Nat.Type.N0Nat"},{"name":"N43NatPlus","comment":" At least 43.\n\n\n","args":["more"],"type":"N.Nat.Type.N42NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N44Nat","comment":" Exact the natural number 44.\n\n\n","args":[],"type":"N.Nat.Type.N44NatPlus N.Nat.Type.N0Nat"},{"name":"N44NatPlus","comment":" At least 44.\n\n\n","args":["more"],"type":"N.Nat.Type.N43NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N45Nat","comment":" Exact the natural number 45.\n\n\n","args":[],"type":"N.Nat.Type.N45NatPlus N.Nat.Type.N0Nat"},{"name":"N45NatPlus","comment":" At least 45.\n\n\n","args":["more"],"type":"N.Nat.Type.N44NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N46Nat","comment":" Exact the natural number 46.\n\n\n","args":[],"type":"N.Nat.Type.N46NatPlus N.Nat.Type.N0Nat"},{"name":"N46NatPlus","comment":" At least 46.\n\n\n","args":["more"],"type":"N.Nat.Type.N45NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N47Nat","comment":" Exact the natural number 47.\n\n\n","args":[],"type":"N.Nat.Type.N47NatPlus N.Nat.Type.N0Nat"},{"name":"N47NatPlus","comment":" At least 47.\n\n\n","args":["more"],"type":"N.Nat.Type.N46NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N48Nat","comment":" Exact the natural number 48.\n\n\n","args":[],"type":"N.Nat.Type.N48NatPlus N.Nat.Type.N0Nat"},{"name":"N48NatPlus","comment":" At least 48.\n\n\n","args":["more"],"type":"N.Nat.Type.N47NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N49Nat","comment":" Exact the natural number 49.\n\n\n","args":[],"type":"N.Nat.Type.N49NatPlus N.Nat.Type.N0Nat"},{"name":"N49NatPlus","comment":" At least 49.\n\n\n","args":["more"],"type":"N.Nat.Type.N48NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N4Nat","comment":" Exact the natural number 4.\n\n\n","args":[],"type":"N.Nat.Type.N4NatPlus N.Nat.Type.N0Nat"},{"name":"N4NatPlus","comment":" At least 4.\n\n\n","args":["more"],"type":"N.Nat.Type.N3NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N50Nat","comment":" Exact the natural number 50.\n\n\n","args":[],"type":"N.Nat.Type.N50NatPlus N.Nat.Type.N0Nat"},{"name":"N50NatPlus","comment":" At least 50.\n\n\n","args":["more"],"type":"N.Nat.Type.N49NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N51Nat","comment":" Exact the natural number 51.\n\n\n","args":[],"type":"N.Nat.Type.N51NatPlus N.Nat.Type.N0Nat"},{"name":"N51NatPlus","comment":" At least 51.\n\n\n","args":["more"],"type":"N.Nat.Type.N50NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N52Nat","comment":" Exact the natural number 52.\n\n\n","args":[],"type":"N.Nat.Type.N52NatPlus N.Nat.Type.N0Nat"},{"name":"N52NatPlus","comment":" At least 52.\n\n\n","args":["more"],"type":"N.Nat.Type.N51NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N53Nat","comment":" Exact the natural number 53.\n\n\n","args":[],"type":"N.Nat.Type.N53NatPlus N.Nat.Type.N0Nat"},{"name":"N53NatPlus","comment":" At least 53.\n\n\n","args":["more"],"type":"N.Nat.Type.N52NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N54Nat","comment":" Exact the natural number 54.\n\n\n","args":[],"type":"N.Nat.Type.N54NatPlus N.Nat.Type.N0Nat"},{"name":"N54NatPlus","comment":" At least 54.\n\n\n","args":["more"],"type":"N.Nat.Type.N53NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N55Nat","comment":" Exact the natural number 55.\n\n\n","args":[],"type":"N.Nat.Type.N55NatPlus N.Nat.Type.N0Nat"},{"name":"N55NatPlus","comment":" At least 55.\n\n\n","args":["more"],"type":"N.Nat.Type.N54NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N56Nat","comment":" Exact the natural number 56.\n\n\n","args":[],"type":"N.Nat.Type.N56NatPlus N.Nat.Type.N0Nat"},{"name":"N56NatPlus","comment":" At least 56.\n\n\n","args":["more"],"type":"N.Nat.Type.N55NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N57Nat","comment":" Exact the natural number 57.\n\n\n","args":[],"type":"N.Nat.Type.N57NatPlus N.Nat.Type.N0Nat"},{"name":"N57NatPlus","comment":" At least 57.\n\n\n","args":["more"],"type":"N.Nat.Type.N56NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N58Nat","comment":" Exact the natural number 58.\n\n\n","args":[],"type":"N.Nat.Type.N58NatPlus N.Nat.Type.N0Nat"},{"name":"N58NatPlus","comment":" At least 58.\n\n\n","args":["more"],"type":"N.Nat.Type.N57NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N59Nat","comment":" Exact the natural number 59.\n\n\n","args":[],"type":"N.Nat.Type.N59NatPlus N.Nat.Type.N0Nat"},{"name":"N59NatPlus","comment":" At least 59.\n\n\n","args":["more"],"type":"N.Nat.Type.N58NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N5Nat","comment":" Exact the natural number 5.\n\n\n","args":[],"type":"N.Nat.Type.N5NatPlus N.Nat.Type.N0Nat"},{"name":"N5NatPlus","comment":" At least 5.\n\n\n","args":["more"],"type":"N.Nat.Type.N4NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N60Nat","comment":" Exact the natural number 60.\n\n\n","args":[],"type":"N.Nat.Type.N60NatPlus N.Nat.Type.N0Nat"},{"name":"N60NatPlus","comment":" At least 60.\n\n\n","args":["more"],"type":"N.Nat.Type.N59NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N61Nat","comment":" Exact the natural number 61.\n\n\n","args":[],"type":"N.Nat.Type.N61NatPlus N.Nat.Type.N0Nat"},{"name":"N61NatPlus","comment":" At least 61.\n\n\n","args":["more"],"type":"N.Nat.Type.N60NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N62Nat","comment":" Exact the natural number 62.\n\n\n","args":[],"type":"N.Nat.Type.N62NatPlus N.Nat.Type.N0Nat"},{"name":"N62NatPlus","comment":" At least 62.\n\n\n","args":["more"],"type":"N.Nat.Type.N61NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N63Nat","comment":" Exact the natural number 63.\n\n\n","args":[],"type":"N.Nat.Type.N63NatPlus N.Nat.Type.N0Nat"},{"name":"N63NatPlus","comment":" At least 63.\n\n\n","args":["more"],"type":"N.Nat.Type.N62NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N64Nat","comment":" Exact the natural number 64.\n\n\n","args":[],"type":"N.Nat.Type.N64NatPlus N.Nat.Type.N0Nat"},{"name":"N64NatPlus","comment":" At least 64.\n\n\n","args":["more"],"type":"N.Nat.Type.N63NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N65Nat","comment":" Exact the natural number 65.\n\n\n","args":[],"type":"N.Nat.Type.N65NatPlus N.Nat.Type.N0Nat"},{"name":"N65NatPlus","comment":" At least 65.\n\n\n","args":["more"],"type":"N.Nat.Type.N64NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N66Nat","comment":" Exact the natural number 66.\n\n\n","args":[],"type":"N.Nat.Type.N66NatPlus N.Nat.Type.N0Nat"},{"name":"N66NatPlus","comment":" At least 66.\n\n\n","args":["more"],"type":"N.Nat.Type.N65NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N67Nat","comment":" Exact the natural number 67.\n\n\n","args":[],"type":"N.Nat.Type.N67NatPlus N.Nat.Type.N0Nat"},{"name":"N67NatPlus","comment":" At least 67.\n\n\n","args":["more"],"type":"N.Nat.Type.N66NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N68Nat","comment":" Exact the natural number 68.\n\n\n","args":[],"type":"N.Nat.Type.N68NatPlus N.Nat.Type.N0Nat"},{"name":"N68NatPlus","comment":" At least 68.\n\n\n","args":["more"],"type":"N.Nat.Type.N67NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N69Nat","comment":" Exact the natural number 69.\n\n\n","args":[],"type":"N.Nat.Type.N69NatPlus N.Nat.Type.N0Nat"},{"name":"N69NatPlus","comment":" At least 69.\n\n\n","args":["more"],"type":"N.Nat.Type.N68NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N6Nat","comment":" Exact the natural number 6.\n\n\n","args":[],"type":"N.Nat.Type.N6NatPlus N.Nat.Type.N0Nat"},{"name":"N6NatPlus","comment":" At least 6.\n\n\n","args":["more"],"type":"N.Nat.Type.N5NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N70Nat","comment":" Exact the natural number 70.\n\n\n","args":[],"type":"N.Nat.Type.N70NatPlus N.Nat.Type.N0Nat"},{"name":"N70NatPlus","comment":" At least 70.\n\n\n","args":["more"],"type":"N.Nat.Type.N69NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N71Nat","comment":" Exact the natural number 71.\n\n\n","args":[],"type":"N.Nat.Type.N71NatPlus N.Nat.Type.N0Nat"},{"name":"N71NatPlus","comment":" At least 71.\n\n\n","args":["more"],"type":"N.Nat.Type.N70NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N72Nat","comment":" Exact the natural number 72.\n\n\n","args":[],"type":"N.Nat.Type.N72NatPlus N.Nat.Type.N0Nat"},{"name":"N72NatPlus","comment":" At least 72.\n\n\n","args":["more"],"type":"N.Nat.Type.N71NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N73Nat","comment":" Exact the natural number 73.\n\n\n","args":[],"type":"N.Nat.Type.N73NatPlus N.Nat.Type.N0Nat"},{"name":"N73NatPlus","comment":" At least 73.\n\n\n","args":["more"],"type":"N.Nat.Type.N72NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N74Nat","comment":" Exact the natural number 74.\n\n\n","args":[],"type":"N.Nat.Type.N74NatPlus N.Nat.Type.N0Nat"},{"name":"N74NatPlus","comment":" At least 74.\n\n\n","args":["more"],"type":"N.Nat.Type.N73NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N75Nat","comment":" Exact the natural number 75.\n\n\n","args":[],"type":"N.Nat.Type.N75NatPlus N.Nat.Type.N0Nat"},{"name":"N75NatPlus","comment":" At least 75.\n\n\n","args":["more"],"type":"N.Nat.Type.N74NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N76Nat","comment":" Exact the natural number 76.\n\n\n","args":[],"type":"N.Nat.Type.N76NatPlus N.Nat.Type.N0Nat"},{"name":"N76NatPlus","comment":" At least 76.\n\n\n","args":["more"],"type":"N.Nat.Type.N75NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N77Nat","comment":" Exact the natural number 77.\n\n\n","args":[],"type":"N.Nat.Type.N77NatPlus N.Nat.Type.N0Nat"},{"name":"N77NatPlus","comment":" At least 77.\n\n\n","args":["more"],"type":"N.Nat.Type.N76NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N78Nat","comment":" Exact the natural number 78.\n\n\n","args":[],"type":"N.Nat.Type.N78NatPlus N.Nat.Type.N0Nat"},{"name":"N78NatPlus","comment":" At least 78.\n\n\n","args":["more"],"type":"N.Nat.Type.N77NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N79Nat","comment":" Exact the natural number 79.\n\n\n","args":[],"type":"N.Nat.Type.N79NatPlus N.Nat.Type.N0Nat"},{"name":"N79NatPlus","comment":" At least 79.\n\n\n","args":["more"],"type":"N.Nat.Type.N78NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N7Nat","comment":" Exact the natural number 7.\n\n\n","args":[],"type":"N.Nat.Type.N7NatPlus N.Nat.Type.N0Nat"},{"name":"N7NatPlus","comment":" At least 7.\n\n\n","args":["more"],"type":"N.Nat.Type.N6NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N80Nat","comment":" Exact the natural number 80.\n\n\n","args":[],"type":"N.Nat.Type.N80NatPlus N.Nat.Type.N0Nat"},{"name":"N80NatPlus","comment":" At least 80.\n\n\n","args":["more"],"type":"N.Nat.Type.N79NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N81Nat","comment":" Exact the natural number 81.\n\n\n","args":[],"type":"N.Nat.Type.N81NatPlus N.Nat.Type.N0Nat"},{"name":"N81NatPlus","comment":" At least 81.\n\n\n","args":["more"],"type":"N.Nat.Type.N80NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N82Nat","comment":" Exact the natural number 82.\n\n\n","args":[],"type":"N.Nat.Type.N82NatPlus N.Nat.Type.N0Nat"},{"name":"N82NatPlus","comment":" At least 82.\n\n\n","args":["more"],"type":"N.Nat.Type.N81NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N83Nat","comment":" Exact the natural number 83.\n\n\n","args":[],"type":"N.Nat.Type.N83NatPlus N.Nat.Type.N0Nat"},{"name":"N83NatPlus","comment":" At least 83.\n\n\n","args":["more"],"type":"N.Nat.Type.N82NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N84Nat","comment":" Exact the natural number 84.\n\n\n","args":[],"type":"N.Nat.Type.N84NatPlus N.Nat.Type.N0Nat"},{"name":"N84NatPlus","comment":" At least 84.\n\n\n","args":["more"],"type":"N.Nat.Type.N83NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N85Nat","comment":" Exact the natural number 85.\n\n\n","args":[],"type":"N.Nat.Type.N85NatPlus N.Nat.Type.N0Nat"},{"name":"N85NatPlus","comment":" At least 85.\n\n\n","args":["more"],"type":"N.Nat.Type.N84NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N86Nat","comment":" Exact the natural number 86.\n\n\n","args":[],"type":"N.Nat.Type.N86NatPlus N.Nat.Type.N0Nat"},{"name":"N86NatPlus","comment":" At least 86.\n\n\n","args":["more"],"type":"N.Nat.Type.N85NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N87Nat","comment":" Exact the natural number 87.\n\n\n","args":[],"type":"N.Nat.Type.N87NatPlus N.Nat.Type.N0Nat"},{"name":"N87NatPlus","comment":" At least 87.\n\n\n","args":["more"],"type":"N.Nat.Type.N86NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N88Nat","comment":" Exact the natural number 88.\n\n\n","args":[],"type":"N.Nat.Type.N88NatPlus N.Nat.Type.N0Nat"},{"name":"N88NatPlus","comment":" At least 88.\n\n\n","args":["more"],"type":"N.Nat.Type.N87NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N89Nat","comment":" Exact the natural number 89.\n\n\n","args":[],"type":"N.Nat.Type.N89NatPlus N.Nat.Type.N0Nat"},{"name":"N89NatPlus","comment":" At least 89.\n\n\n","args":["more"],"type":"N.Nat.Type.N88NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N8Nat","comment":" Exact the natural number 8.\n\n\n","args":[],"type":"N.Nat.Type.N8NatPlus N.Nat.Type.N0Nat"},{"name":"N8NatPlus","comment":" At least 8.\n\n\n","args":["more"],"type":"N.Nat.Type.N7NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N90Nat","comment":" Exact the natural number 90.\n\n\n","args":[],"type":"N.Nat.Type.N90NatPlus N.Nat.Type.N0Nat"},{"name":"N90NatPlus","comment":" At least 90.\n\n\n","args":["more"],"type":"N.Nat.Type.N89NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N91Nat","comment":" Exact the natural number 91.\n\n\n","args":[],"type":"N.Nat.Type.N91NatPlus N.Nat.Type.N0Nat"},{"name":"N91NatPlus","comment":" At least 91.\n\n\n","args":["more"],"type":"N.Nat.Type.N90NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N92Nat","comment":" Exact the natural number 92.\n\n\n","args":[],"type":"N.Nat.Type.N92NatPlus N.Nat.Type.N0Nat"},{"name":"N92NatPlus","comment":" At least 92.\n\n\n","args":["more"],"type":"N.Nat.Type.N91NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N93Nat","comment":" Exact the natural number 93.\n\n\n","args":[],"type":"N.Nat.Type.N93NatPlus N.Nat.Type.N0Nat"},{"name":"N93NatPlus","comment":" At least 93.\n\n\n","args":["more"],"type":"N.Nat.Type.N92NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N94Nat","comment":" Exact the natural number 94.\n\n\n","args":[],"type":"N.Nat.Type.N94NatPlus N.Nat.Type.N0Nat"},{"name":"N94NatPlus","comment":" At least 94.\n\n\n","args":["more"],"type":"N.Nat.Type.N93NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N95Nat","comment":" Exact the natural number 95.\n\n\n","args":[],"type":"N.Nat.Type.N95NatPlus N.Nat.Type.N0Nat"},{"name":"N95NatPlus","comment":" At least 95.\n\n\n","args":["more"],"type":"N.Nat.Type.N94NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N96Nat","comment":" Exact the natural number 96.\n\n\n","args":[],"type":"N.Nat.Type.N96NatPlus N.Nat.Type.N0Nat"},{"name":"N96NatPlus","comment":" At least 96.\n\n\n","args":["more"],"type":"N.Nat.Type.N95NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N97Nat","comment":" Exact the natural number 97.\n\n\n","args":[],"type":"N.Nat.Type.N97NatPlus N.Nat.Type.N0Nat"},{"name":"N97NatPlus","comment":" At least 97.\n\n\n","args":["more"],"type":"N.Nat.Type.N96NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N98Nat","comment":" Exact the natural number 98.\n\n\n","args":[],"type":"N.Nat.Type.N98NatPlus N.Nat.Type.N0Nat"},{"name":"N98NatPlus","comment":" At least 98.\n\n\n","args":["more"],"type":"N.Nat.Type.N97NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N99Nat","comment":" Exact the natural number 99.\n\n\n","args":[],"type":"N.Nat.Type.N99NatPlus N.Nat.Type.N0Nat"},{"name":"N99NatPlus","comment":" At least 99.\n\n\n","args":["more"],"type":"N.Nat.Type.N98NatPlus (N.Nat.Type.N1NatPlus more)"},{"name":"N9Nat","comment":" Exact the natural number 9.\n\n\n","args":[],"type":"N.Nat.Type.N9NatPlus N.Nat.Type.N0Nat"},{"name":"N9NatPlus","comment":" At least 9.\n\n\n","args":["more"],"type":"N.Nat.Type.N8NatPlus (N.Nat.Type.N1NatPlus more)"}],"values":[],"binops":[]}]