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 95 kB image not shown  

Quelle  64-23.txt

  Sprache: Text
 

## Group: [6423]
## Difference Sets: 882
## Time:  0:11:04.916

return [
123456789101112131416202227344143
  46505356606263 ],
123456789101112131724263032404344
  46515356576064 ],
123456789101112141618222733343642
  45465055586263 ],
123456789101112141618222734364245
  46505354555862 ],
123456789101112141618222734424550
  54555661626364 ],
123456789101112141618222735424344
  50535556616263 ],
123456789101112161822273334374245
  46505556586263 ],
123456789101112161822273335364244
  47505556586263 ],
123456789101112161822273437424546
  50535455565862 ],
123456789101112161822273536424447
  50535455565862 ],
123456789101112172324263032333440
  46515657586064 ],
123456789101112172426283233364044
  45465255575864 ],
123456789101112172628323740434445
  46525557586163 ],
123456789101112172628323740444546
  52555759616364 ],
123456789101113141617192531363841
  43495153566264 ],
123456789101113141618222432333536
  42495058606263 ],
123456789101113141618222432364243
  45495053556263 ],
123456789101113141618223237424549
  50545561626364 ],
123456789101113141620223233343741
  45464950586263 ],
123456789101113141622283035374142
  48505358596263 ],
123456789101113141622293134364142
  48505358596263 ],
123456789101113141826303141434546
  51525457606164 ],
123456789101113141921222628303850
  53545556586264 ],
123456789101113141921222634363850
  51525354586264 ],
123456789101113141931323436374041
  45525355586162 ],
123456789101113142021313435364045
  48495156606263 ],
123456789101113142029313436374245
  48495055576063 ],
123456789101113142128293235364042
  47495556586063 ],
123456789101113151620213135364048
  49515355596264 ],
123456789101113151620213136404548
  49515354606263 ],
123456789101113151921222627363749
  51525455586364 ],
123456789101113151921222633363750
  51525355586264 ],
123456789101113152029313335363842
  48495055575964 ],
123456789101113152127323536384042
  45495455586162 ],
123456789101113152227293135364142
  48495456585963 ],
123456789101113152229313335364142
  48505356585962 ],
123456789101113161819313637384043
  48495156586263 ],
123456789101113161822243233353742
  49505658606263 ],
123456789101113161822243237424345
  49505355566263 ],
123456789101113161824313236383941
  45525354596263 ],
123456789101113161829313637384143
  48495056575863 ],
123456789101113162021313435384043
  48495156586263 ],
123456789101113162124293236384042
  44515354586263 ],
123456789101113162127323437384042
  45495355586162 ],
123456789101113162128293233384042
  47495356586063 ],
123456789101113162227293134374142
  48495356585963 ],
123456789101113162228303335364142
  48505456585962 ],
123456789101113171924252631414346
  48495153566264 ],
123456789101113171924263031414344
  46515253566064 ],
123456789101113172125263142434548
  49515356606264 ],
123456789101113181924303136404547
  48515258606364 ],
123456789101113181930313640434546
  48515259606163 ],
123456789101113181931364043454849
  51585960626364 ],
123456789101113182931333536414849
  50535557596364 ],
123456789101113192122262734373849
  51525354565864 ],
123456789101113192122262830333637
  38505558626364 ],
123456789101113192426313236404144
  48525358596264 ],
123456789101113192431323640414445
  47525358606162 ],
123456789101113192526313236404143
  47525358606264 ],
123456789101113192531323640414345
  48525358596162 ],
123456789101113202125263136404548
  49515859606263 ],
123456789101113202223243233353638
  41495053565962 ],
123456789101114151618192936374048
  49525355596264 ],
123456789101114151619313233344041
  45525358616263 ],
123456789101114151620272931343542
  48535557596264 ],
123456789101114151621273234354042
  45495558616263 ],
123456789101114151921222633343550
  51525356586264 ],
123456789101114152128293233384042
  47495455586063 ],
123456789101114152229313334374142
  48505355585962 ],
123456789101114161718193132343845
  46525354626364 ],
123456789101114161719242529333438
  41495253616263 ],
123456789101114161719252933343841
  46474952536263 ],
123456789101114161719252934363738
  41495253585962 ],
123456789101114162227293135364142
  48495355585963 ],
123456789101114162228303334374142
  48505455585962 ],
123456789101114171819313234353745
  46525355566264 ],
123456789101114172425262934404548
  49525760616263 ],
123456789101114172526293440454647
  48495257606263 ],
123456789101114181924252629404849
  52535559616264 ],
123456789101114182326303133354146
  51525759606164 ],
123456789101114182425262933354148
  49525759616264 ],
123456789101114182526293335414647
  48495257596264 ],
123456789101114202123252629404849
  52535559606264 ],
123456789101114202123262829404651
  52535559606164 ],
123456789101114202125262934404345
  48495260626364 ],
123456789101114202126282934404345
  46515260616364 ],
123456789101114202131333536404849
  51535659626364 ],
123456789101114202426282933354244
  51525759606164 ],
123456789101114202628293335424446
  47515257596064 ],
123456789101114212326282932404246
  48495558596364 ],
123456789101114212328293240424546
  47495558606163 ],
123456789101115161718193132333745
  46525355626364 ],
123456789101115212429323337384042
  44515354555862 ],
123456789101115222326272931414246
  47495458606364 ],
123456789101115222326293133414246
  47505358606264 ],
123456789101115222327293141424546
  48495458596163 ],
123456789101115222329313341424546
  48505358596162 ],
123456789101116192122232428304850
  53585960616263 ],
123456789101116192122232428464849
  50525359606364 ],
123456789101116192122232830434647
  48505360626364 ],
123456789101116192122232843474849
  50525358606163 ],
123456789101116192122242527284552
  53585960616263 ],
123456789101116192122242528434549
  50525360616364 ],
123456789101116192122242728444546
  48525359626364 ],
123456789101116192122242830434445
  48505361626364 ],
123456789101116192122252845464749
  50525358596063 ],
123456789101116192122283044454647
  48505358596263 ],
123456789101116193132373840414552
  53545558616263 ],
123456789101116222324283041424547
  48505358596263 ],
123456789101116222326283033414246
  47505458606264 ],
