Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/difsets/data/groups/64/   (GAP Algebra Version 4.15.1©)  Datei vom 14.8.2019 mit Größe 82 kB image not shown  

Quelle  64-88.txt

  Sprache: Text
 

## Group: [6488]
## Difference Sets: 760
## Time:  0:25:32.305

return [
123456789101112131418253035373839
  41495253545964 ],
123456789101112131419253037384041
  49525355596364 ],
123456789101112131420252835373839
  42495153545964 ],
123456789101112131617212834364248
  51535456596264 ],
123456789101112131617283032343739
  40445356596163 ],
123456789101112131617283637383940
  44495153565961 ],
123456789101112131617303437383940
  44495253555961 ],
123456789101112131618273637383941
  44495053565961 ],
123456789101112131618303337383941
  44495253545961 ],
123456789101112131620273437383942
  44495053555961 ],
123456789101112131620283337383942
  44495153545961 ],
123456789101112131721283435363742
  51535659606162 ],
123456789101112131925303336384041
  49525455565964 ],
123456789101112132227353638414244
  49505354565961 ],
123456789101112141617181925303449
  52535455565964 ],
123456789101112141617283536383940
  46495153565960 ],
123456789101112141617303435383940
  46495253555960 ],
123456789101112141618202227343546
  49505356596063 ],
123456789101112141618273536383941
  46495053565960 ],
123456789101112141618303335383941
  46495253545960 ],
123456789101112141619303338404146
  49525355596063 ],
123456789101112141620273435383942
  46495053555960 ],
123456789101112141620283335383942
  46495153545960 ],
123456789101112141622273536414246
  49505355596063 ],
123456789101112141728303234373839
  40465354555960 ],
123456789101112142227343738414244
  49505354555961 ],
123456789101112151718193033353846
  49525354565960 ],
123456789101112151826273133414546
  52575859606163 ],
123456789101112152026272829394243
  44464754606364 ],
123456789101112152026272933424447
  51575859606163 ],
123456789101112161719253034374143
  52535455566264 ],
123456789101112161721252835364243
  51535455566264 ],
123456789101112161930373840414449
  52535455596163 ],
123456789101112182324253031384145
  50545758616364 ],
123456789101112182325262736394146
  47495054556164 ],
123456789101112182325263031343641
  43505457586164 ],
123456789101112182425262734394145
  46495054566164 ],
123456789101112182526273134364143
  45465254575864 ],
123456789101112182627313436414345
  48525457586164 ],
123456789101112182627313841434546
  52545760616364 ],
123456789101112202325262736394244
  47495054556064 ],
123456789101112202425262734394244
  45495054566064 ],
123456789101112202425262934394243
  44505154565864 ],
123456789101113141519212226303449
  50515354565864 ],
123456789101113141519212226304950
  51545556586364 ],
123456789101113141521262830343538
  40425053586264 ],
123456789101113141521262830353840
  42505558626364 ],
123456789101113141921222628343849
  50525456586364 ],
123456789101113141921222634385051
  52545658626364 ],
123456789101113141928313637384041
  45464955566264 ],
123456789101113142025283134353739
  42454954566062 ],
123456789101113142228313435374142
  45495456586162 ],
123456789101113142228313536374142
  45464954556264 ],
123456789101113151617213134384245
  49515354616264 ],
123456789101113151617283134373839
  40454956586162 ],
123456789101113151618313233373941
  45525458616263 ],
123456789101113151921222627303751
  53545556586264 ],
123456789101113152025293134353839
  42435054565862 ],
123456789101113152126273035373840
  42515355586264 ],
123456789101113161728293234363740
  47485357616263 ],
123456789101113161728313637383940
  44454849535662 ],
123456789101113161820222729313437
  48495356585963 ],
123456789101113161820222831333738
  45495354586162 ],
123456789101113161830313233373839
  41454953545861 ],
123456789101113161831323337383941
  45465253546264 ],
123456789101113162028313337383942
  44454849535462 ],
123456789101113162029313437383942
  43485053556264 ],
123456789101113162124282932363840
  42495354606364 ],
123456789101113162126273034363840
  42515455586264 ],
123456789101113172528293235363840
  46475456576263 ],
123456789101113172528313435394045
  49535456606263 ],
123456789101113172831343538394045
  46495354556264 ],
123456789101113192122262730343637
  38515458626364 ],
123456789101113192122262833343637
  38495052535864 ],
123456789101113192122263334363738
  50515253586264 ],
123456789101113192425263031324041
  49565859606364 ],
123456789101113192425283031404145
  47525658606364 ],
123456789101113192425283140414546
  47495660616263 ],
123456789101113192526283136404143
  46474849536264 ],
123456789101113192526303132364041
  43474953586064 ],
123456789101113192528303140414345
  46525659606163 ],
123456789101113192528314041434549
  56585960626364 ],
123456789101113192628303136404143
  44464752536064 ],
123456789101113192830313336384041
  45465254555664 ],
123456789101113202124282935373840
  51525356586063 ],
123456789101113202124293435373840
  49525556586062 ],
123456789101113212428293235363740
  42495355566064 ],
123456789101114151617181928313845
  46495354566264 ],
123456789101114151725283134373839
  40454954566062 ],
123456789101114151921222630333435
  49505153565864 ],
123456789101114151921222630333549
  50515556586364 ],
123456789101114161820222527293134
  35495356596364 ],
