Quelle DivideMcTests.java Sprache: JAVA

/*
* Copyright (c) 2003, 2018, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/

/*
* @test
* @bug 7036582
* @summary Some tests for the divide(..,MathContext) method.
* @run main DivideMcTests
* @run main/othervm -XX:+IgnoreUnrecognizedVMOptions -XX:+EliminateAutoBox -XX:AutoBoxCacheMax=20000 DivideMcTests
* @author Sergey V. Kuksenko
*/

import java.math.BigDecimal;
import java.math.MathContext;
import java.math.RoundingMode;

public class DivideMcTests {

    static String[] value = new String[75];
    static String[][] results = new String[75][75];
    static {
        value[0]="11061";
        value[1]="5030285645";
        value[2]="224198292018431";
        value[3]="19226185404220649458";
        value[4]="2754593222460641763294400";
        value[5]="88290e4";
        value[6]="14207e-4";
        value[7]="9206524943e4";
        value[8]="9637167289e-4";
        value[9]="987673128759528e4";
        value[10]="270627774630281e-4";
        value[11]="81503625886547904651e4";
        value[12]="60700032235397315737e-4";
        value[13]="6477954854329556663533122e4";
        value[14]="8056417378028557868905113e-4";
        value[15]="74996e8";
        value[16]="65282e-8";
        value[17]="6336626690e8";
        value[18]="8318166778e-8";
        value[19]="983114227763768e8";
        value[20]="245802997834566e-8";
        value[21]="52727924122290902686e8";
        value[22]="42785567085625398961e-8";
        value[23]="4810906998143118279742863e8";
        value[24]="8077506080975981172874361e-8";
        value[25]="80689e12";
        value[26]="30125e-12";
        value[27]="6921467144e12";
        value[28]="1953347181e-12";
        value[29]="405471649883944e12";
        value[30]="866720590936024e-12";
        value[31]="33231666378140173438e12";
        value[32]="42631490906110209257e-12";
        value[33]="7723154992826793726050991e12";
        value[34]="1611437259018380210686834e-12";
        value[35]="65645e16";
        value[36]="31153e-16";
        value[37]="7758733150e16";
        value[38]="6365465077e-16";
        value[39]="727973863299662e16";
        value[40]="351084160935215e-16";
        value[41]="45470432070181568402e16";
        value[42]="97216256670931719037e-16";
        value[43]="2520581904836081418366563e16";
        value[44]="3700768934485477578987416e-16";
        value[45]="28736e20";
        value[46]="52779e-20";
        value[47]="7904805864e20";
        value[48]="6373815349e-20";
        value[49]="186651310031326e20";
        value[50]="189125880591366e-20";
        value[51]="74987916068454915171e20";
        value[52]="10554589082317914511e-20";
        value[53]="3599986721169840668392202e20";
        value[54]="2588106172836128849130551e-20";
        value[55]="71080e24";
        value[56]="61576e-24";
        value[57]="7086656363e24";
        value[58]="7703864845e-24";
        value[59]="361167296280301e24";
        value[60]="149150690375117e-24";
        value[61]="78129219923655854302e24";
        value[62]="20861932490694515212e-24";
        value[63]="9185868654811652011998047e24";
        value[64]="1996563690880014012200226e-24";
        value[65]="84665e28";
        value[66]="94968e-28";
        value[67]="2622821029e28";
        value[68]="4451579486e-28";
        value[69]="590522407411869e28";
        value[70]="606293232614518e-28";
        value[71]="96628087822208148505e28";
        value[72]="24875240094942654314e-28";
        value[73]="5099400093819597146233149e28";
        value[74]="8906650752845770170008864e-28";
        //--------------------------------------------
        initResults1();
        initResults2();
    }