123456789101116222326283041424346
  47505359606263 ],
123456789101116222328303341424546
  48505458596162 ],
123456789101116222830343641424850
  53555658596263 ],
123456789101117181924252631323552
  53565859606264 ],
123456789101117181924313235444546
  47525356606264 ],
123456789101117181925313235434546
  48525356596264 ],
123456789101117181926313235434447
  48525356586264 ],
123456789101117192324263031333441
  46515256586064 ],
123456789101117192425262934374146
  48495253585962 ],
123456789101117212325263135424849
  51565960626364 ],
123456789101117212426282933344245
  51525658606164 ],
123456789101117212426282933364244
  45465152555864 ],
123456789101117212426282935364244
  46515253585960 ],
123456789101117212426282935424451
  52565960616364 ],
123456789101117212526293437424548
  49525358596062 ],
123456789101117212526293742444548
  49525559626364 ],
123456789101117212628293334424546
  47515256586064 ],
123456789101117212628293336424445
  47515255586164 ],
123456789101117212628293437424546
  51525358596061 ],
123456789101117212628293536424447
  51525358596061 ],
123456789101117212628293542444647
  51525659606364 ],
123456789101117212628293742444546
  51525559616364 ],
123456789101117232526313237394045
  46525355606264 ],
123456789101117232631323739404445
  48525355586162 ],
123456789101117242531323739404445
  48525355596062 ],
123456789101118192526313536404647
  48495153596264 ],
123456789101118192630313436404546
  47515254586064 ],
123456789101118242526272931353641
  48535759616264 ],
123456789101119212226353738505152
  53545556586264 ],
123456789101120212526313536404445
  48495153596264 ],
123456789101120242628293336424445
  47515255575964 ],
123456789101120242628293436424547
  51525457585960 ],
123456789101120252627293436424548
  50525457585960 ],
123456789101121232429323740424445
  46515355586162 ],
123456789101121232526293237404243
  46515355586264 ],
123456789101121242627283236404244
  48515455585964 ],
123456789101121242728323640424445
  47515455586061 ],
123456789101121252627283236404243
  47515455586064 ],
123456789101121262932374042454851
  53555859616264 ],
123456789101213141520252731353842
  43495153555764 ],
123456789101213141520253135384243
  50515355576264 ],
123456789101213141522283035374142
  48495458596263 ],
123456789101213141522293134364142
  48495458596263 ],
123456789101213141618222732364243
  44495053556163 ],
123456789101213141820222529313849
  53545556596264 ],
123456789101213141820222535373849
  51525354596264 ],
123456789101213141830323536373941
  44525455596162 ],
123456789101213142028323536373942
  44515455596162 ],
123456789101213151730323536383940
  44525455596162 ],
123456789101213151819243033373840
  46484951536263 ],
123456789101213151824293033373841
  46484950535763 ],
123456789101213152027323536383942
  44505455596162 ],
123456789101213152028313537384243
  48495055575863 ],
123456789101213152229313334374142
  48495356585962 ],
123456789101213161721253034384243
  49515455566264 ],
123456789101213161728323637383940
  44515356596162 ],
123456789101213161730323437383940
  44525355596162 ],
123456789101213161820222527363750
  51525355596364 ],
123456789101213161820222533363749
  51525455596264 ],
123456789101213161827323637383941
  44505356596162 ],
123456789101213161830323337383941
  44525354596162 ],
123456789101213162021253033343638
  40495155585962 ],
123456789101213162022273237414346
  49505355566063 ],
123456789101213162025273134384243
  49515455565764 ],
123456789101213162027323437383942
  44505355596162 ],
123456789101213162028323337383942
  44515354596162 ],
123456789101213162228303334374142
  48495456585962 ],
123456789101213172832353639404451
  53545559616263 ],
123456789101213181924303334363740
  46484951555662 ],
123456789101213182022252735363850
  51525354565964 ],
123456789101213182022252931333637
  38495559626364 ],
123456789101213182732353639414450
  53545559616263 ],
123456789101214151617283235363940
  44515659616263 ],
123456789101214151617303234353940
  44525559616263 ],
123456789101214151618252729333641
  43495255565764 ],
123456789101214151618252933364143
  50525556576264 ],
123456789101214151618273235363941
  44505659616263 ],
123456789101214151618303233353941
  44525459616263 ],
123456789101214151620273234353942
  44505559616263 ],
123456789101214151620283233353942
  44515459616263 ],
123456789101214151728323637383940
  44515455596162 ],
123456789101214151824252729333538
  41495253576163 ],
123456789101214151824252933353841
  50525357616263 ],
123456789101214151825272933353841
  46474952535763 ],
123456789101214151827323637383941
  44505455596162 ],
123456789101214152022273233343741
  44464950555963 ],
123456789101214152023252731333538
  42495153576063 ],
123456789101214152023253133353842
  50515357606263 ],
123456789101214152229313335364142
  48495355585962 ],
123456789101214161723253033343638
  40495156576062 ],
123456789101214161820222533343549
  51525456596264 ],
123456789101214161822232732333436
  42495055586163 ],
123456789101214162023252730333438
  42505153576063 ],
123456789101214162228303335364142
  48495455585962 ],
123456789101214173032363739404452
  53545559616263 ],
123456789101214182022252734373850
  51525354555964 ],
123456789101214182022252931333435
  38495659626364 ],
123456789101214202325282932394247
  48505558596364 ],
123456789101215161819242833364046
  48495253545562 ],
123456789101215161819283637404348
  49525455565862 ],
123456789101215161819283637404849
  52545556596264 ],
123456789101215192122232428304849
  54585960616263 ],
123456789101215192122232830434647
  48495460626364 ],
123456789101215192122242830434445
  48495461626364 ],
123456789101215192122283044454647
  48495458596263 ],
123456789101215202832363839424451
  53545559616263 ],
123456789101215222324283041424547
  48495458596263 ],
123456789101215222326272830414246
  47505458606364 ],
123456789101215222326283041424346
  47495459606263 ],
123456789101215222327283041424546
  48505458596163 ],
123456789101215222931353741424849
  54555658596263 ],
123456789101216172123253033343842
  49515456606263 ],
123456789101216172125283336384244
  45495254556263 ],