123456789101114161820222831333538
  45464953546264 ],
123456789101114161825272931353638
  39414953565964 ],
123456789101114161830313233353839
  41454649535464 ],
123456789101114161930313233384041
  45464953556364 ],
123456789101114162025272931343538
  39424953555964 ],
123456789101114172831363738394045
  46495354566264 ],
123456789101114192122263335385051
  52535556586264 ],
123456789101114202529313437394243
  50535456586263 ],
123456789101114212325262830344042
  45485053586264 ],
123456789101114212325262930344042
  48495358596062 ],
123456789101114212325282930344042
  45475153586164 ],
123456789101114212325293034404244
  45474953606162 ],
123456789101114212326282930344042
  46515358596061 ],
123456789101114212326283034404244
  45465053606162 ],
123456789101115161719233137384146
  49515354566264 ],
123456789101115161719242937384144
  49525354566264 ],
123456789101115161721233135384246
  49515354556264 ],
123456789101115161721242935384244
  49525354556264 ],
123456789101115161724293435373840
  49525657586062 ],
123456789101115161819212224274552
  53565758596063 ],
123456789101115161822242933353742
  49525458606263 ],
123456789101115161921222330394143
  47505356606364 ],
123456789101115161921222427394144
  45525356596364 ],
123456789101115161921223039414445
  47505356585963 ],
123456789101115161921233038394243
  47505355576064 ],
123456789101115161921242734383942
  45525758596063 ],
123456789101115161921242738394244
  45525355575964 ],
123456789101115161921303839424445
  47505355575859 ],
123456789101115161931323437404145
  52535458616263 ],
123456789101115182022232627293146
  47495458606364 ],
123456789101115182122242737384041
  45525358596063 ],
123456789101115182326313239414345
  47525458616263 ],
123456789101115182526293139414546
  47505458616263 ],
123456789101115182627293133414546
  47485758616263 ],
123456789101115202325262831394243
  45474954606263 ],
123456789101115202526293139424445
  47505458606263 ],
123456789101115202627293133424445
  47485758606263 ],
123456789101115212224273437383940
  45525557585960 ],
123456789101115222426272931414245
  46495458606364 ],
123456789101116171923303134374146
  51525354555664 ],
123456789101116172124282934353642
  51525456586063 ],
123456789101116172425293234353740
  49515356576163 ],
123456789101116172428293234353740
  46485356576263 ],
123456789101116192122232428304850
  53585960616263 ],
123456789101116192122232428464849
  50525359606364 ],
123456789101116192122232430444849
  50515359616364 ],
123456789101116192122232444464850
  51525358596263 ],
123456789101116192122232527304751
  53585960616263 ],
123456789101116192122232527464749
  51525359606364 ],
123456789101116192122232530434749
  50515360616364 ],
123456789101116192122232543464750
  51525358606263 ],
123456789101116192122232730444647
  48515359626364 ],
123456789101116192122232744474849
  51525358596163 ],
123456789101116192122232843474849
  50525358606163 ],
123456789101116192122242527284552
  53585960616263 ],
123456789101116192122242527444549
  51525359616364 ],
123456789101116192122242830434445
  48505361626364 ],
123456789101116192122243043454849
  50515358606163 ],
123456789101116192122252730434445
  47515361626364 ],
123456789101116192122252845464749
  50525358596063 ],
123456789101116192122253044454749
  50515358596163 ],
123456789101116192122273043454647
  48515358606263 ],
123456789101116192122454748505152
  53585960616263 ],
123456789101116193031323738404145
  49535455586163 ],
123456789101116193132373840414546
  52535455626364 ],
123456789101116202224293335373841
  49525354586062 ],
123456789101118202224252627283134
  50545658596064 ],
123456789101118202225262728313643
  47505455586064 ],
123456789101118222426293842434445
  47495254586263 ],
123456789101118222426293842434547
  49525460626364 ],
123456789101118222526272934364243
  45465052545864 ],
123456789101118222627293842434445
  46505254586163 ],
123456789101118222627293842434546
  50525460616364 ],
123456789101118242526272931383941
  45464953546164 ],
123456789101118242526293841434546
  47495254576263 ],
123456789101118242528303134394143
  45475254565960 ],
123456789101118242529313839414344
  46474850535462 ],
123456789101118252627283136394143
  46474850545564 ],
123456789101118252728313439414345
  50545658596064 ],
123456789101119212226353637385051
  52545558626364 ],
123456789101120222325272938414546
  47505254586364 ],
123456789101120222325293841434546
  47495254596263 ],
123456789101120222526272941434546
  50525455565864 ],
123456789101120232528293238424345
  46475457596263 ],
123456789101120232529313839424344
  45464850535462 ],
123456789101120242526272931383942
  44454953546064 ],
123456789101120242831383942434546
  47495354596264 ],
123456789101120252627293842434445
  46505254576063 ],
123456789101120252829323842444647
  54575860626364 ],
123456789101121232428293037404245
  48515355586164 ],
123456789101121232428293237404245
  46495355606164 ],
123456789101121232429303740424445
  48495355606162 ],
123456789101121232526273037404245
  48515355586264 ],
123456789101121232526273237404245
  46495355606264 ],
123456789101121232526293037404243
  48495355606264 ],
123456789101121232526293237404243
  46515355586264 ],
123456789101121232628293037404243
  46515355606164 ],
123456789101121242527283237404245
  48515355585964 ],