    private static void initResults1() {
        results[0][0]="1";
        results[0][1]="0.000002198881093560642";
        results[0][2]="4.933579065397471E-11";
        results[0][3]="5.753091300977375E-16";
        results[0][4]="4.015474920147867E-21";
        results[0][5]="0.00001252803261977574";
        results[0][6]="7785.598648553530";
        results[0][7]="1.201430514605841E-10";
        results[0][8]="0.01147743903192921";
        results[0][9]="1.119904923797219E-15";
        results[0][10]="4.087163638363069E-7";
        results[0][11]="1.357117536758031E-20";
        results[0][12]="1.822239559462666E-12";
        results[0][13]="1.707483341383177E-25";
        results[0][14]="1.372942771084022E-17";
        results[0][15]="1.474878660195210E-9";
        results[0][16]="16943414.72381361";
        results[0][17]="1.745565983468090E-14";
        results[0][18]="132.9740109233477";
        results[0][19]="1.125098151123273E-19";
        results[0][20]="0.004499945117611804";
        results[0][21]="2.097749946374985E-24";
        results[0][22]="2.585217575324869E-8";
        results[0][23]="2.299150660004288E-29";
        results[0][24]="1.369358300583728E-13";
        results[0][25]="1.370818822887878E-13";
        results[0][26]="367170124481.3278";
        results[0][27]="1.598071589430057E-18";
        results[0][28]="5662587.842852089";
        results[0][29]="2.727934247231818E-23";
        results[0][30]="12.76189825841631";
        results[0][31]="3.328451806821200E-28";
        results[0][32]="0.0002594560913752765";
        results[0][33]="1.432186717769276E-33";
        results[0][34]="6.864058738928437E-9";
        results[0][35]="1.684972198948892E-17";
        results[0][36]="3550540878888069";
        results[0][37]="1.425619335806130E-22";
        results[0][38]="17376577934.52694";
        results[0][39]="1.519422682273810E-27";
        results[0][40]="315052.6634564146";
        results[0][41]="2.432569803367569E-32";
        results[0][42]="1.137772670824026";
        results[0][43]="4.388272398043467E-37";
        results[0][44]="0.00002988838318687904";
        results[0][45]="3.849178730512249E-21";
        results[0][46]="2.095719888592054E+19";
        results[0][47]="1.399275351008165E-26";
        results[0][48]="173538130528606.9";
        results[0][49]="5.926023234524105E-31";
        results[0][50]="5848485656.967753";
        results[0][51]="1.475037656720937E-36";
        results[0][52]="104798.0164242535";
        results[0][53]="3.072511333154488E-41";
        results[0][54]="0.4273781391232109";
        results[0][55]="1.556133933595948E-25";
        results[0][56]="1.796316746784461E+23";
        results[0][57]="1.560820707738894E-30";
        results[0][58]="1.435772852009322E+18";
        results[0][59]="3.062569649555309E-35";
        results[0][60]="74159898101586.80";
        results[0][61]="1.415731529229177E-40";
        results[0][62]="530200162.6615257";
        results[0][63]="1.204132174718842E-45";
        results[0][64]="5540.018608234184";
        results[0][65]="1.306443040217327E-29";
        results[0][66]="1.164708112206217E+27";
        results[0][67]="4.217214929154817E-34";
        results[0][68]="2.484736043641657E+22";
        results[0][69]="1.873087263272185E-39";
        results[0][70]="1.824364747121068E+17";
        results[0][71]="1.144698218633054E-44";
        results[0][72]="4446590247082.196";
        results[0][73]="2.169078675235893E-49";
        results[0][74]="12418809.61422664";
        results[1][0]="454776.7511979025";
        results[1][1]="1";
        results[1][2]="0.00002243677059139446";
        results[1][3]="2.616372171203405E-10";
        results[1][4]="1.826144638701504E-15";
        results[1][5]="5.697457973722958";
        results[1][6]="3540709259.519955";
        results[1][7]="0.00005463826662224685";
        results[1][8]="5219.672435012765";
        results[1][9]="5.093067228950338E-10";
        results[1][10]="0.1858747001068956";
        results[1][11]="6.171855043605175E-15";
        results[1][12]="8.287121867567282E-7";
        results[1][13]="7.765237267187802E-20";
        results[1][14]="6.243824530142372E-12";
        results[1][15]="0.0006707405254946931";
        results[1][16]="7705471102294.660";
        results[1][17]="7.938428269631898E-9";
        results[1][18]="60473488.68147447";
        results[1][19]="5.116684819466090E-14";
        results[1][20]="2046.470421156359";
        results[1][21]="9.540079054379898E-19";
        results[1][22]="0.01175696850045963";
        results[1][23]="1.045600267671264E-23";
        results[1][24]="6.227523191653488E-8";
        results[1][25]="6.234165307538822E-8";
        results[1][26]="1.669804363485477E+17";
        results[1][27]="7.267658056226699E-13";
        results[1][28]="2575213302545.012";
        results[1][29]="1.240601074437582E-17";
        results[1][30]="5803814.629080740";
        results[1][31]="1.513702499224934E-22";
        results[1][32]="117.9945983141544";
        results[1][33]="6.513252226158986E-28";
        results[1][34]="0.003121614333321446";
        results[1][35]="7.662861824967629E-12";
        results[1][36]="1.614703445896061E+21";
        results[1][37]="6.483385299828233E-17";
        results[1][38]="7902463660001319";
        results[1][39]="6.909981111408860E-22";
        results[1][40]="143278626742.9544";
        results[1][41]="1.106276192237624E-26";
        results[1][42]="517432.5588391111";
        results[1][43]="1.995684264553637E-31";
        results[1][44]="13.59254180428686";
        results[1][45]="1.750516997842428E-15";
        results[1][46]="9.530846823547244E+24";
        results[1][47]="6.363578981627979E-21";
        results[1][48]="7.892110721075739E+19";
        results[1][49]="2.695017594120158E-25";
        results[1][50]="2659755306503325";
        results[1][51]="6.708128334181145E-31";
        results[1][52]="47659701441.40646";
        results[1][53]="1.397306722110734E-35";
        results[1][54]="194361.6416434591";
        results[1][55]="7.076935347495779E-20";
        results[1][56]="8.169230942250227E+28";
        results[1][57]="7.098249706679054E-25";
        results[1][58]="6.529561130949462E+23";
        results[1][59]="1.392785475542062E-29";
        results[1][60]="3.372619752780715E+19";
        results[1][61]="6.438417854312836E-35";
        results[1][62]="241122707459808.1";
        results[1][63]="5.476113184315002E-40";
        results[1][64]="2519471664.228668";
        results[1][65]="5.941399214551468E-24";
        results[1][66]="5.296821713629854E+32";
        results[1][67]="1.917891304584321E-28";
        results[1][68]="1.130000185511682E+28";
        results[1][69]="8.518365403010947E-34";
        results[1][70]="8.296786726957023E+22";
        results[1][71]="5.205821369719668E-39";
        results[1][72]="2.022205866476320E+18";
        results[1][73]="9.864465530164297E-44";
        results[1][74]="5647785890103.269";
        results[2][0]="20269260647.17756";
        results[2][1]="44569.69401753148";
        results[2][2]="1";
        results[2][3]="0.00001166109071065203";
        results[2][4]="8.139070777868161E-11";
        results[2][5]="253933.9585665772";
        results[2][6]="157808328301844.9";
        results[2][7]="2.435210825001846";
        results[2][8]="232639203.3002624";
        results[2][9]="0.00002269964480050335";
        results[2][10]="8284.378509364762";
        results[2][11]="2.750776908140411E-10";
        results[2][12]="0.03693544859234678";
        results[2][13]="3.460942489720927E-15";
        results[2][14]="2.782853488076028E-7";
        results[2][15]="29.89469998645674";
        results[2][16]="3.434304892902040E+17";
        results[2][17]="0.0003538133189576156";
        results[2][18]="2695284886705.971";
        results[2][19]="2.280490767877520E-9";
        results[2][20]="91210560.48686773";
        results[2][21]="4.251984043567731E-14";
        results[2][22]="524.0044886392415";
        results[2][23]="4.660208399475724E-19";
        results[2][24]="0.002775588031390770";
        results[2][25]="0.002778548402117154";
        results[2][26]="7.442266954968664E+21";
        results[2][27]="3.239172957900716E-8";
        results[2][28]="1.147764689243079E+17";
        results[2][29]="5.529321028550383E-13";
        results[2][30]="258674242152.6016";
        results[2][31]="6.746525722402801E-18";
        results[2][32]="5258983.142583397";
        results[2][33]="2.902936587789118E-23";
        results[2][34]="139.1293956768774";
        results[2][35]="3.415314068374301E-7";
        results[2][36]="7.196683851264116E+25";
        results[2][37]="2.889624990111060E-12";
        results[2][38]="3.522103873109208E+20";
        results[2][39]="3.079757438024150E-17";
        results[2][40]="6385884553185581";
        results[2][41]="4.930639138691073E-22";
        results[2][42]="23061810822.16754";
        results[2][43]="8.894703702675794E-27";
        results[2][44]="605815.4291375707";
        results[2][45]="7.802000696632482E-11";
        results[2][46]="4.247869266534626E+29";
        results[2][47]="2.836227680675536E-16";
        results[2][48]="3.517489599908254E+24";
        results[2][49]="1.201161095417993E-20";
        results[2][50]="1.185444801723589E+20";
        results[2][51]="2.989792272847868E-26";
        results[2][52]="2124178310210390";
        results[2][53]="6.227753305311532E-31";
        results[2][54]="8662638896.794075";
        results[2][55]="3.154168430197397E-15";
        results[2][56]="3.641001234546430E+33";
        results[2][57]="3.163668174867180E-20";
        results[2][58]="2.910205416751843E+28";
        results[2][59]="6.207602247697180E-25";
        results[2][60]="1.503166304189191E+24";
        results[2][61]="2.869583137237347E-30";
        results[2][62]="1.074676529216240E+19";
        results[2][63]="2.440686890302896E-35";
        results[2][64]="112292081160512.5";
        results[2][65]="2.648063450285608E-19";
        results[2][66]="2.360777230418994E+37";
        results[2][67]="8.547982860420744E-24";
        results[2][68]="5.036376250800950E+32";
        results[2][69]="3.796609395417242E-29";
        results[2][70]="3.697852457491911E+27";
        results[2][71]="2.320218655583322E-34";
        results[2][72]="9.012909670930670E+22";
        results[2][73]="4.396562103259092E-39";
        results[2][74]="2.517200889984344E+17";
        results[3][0]="1738195950114877";
        results[3][1]="3822086211.611279";
        results[3][2]="85755.27151045421";
        results[3][3]="1";
        results[3][4]="0.000006979682243988879";
        results[3][5]="21776175562.60126";
        results[3][6]="1.353289604013560E+19";
        results[3][7]="208832.1654832305";
        results[3][8]="19950038042989.76";
        results[3][9]="1.946614203058035";
        results[3][10]="710429128.3659471";
        results[3][11]="0.00002358936206222687";
        results[3][12]="3167.409422397122";
        results[3][13]="2.967940628880855E-10";
        results[3][14]="0.02386443564437743";
        results[3][15]="2563628.114062170";
        results[3][16]="2.945097485404958E+22";
        results[3][17]="30.34135723122526";
        results[3][18]="2.311348872574943E+17";
        results[3][19]="0.0001955641049764209";
        results[3][20]="7821786379172.049";
        results[3][21]="3.646300461142698E-9";
        results[3][22]="44936147.19595487";
        results[3][23]="3.996374365923399E-14";
        results[3][24]="238.0213052330826";
        results[3][25]="238.2751726284952";
        results[3][26]="6.382136233766191E+26";
        results[3][27]="0.002777761564740970";
        results[3][28]="9.842687255615237E+21";
        results[3][29]="4.741684260718020E-8";
        results[3][30]="2.218267986855733E+16";
        results[3][31]="5.785501450769154E-13";
        results[3][32]="450985527261.1410";
        results[3][33]="2.489421152634873E-18";
        results[3][34]="11931079.10135604";
        results[3][35]="0.02928811852269122";
        results[3][36]="6.171535776400555E+30";
        results[3][37]="2.478005755903675E-7";
        results[3][38]="3.020389739265025E+25";
        results[3][39]="2.641054352841019E-12";
        results[3][40]="5.476232636928451E+20";
        results[3][41]="4.228282980585251E-17";
        results[3][42]="1977671848577708";
        results[3][43]="7.627677310280051E-22";
        results[3][44]="51951866610.91471";
        results[3][45]="0.000006690626880644714";
        results[3][46]="3.642771822925908E+34";
        results[3][47]="2.432214748217965E-11";
        results[3][48]="3.016432756753313E+29";
        results[3][49]="1.030058958653646E-15";
        results[3][50]="1.016581408324629E+25";
        results[3][51]="2.563904481179269E-21";
        results[3][52]="1.821594877287098E+20";
        results[3][53]="5.340626755971191E-26";
        results[3][54]="742866950591597.5";
        results[3][55]="2.704865701212809E-10";
        results[3][56]="3.122350494384281E+38";
        results[3][57]="2.713012233047182E-15";
        results[3][58]="2.495654556647489E+33";
        results[3][59]="5.323346161801775E-20";
        results[3][60]="1.289044345411101E+29";
        results[3][61]="2.460818810556097E-25";
        results[3][62]="9.215917754885128E+23";
        results[3][63]="2.093017669499310E-30";
        results[3][64]="9.629637908393713E+18";
        results[3][65]="2.270854001561525E-14";
        results[3][66]="2.024490923702789E+42";
        results[3][67]="7.330345910620899E-19";
        results[3][68]="4.318958128162389E+37";
        results[3][69]="3.255792695231470E-24";
        results[3][70]="3.171103414978191E+32";
        results[3][71]="1.989709807731689E-29";
        results[3][72]="7.729045159298581E+27";
        results[3][73]="3.770283768775571E-34";
        results[3][74]="2.158632457669644E+22";
        results[4][0]="2.490365448386802E+20";
        results[4][1]="547601750051441.0";
        results[4][2]="12286414841.35031";
        results[4][3]="143272.9979736873";
        results[4][4]="1";
        results[4][5]="3119937957255229";
        results[4][6]="1.938898586936469E+24";
        results[4][7]="29920010422.11961";
        results[4][8]="2.858301760108257E+18";
        results[4][9]="278897.2527702849";
        results[4][10]="101785311068822.8";
        results[4][11]="3.379718622942007";
        results[4][12]="453804243.7569410";
        results[4][13]="0.00004252257517076709";
        results[4][14]="3419.129239720079";
        results[4][15]="367298685591.3171";
        results[4][16]="4.219529460587362E+27";
        results[4][17]="4347097.213108260";
        results[4][18]="3.311538823369143E+22";
        results[4][19]="28.01905561601273";
        results[4][20]="1.120650784053732E+18";
        results[4][21]="0.0005224163985807529";
        results[4][22]="6438136526151.358";
        results[4][23]="5.725725364310391E-9";
        results[4][24]="34102025.98235386";
        results[4][25]="34138398.32518239";
        results[4][26]="9.143877916881798E+31";
        results[4][27]="397.9782270365194";
        results[4][28]="1.410191311229400E+27";
        results[4][29]="0.006793553194777180";
        results[4][30]="3.178179047858768E+21";
        results[4][31]="8.289061376328140E-8";
        results[4][32]="6.461404853344776E+16";
        results[4][33]="3.566668317571105E-13";
        results[4][34]="1709401471912.486";
        results[4][35]="4196.196545754653";
        results[4][36]="8.842144327867755E+35";
        results[4][37]="0.03550313136443727";
        results[4][38]="4.327402929934638E+30";
        results[4][39]="3.783917749429893E-7";
        results[4][40]="7.845962674940902E+25";
        results[4][41]="6.057987789095672E-12";
        results[4][42]="2.833469747538924E+20";
        results[4][43]="1.092840195819694E-16";
        results[4][44]="7443299679674857";
        results[4][45]="0.9585861715133080";
        results[4][46]="5.219108400046689E+39";
        results[4][47]="0.000003484706986930048";
        results[4][48]="4.321733642460815E+34";
        results[4][49]="1.475796350959623E-10";
        results[4][50]="1.456486660549828E+30";
        results[4][51]="3.673382815367253E-16";
        results[4][52]="2.609853591624336E+25";
        results[4][53]="7.651676063864807E-21";
        results[4][54]="1.064327751068292E+20";
        results[4][55]="0.00003875342181289592";
        results[4][56]="4.473485160550607E+43";
        results[4][57]="3.887013961679578E-10";
        results[4][58]="3.575599102375792E+38";
        results[4][59]="7.626917638530619E-15";
        results[4][60]="1.846852478880778E+34";
        results[4][61]="3.525688884584153E-20";
        results[4][62]="1.320392165821326E+29";
        results[4][63]="2.998729163210665E-25";
        results[4][64]="1.379667092536635E+24";
        results[4][65]="3.253520607642641E-9";
        results[4][66]="2.900548840094181E+47";
        results[4][67]="1.050240634798815E-13";
        results[4][68]="6.187900791446503E+42";
        results[4][69]="4.664671802266443E-19";
        results[4][70]="4.543334931485233E+37";
        results[4][71]="2.850716892513680E-24";
        results[4][72]="1.107363471446723E+33";
        results[4][73]="5.401798587640085E-29";
        results[4][74]="3.092737437336386E+27";
        results[5][0]="79820.99267697315";
        results[5][1]="0.1755168716666387";
        results[5][2]="0.000003938031784503595";
        results[5][3]="4.592174586052730E-11";
        results[5][4]="3.205191941956922E-16";
        results[5][5]="1";
        results[5][6]="621454212.7120434";
        results[5][7]="0.000009589937630824491";
        results[5][8]="916.1405769180272";
        results[5][9]="8.939192272132398E-11";
        results[5][10]="0.03262414588473695";
        results[5][11]="1.083264689633546E-15";
        results[5][12]="1.454529705315602E-7";
        results[5][13]="1.362930152886002E-20";
        results[5][14]="1.095896548766010E-12";
        results[5][15]="0.0001177262787348659";
        results[5][16]="1352440182592.445";
        results[5][17]="1.393328095835799E-9";
        results[5][18]="10614117.55214028";
        results[5][19]="8.980645128168683E-15";
        results[5][20]="359.1900862796728";
        results[5][21]="1.674444831077185E-19";
        results[5][22]="0.002063546331483886";
        results[5][23]="1.835204879954603E-24";
        results[5][24]="1.093035388830462E-8";
        results[5][25]="1.094201192231903E-8";
        results[5][26]="2.930788381742739E+16";
        results[5][27]="1.275596606371755E-13";
        results[5][28]="451993382737.0138";
        results[5][29]="2.177464195715552E-18";
        results[5][30]="1018667.387429325";
        results[5][31]="2.656803272979331E-23";
        results[5][32]="20.71004276966202";
        results[5][33]="1.143185655111196E-28";
        results[5][34]="0.0005478959823343203";
        results[5][35]="1.344961535532028E-12";
        results[5][36]="2.834076974930183E+20";
        results[5][37]="1.137943505635324E-17";
        results[5][38]="1387015700062728";
        results[5][39]="1.212818267950047E-22";
        results[5][40]="25147816342.61536";
        results[5][41]="1.941701364608288E-27";
        results[5][42]="90818.14402590475";
        results[5][43]="3.502762589487909E-32";
        results[5][44]="2.385720415486439";
        results[5][45]="3.072452672605791E-16";
        results[5][46]="1.672824418802933E+24";
        results[5][47]="1.116915475458918E-21";
        results[5][48]="1.385198584609954E+19";
        results[5][49]="4.730210572065213E-26";
        results[5][50]="466831930796205.5";
        results[5][51]="1.177389699953815E-31";
        results[5][52]="8365081701.561654";
        results[5][53]="2.452509046236414E-36";
        results[5][54]="34113.74731325223";
        results[5][55]="1.242121553179516E-20";
        results[5][56]="1.433837858906067E+28";
        results[5][57]="1.245862582824943E-25";
        results[5][58]="1.146048143060329E+23";
        results[5][59]="2.444573495698746E-30";
        results[5][60]="5.919516683291835E+18";
        results[5][61]="1.130050960271621E-35";
        results[5][62]="42321103301135.62";
        results[5][63]="9.611502550034045E-41";
        results[5][64]="442209784.7581557";
        results[5][65]="1.042815803460698E-24";
        results[5][66]="9.296815769522365E+31";
        results[5][67]="3.366222819772885E-29";
        results[5][68]="1.983340975437319E+27";
        results[5][69]="1.495116847249808E-34";
        results[5][70]="1.456226051200787E+22";
        results[5][71]="9.137094812685324E-40";
        results[5][72]="3.549312475498482E+17";
        results[5][73]="1.731380130517828E-44";
        results[5][74]="991281711273.9084";
        results[6][0]="0.0001284422746587108";
        results[6][1]="2.824292893609623E-10";
        results[6][2]="6.336801173682476E-15";
        results[6][3]="7.389401330167758E-20";
        results[6][4]="5.157567325787970E-25";
        results[6][5]="1.609129006682524E-9";
        results[6][6]="1";
        results[6][7]="1.543144681403597E-14";
        results[6][8]="0.000001474188376517659";
        results[6][9]="1.438431358140050E-19";
        results[6][10]="5.249645946137250E-11";
        results[6][11]="1.743112634004281E-24";
        results[6][12]="2.340525939904718E-16";
        results[6][13]="2.193130443091112E-29";
        results[6][14]="1.763438924942655E-21";
        results[6][15]="1.894367699610646E-13";
        results[6][16]="2176.250727612512";
        results[6][17]="2.242044654835111E-18";
        results[6][18]="0.01707948443348703";
        results[6][19]="1.445101657445832E-23";
        results[6][20]="5.779831867454199E-7";
        results[6][21]="2.694397747775916E-28";
        results[6][22]="3.320512258624031E-12";
        results[6][23]="2.953081405540270E-33";
        results[6][24]="1.758834949497607E-17";
        results[6][25]="1.760710877566955E-17";
        results[6][26]="47160165.97510373";
        results[6][27]="2.052599500138579E-22";
        results[6][28]="727.3156629906847";
        results[6][29]="3.503820798338526E-27";
        results[6][30]="0.001639167241274031";
        results[6][31]="4.275139211600108E-32";
        results[6][32]="3.332513055029883E-8";
        results[6][33]="1.839533197662788E-37";
        results[6][34]="8.816353178189703E-13";
        results[6][35]="2.164216619696854E-21";
        results[6][36]="456039546753.1217";
        results[6][37]="1.831097902883797E-26";
        results[6][38]="2231887.195695002";
        results[6][39]="1.951581054792877E-31";
        results[6][40]="40.46608073162718";
        results[6][41]="3.124447988106234E-36";
        results[6][42]="0.0001461381098851545";
        results[6][43]="5.636396886267384E-41";
        results[6][44]="3.838931922393911E-9";
        results[6][45]="4.943972717149220E-25";
        results[6][46]="2691790295382633";
        results[6][47]="1.797261089573547E-30";
        results[6][48]="22289632225.11453";
        results[6][49]="7.611519039226468E-35";
        results[6][50]="751192.8010897827";
        results[6][51]="1.894571918364917E-40";
        results[6][52]="13.46049560925206";
        results[6][53]="3.946403445450303E-45";
        results[6][54]="0.00005489342032839216";
        results[6][55]="1.998733821046708E-29";
        results[6][56]="2.307230089645316E+19";
        results[6][57]="2.004753620364024E-34";
        results[6][58]="184413931005301.8";
        results[6][59]="3.933634120896147E-39";
        results[6][60]="9525266000.626017";
        results[6][61]="1.818397779202506E-44";
        results[6][62]="68100.11491666482";
        results[6][63]="1.546614755106283E-49";
        results[6][64]="0.7115725916931837";
        results[6][65]="1.678025157975551E-33";
        results[6][66]="1.495977592452194E+23";
        results[6][67]="5.416686782253186E-38";
        results[6][68]="3.191451493718201E+18";
        results[6][69]="2.405835887289389E-43";
        results[6][70]="23432555792739.37";
        results[6][71]="1.470276429990037E-48";
        results[6][72]="571130165.8104760";
        results[6][73]="2.786013989610011E-53";
        results[6][74]="1595.100155404736";
        results[7][0]="8323411032.456378";
        results[7][1]="18302.19115320239";
        results[7][2]="0.4106420642242513";
        results[7][3]="0.000004788534360528390";
        results[7][4]="3.342244825091065E-11";
        results[7][5]="104275.9649224148";
        results[7][6]="64802737685647.92";
        results[7][7]="1";
        results[7][8]="95531442.66270503";
        results[7][9]="0.000009321428998035992";
        results[7][10]="3401.914291900572";
        results[7][11]="1.129584707779182E-10";
        results[7][12]="0.01516724885301000";
        results[7][13]="1.421208568140421E-15";
        results[7][14]="1.142756700777198E-7";
        results[7][15]="12.27602131180330";
        results[7][16]="1.410270050396740E+17";
        results[7][17]="0.0001452906316467887";
        results[7][18]="1106797349549.367";
        results[7][19]="9.364654363655727E-10";
        results[7][20]="37454892.83737830";
        results[7][21]="1.746043504699232E-14";
        results[7][22]="215.1782848775914";
        results[7][23]="1.913677596875906E-19";
        results[7][24]="0.001139773198646432";
        results[7][25]="0.001140988851392383";
        results[7][26]="3.056107864896266E+21";
        results[7][27]="1.330140669811724E-8";
        results[7][28]="4.713204612344845E+16";
        results[7][29]="2.270571800922490E-13";
        results[7][30]="106222524759.1882";
        results[7][31]="2.770407248989495E-18";
        results[7][32]="2159559.693390987";
        results[7][33]="1.192067872721828E-23";
        results[7][34]="57.13238223502557";
        results[7][35]="1.402471619011349E-7";
        results[7][36]="2.955261112252432E+25";
        results[7][37]="1.186601570773187E-12";
        results[7][38]="1.446324004865796E+20";
        results[7][39]="1.264677951660229E-17";
        results[7][40]="2622312814817888";
        results[7][41]="2.024727833856987E-22";
        results[7][42]="9470149600.764056";
        results[7][43]="3.652539489129880E-27";
        results[7][44]="248773.2983599527";
        results[7][45]="3.203829671144209E-11";
        results[7][46]="1.744353804164535E+29";
        results[7][47]="1.164674389402563E-16";
        results[7][48]="1.444429190193662E+24";
        results[7][49]="4.932472716883077E-21";
        results[7][50]="4.867935004036829E+19";
        results[7][51]="1.227734470523965E-26";
        results[7][52]="872276966085176.7";
        results[7][53]="2.557377472772532E-31";
        results[7][54]="3557243918.208811";
        results[7][55]="1.295234235087226E-15";
        results[7][56]="1.495148262797194E+33";
        results[7][57]="1.299135229848029E-20";
        results[7][58]="1.195052759651575E+28";
        results[7][59]="2.549102600877473E-25";
        results[7][60]="6.172633140245884E+23";
        results[7][61]="1.178371542938247E-30";
        results[7][62]="4.413073883307109E+18";
        results[7][63]="1.002248702759050E-35";
        results[7][64]="46111852003790.03";
        results[7][65]="1.087406241422075E-19";
        results[7][66]="9.694344350728666E+36";
        results[7][67]="3.510161326756695E-24";
        results[7][68]="2.068147939838898E+32";
        results[7][69]="1.559047519187323E-29";
        results[7][70]="1.518493766341199E+27";
        results[7][71]="9.527793781803528E-35";
        results[7][72]="3.701079831937688E+22";
        results[7][73]="1.805413337572430E-39";
        results[7][74]="1.033668569530294E+17";
        results[8][0]="87.12745040231444";
        results[8][1]="0.0001915829034197918";
        results[8][2]="4.298501653263149E-9";
        results[8][3]="5.012521769858929E-14";
        results[8][4]="3.498580919469208E-19";
        results[8][5]="0.001091535540718088";
        results[8][6]="678339.3601041740";
        results[8][7]="1.046775775731475E-8";
        results[8][8]="1";
        results[8][9]="9.757446070344992E-14";
        results[8][10]="0.00003561041471876213";
        results[8][11]="1.182421908739965E-18";
        results[8][12]="1.587670868382187E-10";
        results[8][13]="1.487686701391408E-23";
        results[8][14]="1.196210031928393E-15";
        results[8][15]="1.285024173155902E-7";
        results[8][16]="1476236525.994914";
        results[8][17]="1.520867136485833E-12";
        results[8][18]="11585.68654152080";
        results[8][19]="9.802693335972867E-18";
        results[8][20]="0.3920687450478594";
        results[8][21]="1.827716044092442E-22";
        results[8][22]="0.000002252434160733091";
        results[8][23]="2.003191350969721E-27";
        results[8][24]="1.193086974171064E-11";
        results[8][25]="1.194359490017227E-11";
        results[8][26]="31990596809958.51";
        results[8][27]="1.392359031474151E-16";
        results[8][28]="493366841.4268441";
        results[8][29]="2.376779558264652E-21";
        results[8][30]="1111.911657549550";
        results[8][31]="2.899995197153080E-26";
        results[8][32]="0.02260574773287777";
        results[8][33]="1.247827772192961E-31";
        results[8][34]="5.980479373345604E-7";
        results[8][35]="1.468073316931983E-15";
        results[8][36]="3.093495743267101E+17";
        results[8][37]="1.242105779730290E-20";
        results[8][38]="1513976932152.447";
        results[8][39]="1.323834243899629E-25";
        results[8][40]="27449735.30941583";
        results[8][41]="2.119436048930757E-30";
        results[8][42]="99.13123194632914";
        results[8][43]="3.823389857123776E-35";
        results[8][44]="0.002604098623720172";
        results[8][45]="3.353691289323497E-19";
        results[8][46]="1.825947306504481E+21";
        results[8][47]="1.219152937441450E-24";
        results[8][48]="1.511993486054156E+16";
        results[8][49]="5.163192954489619E-29";
        results[8][50]="509563644006.1053";
        results[8][51]="1.285162702774995E-34";
        results[8][52]="9130783.978265085";
        results[8][53]="2.677000787899666E-39";
        results[8][54]="37.23636761949100";
        results[8][55]="1.355819821187394E-23";
        results[8][56]="1.565084982623100E+25";
        results[8][57]="1.359903288004258E-28";
        results[8][58]="1.250952279524317E+20";
        results[8][59]="2.668338852452637E-33";
        results[8][60]="6461362843686697";
        results[8][61]="1.233490785959079E-38";
        results[8][62]="46194988375.59113";
        results[8][63]="1.049129663306469E-43";
        results[8][64]="482687.6965168229";
        results[8][65]="1.138270511899841E-27";
        results[8][66]="1.014780482794204E+29";
        results[8][67]="3.674351845758363E-32";
        results[8][68]="2.164887164052315E+24";
        results[8][69]="1.631973176299542E-37";
        results[8][70]="1.589522490205218E+19";
        results[8][71]="9.973463726956913E-43";
        results[8][72]="387420071212069.1";
        results[8][73]="1.889862946953332E-47";
        results[8][74]="1082019218.719317";
        results[9][0]="892932943458573.4";
        results[9][1]="1963453367.188511";
        results[9][2]="44053.55276650961";
        results[9][3]="0.5137124749367641";
        results[9][4]="0.000003585549839831714";
        results[9][5]="11186693042.92137";
        results[9][6]="6.952017517839994E+18";
        results[9][7]="107279.6885767942";
        results[9][8]="10248583418146.87";
        results[9][9]="1";
        results[9][10]="364956305.8000387";
        results[9][11]="0.00001211814956716597";
        results[9][12]="1627.137733517652";
        results[9][13]="1.524668125927760E-10";
        results[9][14]="0.01225945829784226";
        results[9][15]="1316967.743292346";
        results[9][16]="1.512933318157422E+22";
        results[9][17]="15.58673371619321";
        results[9][18]="1.187368749772774E+17";
        results[9][19]="0.0001004637203762303";
        results[9][20]="4018149239271.144";
        results[9][21]="1.873150034256679E-9";
        results[9][22]="23084259.39015671";
        results[9][23]="2.052987366292351E-14";
        results[9][24]="122.2745137989658";
        results[9][25]="122.4049286469690";
        results[9][26]="3.278583000031628E+26";
        results[9][27]="0.001426970768207302";
        results[9][28]="5.056311230110650E+21";
        results[9][29]="2.435862356942155E-8";
        results[9][30]="1.139551937600652E+16";
        results[9][31]="2.972084269024861E-13";
        results[9][32]="231676891369.9822";
        results[9][33]="1.278846701479992E-18";
        results[9][34]="6129144.173823912";
        results[9][35]="0.01504567185253299";
        results[9][36]="3.170394917855513E+30";
        results[9][37]="1.272982469772824E-7";
        results[9][38]="1.551611888231443E+25";
        results[9][39]="1.356742568040473E-12";
        results[9][40]="2.813209021245996E+20";
        results[9][41]="2.172121714689447E-17";
        results[9][42]="1015954699945620";
        results[9][43]="3.918432989082965E-22";
        results[9][44]="26688321974.27763";
        results[9][45]="0.000003437058493734438";
        results[9][46]="1.871337328785176E+34";
        results[9][47]="1.249459057884749E-11";
        results[9][48]="1.549579136952070E+29";
        results[9][49]="5.291541369807505E-16";
        results[9][50]="5.222305512451464E+24";
        results[9][51]="1.317109716528063E-21";
        results[9][52]="9.357760127432864E+19";
        results[9][53]="2.743546588523462E-26";
        results[9][54]="381620019737136.4";
        results[9][55]="1.389523253741598E-10";
        results[9][56]="1.603990400090178E+38";
        results[9][57]="1.393708228772385E-15";
        results[9][58]="1.282048878882594E+33";
        results[9][59]="2.734669331724314E-20";
        results[9][60]="6.621981609843777E+28";
        results[9][61]="1.264153321541716E-25";
        results[9][62]="4.734331918675705E+23";
        results[9][63]="1.075209287084869E-30";
        results[9][64]="4.946865122665819E+18";
        results[9][65]="1.166566029362225E-14";
        results[9][66]="1.040006242902376E+42";
        results[9][67]="3.765690139887650E-19";
        results[9][68]="2.218702669166555E+37";
        results[9][69]="1.672541323348396E-24";
        results[9][70]="1.629035383588871E+32";
        results[9][71]="1.022138749735799E-29";
        results[9][72]="3.970506917681290E+27";
        results[9][73]="1.936841806071609E-34";
        results[9][74]="1.108916422308302E+22";
        results[10][0]="2446684.518852554";
        results[10][1]="5.379968330412397";
        results[10][2]="0.0001207091152184304";
        results[10][3]="1.407599942164664E-9";
        results[10][4]="9.824600322966481E-15";
        results[10][5]="30.65214346248511";
        results[10][6]="19048903683.41529";
        results[10][7]="0.0002939521440563168";
        results[10][8]="28081.67239549524";
        results[10][9]="2.740054039641405E-9";
        results[10][10]="1";
        results[10][11]="3.320438467449187E-14";
        results[10][12]="0.000004458445319778002";
        results[10][13]="4.177673057560849E-19";
        results[10][14]="3.359157823281803E-11";
        results[10][15]="0.003608562785085618";
        results[10][16]="41455190501253.18";
        results[10][17]="4.270849268387010E-8";
        results[10][18]="325345453.9358852";
        results[10][19]="2.752760228542944E-13";
        results[10][20]="11009.94605494694";
        results[10][21]="5.132532318219450E-18";
        results[10][22]="0.06325211819412893";
        results[10][23]="5.625296326342124E-23";
        results[10][24]="3.350387754800450E-7";
        results[10][25]="3.353961192111453E-7";
        results[10][26]="8.983494593536299E+17";
        results[10][27]="3.909977017876616E-12";
        results[10][28]="13854566011748.89";
        results[10][29]="6.674394491149785E-17";
        results[10][30]="31224338.90003856";
        results[10][31]="8.143671507496243E-22";
        results[10][32]="634.8072020898827";
        results[10][33]="3.504109070472339E-27";
        results[10][34]="0.01679418625303079";
        results[10][35]="4.122595393865199E-11";
        results[10][36]="8.687053401928578E+21";
        results[10][37]="3.488040758693718E-16";
        results[10][38]="4.251500422304194E+16";
        results[10][39]="3.717547954312753E-21";
        results[10][40]="770834474302.0734";
        results[10][41]="5.951730878927634E-26";
        results[10][42]="2783770.779678667";
        results[10][43]="1.073671814080092E-30";
        results[10][44]="73.12744443686990";
        results[10][45]="9.417726010240848E-15";
        results[10][46]="5.127565407269577E+25";
        results[10][47]="3.423585338923651E-20";
        results[10][48]="4.245930573949562E+20";
        results[10][49]="1.449910930627067E-24";
        results[10][50]="1.430939931563421E+16";
        results[10][51]="3.608951799423663E-30";
        results[10][52]="256407684391.6768";
        results[10][53]="7.517465912828107E-35";
        results[10][54]="1045659.476688773";
        results[10][55]="3.807368804590335E-19";
        results[10][56]="4.395020375313125E+29";
        results[10][57]="3.818835862329240E-24";
        results[10][58]="3.512883209599986E+24";
        results[10][59]="7.493141749474667E-29";
        results[10][60]="1.814458746048353E+20";
        results[10][61]="3.463848415416480E-34";
        results[10][62]="1297232529877061";
        results[10][63]="2.946131550536850E-39";
        results[10][64]="13554677762.92165";
        results[10][65]="3.196453961262399E-23";
        results[10][66]="2.849673307116934E+33";
        results[10][67]="1.031819447983696E-27";
        results[10][68]="6.079365211412986E+28";
        results[10][69]="4.582853609507953E-33";
        results[10][70]="4.463644983521472E+23";
        results[10][71]="2.800715410287590E-38";
        results[10][72]="1.087940351921676E+19";
        results[10][73]="5.307051214872866E-43";
        results[10][74]="30384909225705.58";
        results[11][0]="7.368558528753992E+19";
        results[11][1]="162025840356721.7";
        results[11][2]="3635336609.961668";
        results[11][3]="42391.98997251724";
        results[11][4]="0.2958826196985332";
        results[11][5]="923135416089567.4";
        results[11][6]="5.736863932325467E+23";
        results[11][7]="8852811065.104166";
        results[11][8]="8.457218126697593E+17";
        results[11][9]="82520.84977639587";
        results[11][10]="30116504485873.39";
        results[11][11]="1";
        results[11][12]="134272788.4731154";
        results[11][13]="0.00001258169093785437";
        results[11][14]="1011.660916536231";
        results[11][15]="108677297304.5868";
        results[11][16]="1.248485430693727E+27";
        results[11][17]="1286230.511498665";
        results[11][18]="9.798267822918602E+21";
        results[11][19]="8.290351577144743";
        results[11][20]="3.315810897530334E+17";
        results[11][21]="0.0001545739325855462";
        results[11][22]="1904932701334.478";
        results[11][23]="1.694142620466497E-9";
        results[11][24]="10090196.78468630";
        results[11][25]="10100958.72876698";
        results[11][26]="2.705514552250553E+31";
        results[11][27]="117.7548403985430";
        results[11][28]="4.172510994426643E+26";
        results[11][29]="0.002010094316332011";
        results[11][30]="9.403679425514422E+20";
        results[11][31]="2.452589194869899E-8";
        results[11][32]="1.911817394940469E+16";
        results[11][33]="1.055315165398698E-13";
        results[11][34]="505782185625.9951";
        results[11][35]="1241.581626727822";
        results[11][36]="2.616236827482037E+35";
        results[11][37]="0.01050475951561086";
        results[11][38]="1.280403315400169E+30";
        results[11][39]="1.119595496425095E-7";
        results[11][40]="2.321483990318425E+25";
        results[11][41]="1.792453297139352E-12";
        results[11][42]="8.383744517383584E+19";
        results[11][43]="3.233524200509892E-17";
        results[11][44]="2202343008423450";
        results[11][45]="0.2836289876341450";
        results[11][46]="1.544243465896434E+39";
        results[11][47]="0.000001031064232174645";
        results[11][48]="1.278725871770590E+34";
        results[11][49]="4.366624904634691E-11";
        results[11][50]="4.309490886794513E+29";
        results[11][51]="1.086890130566436E-16";
        results[11][52]="7.722103177194344E+24";
        results[11][53]="2.263997958860880E-21";
        results[11][54]="3.149160832039346E+19";
        results[11][55]="0.00001146646396828192";
        results[11][56]="1.323626508486227E+43";
        results[11][57]="1.150099873786527E-10";
        results[11][58]="1.057957629402673E+38";
        results[11][59]="2.256672371113390E-15";
        results[11][60]="5.464515496479744E+33";
        results[11][61]="1.043190063412758E-20";
        results[11][62]="3.906810930526339E+28";
        results[11][63]="8.872718405771617E-26";
        results[11][64]="4.082195136515981E+23";
        results[11][65]="9.626602006324680E-10";
        results[11][66]="8.582219893706080E+46";
        results[11][67]="3.107479503381239E-14";
        results[11][68]="1.830892296607818E+42";
        results[11][69]="1.380195312888473E-19";
        results[11][70]="1.344293841695707E+37";
        results[11][71]="8.434775821758094E-25";
        results[11][72]="3.276496048901183E+32";
        results[11][73]="1.598298317194785E-29";
        results[11][74]="9.150872549988179E+26";
        results[12][0]="548775266570.8102";
        results[12][1]="1206691.558276256";
        results[12][2]="27.07426166761666";
        results[12][3]="0.0003157154212300068";
        results[12][4]="2.203593319712548E-9";
        results[12][5]="6875074.440525237";
        results[12][6]="4272543973773303";
        results[12][7]="65.93153509191260";
        results[12][8]="6298534664.297173";
        results[12][9]="0.0006145761230907817";
        results[12][10]="224293.4315161216";
        results[12][11]="7.447525380023099E-9";
        results[12][12]="1";
        results[12][13]="9.370246258327704E-14";
        results[12][14]="0.000007534370351881011";
        results[12][15]="809.3769299082260";
        results[12][16]="9.298126931680603E+18";
        results[12][17]="0.009579234378946397";
        results[12][18]="72972848291449.96";
        results[12][19]="6.174260378010000E-8";
        results[12][20]="2469458581.471433";
        results[12][21]="1.151193286020835E-12";
        results[12][22]="14187.03464042448";
        results[12][23]="1.261717016330308E-17";
        results[12][24]="0.07514699664337871";
        results[12][25]="0.07522714649505796";
        results[12][26]="2.014938829390782E+23";
        results[12][27]="8.769821624887181E-7";
        results[12][28]="3.107488152941784E+18";
        results[12][29]="1.497022843712283E-11";
        results[12][30]="7003414118711.969";
        results[12][31]="1.826572027556399E-16";
        results[12][32]="142383085.7078879";
        results[12][33]="7.859486478230080E-22";
        results[12][34]="3766.825664213152";
        results[12][35]="0.000009246710676425823";
        results[12][36]="1.948449017282359E+27";
        results[12][37]="7.823446310355102E-11";
        results[12][38]="9.535836188108477E+21";
        results[12][39]="8.338215874985453E-16";
        results[12][40]="1.728931093721377E+17";
        results[12][41]="1.334934142295141E-20";
        results[12][42]="624381500728.4375";
        results[12][43]="2.408175355021632E-25";
        results[12][44]="16402005.45075007";
        results[12][45]="2.112334083915552E-9";
        results[12][46]="1.150079240519853E+31";
        results[12][47]="7.678877037554697E-15";
        results[12][48]="9.523343384103629E+25";
        results[12][49]="3.252054980230781E-19";
        results[12][50]="3.209504275438039E+21";
        results[12][51]="8.094641832690152E-25";
        results[12][52]="5.751055939931189E+16";
        results[12][53]="1.686118225893689E-29";
        results[12][54]="234534552223.8769";
        results[12][55]="8.539678142289999E-14";
        results[12][56]="9.857742015622534E+34";
        results[12][57]="8.565397999586525E-19";
        results[12][58]="7.879166295965479E+29";
        results[12][59]="1.680662475826388E-23";
        results[12][60]="4.069711784956242E+25";
        results[12][61]="7.769184473454425E-29";
        results[12][62]="2.909607356004657E+20";
        results[12][63]="6.607979551678220E-34";
        results[12][64]="3040225188540963";
        results[12][65]="7.169436276548434E-18";
        results[12][66]="6.391630047531518E+38";
        results[12][67]="2.314303246933335E-22";
        results[12][68]="1.363561684707550E+34";
        results[12][69]="1.027903962212583E-27";
        results[12][70]="1.001166250423753E+29";
        results[12][71]="6.281820700734860E-33";
        results[12][72]="2.440178748173697E+24";
        results[12][73]="1.190336728215637E-37";
        results[12][74]="6.815135556539365E+18";
        results[13][0]="5.856572510920854E+24";
        results[13][1]="1.287790656733084E+19";
        results[13][2]="288938635348614.2";
        results[13][3]="3369339636.612199";
        results[13][4]="23516.92003563011";
        results[13][5]="7.337133145689837E+19";
        results[13][6]="4.559692302618115E+28";
        results[13][7]="703626492562206.3";
        results[13][8]="6.721845393016666E+22";
        results[13][9]="6558804391.555706";
        results[13][10]="2.393677021207241E+18";
        results[13][11]="79480.57259865707";
        results[13][12]="10672078112261.57";
        results[13][13]="1";
        results[13][14]="80407388.92198187";
        results[13][15]="8637733818243049";
        results[13][16]="9.923033691261843E+31";
        results[13][17]="102230337547.7774";
        results[13][18]="7.787719370405676E+26";
        results[13][19]="658921.8903956439";
        results[13][20]="2.635425487645780E+22";
        results[13][21]="12.28562467072543";
        results[13][22]="1.514051418639709E+17";
        results[13][23]="0.0001346514255384665";
        results[13][24]="801974618079.9959";
        results[13][25]="802829983557.8030";
        results[13][26]="2.150358457868733E+36";
        results[13][27]="9359222.141139671";
        results[13][28]="3.316335630112216E+31";
        results[13][29]="159.7634472393744";
        results[13][30]="7.474098252740968E+25";
        results[13][31]="0.001949331935575389";
        results[13][32]="1.519523412539414E+21";
        results[13][33]="8.387705361793504E-9";
        results[13][34]="4.019985772375435E+16";
        results[13][35]="98681618.62029944";
        results[13][36]="2.079400011019663E+40";
        results[13][37]="834.9243013119425";
        results[13][38]="1.017671886652243E+35";
        results[13][39]="0.008898609113474424";
        results[13][40]="1.845128768291237E+30";
        results[13][41]="1.424652144129865E-7";
        results[13][42]="6.663448147624991E+24";
        results[13][43]="2.570023549681410E-12";
        results[13][44]="1.750434833681448E+20";
        results[13][45]="22542.99434273927";
        results[13][46]="1.227373549011834E+44";
        results[13][47]="0.08194957555923548";
        results[13][48]="1.016338644850434E+39";
        results[13][49]="0.000003470618477439216";
        results[13][50]="3.425208032911223E+34";
        results[13][51]="8.638664992924948E-12";
        results[13][52]="6.137571821893155E+29";
        results[13][53]="1.799438541324536E-16";
        results[13][54]="2.502971061357505E+24";
        results[13][55]="0.9113611218809168";
        results[13][56]="1.052025928012465E+48";
        results[13][57]="0.000009141059651419642";
        results[13][58]="8.408707817004228E+42";
        results[13][59]="1.793616122236614E-10";
        results[13][60]="4.343228206344449E+38";
        results[13][61]="8.291334356927543E-16";
        results[13][62]="3.105155697929257E+33";
        results[13][63]="7.052087393973718E-21";
        results[13][64]="3.244552069097433E+28";
        results[13][65]="0.00007651278396420666";
        results[13][66]="6.821197513193451E+51";
        results[13][67]="2.469842502673314E-9";
        results[13][68]="1.455203681008597E+47";
        results[13][69]="1.096987137663585E-14";
        results[13][70]="1.068452442788232E+42";
        results[13][71]="6.704008120546416E-20";
        results[13][72]="2.604177820839036E+37";
        results[13][73]="1.270336654341115E-24";
        results[13][74]="7.273165900503936E+31";
        results[14][0]="7.283624788019671E+16";
        results[14][1]="160158248389.6609";
        results[14][2]="3593433.877438394";
        results[14][3]="41.90335840753915";
        results[14][4]="0.0002924721266406031";
        results[14][5]="912494889345.1759";
        results[14][6]="5.670737930617694E+20";
        results[14][7]="8750769.077266332";
        results[14][8]="835973594359440.8";
        results[14][9]="81.56967263194704";
        results[14][10]="29769366389.07392";
        results[14][11]="0.0009884734930986993";
        results[14][12]="132725.0922501232";
        results[14][13]="1.243666799042916E-8";
        results[14][14]="1";
        results[14][15]="107424627.6871908";
        results[14][16]="1.234094754760663E+24";
        results[14][17]="1271.404766631212";
        results[14][18]="9.685328021236938E+18";
        results[14][19]="0.008194792782476575";
        results[14][20]="327759118033654.3";
        results[14][21]="1.527922350848377E-7";
        results[14][22]="1882975481.406032";
        results[14][23]="1.674615073859902E-12";
        results[14][24]="9973.892061812134";
        results[14][25]="9984.529958270096";
        results[14][26]="2.674329420092467E+28";
        results[14][27]="0.1163975384180276";
        results[14][28]="4.124416517653632E+23";
        results[14][29]="0.000001986924950322545";
        results[14][30]="9.295287849718610E+17";
        results[14][31]="2.424319408589176E-11";
        results[14][32]="18897808185436.61";
        results[14][33]="1.043151067861683E-16";
        results[14][34]="499952283.7728221";
        results[14][35]="1.227270527538816";
        results[14][36]="2.586080755634628E+32";
        results[14][37]="0.00001038367633255766";
        results[14][38]="1.265644737748760E+27";
        results[14][39]="1.106690471208886E-10";
        results[14][40]="2.294725389082761E+22";
        results[14][41]="1.771792571839617E-15";
        results[14][42]="8.287109228345220E+16";
        results[14][43]="3.196252961497192E-20";
        results[14][44]="2176957686537.825";
        results[14][45]="0.0002803597361507711";
        results[14][46]="1.526443732929490E+36";
        results[14][47]="1.019179663186800E-9";
        results[14][48]="1.263986629184754E+31";
        results[14][49]="4.316292972536028E-14";
        results[14][50]="4.259817510346784E+26";
        results[14][51]="1.074362083975506E-19";
        results[14][52]="7.633094301629857E+21";
        results[14][53]="2.237901970763539E-24";
        results[14][54]="3.112862007975538E+16";
        results[14][55]="1.133429569221800E-8";
        results[14][56]="1.308369718401416E+40";
        results[14][57]="1.136843239654142E-13";
        results[14][58]="1.045763073486079E+35";
        results[14][59]="2.230660821453777E-18";
        results[14][60]="5.401528720897306E+30";
        results[14][61]="1.031165725947463E-23";
        results[14][62]="3.861779047373550E+25";
        results[14][63]="8.770446955834192E-29";
        results[14][64]="4.035141686102474E+20";
        results[14][65]="9.515640911862703E-13";
        results[14][66]="8.483296876872797E+43";
        results[14][67]="3.071661119439865E-17";
        results[14][68]="1.809788503915430E+39";
        results[14][69]="1.364286482089321E-22";
        results[14][70]="1.328798829452025E+34";
        results[14][71]="8.337552320037675E-28";
        results[14][72]="3.238729494581439E+29";
        results[14][73]="1.579875520611302E-32";
        results[14][74]="9.045394954387817E+23";
        results[15][0]="678021878.6728144";
        results[15][1]="1490.889490034119";
        results[15][2]="0.03345074546501661";
        results[15][3]="3.900721772064906E-7";
        results[15][4]="2.722579849122226E-12";
        results[15][5]="8494.280212934647";
        results[15][6]="5278806222284.789";
        results[15][7]="0.08145961746078984";
        results[15][8]="7781954.774781330";
        results[15][9]="7.593200403679254E-7";
        results[15][10]="277.1186368526144";
        results[15][11]="9.201553818525026E-12";
        results[15][12]="0.001235518289498798";
        results[15][13]="1.157711062927156E-16";
        results[15][14]="9.308852369606484E-9";
        results[15][15]="1";
        results[15][16]="1.148800588217273E+16";
        results[15][17]="0.00001183531927458393";
        results[15][18]="90159288700.90755";
        results[15][19]="7.628411621159118E-11";
        results[15][20]="3051061.242567714";
        results[15][21]="1.422320359626963E-15";
        results[15][22]="17.52834077199745";
        results[15][23]="1.558874449847949E-20";
        results[15][24]="0.00009284548875379919";
        results[15][25]="0.00009294451536144952";
        results[15][26]="2.489493775933610E+20";
        results[15][27]="1.083527501319018E-9";
        results[15][28]="3839358447360413";
        results[15][29]="1.849599103204027E-14";
        results[15][30]="8652846232.602745";
        results[15][31]="2.256763147132834E-19";
        results[15][32]="175916.9065073704";
        results[15][33]="9.710539289921761E-25";
        results[15][34]="4.653982001488808";
        results[15][35]="1.142448015842791E-8";
        results[15][36]="2.407344397008314E+24";
        results[15][37]="9.666011003355619E-14";
        results[15][38]="1.178170001607253E+19";
        results[15][39]="1.030201821533375E-18";
        results[15][40]="213612598757592.2";
        results[15][41]="1.649335548082038E-23";
        results[15][42]="771434763.7746916";
        results[15][43]="2.975344695449488E-28";
        results[15][44]="20264.97771886068";
        results[15][45]="2.609827394209354E-12";
        results[15][46]="1.420943936035166E+28";
        results[15][47]="9.487393022711177E-18";
        results[15][48]="1.176626492823741E+23";
        results[15][49]="4.017973406530782E-22";
        results[15][50]="3.965401232528285E+18";
        results[15][51]="1.000107803123075E-27";
        results[15][52]="71055347977156.85";
        results[15][53]="2.083229906348919E-32";
        results[15][54]="289771728.7920109";
        results[15][55]="1.055092853123241E-16";
        results[15][56]="1.217942055346239E+32";
        results[15][57]="1.058270588532557E-21";
        results[15][58]="9.734854064667849E+26";
        results[15][59]="2.076489227357834E-26";
        results[15][60]="5.028203343302236E+22";
        results[15][61]="9.598969511443032E-32";
        results[15][62]="3.594873103603994E+17";
        results[15][63]="8.164279592732510E-37";
        results[15][64]="3756253824637.292";
        results[15][65]="8.857969645071753E-21";
        results[15][66]="7.896975823435262E+35";
        results[15][67]="2.859363989032589E-25";
        results[15][68]="1.684705400315972E+31";
        results[15][69]="1.269994145161927E-30";
        results[15][70]="1.236959213227480E+26";
        results[15][71]="7.761304367110075E-36";
        results[15][72]="3.014885473014884E+21";
        results[15][73]="1.470682798372580E-40";
        results[15][74]="8420224625517956";
        results[16][0]="5.901998011029744E-8";
        results[16][1]="1.297779184068582E-13";
        results[16][2]="2.911797383123386E-18";
        results[16][3]="3.395473341564099E-23";
        results[16][4]="2.369932499205253E-28";
        results[16][5]="7.394042360403217E-13";
        results[16][6]="0.0004595058773843880";
        results[16][7]="7.090840507594115E-18";
        results[16][8]="6.773982233816134E-10";
        results[16][9]="6.609676632793603E-23";
        results[16][10]="2.412243166437193E-14";
        results[16][11]="8.009705002679486E-28";
        results[16][12]="1.075485425556837E-19";
        results[16][13]="1.007756328470993E-32";
        results[16][14]="8.103105504195564E-25";
        results[16][15]="8.704730918982346E-17";
        results[16][16]="1";
        results[16][17]="1.030232696254985E-21";
        results[16][18]="0.000007848123479882456";
        results[16][19]="6.640327050142802E-27";
        results[16][20]="2.655866713388787E-10";
        results[16][21]="1.238091601114291E-31";
        results[16][22]="1.525794898764651E-15";
        results[16][23]="1.356958262240303E-36";
        results[16][24]="8.081949966432234E-21";
        results[16][25]="8.090569966166392E-21";
        results[16][26]="21670.37344398340";
        results[16][27]="9.431815342299341E-26";
        results[16][28]="0.3342058218579424";
        results[16][29]="1.610026250138211E-30";
        results[16][30]="7.532069813813702E-7";
        results[16][31]="1.964451594366708E-35";
        results[16][32]="1.531309335246434E-11";
        results[16][33]="8.452763159697483E-41";
        results[16][34]="4.051166102474697E-16";
        results[16][35]="9.944702566836774E-25";
        results[16][36]="209552852.0527718";
        results[16][37]="8.414002484413322E-30";
        results[16][38]="1025.565284080813";
        results[16][39]="8.967629648693503E-35";
        results[16][40]="0.01859440193089382";
        results[16][41]="1.435702214116641E-39";
        results[16][42]="6.715132040207400E-8";
        results[16][43]="2.589957496510927E-44";
        results[16][44]="1.764011781218549E-12";
        results[16][45]="2.271784521158129E-28";
        results[16][46]="1236893461414.578";
        results[16][47]="8.258520338533136E-34";
        results[16][48]="10242217.01217658";
        results[16][49]="3.497537734347732E-38";
        results[16][50]="345.1775071495967";
        results[16][51]="8.705669316160942E-44";
        results[16][52]="0.006185176844958069";
        results[16][53]="1.813395577714413E-48";
        results[16][54]="2.522384927062784E-8";
        results[16][55]="9.184299380979178E-33";
        results[16][56]="1.060185786670131E+16";
        results[16][57]="9.211960712648993E-38";
        results[16][58]="84739285168.49519";
        results[16][59]="1.807527998031550E-42";
        results[16][60]="4376915.710937338";
        results[16][61]="8.355644669662702E-48";
        results[16][62]="31.29240305475972";
        results[16][63]="7.106785700207527E-53";
        results[16][64]="0.0003269717880686592";
        results[16][65]="7.710624224886317E-37";
        results[16][66]="6.874104961671300E+19";
        results[16][67]="2.488999412395668E-41";
        results[16][68]="1466490718750697";
        results[16][69]="1.105495730231758E-46";
        results[16][70]="10767397108.90133";
        results[16][71]="6.756006609601578E-52";
        results[16][72]="262437.6679414338";
        results[16][73]="1.280189802700927E-56";
        results[16][74]="0.7329578964252270";
        results[17][0]="57288009131181.63";
        results[17][1]="125969520.1662847";
        results[17][2]="2826.349225478968";
        results[17][3]="0.03295831469829135";
        results[17][4]="2.300385638914618E-7";
        results[17][5]="717706047.1174538";
        results[17][6]="4.460214464700500E+17";
        results[17][7]="6882.756229121966";
        results[17][8]="657519632063.7410";
        results[17][9]="0.06415712350055034";
        results[17][10]="23414546.78351770";
        results[17][11]="7.774656183788081E-7";
        results[17][12]="104.3924765216976";
        results[17][13]="9.781832125249994E-12";
        results[17][14]="0.0007865315800645127";
        results[17][15]="84492.86215264814";
        results[17][16]="9.706544974112313E+20";
        results[17][17]="1";
        results[17][18]="7617816351986589";
        results[17][19]="0.000006445463315502565";
        results[17][20]="257792896987.5612";
        results[17][21]="1.201759180828659E-10";
--> --------------------

--> maximum size reached

--> --------------------

quality88%

¤ Dauer der Verarbeitung: 0.33 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.