123456789101216172425283334353840
  49525556576162 ],
123456789101216172528333435384046
  47495255565762 ],
123456789101216172528333637384044
  45495255565762 ],
123456789101216181925283336373840
  43495255566264 ],
123456789101216181925283336373840
  49525556585962 ],
123456789101216182425272833353841
  50525356576163 ],
123456789101216182425272930333436
  38415354576162 ],
123456789101216182425293334384150
  52545657616263 ],
123456789101216182527283335384146
  47505253565763 ],
123456789101216182527283536373841
  50525356575859 ],
123456789101216182527293436373841
  49525456575859 ],
123456789101216182529343637384150
  52545657585962 ],
123456789101216202227323334374145
  46495055565863 ],
123456789101216202325273133343842
  49515456576063 ],
123456789101216202325313334384250
  51545657606263 ],
123456789101216202527283337384244
  45505253555763 ],
123456789101216202527283435373842
  50525355575859 ],
123456789101217192425262833344148
  49525659616264 ],
123456789101217192425262834364146
  48495254585962 ],
123456789101217212325263042434448
  49515455566264 ],
123456789101217212526304243454849
  51545556606264 ],
123456789101217232425263033344046
  48495156576062 ],
123456789101217232526283236394046
  47515455616264 ],
123456789101217242526283336404445
  46484952555762 ],
123456789101217242628323639404546
  48515455586162 ],
123456789101218192425262833364043
  46484952556264 ],
123456789101218192425262833364046
  48495255585962 ],
123456789101218202223242538454749
  51525354596264 ],
123456789101218202223263843444749
  51525354596162 ],
123456789101218202225293134353637
  38495354596264 ],
123456789101218242526272835414348
  50525657586163 ],
123456789101218242526272835414850
  52565759616364 ],
123456789101218242526272933344143
  48495256575861 ],
123456789101218242526293334414850
  52565759616264 ],
123456789101218242527293336414445
  46474952555761 ],
123456789101218252627283541434647
  48505256575863 ],
123456789101218252627283541464748
  50525657596364 ],
123456789101218252627293334414346
  47484952565758 ],
123456789101218252729333641434445
  49525557585964 ],
123456789101218252933364143444550
  52555758596264 ],
123456789101219212223242538444649
  51525354596264 ],
123456789101219212223253843444749
  51525354586162 ],
123456789101219212224253843454649
  51525354586062 ],
123456789101219212225384547495152
  53545960616264 ],
123456789101220212325262840434849
  52545556586062 ],
123456789101220212325262840484952
  54555659606264 ],
123456789101220232526273236394244
  47505455606264 ],
123456789101220242627323639424445
  48505455586062 ],
123456789101314151921222628303249
  50545556586364 ],
123456789101314151928313637384041
  45515253586162 ],
123456789101314152022283133353741
  45464951525863 ],
123456789101314152022283133374143
  46495152545560 ],
123456789101314161819283132363840
  43484953565862 ],
123456789101314161819283132363840
  48495356596264 ],
123456789101314161820222529313249
  50535556596364 ],
123456789101314161820222532353749
  50515253596364 ],
123456789101314161822242536424345
  48505355586364 ],
123456789101314161822243642434445
  46505355606163 ],
123456789101314161822263642434448
  50535559616364 ],
123456789101314161822283031353642
  43465153546062 ],
123456789101314161824252930323338
  41495354576162 ],
123456789101314162022293033364147
  49515254556064 ],
123456789101314182425272931323536
  41495355565761 ],
123456789101314202223283133353738
  41495152535861 ],
123456789101315161719283132363741
  48495356596264 ],
123456789101315161827293132363741
  43484953565758 ],
123456789101315162028313235374243
  48495455575862 ],
123456789101315162028313235374248
  49545557596264 ],
123456789101315181924293032333840
  46484953545662 ],
123456789101315202428313537383942
  45515253555962 ],
123456789101316172425283132353840
  49535556576162 ],
123456789101316182022253233353649
  50515254565964 ],
123456789101316182224253742434548
  50535556586364 ],
123456789101316182224263334364248
  50565859606364 ],
123456789101316182224263336424344
  48505355565864 ],
123456789101316182224283037424345
  50515253555663 ],
123456789101316182224283136424345
  49515254555663 ],
123456789101316182228303135363742
  51545960616263 ],
123456789101316182228303135374243
  46515354566062 ],
123456789101316202223283133364143
  47495152535556 ],
123456789101316202224283031343641
  43455153545662 ],
123456789101316202228313334364145
  47495152565963 ],
123456789101316202428313436383942
  45515254555962 ],
123456789101317192425262831324148
  49535659616264 ],
123456789101317192426283031324144
  52535659606164 ],
123456789101318202225293132333536
  38495056596364 ],
123456789101318242526272931324143
  48495356575861 ],
123456789101319212226283032333437
  38495056586364 ],
123456789101319242528313640414547
  48515253586162 ],
123456789101319242628313640414446
  48515253596162 ],
123456789101319252628313640414346
  47515253606162 ],
123456789101319283133343640414551
  52535455586162 ],
123456789101319283136404143444551
  52535859606162 ],
123456789101415161928313334364041
  45515256586162 ],
123456789101415162023252729313233
  42495355576063 ],
123456789101415162023252931323342
  50535557606263 ],
123456789101415162025293132334244
  45505355576263 ],
123456789101415171819283135373845
  46515253566264 ],
123456789101415182425293132333841
  50535455576162 ],
123456789101416171819283134363845
  46515254566264 ],
123456789101416172325293032343637
  38404953576062 ],
123456789101416172529303234363738
  40444549535762 ],
123456789101416182022253233343749
  50515254555964 ],
123456789101416182223283031333542
  51545556586162 ],
123456789101416182228303133343536
  42454651545862 ],
123456789101417192425262930324148
  49535559616264 ],
123456789101418192324283031324045
  46485253555864 ],
123456789101418202225293132333437
  38495055596364 ],
123456789101419212226283032333536
  38495055586364 ],
123456789101420232527293132343536
  37424953555760 ],
123456789101421232528293040424547
  48495255586063 ],
123456789101421232628293040424446
  48495255596063 ],
123456789101421252628293040424344
  45495255606163 ],