123456789101121242527323740424445
  48495355596062 ],
123456789101121252628293237404245
  46495355585964 ],
123456789101121252629303740424445
  48495355585962 ],
123456789101121262829303740424445
  46515355585961 ],
123456789101213141522252830353741
  42495459626364 ],
123456789101213141820222528303537
  38495354596264 ],
123456789101213142225353738414249
  51525354596264 ],
123456789101213151617212834364248
  49525455596264 ],
123456789101213151617213034384249
  51535459606162 ],
123456789101213151620212833343840
  49525960616263 ],
123456789101213151620212833384049
  52535559606162 ],
123456789101213151721252834353738
  42495253585962 ],
123456789101213161721252832343642
  49515354565859 ],
123456789101213161721283438424849
  52545556596264 ],
123456789101213172830343538394046
  49535455596062 ],
123456789101215161719283738414344
  49525354566162 ],
123456789101215161719303738414346
  49515354566062 ],
123456789101215161721283538424344
  49525354556162 ],
123456789101215161721303538424346
  49515354556062 ],
123456789101215162021283435384049
  52545960616263 ],
123456789101215162021283538404952
  53545559606162 ],
123456789101215172128333637424952
  53545960616263 ],
123456789101215182223262728314246
  53545960616264 ],
123456789101215182325262728303941
  46475054616364 ],
123456789101215182526272933414647
  49525759606163 ],
123456789101215182627293033414446
  47485759616263 ],
123456789101215182627303132334144
  45465759616364 ],
123456789101215202325262728314244
  46535457596062 ],
123456789101215202325262731424446
  49515354575960 ],
123456789101215202326272831424448
  53545759606162 ],
123456789101215202326273142444849
  51535457596061 ],
123456789101215202526272831424344
  45465354576062 ],
123456789101215202526273133424445
  49515759606163 ],
123456789101215202526273142434445
  46495153545760 ],
123456789101215202627282932334244
  46475759606364 ],
123456789101215202627283133424445
  46485759606263 ],
123456789101215202627283142434445
  48535457606162 ],
123456789101215202627314243444548
  49515354576061 ],
123456789101216202128343536384048
  49525455596264 ],
123456789101217212833373842495253
  54565960616263 ],
123456789101217232528303439404445
  49545659606264 ],
123456789101218222526272933344247
  49525658596064 ],
123456789101218222526273133344245
  49515658596164 ],
123456789101218222627283133344245
  46485658596264 ],
123456789101218222627293033344244
  47485658596264 ],
123456789101220222526273133364145
  49515558596164 ],
123456789101220222627283133364145
  46485558596264 ],
123456789101220232526313842434450
  51545760616263 ],
123456789101220232527283038394245
  46485053545960 ],
123456789101220232527283138424547
  48545760626364 ],
123456789101220232728313436424445
  47485457606162 ],
123456789101220272831384243464754
  57596061626364 ],
123456789101314182228293035373842
  44475254586263 ],
123456789101314182228293035373842
  47525460626364 ],
123456789101314192122282930343844
  47495254566364 ],
123456789101314192122282930343847
  49525456586063 ],
123456789101315161720212932343844
  47495254626364 ],
123456789101315161721283132343842
  45464953545862 ],
123456789101315162126283233343640
  42505255586264 ],
123456789101315162126283233364042
  44505253606263 ],
123456789101315192122242829303749
  52535455566064 ],
123456789101315192122262728323749
  52535455565864 ],
123456789101315192122262832333436
  37505258626364 ],
123456789101315192122262832333637
  50525355586264 ],
123456789101315212627283235373840
  42495253555864 ],
123456789101316172021282932343644
  47515254566364 ],
123456789101316182225263436374243
  44505358596163 ],
123456789101316182225263436374243
  50535960616364 ],
123456789101316202226343637414344
  48505359616364 ],
123456789101316202226343637414348
  50535859606163 ],
123456789101316212627283234363840
  42495254555864 ],
123456789101317202128293235363738
  44475152536364 ],
123456789101317202129323435363738
  44474952556264 ],
123456789101319212224282930343637
  38495254606364 ],
123456789101319212226272832343637
  38495254586364 ],
123456789101319212228293033343637
  38444749525364 ],
123456789101319212228293033343637
  38474952535860 ],
123456789101416182229303335424447
  49515254555658 ],
123456789101416182229303335424749
  51525455566064 ],
123456789101516171923283132373841
  49535456586162 ],
123456789101516172123283132353842
  49535455586162 ],
123456789101516192122232539414346
  47505153566263 ],
123456789101516192122233239414344
  47505253565863 ],
123456789101516192122252839414546
  47495053565963 ],
123456789101516192122323941454750
  52535659606364 ],
123456789101516192123253839424346
  47505153555762 ],
123456789101516192123323839424344
  47505253555758 ],
123456789101516192125283839424546
  47495053555759 ],
123456789101516192132383942454750
  52535557596064 ],
123456789101517212831323336374245
  49535461626364 ],
123456789101518252627293132334145
  46474957616364 ],
123456789101519212226283234353637
  50525458626364 ],
123456789101519212226283235363750
  52535455586264 ],
123456789101520252627293132334244
  45474957606364 ],
123456789101617192328303132343741
  52535455565861 ],
123456789101617212325283031353642
  51535455566062 ],
123456789101619212223252728324749
  52535859606163 ],
123456789101619212223253243444749
  50515253586163 ],
