The Exact number of Condorcet voting-profiles with, 19999, voters is



1548931850529429597712139497761986959135366527310364790274172351888152856437457\
8259357819326028338203014787096477379725619305381020542304176270783190809227474\
7344504926229114231400643815118655908564548217342218304892181558123332911143783\
8697397748259239282766729675825109010555103866818643231849826957760470473544932\
8578991252960677227858260010847887744161845076316815987549060458165250319886447\
6378689083880513318926326976701549660855626509129943103683760633156565964193771\
1931489250907749154510337127348567396688435813492858872039055911217328847905725\
5006137588574862379433633433973670068760615530613614213735972773752339314161721\
6926625807724068627459127032707348780490005139236618511135814639021745636228245\
5827602455035352559447233536157985571928408851668502878086840540311002226318176\
6146664190983577781723196690110079048227020537705146159108841927274009854382019\
4178039656776374686510846453952975719750216472998037003956964958337821097821406\
7378739418584900346216619667769253734735422415656770680700734549967039727637113\
1453839318676626317160297462421379258881688193936804295127127428438803007472775\
4282938492447901786308817220104959725170622702709947212535427730063128261400714\
1695049484374985324352484235842484302617524279036106239860677615970094371057631\
8195057766446416204673133474414700959636786216266316364318060416821376470804454\
6165744353860286624484971643998698128346012084203874770942361243074585260331572\
0081120577963101191983561676793685854201855111465195302142601989323608538340926\
6073529707745095698415366973215940812812666275397966583057602350628406656513424\
3512337087593593458901683420808562553556277718586154821499432694092560216237398\
0398901069782867822318852261731839871879858559034538798285597346063279000525205\
4358699957648336039102980999653261446516118833621307233888879015789395873859586\
7019939595004578810400101313632288133443585280811931584055464580868296964755264\
7317666300518459730523842471821587590812613411971314627602217397381653371558417\
9241452335123283272961607716937001147998543473103379000086334308591480694374582\
0100892719913536835785756362674645568028349398547651631767119302316977209073808\
3024756148876389970756915485513037971146587600557887872677499740954170145363705\
7769988917789908740902778798299639131967383787873946279014134754687228811476061\
3226205931341856160659246915280050848427838926047632847959382170760305276892465\
7440783315560869648521187917825946094596947363490008959258391344754191350350410\
5200379784875642082961217728569154617394568222800928289898989842633977428631004\
1102985427517686086170849512110731233932236627097249026623574759706338702543924\
8736260705118392831208770387818721811529792481921380239256642742364049043707355\
1557056388077338457430729652136040888103201937110511790058103431361900648683364\
2254250846886966476333819851933661216769944721344092524588813384372453649250412\
4145234923028547066269896271440328257922716713116533394457761356449030489439282\
9986876665552324661248401017720005020128967714876364262587468317380394420128948\
9485852203728451292379674294616411398920819426492513702472804084039553886613923\
8737691419306734849992099451915175043639840215204803352170593566934883556203628\
0627526923098393052000919124069142531302488132407321091798194571996136234600023\
1229941997165320370056541625522110313245695892039533848617143522482900153570305\
0002982450445668521561032086425823644716787895174931904254564783373883789998998\
5500265890075915799598269093349128292165065601112093232044443612969179077390663\
8720765797390925836289777563406506489341332297160543807120544642423123239076867\
6710165507417296554655090642686078259128686397188604143804472530272190727928794\
9768934262735998529050693218065543070433190420252395971057365740436345470691999\
2604248459681962573945467461752529717528346516171706612158378447823395952008176\
5444705477869111535643974489373766868251535401834804591963900116933726304637520\
2276199839323411174858942026392861817878169606452708039588943752711103373379247\
1666263776763509277705948322579445659292528770842457592595436432433741011611171\
3570052785536908691049243747014502029075089562409413453135775246228921131894039\
4398882483424284570335565066236895163933709687690098133049856233725714542151246\
3848847975513094716255671084231788363234040106272881150176152782143410564414636\
4921514673923259312275962432158795586862817322712090999142502454140854434540445\
8563333541310347725407085006814715945647567408794529906347058668366338244340307\
2177838829803166578301020932224535979966957827037810600226027793709870934632005\
5496038794161800777641167903469346097376259372237999355662419790556015513722625\
4446895803871537423097410029377719241471839611786050037314505103993275955162633\
7905239104020543086440418774016662964030097517338594066675165394902438778484950\
0899878496271177077887273402952236785322331479042761760223947897861807330392783\
8787474096945599231224310365344926912996124725207532150868689038241070156678333\
7524324371501634162789552464713418598508028494376499954638034110377403329023872\
7107152245143225247778844981712477102280891166335477924919189361898266700943496\
0456247532380440390734865746056637639128367503522554441991476803416251956735882\
0236608085328599848162662358992115450167299599369915197320301086705008980699401\
6708722400129321545710777896727955561001824760634150719140147127310475710389009\
9628573080441023313070101589368278448855695914936294809252199482458729651217615\
2970134843907181193346909531141736386462910655208228531885767885198802468209047\
6290030923152770865657700372048739642537986584552428878710290659632516092950204\
1065084256848257195365459910414472857405447058566474471990822144622067371370292\
5497225329373723323771261121138958685074125876706061594486729253941929172215547\
9511776717831411058734199520226182020114363468125056592585908048934191289321163\
2324905249893857961635805633122385735128328468827248782689351085971127707712132\
2623367185091443086492612580365445069849507438530818362420506879815193793509661\
7822522202343273002828468313266309313070735118839484423855800159435405001595859\
9600168509398025653562432966869430822896508015717154612593600500843939624613126\
2310633603466017712445317749811760250260410609653189041171704219808027669398048\
7449915464884670277538269644406397006018009991008389404331707661688482921460053\
6083143830080386832492981378834110094972754980854151294575539741413623427924894\
2856299477950123220590913893840328843530049867567716474035415626500296770001894\
4481422093113701438020788387467297075403605099991187600167969642804420175318520\
4171777304020711018140960278866937870291122183428861605656630811136944303445351\
7153678350308905338275946390944682731558179585814703641707029698991045824981079\
8859632873509587927650742475444936573967691025412257759208968243462492839199571\
8759426015177005324046668834748246285027071680294810756235149718979469257138849\
0888136219133135788395401673141681395350080925078153079821281237151649489180227\
0513697851037444952501801153402967004826405469124599855334466578695316017650830\
1944171559866097566297326760782783101598267605905892569778256910194961783385577\
0624951750812616674265662879931920443495164974542553669726014147664667226792633\
0634448098019548494577421957649328966924689798144234150935849361114424969118943\
9124104216760132153742528474258325778098774766077169557107805770940745547513404\
6577716046720735025976187945986483166068694970751707471268207352673704422588981\
0384939220009514087665832899528209528544684460536332239234044784847909528120437\
3863065775193911967341512228232221872292857787556994410643519694431985074410221\
7063678996542726445585790072543082603083677232519956735398290480161171625116678\
0027378836145125258848443261920367306899508158083522085024877191745661101717701\
1125506041469829956352206013598958897226434659564333181209364817440254339726098\
8208664239747666369146632423183321162179130539146425991816465488755088210976688\
3900264897293204648909039049651887915128308305386011875286112376098389675455770\
9740690904426613429713758581139610468697170218249362640378925138393809064465844\
8753841459805551394728680106263683940694985946652644204569927029971840609163923\
3430693322813862558846586757313533835332654288637765827029300640603003626586044\
3932812779929185201207707858569772443677096888128354892630402155323072004604269\
5169924091651958503573533659346210344365200207855611988829908351989632384348556\
6237795957104387824186793972359592276086067856300149003113427830109633143349065\
2336801733140387563478274674313573852061897695401224759186110342377979156807972\
4222319998149711544644519330945243946967295234354068849004098425000859080580293\
5301748371507500822096752168146074799203752304960819420688244632938976261929448\
6998324983434679944565665625361089595283174025163654576072679901859452991752243\
4231905197129630251926712538436916787778199052600816146716392301343186651461170\
7120145216245733957294530129418800081438471402075789523409098888035185077608421\
0220736030901406150814617048252789804417010939255186551529758159791843067829374\
9255921816443735919228430352244352024566594836384106009111215536630543930979923\
5699951364814122824819257810126816032267183438890839338339887514256161617366010\
8011718647257350862273601096840597602725403207784575741904646601889290873575032\
7126918948415930695455572507933025085323969391061986988447422034398662259143567\
3003159747961550148321550715309734263058374624887414694417643258709823036873447\
1931303817508687996871357687134152377992671095226597625864135071801460272395352\
0282562426413785686155037573836143833392407551606957230140151929035274614419577\
3048228629158067981394900530588097751581523578422908041093449376368824891838947\
0292245588905045645787537464949610417005728928296546888916451339374382173528434\
5336971989044688061919501284473826505709571668335704670395081576679474751434202\
5746819520800620512181012964349403685339682269101280542170260535561998728316899\
8231612595227145306467803984142986925860010468834947868579193087114017058814138\
8593999848300355774575481152275269897965454072833400498863707931142081615887841\
3886203806595860685722285718909451004829749773947919950422818808328568676288469\
0872886975345595833292733355143712840344368460948097141206741399369027199727707\
5425738068801516038511016927843765498914020996364897243930355858262603018433205\
7217518638215699938645531051842368947244312311945641751360548599054654955970959\
4918835815921228223542409610785119101185850530703277055237246125611886116875116\
3772560545257733985365176074601540815383085051091839285088786302713496195989667\
0936487896523314020388509696971064587340227560779925778123497963077883306698738\
3937925176342311309562814330691390233656932509087665549903464519649920354686440\
4111092833955013277837626652400292772395947590764465731261677814091962317210662\
1401699508761158056660949867199705642958079422116416196193223541047487290412071\
2678746342404853382212293038877557420688945080649360055005823080494872550127924\
7156570784461828946922695693370397584425335554224613379866062086629931362336156\
4129282726891991958347705787309477247022703420073351840747917005271949692975364\
7341470730204412086459010884844279877152890687461813739945040632538444079390777\
9318989723453535194843696011127944418359645511568992539864424275742096177169513\
3058799358157357254724001742339027411859177176021430385733496412793601478091725\
9234997985483515490967417824066883819407511238234883293372384678956733637794426\
8296662468964083934271294564642212285545545932260122027427526984372702805591959\
3352412325982076120433624101137818224378921379013104297683808911187003016415147\
1581447981603025005597124539272018410391502461084467379755221186034817938274342\
9459345507255832478743836879966820190767135866823229251307079788188089000996481\
5175904482017547069044532317766183056419595231712379706051742475936725337654581\
2861571683683388022788771706237799531826608359680644471665136492579357169923410\
8753373754823458514121319172425346457722967211353013219658641916857040178300756\
1800349105706611217990382866236163727417796007176599071890448131156170935320572\
2767098754626685993030440858968641958092592038002713237593189032391963273246837\
5418643300073459482189721336118283910096685561439209213510742669772208253785171\
8619535531496338258868197318779437034523710369525891054164014098973374521751313\
8756798324941803358197796385856473512420425571264715985442709408399268168720670\
8942423519180202212167300098894405946175571690797266758775490928617876107602085\
3505512863214469329863230519558671835811117628493262089396840660974813965316427\
7011531953204853497059300847021522674689801707003271106220925356698535910505042\
7531183004630926200671369527066014676186084526710617040951257099402615940356198\
8380633129361419996840144924468040983919240249619942455594771410114133595438650\
7015013944737021674866692460089908848416176700258767278795279311813205732338855\
0174128143873263853604314840890953926696978298152683156740727044099396897891360\
9697542232340013300253040481024550382122271672451947368755095863379135144839141\
2569276482191386355879568642696772077418744949294557129067205405963454570898910\
5860764299017344170600639612390901373884076547493763751997453110764596810622606\
2189254977144500012005345388819731994508233714058809504849872314627947479412371\
5940769154050476126383266946986030479007600980348727652767283567679724170036509\
5818550160901534377276731501725158315565589577905240292065960522058565851604891\
4572374367375560033452894933646113272758231942460518353046035008264723932956913\
2462843065242264268571605322205311439312947332738577755445938370634665762025289\
4054901021393893310470345004721049631967145141175805611036190315880500623314988\
3444600670963421414657249627605314631295073564678435226152552593061933183111406\
4879814024418339568813588020745814739692763543835000897883947808432120575419219\
7476631456555262957091861030409784295684901428411129674540047753467956010092318\
6831631382519343970277619866340557463769301165531302116113171823200022059739612\
4597265841804211415534840322882318519726576407165044149502672564671518466753519\
7059646427541085395608743104467464003229851292467061074574825260790089031048250\
4908066306156124159923476661540502637131084615574449855990500931407393018009115\
5277930621667624510828661473754552134137040618270096606031810180972314450988614\
2990819192906789744955485748297487094820129484061307574903829211593102326469162\
7371401535470614580292209804285000111992900647755811993410336915776591822016210\
9690460232202346892676160865981011480561841515816905718758428868016028671990938\
5790027463996310718722078081696896378074297898776935979302792477728419705018841\
0022700524889707635563354869111831301760951969538059220155875533936874139488977\
3669463188823329238935232575006440964268794524265601387317839790918655430647467\
8057249694272286781177141904074985901920269846463994449062717588527586769706463\
1605165194848666792916977507524946074133905878563828260987510913261424015413485\
7074090214612545922272830673549137298693636543709908697775322557525394711348844\
6676191055731784887867994225040042577106928728950442341309041418605149844293311\
8878611130596494402433142537855415756535818127744641048586004371326210384386975\
2596291291253850993861587493185244123527143364052176540286130920721869241445815\
6362225470137732450440908589174068934175929453342634844572756279430601165596705\
3195128943460265165614614304301181883047717608956019827462396453953206078535667\
5971627184079199171486491140433792082911182025015174620345253084364135103860148\
4716445643447502871255290696710825673587641776247849385913508403169543041328894\
3168499976552431893427782615446339509855405515715661762972880049952389698069416\
072812005656091662988974202241306707568085300709785099411150801431621908748800


Hence the probability, assuming each ranking is picked uniformyl at random i\
    s



.877356075296129282604035628906239948940764715010217479836717038654492467584527\
5333505391614930286416e-1