123456789101516171819283133363745
  46515255566264 ],
123456789101516172123293032374244
  48495354556263 ],
123456789101516172129303237424548
  49535455606263 ],
123456789101516181924293032333437
  40464849536263 ],
123456789101516181928313235363740
  43484956586263 ],
123456789101516181928313235363740
  48495659626364 ],
123456789101516182427283132333641
  46485053545557 ],
123456789101516202327293132374244
  48495354555763 ],
123456789101516202428313334353942
  45515255565962 ],
123456789101516212429303334354042
  44515255565862 ],
123456789101519212226283032343536
  37495054586364 ],
123456789101617212325293032343738
  42495354606263 ],
123456789101617212529303234373842
  44454953546263 ],
123456789101617232528313235363738
  40495356576062 ],
123456789101618202223242532454749
  50515253596364 ],
123456789101618202223253233454649
  50515254596164 ],
123456789101618202223263233444749
  50515254586164 ],
123456789101618202223263243444749
  50515253596163 ],
123456789101618202225323436495051
  52535556596364 ],
123456789101618222328303133353637
  42515455586162 ],
123456789101618222830313334353742
  45465154565862 ],
123456789101618242527283132333841
  50535455565761 ],
123456789101619212223242532444649
  50515253596364 ],
123456789101619212223253243444749
  50515253586163 ],
123456789101619212224252730324549
  51535859606163 ],
123456789101619212224253243454649
  50515253586063 ],
123456789101619212224273032444546
  48495153596364 ],
123456789101619212225324547495051
  52535960616364 ],
123456789101619283136373840414551
  52545556586162 ],
123456789101620232528313233353738
  42495354576062 ],
123456789101718192425262831354651
  52535659606162 ],
123456789101718192425283135454647
  48515253566264 ],
123456789101718192628313543444647
  48515253566162 ],
123456789101718192831333435454651
  52535455566264 ],
123456789101718192831354344454651
  52535659606264 ],
123456789101719232426283031323436
  41465254586064 ],
123456789101719232628303132343641
  47525458606164 ],
123456789101719232628303132343741
  46525359606164 ],
123456789101719242628303132343641
  44454652545864 ],
123456789101719242628303132414552
  54555658606164 ],
123456789101719262830313234364144
  45475254586164 ],
123456789101723242526283132353640
  46484953576062 ],
123456789101723242526293032343740
  46484953576062 ],
123456789101724252628313235364044
  45464849535762 ],
123456789101724252629303234374044
  45464849535762 ],
123456789101819242526283132353640
  46484953585962 ],
123456789101819242526293032343740
  46484953585962 ],
123456789101819242628303132333640
  44454652555864 ],
123456789101819262830313237404344
  45465255586163 ],
123456789101819262830313237404445
  46525559616364 ],
123456789101820222325293132333845
  46495059616364 ],
123456789101820222326293132333844
  47495058616364 ],
123456789101823242628303132353641
  43465253575960 ],
123456789101824252627283132414850
  54555657596164 ],
123456789101824262830313235364143
  44454652535759 ],
123456789102021232429303234374044
  45464849536062 ],
123456789102021242829303234374043
  44464851535960 ],
123456789102021283132353637404348
  49535456586263 ],
123456789102123242529303740424445
  48515253555862 ],
123456789102123252629303740424344
  46515253556062 ],
123456789102124293037404243444651
  52535558596162 ],
123456789102126293037404244454851
  52535559606162 ],
123456789111213162127283033384042
  47515356586063 ],
123456789111214172123262732424344
  46495153556164 ],
123456789111214202123242728324045
  46485355586264 ],
123456789111214212326273040424446
  48495559606263 ],
123456789111215202831333839424651
  53555659606263 ],
123456789111217202124252628293352
  55565859606264 ],
123456789111218232430313339414546
  47525556596062 ],
123456789111220212326273237404446
  49515558596163 ],
123456789111220232426273233344243
  47495156575860 ],
123456789111220232426273242434447
  49515455565764 ],
123456789111220242832333642444648
  49505557586064 ],
123456789111314151729303637384045
  48495052576063 ],
123456789111314152021272930353840
  48525355596264 ],
123456789111314152021272930384045
  48525354606263 ],
123456789111314152229303335374142
  48505253585962 ],
123456789111314161822242731323542
  49545658606263 ],
123456789111314162022273132343741
  45495354616264 ],
123456789111314162227283135374142
  48495253585963 ],
123456789111314162229303334364142
  48505254585962 ],
123456789111314172124263536424344
  46515355566064 ],
123456789111314172126343742434546
  51535556606164 ],
123456789111314172126353642434447
  51535556606164 ],
123456789111314192122262728313849
  52535455565864 ],
123456789111314202126343637404546
  51555859606163 ],
123456789111315202224273132353641
  43454953545662 ],
123456789111316182224273132353637
  42495458606263 ],
123456789111316222728313335364142
  48495254565859 ],
123456789111317192425262730414346
  48505152535664 ],
123456789111318192736404345464849
  50515960616263 ],
123456789111319212226272831333637
  38495255586364 ],
123456789111319242627323640414446
  48505253596162 ],
123456789111319252627323640414346
  47505253606162 ],
123456789111415162021232633404651
  53555960616364 ],
123456789111415172123242633353842
  46515358606364 ],
123456789111415172123263335384247
  51535860616364 ],
123456789111415181929303133353638
  40484956596264 ],
123456789111415202124333538404447
  48515359606364 ],
123456789111415202224273132343741
  43454953545562 ],
123456789111415202324263335384247
  51535759606364 ],
123456789111416171925293031343637
  38414349536264 ],
123456789111416172123263334384243
  46515358606163 ],
123456789111416182227313234353742
  45464954586263 ],
123456789111416222728313334374142
  48495254555859 ],
123456789111417212326333435364247
  51555658606164 ],
123456789111516172127293034354248
  52545556596264 ],
123456789111522232429303341424547
  48505253585962 ],
123456789111522232629303341424346
  47505253596062 ],
123456789111618222324273132353637
  42495355596263 ],
123456789111618222327303233353637
  42505455586162 ],
123456789111618222730323334353742
  45465054565862 ],
123456789111619212223242728314849
  52535859606163 ],