123456789101619212223272832444647
  48495253596364 ],
123456789101619212225272832434445
  47495253616364 ],
123456789101619212225324547495051
  52535960616364 ],
123456789101619212227283243454647
  48495253586063 ],
123456789101619283031363738404145
  49515455565861 ],
123456789101720212325262832343745
  48505258626364 ],
123456789101720212325262932343748
  49525859606263 ],
123456789101720212325282932343745
  47515258616364 ],
123456789101720212325293234374445
  47495260616263 ],
123456789101720212326282932343746
  51525859606163 ],
123456789101720212326283234374445
  46505260616263 ],
123456789101721283132333738424549
  53545661626364 ],
123456789102123252627283237404245
  48495253555864 ],
123456789102123252629323740424344
  48495253555862 ],
123456789102123262829323740424344
  46515253555861 ],
123456789102125262932374042454849
  52535559606264 ],
123456789102126282932374042454651
  52535559606164 ],
123456789111213141519212227303436
  44474954626364 ],
123456789111213141519212227303436
  47495458606263 ],
123456789111213142027283235373842
  47545760626364 ],
123456789111213142028313435373942
  43515456606162 ],
123456789111213142028313536373942
  43444651545562 ],
123456789111213151719303133364148
  49525455565964 ],
123456789111213151921222427303749
  53545556606264 ],
123456789111213152124273035373840
  42495355606264 ],
123456789111213162124272830363840
  42515354606364 ],
123456789111213192122242730343637
  38495460626364 ],
123456789111213192122273033363738
  44474955626364 ],
123456789111213192122273033363738
  47495558606263 ],
123456789111214151718202126294352
  55565758596063 ],
123456789111214151720212332394145
  47505556586364 ],
123456789111214151720212629394143
  44525556596364 ],
123456789111214151720213239414344
  47505556596063 ],
123456789111214151721233236414245
  47505355575864 ],
123456789111214151721262934364142
  43525758596063 ],
123456789111214151721262936414243
  44525355575964 ],
123456789111214151721323641424344
  47505355575960 ],
123456789111214162027323335424749
  51545556576064 ],
123456789111214172021232529324749
  55585960616263 ],
123456789111214172021232529474849
  51525558596364 ],
123456789111214172021232532454749
  50515558616364 ],
123456789111214172021232545474849
  50525558606263 ],
123456789111214172021232628324650
  55585960616263 ],
123456789111214172021232628464850
  51525558596364 ],
123456789111214172021232632444649
  50515559616364 ],
123456789111214172021232932444647
  48495559626364 ],
123456789111214172021252628294352
  55585960616263 ],
123456789111214172021252628434550
  51525558616364 ],
123456789111214172021252629434449
  51525559616364 ],
123456789111214172021252843474850
  51525558596063 ],
123456789111214172021253243444749
  50515559606163 ],
123456789111215182021262936373940
  43525558596063 ],
123456789111215202126293436374041
  43525357585960 ],
123456789111217232425282930404648
  54555657596162 ],
123456789111217232425293040464849
  51545556575961 ],
123456789111217232428293040445455
  56575859606264 ],
123456789111217232429304044495154
  55565758596064 ],
123456789111217242528293040434546
  48545556576162 ],
123456789111217242529304043454648
  49515455565761 ],
123456789111217242829304043444554
  55565758606264 ],
123456789111217242930404344454951
  54555657586064 ],
123456789111218222426273334424547
  49525658596062 ],
123456789111314151921222627283031
  36535455586264 ],
123456789111314151921222627303136
  49515354555864 ],
123456789111314162026333642444748
  51545557585964 ],
123456789111314181924252930313437
  40495355566162 ],
123456789111314181924293031343637
  38404956586062 ],
123456789111314181924293031343740
  46484953555662 ],
123456789111314182224293031343536
  37424954586062 ],
123456789111314182425293031353741
  49545556576162 ],
123456789111314182429303135374146
  48495455565762 ],
123456789111314202224293031353741
  49545556586062 ],
123456789111315181924252930313338
  40495354566162 ],
123456789111315181924293031333840
  46484953545662 ],
123456789111315192122262728303133
  37555658626364 ],
123456789111315192122262730313337
  49515556586364 ],
123456789111318192429303133343840
  49535458606263 ],
123456789111318192526273031323640
  43465258596063 ],
123456789111318192526273031324043
  52535659606164 ],
123456789111318192627303132364043
  48525859606163 ],
123456789111318192627303132404346
  48525356596064 ],
123456789111415171820212629313243
  45555657586364 ],
123456789111415172021232629313239
  41555658596364 ],
123456789111415172123262931323641
  42535557585964 ],
123456789111415172126293132343641
  42434557586364 ],
123456789111415192122262730313334
  35364951586364 ],
123456789111417202123252629314849
  52555859606263 ],
123456789111417202123293144454647
  48495255606263 ],
123456789111417202125262931434445
  48495255626364 ],
123456789111516182227293033353742
  43465254606263 ],
123456789111518202126293132363739
  40434555586364 ],
123456789111518212224273031373840
  41434553606364 ],
123456789111519212226273031343537
  49515354565864 ],
123456789111520212629313234363740
  41434553575864 ],
123456789111521222427303134373839
  40434555576064 ],
123456789111620222729303335373841
  43465253546062 ],
123456789111719252627303132353641
  43444652535964 ],
123456789111719252627303132354143
  52565960616364 ],