123456789111619212223272831434647
  48495253606364 ],
123456789111619212224272831434445
  48495253616364 ],
123456789111619212227283144454647
  48495253585963 ],
123456789111622232427283141424547
  48495253585963 ],
123456789111622232627283133414246
  47495254586064 ],
123456789111622232627283141424346
  47495253596063 ],
123456789111622232728313341424546
  48495254585961 ],
123456789111622272831343641424849
  52535556585963 ],
123456789111622293033353741424850
  52545556585962 ],
123456789111718192425262732354650
  52535659606162 ],
123456789111718192627323543444647
  48505253566162 ],
123456789121314161820222530313349
  51545556596264 ],
123456789121314161825273037384143
  49515254565764 ],
123456789121314161825303738414350
  51525456576264 ],
123456789121314161828303336373841
  43484950525758 ],
123456789121314182022253031333537
  38495159626364 ],
123456789121318283033353741434849
  50525455575863 ],
123456789121415161725303637404445
  50515253555762 ],
123456789121415172123253133353842
  49515253606263 ],
123456789121415181924283031333538
  40464849536263 ],
123456789121416172325303437384050
  51525657606263 ],
123456789121416182227303233343536
  42444749545862 ],
123456789121420212427283040434648
  52535558596264 ],
123456789121522232428313341424547
  48495253585962 ],
123456789121522232628313341424346
  47495253596062 ],
123456789121617242528303133343538
  40495556576162 ],
123456789121617252830313334353840
  46474955565762 ],
123456789121723242526283031333640
  46484955576062 ],
123456789121820222530313334363849
  51555659626364 ],
123456789121823252729303133364143
  49555758596064 ],
123456789131415192426363738404144
  48525358596264 ],
123456789131415192436373840414445
  47525358606162 ],
123456789131415192526363738404143
  47525358606264 ],
123456789131415202224252635374143
  49525354586064 ],
123456789131415202225333537414345
  46484952585963 ],
123456789131415202226333537414447
  48495258596364 ],
123456789131416172426283236384043
  44535657586061 ],
123456789131416182022252730313235
  37515359626364 ],
123456789131416182224252630333642
  43545558606264 ],
123456789131416182224253742434548
  49525455586364 ],
123456789131416182225263037424354
  55596061626364 ],
123456789131416182226273134424348
  53565859606163 ],
123456789131416182226303437424346
  48535459606264 ],
123456789131416182226333437424348
  49525859606163 ],
123456789131416202426283233384244
  53545759606164 ],
123456789131419242534363740414547
  48525355586162 ],
123456789131419242634363740414446
  48525355596162 ],
123456789131419252634363740414346
  47525355606162 ],
123456789131419343637404143444552
  53555859606162 ],
123456789131420222325333537384143
  48495253585961 ],
123456789131420222526333537384143
  44474952535864 ],
123456789131516202728303235374243
  48505254555758 ],
123456789131516202728303235374248
  50525455575964 ],
123456789131519242633363840414446
  48525354596162 ],
123456789131519252633363840414346
  47525354606162 ],
123456789131520222425273135364143
  45485354565864 ],
123456789131520222627313536414344
  48535456596164 ],
123456789131617242526343638394046
  47525455606264 ],
123456789131618202225273031323335
  36515456596264 ],
123456789131618222425262731364243
  54555658606364 ],
123456789131618222627313436424347
  48535456586064 ],
123456789131719242526272830324148
  50525356596164 ],
123456789131719242627283241444950
  53565960616264 ],
123456789141516172325272930323336
  40495255565760 ],
123456789141516172325293032333640
  50525556576062 ],
123456789141516172529303233364044
  45505255565762 ],
123456789141517181924252635373852
  53565859606264 ],
123456789141517181924353738444546
  47525356606264 ],
123456789141517181926353738434447
  48525356586264 ],
123456789141520222627313437414344
  48535455596164 ],
123456789141617181924252634384652
  53545960616263 ],
123456789141617181924253438454647
  48525354626364 ],
123456789141617181934384344454652
  53545960626364 ],
123456789141618202225273031323334
  37515455596264 ],
123456789141718192425263435374652
  53555659606162 ],
123456789141718192425343537454647
  48525355566264 ],
123456789151617181924253337454647
  48525355626364 ],
123456789151620242628323342434445
  47545556575863 ],
123456789152022263334364144474849
  52555658596364 ],
123456789161820222324252730313245
  47515359626364 ],
123456789161820222325273031323345
  46515459616264 ],
123456789161820222326273031323344
  47515458616264 ],
123456789161820222326273031324344
  47515359616263 ],
123456789161820222527303132343651
  53555659626364 ],
123456789161822232427283031353637
  42515253555963 ],
123456789161822253033343537424345
  46485456585962 ],
123456789161921222324252730313244
  46515359626364 ],
123456789161921222325273031324344
  47515358616263 ],
123456789161921222425273031324345
  46515358606263 ],
123456789161921222527303132454751
  53596061626364 ],
123456789181924252627283032353640
  46485052535859 ],
1234567810111213171924252732364144
  45474952586364 ],
1234567810111213181924262732404344
  49525356586061 ],
1234567810111314151819242638404552
  53545860616364 ],
1234567810111314181924263436404552
  54555658606164 ],
1234567810111314181924263536404452
  53555659606164 ],
1234567810111314181926343637404345
  46525560616364 ],
1234567810111314181926343637404546
  52555859606163 ],
1234567810111315161719242633414344
  46525356606364 ],
1234567810111315161819243640454748
  52535458606364 ],
1234567810111315161819364043454648
  52535459606163 ],
1234567810111315171924263337384144
  45465253586364 ],
1234567810111315181926333638404345
  46525460616364 ],
1234567810111315181926333638404546
  52545859606163 ],
1234567810111317192426333436374144
  45465255565864 ],
1234567810131415182224253337424345
  48495154555864 ],
1234567810131415202226333741434648
  49515455596064 ],
1234567810131421232528353640424547
  48495556586063 ],
1234567810131421232628353640424446
  48495556596063 ],
1234567810131421252628353640424344
  45495556606163 ],
1234567810131621232425363840424445
  48515354586263 ],
1234567811131415181926273638404546
  54565859606162 ],
1234567811131415181926363840434546
  49505456606164 ],
1234567811131415202123273538404546
  48535559616264 ],
1234567811131415202124263435384045
  49505860616364 ],
1234567811131415202124273538404447
  48535559606264 ],
1234567811131415202126273435384045
  46475860626364 ],
1234567811131415222326273537414246
  47495458606364 ],
1234567811131415222326333537414246
  47505358606264 ],
1234567811131415222327353741424546
  48495458596163 ],
1234567811131415222333353741424546
  48505358596162 ],
1234567811131416192122232434364850
  53585960616263 ],
1234567811131416192122233436434647
  48505360626364 ],
1234567811131416192122243436434445
  48505361626364 ],
1234567811131416192122343644454647
  48505358596263 ],
1234567811131416222324343641424547
  48505358596263 ],
1234567811131416222326333436414246
  47505458606264 ],
1234567811131416222326343641424346
  47505359606263 ],
1234567811131416222333343641424546
  48505458596162 ],
1234567811131519212223243335364850
  53565859606162 ],
1234567811131519212223333536434647
  48505356606264 ],
1234567811131519212224333536434445
  48505356616264 ],
1234567811131519212233353644454647
  48505356585962 ],
1234567811131522232427353641424547
  48495456585963 ],
1234567811131522232433353641424547
  48505356585962 ],
1234567811131522232627353641424346
  47495456596063 ],
1234567811131522232633353641424346
  47505356596062 ],
1234567811131622232427343741424547
  48495356585963 ],
1234567811131622232627333437414246
  47495456586064 ],
1234567811131622232627343741424346
  47495356596063 ],
1234567811131622232733343741424546
  48495456585961 ],
1234567812131415192122232434364849
  54585960616263 ],
1234567812131415192122232436444849
  53545559616264 ],
1234567812131415192122232533364749
  55585960616263 ],
1234567812131415192122233336444647
  48495559626364 ],
1234567812131415192122233436434647
  48495460626364 ],
1234567812131415192122243643454849
  53545558606162 ],
1234567812131415192122253336434445
  47495561626364 ],
1234567812131415192122333643454647
  48495558606263 ],
1234567812131415222324343641424547
  48495458596263 ],
1234567812131415222326273436414246
  47505458606364 ],
1234567812131415222326343641424346
  47495459606263 ],
1234567812131415222327343641424546
  48505458596163 ],
1234567812131418202223242538454749
  53545556596264 ],
1234567812131418202223252738454650
  53545556596164 ],
1234567812131418202223262738444750
  53545556586164 ],
1234567812131418202223263843444749
  53545556596162 ],
1234567812131419212223242538444649
  53545556596264 ],
1234567812131419212223253843444749
  53545556586162 ],
1234567813141517192324252732363841
  45495456586164 ],
1234567813141517192324262732373841
  44495356586164 ],
1234567813141517192324263237384144
  50535658616264 ],
1234567813141517192425273236384143
  44495456596061 ],
1234567813141517192426273237384145
  49535658606164 ],
1234567813141517192426323738414550
  53565860616264 ],
1234567813141518222425262730333742
  43515455586064 ],
1234567813141518222433374244454750
  51525455606164 ],
1234567813141518222526313337424351
  54555960616264 ],
1234567813141520222425262728333741
  43525455586064 ],
1234567813141520222427283337414445
  46475254555860 ],
1234567813141520222627283337414447
  48525455585964 ],
1234567813141520222633374143474850
  51525455586064 ],
1234567813141618222426333536424850
  51525859606364 ],
1234567813141618222526273033354243
  44475153565864 ],
1234567813141618222526283135424346
  49545658596063 ],
1234568910111314152022273135384042
  48505153555964 ],
1234568910111314152022273138404245
  48505153546063 ],
1234568910111314152227313638394045
  48505154565760 ],
1234568910111314162021232932333741
  42464951535564 ],
1234568910111314162021282932364142
  45475355596263 ],
1234568910111314162021293233343741
  42454649515863 ],
1234568910111314172124293234363738
  40414951565860 ],
1234568910111314202124293233343738
  41424951545860 ],
1234568910111314202227313436404245
  48505154555660 ],
1234568910111314212227313437394245
  48505153555660 ],
1234568910111314222731343940454850
  51535455576063 ],
1234568910111315212227313338394245
  48505153545660 ],
1234568910111317212429323334384041
  49515354586063 ],
1234568910111319222426303133373941
  44454651525864 ],
1234568910111320212429323436384142
  49515356586063 ],
1234568910111415161819222731363748
  50515355575964 ],
1234568910111415172124262829324041
  48565859606264 ],
1234568910111415181922273133353638
  48505156575964 ],
1234568910111416192225273133343839
  41464750515363 ],
1234568910111417212526282932363840
  41475859606264 ],
1234568910111418192224303134434547
  48515257596063 ],
1234568910111418192227313443454850
  51575859606364 ],
1234568910111721232425293233384041
  46484951535961 ],
1234568910111721242526293233384041
  44464749515364 ],
1234568910121314182025262931384048
  49535455565762 ],
1234568910121314182025263537384048
  49515253545762 ],
1234568910121314182026282931384046
  51535455565761 ],
1234568910121314182026293031384044
  52535455565760 ],
1234568910121314182028293135384046
  47485153565763 ],
1234568910121314182526293136383940
  42484954556263 ],
1234568910121314182628293136383940
  42465154556163 ],
1234568910121314182629303136383940
  42445254556063 ],
1234568910121314192025262831383948
  50535455565762 ],
1234568910121314192224303941454647
  48495154606162 ],
1234568910121316182025262736374048
  50515253555763 ],
1234568910121316182028293133364046
  47485155565763 ],
1234568910121318192224252630333743
  46484951576264 ],
1234568910121318202526273536384048
  50515253545657 ],
1234568910121318202526293133363738
  40484955576263 ],
1234568910121318202628293133363738
  40465155576163 ],
1234568910121318202629303133363738
  40445255576063 ],
1234568910121318262829313337383940
  42465153555661 ],
1234568910121319202526283133363738
  39485055576263 ],
1234568910121319222324252731363941
  46474951606163 ],
1234568910121319222324313941444647
  48505153566162 ],