123456789111719262730313235364143
  44485253596164 ],
123456789111719262730313235414346
  48525659606364 ],
123456789112022262729303336414345
  47485255585962 ],
123456789121314182527283034353637
  41464752545762 ],
123456789121314182728303435363741
  47485254576162 ],
123456789121415172021233039414445
  47505255566063 ],
123456789121415172021303941434750
  52555658596364 ],
123456789121415172123303641424445
  47505253555760 ],
123456789121415172130364142434750
  52535557585964 ],
123456789121417202123252628304850
  52555859606263 ],
123456789121518272931334143444546
  52575859606263 ],
123456789121822242526313334424345
  49515256585962 ],
123456789121822242627303233344244
  45474956596264 ],
123456789131516202526273134374243
  44535557585961 ],
123456789131516202627313437424344
  46485355575859 ],
123456789131520252627313435363842
  43465457585960 ],
123456789131520262731343536384243
  48545758596061 ],
123456789151820212526293136373940
  43454849556263 ],
123456789151820212628293136373940
  43454651556163 ],
123456789151821222425273137384041
  43454651536263 ],
123456789151821222427283137384041
  43454849536163 ],
123456789152021252629313436374041
  43454849535762 ],
123456789152021262829313436374041
  43454651535761 ],
123456789152122242527313437383940
  43454651555762 ],
123456789152122242728313437383940
  43454849555761 ],
1234567810111314181925263437384043
  45465253586364 ],
1234567810111314182526353738414345
  46525457586364 ],
1234567810111316172634363740434445
  48525357606163 ],
1234567810111316182633343637414345
  48525457586164 ],
1234567810111617192324343741444546
  52535455566164 ],
1234567810111617192425343741434448
  52535455565964 ],
1234567810131415181923252628373840
  46535658596264 ],
1234567810131415181923252637384046
  49515356585964 ],
1234567810131415181925262837384043
  45465356586264 ],
1234567810131415181925263738404345
  46495153565864 ],
1234567810131418222326283537424446
  54555658596162 ],
1234567810131418222326283537424654
  55565960616264 ],
1234567810131418222326353742444649
  51545556585961 ],
1234567810131418222326353742464951
  54555659606164 ],
1234567810131418222628353742434445
  46545556586162 ],
1234567810131418222635374243454649
  51545556606164 ],
1234567810151618222324253335374245
  49515458616364 ],
1234567810151618222324283335374245
  46485458626364 ],
1234567811131415171923263031374148
  53555859616364 ],
1234567811131415181923252630313740
  43535558616364 ],
1234567811131415181923263031374043
  46485355586364 ],
1234567811131415181925263031374045
  53555859616364 ],
1234567811131416172326303136404448
  53555759606163 ],
1234567811131517232526303135364043
  44535456576061 ],
1234567811131517232630313536404344
  46485354565760 ],
1234567811131517263031353640444546
  48535456575960 ],
1234568910111314161825262830353739
  40424850536263 ],
1234568910111314161825282930353739
  40424751536163 ],
1234568910111314161825293034353739
  40424749556162 ],
1234568910111314161826283034353739
  40424650556162 ],
1234568910111314162526283035374041
  42485053576263 ],
1234568910111315161819222426303947
  49505153545663 ],
1234568910111315161819222729303946
  47485053545663 ],
1234568910111315161824262830353839
  40424750536263 ],
1234568910111315161825272930353839
  40424750536163 ],
1234568910111315161825293033353839
  40424749546162 ],
1234568910111315161826283033353839
  40424650546162 ],
1234568910111315161826283035363839
  40424350565962 ],
1234568910111315161922242630414749
  50515354565763 ],
1234568910111315161922272930414647
  48505354565763 ],
1234568910111315162426283035384041
  42475053576263 ],
1234568910111315162527293035384041
  42475053576163 ],
1234568910111315162628303536384041
  42435056575962 ],
1234568910111316182425262830353940
  42474850586264 ],
1234568910111316182426283035394042
  44464750606162 ],
1234568910111316182526283033353639
  40424850545662 ],
1234568910111316182528293033353639
  40424751545661 ],
1234568910111316182628303435394042
  43505355596263 ],
1234568910111316182628303539404243
  44505859606264 ],
1234568910111316242526283035404142
  47485057586264 ],
1234568910111316242628303540414244
  46475057606162 ],
1234568910111316262830343540414243
  50535557596263 ],
1234568910111316262830354041424344
  50575859606264 ],
1234568910111318192225272930343536
  37394750566163 ],
1234568910111318192225272930353637
  39475053555661 ],
1234568910111415161823262830373839
  40424550536263 ],
1234568910111416182325262830373940
  42454850586264 ],
1234568910111416182325262930373940
  42484958596062 ],
1234568910111416182325282930373940
  42454751586164 ],
1234568910111416182326283037394042
  44454650606162 ],
1234568910111416182628303637394042
  43505356596263 ],
1234568910111516182324262830383940
  42454750586264 ],
1234568910111516182324262930383940
  42474958596062 ],
1234568910111516182325272930383940
  42454750586164 ],
1234568910111516182325293038394042
  43454749596162 ],
1234568910111516182326272930383940
  42465058596061 ],
1234568910111516182326283038394042
  43454650596162 ],
1234568910111516182426283038394042
  43444750596062 ],
1234568910111516182628303839404244
  46505860616264 ],
1234568910111518192223252627293037
  39505658596164 ],