1234568910121415161820232937384048
  49505253576063 ],
1234568910121415161820272937384044
  45485253576263 ],
1234568910121415161821232936383948
  49505254576063 ],
1234568910121415161821272936383944
  45485254576263 ],
1234568910121415171825262931354248
  49535455565762 ],
1234568910121415171826282931354246
  51535455565761 ],
1234568910121415171826293031354244
  52535455565760 ],
1234568910121415182021232935374248
  49505253556063 ],
1234568910121415182021272935374244
  45485253556263 ],
1234568910121415182526293133353940
  42484955566263 ],
1234568910121415182629303133353940
  42445255566063 ],
1234568910121416222325293034363738
  39404950535760 ],
1234568910121416222527293034363738
  39404445535762 ],
1234568910121417182526293134353638
  42484954576263 ],
1234568910121417182628293134353638
  42465154576163 ],
1234568910121417182629303134353638
  42445254576063 ],
1234568910121418192225272943444549
  52535557585964 ],
1234568910121418192225294344455052
  53555758596264 ],
1234568910121418202326282931384046
  51565758596061 ],
1234568910121418202328293138404546
  47485156575864 ],
1234568910121418202526293133343538
  40484956576263 ],
1234568910121418202628293133343538
  40465156576163 ],
1234568910121418202629303133343538
  40445256576063 ],
1234568910121419202526283133343538
  39485056576263 ],
1234568910121516172325293138394142
  46474959606264 ],
1234568910121516172329313839414244
  47484958596162 ],
1234568910121516182023242931384048
  49575859606162 ],
1234568910121516182023242938404748
  49505257586064 ],
1234568910121516182023293138404346
  47484957606264 ],
1234568910121516182024262729384044
  52575859606162 ],
1234568910121516182024262938404344
  49505257606164 ],
1234568910121516182024272938404445
  47485257586264 ],
1234568910121516182024293138404344
  45484957616264 ],
1234568910121516182029313840444546
  47484957585962 ],
1234568910121516192023283138394346
  47485057606264 ],
1234568910121516192024283138394344
  45485057616264 ],
1234568910121516192028313839444546
  47485057585962 ],
1234568910121516232429313840414244
  46484957585962 ],
1234568910121516232529313840414243
  46474957586062 ],
1234568910121517182628293133353637
  42465155576163 ],
1234568910121517182629303133353637
  42445255576063 ],
1234568910121518202123242931354248
  49555859606162 ],
1234568910121518202123242935424748
  49505255586064 ],
1234568910121518202123293135424346
  47484955606264 ],
1234568910121518202124262729354244
  52555859606162 ],
1234568910121518202124262935424344
  49505255606164 ],
1234568910121518202124272935424445
  47485255586264 ],
1234568910121518202124293135424344
  45484955616264 ],
1234568910121518202126272935424344
  46475255606264 ],
1234568910121518202126293542444647
  49505255585960 ],
1234568910121518202129313542444546
  47484955585962 ],
1234568910121518212324293031353948
  52555758596061 ],
1234568910121518212324293539464748
  49505255576061 ],
1234568910121518212425262729353948
  52555758596162 ],
1234568910121518212425262935394348
  49505255576164 ],
1234568910121518212427293539444546
  47485255576162 ],
1234568910121518212429303135394344
  45485255576164 ],
1234568910121617232528293136394142
  46475156596064 ],
1234568910121617232529303134394142
  46475255596064 ],
1234568910121617232829313639414244
  47485156585961 ],
1234568910121617232930313439414244
  47485255585961 ],
1234568910121618202324282931364048
  51565758596061 ],
1234568910121618202324293031344048
  52555758596061 ],
1234568910121618202324293440464748
  49505255576061 ],
1234568910121618202328293136404346
  47485156576064 ],
1234568910121618202329344043484950
  52555758596064 ],
1234568910121618202425262729344048
  52555758596162 ],
1234568910121618202425262934404348
  49505255576164 ],
1234568910121618202427293440444546
  47485255576162 ],
1234568910121618202429303134404344
  45485255576164 ],
1234568910121618202729344043444548
  52555758596264 ],
1234568910121623242829313640414244
  46485156575859 ],
1234568910121623242930313440414244
  46485255575859 ],
1234568910121623252829313640414243
  46475156575860 ],
1234568910121623252930313440414243
  46475255575860 ],
1234568910121624252829313640414243
  44455156575861 ],
1234568910121624252930313440414243
  44455255575861 ],
1234568910121628293136404142454748
  51565758596061 ],
1234568910121629303134404142454748
  52555758596061 ],
1234568910121718262829313334353738
  42465153565761 ],
1234568910121718262930313334353738
  42445253565760 ],
1234568910121820232428293136373840
  45485157586164 ],
1234568910121820232627384044455051
  52535457586064 ],
1234568910121820232628293136373840
  43465157606164 ],
1234568910121820242627384046475051
  52535457586164 ],
1234568910121820252629313435363738
  40484953545762 ],
1234568910121820262829313435363738
  40465153545761 ],
1234568910121820262930313435363738
  40445253545760 ],
1234568910121920252628313435363738
  39485053545762 ],
1234568910131416182021263235364244
  49505152546063 ],
1234568910131416182021313235364244
  45484951546263 ],
1234568910131416182025262931324048
  49505355565763 ],
1234568910131416182025263235374048
  49505152535763 ],
1234568910131416182026323435374046
  49505152555761 ],
1234568910131416182030313235374044
  45485152535763 ],
1234568910131416182031323536374044
  45484951565762 ],
1234568910131416182130313235363944
  45485152545763 ],
1234568910131416202628323435373940
  41465052556162 ],
1234568910131516182026323335384046
  49505152545761 ],
1234568910131516202628323335383940
  41465052546162 ],
1234568910131617192125323435394950
  51525355596364 ],
1234568910131618202425263132354048
  49515758596162 ],
1234568910131618202425263235404748
  49505152575864 ],
1234568910131618202426303132354044
  51525758596061 ],
1234568910131618202426323540444647
  49505152576061 ],
1234568910131618202430313235404445
  47485152575864 ],
1234568910131618202431323540444546
  47484951576162 ],
1234568910131618202632333540444950
  51525354576063 ],