1234568910111518192223262729303739
  46485056585964 ],
1234568910111618232426283036394042
  44454750566062 ],
1234568910111618232526283036394042
  43454850565962 ],
1234568910111618242628303639404243
  47505658596264 ],
1234568910111819222327293036373839
  44454647506164 ],
1234568910111819222327293036373839
  45464750586061 ],
1234568910121314181920253135384147
  49505153566163 ],
1234568910121314181922253135363947
  49505155566163 ],
1234568910121314182025262931384048
  49535455565762 ],
1234568910121314182026282931384046
  51535455565761 ],
1234568910121314182526293136383940
  42484954556263 ],
1234568910121314182628293136383940
  42465154556163 ],
1234568910121314192025313435383947
  49505155565761 ],
1234568910121314202526293134383940
  41484954566263 ],
1234568910121314202628293134383940
  41465154566163 ],
1234568910121315161720253135384147
  49505153576163 ],
1234568910121315161722253135363947
  49505155576163 ],
1234568910121315161819222731394647
  48515354566263 ],
1234568910121315161825273135383940
  42475153616263 ],
1234568910121315161920253133383947
  49505155576163 ],
1234568910121315161922253133364147
  49505153576163 ],
1234568910121315161922273141464748
  51535456576263 ],
1234568910121315161922283133364146
  47485053576263 ],
1234568910121315162527313538404142
  47515357616263 ],
1234568910121315172025262931374148
  49535455565762 ],
1234568910121315172026282931374146
  51535455565761 ],
1234568910121315172526293136373941
  42484954556263 ],
1234568910121315172628293136373941
  42465154556163 ],
1234568910121315202526293133373940
  41484955566263 ],
1234568910121315202628293133373940
  41465155566163 ],
1234568910121315252629313336374041
  42484953555762 ],
1234568910121316181920253133364147
  49505155566163 ],
1234568910121317202526293134363738
  41484954576263 ],
1234568910121317202628293134363738
  41465154576163 ],
1234568910121318192225273134353637
  39475156616263 ],
1234568910121318192225273135363739
  47515355566162 ],
1234568910121415171822253135384147
  49505153546163 ],
1234568910121415171825262931354248
  49535455565762 ],
1234568910121415172225313435383947
  49505154555761 ],
1234568910121415172526293134353941
  42484954566263 ],
1234568910121415181922252627314549
  51565758596164 ],
1234568910121415181922262728314546
  48565758596264 ],
1234568910121418192023252931384147
  49565859606162 ],
1234568910121418192023253138414547
  49505156586164 ],
1234568910121418192023262831384146
  50565859606162 ],
1234568910121419202325262831383948
  50565758596062 ],
1234568910121419202325282931383947
  51565758596061 ],
1234568910121419202325313839444547
  49505156576061 ],
1234568910121516172023252931384147
  49575859606162 ],
1234568910121516172023253138414547
  49505157586164 ],
1234568910121516172023262831384146
  50575859606162 ],
1234568910121516181922253135363947
  49505153546163 ],
1234568910121516181922283135363946
  47485053546263 ],
1234568910121516182529313839404244
  45474958596162 ],
1234568910121516192025313435383947
  49505153545761 ],
1234568910121518252629313536373940
  42484953545562 ],
1234568910121520252629313435373940
  41484953545662 ],
1234568910121520262829313435373940
  41465153545661 ],
1234568910121617202325262831364148
  50565758596062 ],
1234568910121617202325282931364147
  51565758596061 ],
1234568910121617202325313641444547
  49505156576061 ],
1234568910121618192025313435364147
  49505153545661 ],
1234568910121620252829313639404144
  45464751565964 ],
1234568911121314161720283235374146
  47485053576263 ],
1234568911121314161825273235373940
  42475153616263 ],
1234568911121314161920283233373946
  47485055576263 ],
1234568911121314171920283235384046
  47485053566263 ],
1234568911121314182024262932384047
  49535455565762 ],
1234568911121314182026293032384043
  52535455565759 ],
1234568911121314182426293236383940
  42474954556263 ],
1234568911121314182629303236383940
  42435254555963 ],
1234568911121314192025323335383947
  49505154565761 ],
1234568911121314202426293234383940
  41474954566263 ],
1234568911121314202627293234383940
  41465054566163 ],
1234568911121314202629303234383940
  41435254565963 ],
1234568911121314242629323436384041
  42474953545762 ],
1234568911121315172024262932374147
  49535455565762 ],
1234568911121315172026293032374143
  52535455565759 ],
1234568911121315172426293236373941
  42474954556263 ],
1234568911121315172629303236373941
  42435254555963 ],
1234568911121315202629303233373940
  41435255565963 ],
1234568911121315262930323336374041
  42435253555759 ],
1234568911121316171920283233364046
  47485055566263 ],
1234568911121316182527323335363940
  42475154566162 ],
1234568911121317202426293234363738
  41474954576263 ],
1234568911121317202627293234363738
  41465054576163 ],
1234568911121317202629303234363738
  41435254575963 ],
1234568911121318202426293233363738
  40474955576263 ],
1234568911121415161720232937384147
  49515253575963 ],
1234568911121415161720282937384143
  45475253576263 ],
1234568911121415161722232936373947
  49515255575963 ],
1234568911121415161722282936373943
  45475255576263 ],
1234568911121415171824262932354247
  49535455565762 ],
1234568911121415171826293032354243
  52535455565759 ],
1234568911121415172022232935384247
  49515253545963 ],
1234568911121415172022282935384243
  45475253546263 ],
1234568911121415172426293234353941
  42474954566263 ],
1234568911121415172629303234353941
  42435254565963 ],
1234568911121416172023252932374147
  49575859606162 ],
1234568911121416172023252937414748
  49515257585964 ],
1234568911121416172023253237414547
  49505157586164 ],
1234568911121416172023253741454748
  49505257586062 ],
1234568911121416172023262832374146
  50575859606162 ],
1234568911121416172023262837414648
  50515257585964 ],
1234568911121416172023263237414446
  49505157596164 ],
1234568911121416172023293237414446
  47484957596264 ],
1234568911121416172025262829374143
  52575859606162 ],
1234568911121416172025262937414344
  49515257596164 ],
1234568911121416172025282937414345
  47485257586264 ],
1234568911121416172025293237414344
  45474957616264 ],
1234568911121416172029323741434546
  47484957586062 ],
1234568911121417192023252932384047
  49565859606162 ],
1234568911121417192023262832384046
  50565859606162 ],
1234568911121417192026283238404344
  45465056616264 ],
1234568911121417202223252932354247
  49545859606162 ],
1234568911121417202223252935424748
  49515254585964 ],
1234568911121417202223253235424547
  49505154586164 ],
1234568911121417202223253542454748
  49505254586062 ],
1234568911121417202223262832354246
  50545859606162 ],
1234568911121417202223262835424648
  50515254585964 ],
1234568911121417202223263235424446
  49505154596164 ],
1234568911121417202223293235424446
  47484954596264 ],
1234568911121417202225262829354243
  52545859606162 ],
1234568911121417202225262835424345
  50515254586164 ],
1234568911121417202225262935424344
  49515254596164 ],
1234568911121417202225282935424345
  47485254586264 ],
1234568911121417202225283542434748
  50515254585960 ],
1234568911121417202225293235424344
  45474954616264 ],
1234568911121417202225323542434447
  49505154596061 ],
1234568911121417202226282935424344
  46485254596264 ],
1234568911121417202226283235424344
  45465054616264 ],
1234568911121417202226293542434648
  49515254585960 ],
1234568911121417202226323542434546
  49505154586061 ],
1234568911121417202229323542434546
  47484954586062 ],
1234568911121417222325293032353947
  52545758596061 ],
1234568911121417222325293539464748
  49515254575961 ],
1234568911121417222425262829353947
  52545758606162 ],
1234568911121417222425262935394447
  49515254576164 ],
1234568911121417222528293539434546
  47485254576162 ],
1234568911121417222529303235394344
  45475254576164 ],
1234568911121417262930323536383941
  42435253545559 ],
1234568911121418202629303233343538
  40435256575963 ],
1234568911121420262729323335383940
  41465053555661 ],
1234568911121517182426293233353637
  42474955576263 ],
1234568911121517182629303233353637
  42435255575963 ],
1234568911121517202426293233343537
  41474956576263 ],
1234568911121517202629303233343537
  41435256575963 ],
1234568911121617202325272932364147
  50565758596061 ],
1234568911121617202325293032334147
  52545758596061 ],
1234568911121617202325293341464748
  49515254575961 ],
1234568911121617202325323641434547
  49505156575961 ],
1234568911121617202329334144474951
  52545758596064 ],
1234568911121617202425262829334147
  52545758606162 ],
1234568911121617202425262933414447
  49515254576164 ],
1234568911121617202528293341434546
  47485254576162 ],
1234568911121617202529303233414344
  45475254576164 ],
1234568911121617202829334143444547
  52545758606264 ],
1234568911121618252930323339404244
  45475254585961 ],
1234568911121625293032334041424445
  47525457585961 ],
1234568911121720242629323335363738
  41474953555762 ],
1234568911121720262930323335363738
  41435253555759 ],
1234568911131416172028293135374146
  47485152535763 ],
1234568911131416172029313435374146
  47484952555762 ],
1234568911131416181920293133374146
  47484952556263 ],
1234568911131416192028293133373946
  47485152555763 ],
1234568911131417192028293135384046
  47485152535663 ],
1234568911131417192029313435384046
  47484952555662 ],
1234568911131418192027293135384146
  47485052535663 ],
1234568911131418192029313335384146
  47484952545662 ],
1234568911131418192227293135363946
  47485052555663 ],
1234568911131419202426313435383947
  49505152555657 ],
1234568911131419202526313335383948
  49505152545657 ],
1234568911131419202729313435383946
  47485052555657 ],
1234568911131419202829313335383946
  47485152545657 ],
1234568911131419203031323435383943
  45475052555657 ],
1234568911131516172026313335384146
  49505152545761 ],
1234568911131516172027293135384146
  47485052535763 ],
1234568911131516172029313335384146
  47484952545762 ],
1234568911131516172227293135363946
  47485052555763 ],
1234568911131516181922242627313947
  51525354566263 ],
1234568911131516182024262728303135
  38404753576263 ],
1234568911131516192024262728303138
  39475354555762 ],
1234568911131516192024263133383947
  49505152555763 ],
1234568911131516192027293133383946
  47485052555763 ],
1234568911131516192030313233383943
  45475052555763 ],
1234568911131516192224262731414751
  52535456576263 ],
1234568911131516192227293133364146
  47485052535763 ],
1234568911131518192024262728303135
  37414753566263 ],