1234568910131618202632343540434950
  51525355575963 ],
1234568910131618202632354043444950
  51525758596064 ],
1234568910131618203132354043444548
  49515758596264 ],
1234568910131620242526283235394041
  47485052586264 ],
1234568910131620242628323539404144
  46475052606162 ],
1234568910141516171821313236384044
  45484951546263 ],
1234568910141516182026323337384044
  49505152545760 ],
1234568910141516182027313237384044
  45485051535763 ],
1234568910141516182031323337384044
  45484951545762 ],
1234568910141516182123263236383945
  49505152545763 ],
1234568910141516182127313236383944
  45485051545763 ],
1234568910141517182130313235374044
  45485152535563 ],
1234568910141517182131323536374044
  45484951555662 ],
1234568910141518202123263235374245
  49505152535563 ],
1234568910141518202127313235374244
  45485051535563 ],
1234568910141518202131323335374244
  45484951545562 ],
1234568910141518212731323536373944
  45485051555657 ],
1234568910141518213031323335373944
  45485152545557 ],
1234568910141617182130313234364044
  45485152545563 ],
1234568910141617192125323637394950
  51525356596364 ],
1234568910141618202127313234364244
  45485051545563 ],
1234568910141618202632333740464950
  51525354576163 ],
1234568910141618202731323436374044
  45485051555657 ],
1234568910141618203031323334374044
  45485152545557 ],
1234568910141620262832333739404146
  50525354616263 ],
1234568910151618202632384044464950
  51525758606164 ],
1234568910151620262832343839404146
  50525355616263 ],
1234568910151718213031323335364044
  45485152545556 ],
1234568910151821232632333539454950
  51525354555763 ],
1234568910151821303132353639444548
  51525355565763 ],
1234568910161820243031323440434445
  47485152555759 ],
1234568911121314171921252930323839
  52535455565964 ],
1234568911121314182026272932384046
  50535455565761 ],
1234568911121314182026293032384043
  52535455565759 ],
1234568911121314182027293235384046
  47485053565763 ],
1234568911121314182627293236383940
  42465054556163 ],
1234568911121314192125293032384043
  52535455565758 ],
1234568911121316182027293233364046
  47485055565763 ],
1234568911121318202627293233363738
  40465055576163 ],
1234568911121318202629303233363738
  40435255575963 ],
1234568911121318262729323337383940
  42465053555661 ],
1234568911121417192125293032333435
  38395256596364 ],
1234568911121418202629303233343538
  40435256575963 ],
1234568911121419212529303233343538
  40435256575863 ],
1234568911121618202327293236404346
  47485056576064 ],
1234568911121618202329303233404346
  47485254576064 ],
1234568911121623242930323340414244
  46485254575859 ],
1234568911121623252930323340414243
  46475254575860 ],
1234568911121820262729323435363738
  40465053545761 ],
1234568911131416172026313435374146
  49505152555761 ],
1234568911131419202526272931383948
  50525354555657 ],
1234568911131617202425263135414748
  49505152575864 ],
1234568911131617202526313335364148
  49505152545657 ],
1234568911131617202526313541434648
  49505152575961 ],
1234568911131920252627293133363738
  39485052555763 ],
1234568911141516172023263137384145
  49505152535763 ],
1234568911151617202324263138414547
  49505152575864 ],
1234568911151617202326313336384145
  49505152545657 ],
1234568911151619202327293138394346
  47485052576064 ],
1234568911151619202729313839444546
  47485052575859 ],
1234568911161720232526313641434548
  49505152565759 ],
1234568911192025262729313435363738
  39485052535457 ],
1234568912131418202425262938404748
  53545556575864 ],
1234568912131418202426293840444647
  53545556576061 ],
1234568912131418202526272930384048
  50525354555657 ],
1234568912131418202627293840444950
  53545556576062 ],
1234568912131418202628293840434951
  53545556575962 ],
1234568912131418202629384043445354
  55565758596064 ],
1234568912131418242526293638394042
  47485455586364 ],
1234568912131418242629363839404244
  46475455606163 ],
1234568912131418252627293036383940
  42485052545563 ],
1234568912131418252629363839404243
  46485455596163 ],
1234568912131820242526293336373840
  47485557586364 ],
1234568912131820242629333637384044
  46475557606163 ],
1234568912131820252627293033363738
  40485052555763 ],
1234568912131820262729333637384044
  49505557606263 ],
1234568912131820262933363738404344
  55575859606364 ],
1234568912141516182023293738404346
  47485357606364 ],
1234568912141517182425262935424748
  53545556575864 ],
1234568912141517182426293542444647
  53545556576061 ],
1234568912141517182526293542434648
  53545556575961 ],
1234568912141718252627293034353638
  42485052545763 ],
1234568912141820252627293033343538
  40485052565763 ],
1234568912141820262729333435384044
  49505657606263 ],
1234568912141820262829333435384043
  49515657596263 ],
1234568912141820262933343538404344
  56575859606364 ],
1234568912151618202327293038404346
  47485052576064 ],
1234568912151618202729303840444546
  47485052575859 ],
1234568912182024262934353637384044
  46475354576061 ],
1234568912182025262729303435363738
  40485052535457 ],
1234568912182026272934353637384044
  49505354576062 ],
1234568913141618202732353740444548
  49505153576263 ],
1234568913141618203235374043444548
  51535758596364 ],
123456810121318202526272831333637
  3840485051555763 ],
123456810121318202627313336373840
  4649505557616263 ],
123456810121820252627283134353637
  3840485051535457 ],
123456810121820262731343536373840
  4649505354576162 ],
123456811121314182023242632384045
  4753545556575864 ],
123456811121318202324263233363738
  4045475557586364 ],
123456811121318202326323336373840
  4345465557596163 ],
123456811121318202426323336373840
  4344475557596063 ],
123456811121318202632333637384044
  4655575860616364 ],
123456811121820232632343536373840
  4345465354575961 ],
123456812131418202324263038404445
  4752535455565760 ],
123456812131820232627333637384044
  4550555758606364 ]
];


¤ Dauer der Verarbeitung: 0.240 Sekunden  (vorverarbeitet am  2026-06-18) ¤

*© Formatika GbR, Deutschland






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.