1234568911131617202425263135414748
  49505152575864 ],
1234568911131617202530313235414345
  47485052575864 ],
1234568911131617202531323541434546
  47484950576162 ],
1234568911131617202631354143444950
  51525758596064 ],
1234568911131617202829313335364146
  47485152545657 ],
1234568911131618192027293133364146
  47485052555663 ],
1234568911131618202425262730313540
  47484951575864 ],
1234568911131618202426272830313435
  36404755565762 ],
1234568911131618202426272830313540
  44464757606162 ],
1234568911141517182227293135384146
  47485052535463 ],
1234568911141518192227293133383946
  47485052545563 ],
1234568911141617202328293132374145
  46475758606162 ],
1234568911141718222729313435364146
  47485052545556 ],
1234568911141720222325262931354248
  49525458596062 ],
1234568911141720222329313542444546
  47484952546062 ],
1234568911141720222931354243464748
  49525458596264 ],
1234568911141819202729313334384146
  47485052545556 ],
1234568911141920232526313839434548
  49505152565759 ],
1234568911141920272931333839464748
  50525354565763 ],
1234568911151617202327293138414546
  47485052575864 ],
1234568911151617202329313841434546
  47484952575962 ],
1234568911151619203031323435383943
  45475052535457 ],
1234568912131416182527303435373940
  42475152556162 ],
1234568912131418202425262938404748
  53545556575864 ],
1234568912131418202426293840444647
  53545556576061 ],
1234568912131418242526293638394042
  47485455586364 ],
1234568912131418242629363839404244
  46475455606163 ],
1234568912131420242526293438394041
  47485456586364 ],
1234568912131420242628293034383940
  41475152545663 ],
1234568912131420242629343839404144
  46475456606163 ],
1234568912131420252627293034383940
  41485052545663 ],
1234568912131516182527303335383940
  42475152546162 ],
1234568912131517202425262937414748
  53545556575864 ],
1234568912131517202426282930374147
  51525354555657 ],
1234568912131517202629374143445354
  55565758596064 ],
1234568912131517242526293637394142
  47485455586364 ],
1234568912131720242526293436373841
  47485457586364 ],
1234568912131720242628293034363738
  41475152545763 ],
1234568912131720252627293034363738
  41485052545763 ],
1234568912131720262829343637384143
  49515457596263 ],
1234568912141517182425262935424748
  53545556575864 ],
1234568912141517242526293435394142
  47485456586364 ],
1234568912141617202325262830374148
  50525758596062 ],
1234568912141719202325262830384048
  50525658596062 ],
1234568912141719202526283038404344
  45485052566264 ],
1234568912142025262729303335383940
  41485052535556 ],
1234568912151718242526293335363742
  47485557586364 ],
1234568912151718242629333536374244
  46475557606163 ],
1234568912151720242526293334353741
  47485657586364 ],
1234568912151720242628293033343537
  41475152565763 ],
1234568912172024252629333536373841
  47485355575864 ],
1234568912172024262829303335363738
  41475152535557 ],
1234568913141618192025293031323337
  41474955616263 ],
1234568913141618252627303132353739
  40424851536263 ],
1234568913141618262730313234353739
  40424651556162 ],
1234568913141619202528293031323337
  39475155576163 ],
1234568913141819202425263135384147
  50535658606163 ],
1234568913141819222425263135363947
  50555658606163 ],
1234568913141920242526313435383947
  50555657586061 ],
1234568913151617202425263135384147
  50535758606163 ],
1234568913151617222425263135363947
  50555758606163 ],
1234568913151618242627303132353839
  40424751536263 ],
1234568913151618262730313233353839
  40424651546162 ],
1234568913151619202425263133383947
  50555758606163 ],
1234568913151619222425263133364147
  50535758606163 ],
1234568913151619222426313336414446
  47485053576364 ],
1234568913151619222527293031323336
  41475053576163 ],
1234568913151624262730313235384041
  42475153576263 ],
1234568913161819202425263133364147
  50555658606163 ],
1234568913161825262730313233353639
  40424851545662 ],
1234568913162526273031323335364041
  42485154565762 ],
1234568914151718222425263135384147
  50535458606163 ],
1234568914151722242526313435383947
  50545557586061 ],
1234568914161825262730313233343739
  40424851545562 ],
1234568915161718222425263133364147
  50545558606163 ],
1234568915161720242526313334384147
  50545557586061 ],
123456811121315172026283237414649
  5153545556576162 ],
123456811131516172028313538414647
  4849515253576263 ],
123456811131516192028313338394647
  4849515255576263 ],
123456811131516192031333839444647
  4852555758606364 ],
123456812131517202526283037414849
  5152535455565762 ],
123456911121315172023293237414345
  4953545556575962 ],
123456911121315172025293237414648
  4953545556576162 ],
123456911121317202529303234363738
  4148525457586364 ],
123456911121517202329323334353741
  4345495657596263 ],
123456911121517202529323334353741
  4648495657616263 ],
123456911121720252930323335363738
  4148525355575864 ],
123456911131516172025303132353841
  5052535758606163 ],
123456911131516192025303132333839
  5052555758606163 ],
123456911131618192025303132333641
  5052555658606163 ],
123456911151617202530313233343841
  5052545557586061 ]
];


¤ 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.0.347Bemerkung:  (vorverarbeitet am  2026-06-18) ¤

*Bot Zugriff






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.