loops/data/nilpotent.tbl

311 lines
15 KiB
Plaintext
Raw Permalink Normal View History

2017-10-16 19:43:09 +00:00
#############################################################################
##
#W nilpotent.tbl Small nilptoent loops G. P. Nagy / P. Vojtechovsky
##
#H @(#)$Id: nilpotent.tbl, v 2.2.0 2012/06/28 gap Exp $
##
#Y Copyright (C) 2004, G. P. Nagy (University of Szeged, Hungary),
#Y P. Vojtechovsky (University of Denver, USA)
##
LOOPS_nilpotent_data := [
#implemented orders
[6,8,9,10],
#number of nonassociative loops of given order
[2,134,8,1043],
#the loops
[
#order 6
[
[2,3,8],[2,3,4]
],
#order 8
[
[2,4,256],[2,4,128],[2,4,384],[2,4,64],[2,4,320],[2,4,192],[2,4,448],[2,4,32],
[2,4,288],[2,4,160],[2,4,416],[2,4,96],[2,4,352],[2,4,224],[2,4,480],[2,4,16],
[2,4,272],[2,4,144],[2,4,400],[2,4,80],[2,4,336],[2,4,208],[2,4,464],[2,4,48],
[2,4,304],[2,4,176],[2,4,432],[2,4,112],[2,4,368],[2,4,240],[2,4,496],[2,4,264],
[2,4,136],[2,4,392],[2,4,72],[2,4,200],[2,4,456],[2,4,40],[2,4,296],[2,4,168],
[2,4,104],[2,4,360],[2,4,488],[2,4,280],[2,4,152],[2,4,408],[2,4,88],[2,4,216],
[2,4,472],[2,4,56],[2,4,312],[2,4,184],[2,4,120],[2,4,376],[2,4,504],[2,4,260],
[2,4,132],[2,4,68],[2,4,452],[2,4,292],[2,4,164],[2,4,100],[2,4,484],[2,4,276],
[2,4,148],[2,4,84],[2,4,468],[2,4,308],[2,4,180],[2,4,116],[2,4,140],[2,4,460],
[2,4,300],[2,4,108],[2,4,156],[2,4,476],[2,4,316],[2,4,124],[2,0,256],[2,0,128],
[2,0,384],[2,0,192],[2,0,448],[2,0,288],[2,0,160],[2,0,416],[2,0,96],[2,0,352],
[2,0,224],[2,0,480],[2,0,272],[2,0,400],[2,0,80],[2,0,336],[2,0,208],[2,0,464],
[2,0,112],[2,0,368],[2,0,240],[2,0,496],[2,0,72],[2,0,328],[2,0,200],[2,0,456],
[2,0,344],[2,0,472],[2,0,504],[2,0,292],[2,0,164],[2,0,420],[2,0,484],[2,0,276],
[2,0,148],[2,0,404],[2,0,340],[2,0,468],[2,0,308],[2,0,180],[2,0,436],[2,0,372],
[2,0,140],[2,0,396],[2,0,284],[2,0,412],[2,0,316],[2,0,273],[2,0,401],[2,0,465],
[2,0,433],[2,0,369],[2,0,497],[2,0,345],[2,0,473],[2,0,437]
],
# order 9
[
[3,3,27],[3,3,9],[3,3,36],[3,3,63],[3,3,30],[3,3,57],[3,3,12],[3,3,21]
],
# order 10
[
[2,5,32768],[2,5,16384],[2,5,49152],[2,5,8192],
[2,5,40960],[2,5,24576],[2,5,57344],[2,5,4096],
[2,5,36864],[2,5,20480],[2,5,53248],[2,5,12288],
[2,5,45056],[2,5,28672],[2,5,61440],[2,5,34816],
[2,5,18432],[2,5,51200],[2,5,10240],[2,5,43008],
[2,5,26624],[2,5,59392],[2,5,6144],[2,5,38912],
[2,5,22528],[2,5,55296],[2,5,14336],[2,5,47104],
[2,5,30720],[2,5,63488],[2,5,33792],[2,5,17408],
[2,5,50176],[2,5,9216],[2,5,41984],[2,5,25600],
[2,5,58368],[2,5,5120],[2,5,21504],[2,5,54272],
[2,5,13312],[2,5,46080],[2,5,29696],[2,5,62464],
[2,5,35840],[2,5,19456],[2,5,52224],[2,5,11264],
[2,5,44032],[2,5,27648],[2,5,60416],[2,5,7168],
[2,5,39936],[2,5,23552],[2,5,56320],[2,5,15360],
[2,5,48128],[2,5,31744],[2,5,64512],[2,5,33280],
[2,5,16896],[2,5,49664],[2,5,8704],[2,5,41472],
[2,5,25088],[2,5,57856],[2,5,4608],[2,5,37376],
[2,5,20992],[2,5,53760],[2,5,12800],[2,5,45568],
[2,5,29184],[2,5,61952],[2,5,35328],[2,5,18944],
[2,5,51712],[2,5,10752],[2,5,43520],[2,5,27136],
[2,5,59904],[2,5,6656],[2,5,39424],[2,5,23040],
[2,5,55808],[2,5,14848],[2,5,47616],[2,5,31232],
[2,5,64000],[2,5,34304],[2,5,17920],[2,5,50688],
[2,5,9728],[2,5,42496],[2,5,26112],[2,5,58880],
[2,5,5632],[2,5,38400],[2,5,22016],[2,5,54784],
[2,5,13824],[2,5,46592],[2,5,30208],[2,5,62976],
[2,5,36352],[2,5,19968],[2,5,52736],[2,5,11776],
[2,5,44544],[2,5,28160],[2,5,60928],[2,5,7680],
[2,5,40448],[2,5,24064],[2,5,56832],[2,5,15872],
[2,5,48640],[2,5,32256],[2,5,65024],[2,5,33024],
[2,5,16640],[2,5,49408],[2,5,8448],[2,5,41216],
[2,5,24832],[2,5,57600],[2,5,4352],[2,5,37120],
[2,5,20736],[2,5,53504],[2,5,12544],[2,5,45312],
[2,5,28928],[2,5,61696],[2,5,35072],[2,5,18688],
[2,5,51456],[2,5,10496],[2,5,43264],[2,5,26880],
[2,5,59648],[2,5,6400],[2,5,39168],[2,5,22784],
[2,5,55552],[2,5,14592],[2,5,47360],[2,5,30976],
[2,5,63744],[2,5,34048],[2,5,17664],[2,5,50432],
[2,5,9472],[2,5,42240],[2,5,25856],[2,5,58624],
[2,5,5376],[2,5,38144],[2,5,21760],[2,5,54528],
[2,5,46336],[2,5,29952],[2,5,62720],[2,5,36096],
[2,5,19712],[2,5,52480],[2,5,11520],[2,5,44288],
[2,5,27904],[2,5,60672],[2,5,7424],[2,5,40192],
[2,5,23808],[2,5,56576],[2,5,15616],[2,5,48384],
[2,5,32000],[2,5,64768],[2,5,33536],[2,5,17152],
[2,5,49920],[2,5,8960],[2,5,41728],[2,5,25344],
[2,5,58112],[2,5,37632],[2,5,21248],[2,5,54016],
[2,5,13056],[2,5,45824],[2,5,29440],[2,5,62208],
[2,5,35584],[2,5,19200],[2,5,11008],[2,5,43776],
[2,5,27392],[2,5,60160],[2,5,6912],[2,5,39680],
[2,5,23296],[2,5,56064],[2,5,15104],[2,5,47872],
[2,5,31488],[2,5,64256],[2,5,18176],[2,5,50944],
[2,5,9984],[2,5,42752],[2,5,26368],[2,5,59136],
[2,5,5888],[2,5,38656],[2,5,22272],[2,5,55040],
[2,5,14080],[2,5,46848],[2,5,30464],[2,5,63232],
[2,5,36608],[2,5,20224],[2,5,52992],[2,5,12032],
[2,5,44800],[2,5,28416],[2,5,61184],[2,5,7936],
[2,5,40704],[2,5,57088],[2,5,16128],[2,5,48896],
[2,5,32512],[2,5,65280],[2,5,2176],[2,5,34944],
[2,5,18560],[2,5,51328],[2,5,10368],[2,5,26752],
[2,5,59520],[2,5,6272],[2,5,39040],[2,5,22656],
[2,5,14464],[2,5,47232],[2,5,30848],[2,5,63616],
[2,5,1152],[2,5,33920],[2,5,17536],[2,5,50304],
[2,5,9344],[2,5,25728],[2,5,58496],[2,5,5248],
[2,5,21632],[2,5,54400],[2,5,46208],[2,5,29824],
[2,5,62592],[2,5,3200],[2,5,35968],[2,5,11392],
[2,5,60544],[2,5,7296],[2,5,40064],[2,5,23680],
[2,5,56448],[2,5,15488],[2,5,48256],[2,5,31872],
[2,5,64640],[2,5,640],[2,5,33408],[2,5,17024],
[2,5,49792],[2,5,8832],[2,5,25216],[2,5,4736],
[2,5,37504],[2,5,21120],[2,5,53888],[2,5,12928],
[2,5,29312],[2,5,62080],[2,5,2688],[2,5,35456],
[2,5,19072],[2,5,51840],[2,5,10880],[2,5,6784],
[2,5,39552],[2,5,23168],[2,5,55936],[2,5,14976],
[2,5,47744],[2,5,31360],[2,5,64128],[2,5,1664],
[2,5,34432],[2,5,18048],[2,5,50816],[2,5,26240],
[2,5,5760],[2,5,38528],[2,5,22144],[2,5,54912],
[2,5,13952],[2,5,46720],[2,5,30336],[2,5,63104],
[2,5,3712],[2,5,36480],[2,5,20096],[2,5,52864],
[2,5,11904],[2,5,28288],[2,5,7808],[2,5,40576],
[2,5,24192],[2,5,56960],[2,5,16000],[2,5,48768],
[2,5,32384],[2,5,384],[2,5,33152],[2,5,16768],
[2,5,49536],[2,5,8576],[2,5,24960],[2,5,4480],
[2,5,37248],[2,5,20864],[2,5,53632],[2,5,12672],
[2,5,45440],[2,5,29056],[2,5,61824],[2,5,2432],
[2,5,35200],[2,5,18816],[2,5,51584],[2,5,10624],
[2,5,27008],[2,5,6528],[2,5,39296],[2,5,22912],
[2,5,55680],[2,5,14720],[2,5,47488],[2,5,63872],
[2,5,1408],[2,5,34176],[2,5,17792],[2,5,50560],
[2,5,9600],[2,5,25984],[2,5,5504],[2,5,21888],
[2,5,54656],[2,5,46464],[2,5,30080],[2,5,62848],
[2,5,3456],[2,5,36224],[2,5,19840],[2,5,52608],
[2,5,11648],[2,5,28032],[2,5,7552],[2,5,40320],
[2,5,23936],[2,5,56704],[2,5,15744],[2,5,48512],
[2,5,32128],[2,5,64896],[2,5,896],[2,5,33664],
[2,5,17280],[2,5,50048],[2,5,9088],[2,5,25472],
[2,5,37760],[2,5,21376],[2,5,54144],[2,5,13184],
[2,5,29568],[2,5,62336],[2,5,2944],[2,5,35712],
[2,5,19328],[2,5,11136],[2,5,7040],[2,5,39808],
[2,5,23424],[2,5,56192],[2,5,15232],[2,5,48000],
[2,5,31616],[2,5,64384],[2,5,1920],[2,5,18304],
[2,5,51072],[2,5,26496],[2,5,6016],[2,5,38784],
[2,5,22400],[2,5,55168],[2,5,14208],[2,5,46976],
[2,5,30592],[2,5,63360],[2,5,3968],[2,5,36736],
[2,5,20352],[2,5,53120],[2,5,12160],[2,5,28544],
[2,5,8064],[2,5,40832],[2,5,57216],[2,5,16256],
[2,5,49024],[2,5,32640],[2,5,2112],[2,5,34880],
[2,5,18496],[2,5,51264],[2,5,10304],[2,5,43072],
[2,5,26688],[2,5,59456],[2,5,38976],[2,5,14400],
[2,5,47168],[2,5,63552],[2,5,1088],[2,5,33856],
[2,5,17472],[2,5,50240],[2,5,9280],[2,5,42048],
[2,5,25664],[2,5,58432],[2,5,54336],[2,5,46144],
[2,5,29760],[2,5,62528],[2,5,576],[2,5,33344],
[2,5,16960],[2,5,49728],[2,5,8768],[2,5,41536],
[2,5,25152],[2,5,57920],[2,5,37440],[2,5,53824],
[2,5,12864],[2,5,29248],[2,5,62016],[2,5,2624],
[2,5,35392],[2,5,19008],[2,5,10816],[2,5,43584],
[2,5,59968],[2,5,39488],[2,5,55872],[2,5,14912],
[2,5,47680],[2,5,31296],[2,5,64064],[2,5,1600],
[2,5,17984],[2,5,50752],[2,5,42560],[2,5,26176],
[2,5,58944],[2,5,54848],[2,5,13888],[2,5,46656],
[2,5,30272],[2,5,63040],[2,5,3648],[2,5,36416],
[2,5,20032],[2,5,11840],[2,5,44608],[2,5,40512],
[2,5,15936],[2,5,48704],[2,5,33088],[2,5,49472],
[2,5,8512],[2,5,24896],[2,5,57664],[2,5,37184],
[2,5,53568],[2,5,12608],[2,5,45376],[2,5,28992],
[2,5,61760],[2,5,2368],[2,5,35136],[2,5,10560],
[2,5,43328],[2,5,26944],[2,5,59712],[2,5,39232],
[2,5,14656],[2,5,47424],[2,5,63808],[2,5,1344],
[2,5,50496],[2,5,9536],[2,5,42304],[2,5,25920],
[2,5,58688],[2,5,54592],[2,5,46400],[2,5,30016],
[2,5,62784],[2,5,3392],[2,5,36160],[2,5,52544],
[2,5,11584],[2,5,44352],[2,5,27968],[2,5,40256],
[2,5,56640],[2,5,15680],[2,5,48448],[2,5,32064],
[2,5,64832],[2,5,832],[2,5,33600],[2,5,49984],
[2,5,9024],[2,5,41792],[2,5,25408],[2,5,58176],
[2,5,37696],[2,5,54080],[2,5,13120],[2,5,29504],
[2,5,62272],[2,5,2880],[2,5,35648],[2,5,11072],
[2,5,43840],[2,5,60224],[2,5,39744],[2,5,56128],
[2,5,15168],[2,5,47936],[2,5,31552],[2,5,64320],
[2,5,1856],[2,5,51008],[2,5,42816],[2,5,26432],
[2,5,59200],[2,5,38720],[2,5,55104],[2,5,46912],
[2,5,30528],[2,5,63296],[2,5,3904],[2,5,36672],
[2,5,53056],[2,5,12096],[2,5,44864],[2,5,28480],
[2,5,61248],[2,5,40768],[2,5,57152],[2,5,16192],
[2,5,48960],[2,5,32576],[2,5,2240],[2,5,35008],
[2,5,18624],[2,5,51392],[2,5,10432],[2,5,43200],
[2,5,6336],[2,5,39104],[2,5,22720],[2,5,14528],
[2,5,1216],[2,5,33984],[2,5,17600],[2,5,50368],
[2,5,42176],[2,5,25792],[2,5,5312],[2,5,21696],
[2,5,54464],[2,5,29888],[2,5,33472],[2,5,17088],
[2,5,49856],[2,5,8896],[2,5,41664],[2,5,25280],
[2,5,21184],[2,5,53952],[2,5,29376],[2,5,2752],
[2,5,35520],[2,5,19136],[2,5,10944],[2,5,6848],
[2,5,39616],[2,5,23232],[2,5,15040],[2,5,31424],
[2,5,1728],[2,5,18112],[2,5,50880],[2,5,26304],
[2,5,5824],[2,5,22208],[2,5,54976],[2,5,30400],
[2,5,33216],[2,5,16832],[2,5,49600],[2,5,8640],
[2,5,25024],[2,5,37312],[2,5,20928],[2,5,53696],
[2,5,12736],[2,5,29120],[2,5,2496],[2,5,35264],
[2,5,18880],[2,5,10688],[2,5,6592],[2,5,39360],
[2,5,22976],[2,5,14784],[2,5,1472],[2,5,17856],
[2,5,50624],[2,5,26048],[2,5,5568],[2,5,21952],
[2,5,54720],[2,5,30144],[2,5,3520],[2,5,36288],
[2,5,52672],[2,5,11712],[2,5,28096],[2,5,7616],
[2,5,40384],[2,5,56768],[2,5,15808],[2,5,32192],
[2,5,960],[2,5,33728],[2,5,17344],[2,5,50112],
[2,5,9152],[2,5,25536],[2,5,37824],[2,5,21440],
[2,5,54208],[2,5,13248],[2,5,29632],[2,5,3008],
[2,5,35776],[2,5,19392],[2,5,11200],[2,5,7104],
[2,5,39872],[2,5,23488],[2,5,56256],[2,5,15296],
[2,5,1984],[2,5,18368],[2,5,51136],[2,5,26560],
[2,5,6080],[2,5,22464],[2,5,55232],[2,5,30656],
[2,5,4032],[2,5,36800],[2,5,20416],[2,5,53184],
[2,5,12224],[2,5,28608],[2,5,8128],[2,5,40896],
[2,5,57280],[2,5,16320],[2,5,32704],[2,5,2080],
[2,5,18464],[2,5,10272],[2,5,43040],[2,5,59424],
[2,5,6176],[2,5,22560],[2,5,14368],[2,5,47136],
[2,5,63520],[2,5,1056],[2,5,17440],[2,5,42016],
[2,5,25632],[2,5,58400],[2,5,5152],[2,5,21536],
[2,5,46112],[2,5,29728],[2,5,62496],[2,5,2592],
[2,5,18976],[2,5,10784],[2,5,43552],[2,5,59936],
[2,5,6688],[2,5,23072],[2,5,14880],[2,5,47648],
[2,5,64032],[2,5,17952],[2,5,26144],[2,5,58912],
[2,5,22048],[2,5,30240],[2,5,63008],[2,5,16672],
[2,5,8480],[2,5,24864],[2,5,57632],[2,5,12576],
[2,5,28960],[2,5,61728],[2,5,2336],[2,5,18720],
[2,5,10528],[2,5,43296],[2,5,59680],[2,5,6432],
[2,5,14624],[2,5,47392],[2,5,63776],[2,5,1312],
[2,5,17696],[2,5,42272],[2,5,25888],[2,5,58656],
[2,5,5408],[2,5,46368],[2,5,29984],[2,5,62752],
[2,5,3360],[2,5,11552],[2,5,44320],[2,5,27936],
[2,5,7456],[2,5,15648],[2,5,48416],[2,5,17184],
[2,5,8992],[2,5,25376],[2,5,58144],[2,5,13088],
[2,5,29472],[2,5,62240],[2,5,2848],[2,5,19232],
[2,5,11040],[2,5,43808],[2,5,60192],[2,5,6944],
[2,5,15136],[2,5,47904],[2,5,64288],[2,5,1824],
[2,5,18208],[2,5,42784],[2,5,26400],[2,5,59168],
[2,5,46880],[2,5,30496],[2,5,63264],[2,5,3872],
[2,5,12064],[2,5,44832],[2,5,28448],[2,5,7968],
[2,5,16160],[2,5,48928],[2,5,32544],[2,5,2208],
[2,5,34976],[2,5,43168],[2,5,59552],[2,5,6304],
[2,5,39072],[2,5,22688],[2,5,47264],[2,5,17568],
[2,5,50336],[2,5,42144],[2,5,58528],[2,5,5280],
[2,5,21664],[2,5,54432],[2,5,46240],[2,5,2720],
[2,5,35488],[2,5,43680],[2,5,6816],[2,5,39584],
[2,5,23200],[2,5,33184],[2,5,16800],[2,5,49568],
[2,5,57760],[2,5,37280],[2,5,20896],[2,5,53664],
[2,5,2464],[2,5,35232],[2,5,18848],[2,5,43424],
[2,5,6560],[2,5,39328],[2,5,22944],[2,5,1440],
[2,5,17824],[2,5,50592],[2,5,58784],[2,5,5536],
[2,5,21920],[2,5,54688],[2,5,3488],[2,5,36256],
[2,5,52640],[2,5,44448],[2,5,7584],[2,5,40352],
[2,5,17312],[2,5,50080],[2,5,58272],[2,5,37792],
[2,5,21408],[2,5,54176],[2,5,2976],[2,5,35744],
[2,5,19360],[2,5,43936],[2,5,60320],[2,5,7072],
[2,5,39840],[2,5,1952],[2,5,18336],[2,5,51104],
[2,5,42912],[2,5,59296],[2,5,22432],[2,5,55200],
[2,5,4000],[2,5,36768],[2,5,44960],[2,5,8096],
[2,5,40864],[2,5,57248],[2,5,10336],[2,5,43104],
[2,5,6240],[2,5,22624],[2,5,14432],[2,5,47200],
[2,5,25696],[2,5,58464],[2,5,21600],[2,5,46176],
[2,5,29792],[2,5,62560],[2,5,8544],[2,5,24928],
[2,5,57696],[2,5,20832],[2,5,29024],[2,5,61792],
[2,5,10592],[2,5,43360],[2,5,14688],[2,5,47456],
[2,5,63840],[2,5,25952],[2,5,58720],[2,5,21856],
[2,5,46432],[2,5,30048],[2,5,62816],[2,5,11616],
[2,5,44384],[2,5,28000],[2,5,15712],[2,5,48480],
[2,5,25440],[2,5,58208],[2,5,21344],[2,5,13152],
[2,5,29536],[2,5,62304],[2,5,11104],[2,5,43872],
[2,5,60256],[2,5,15200],[2,5,47968],[2,5,42848],
[2,5,26464],[2,5,59232],[2,5,22368],[2,5,30560],
[2,5,63328],[2,5,12128],[2,5,44896],[2,5,16224],
[2,5,48992],[2,5,17632],[2,5,50400],[2,5,5344],
[2,5,21728],[2,5,54496],[2,5,16864],[2,5,49632],
[2,5,20960],[2,5,53728],[2,5,2528],[2,5,35296],
[2,5,6624],[2,5,39392],[2,5,17888],[2,5,50656],
[2,5,21984],[2,5,54752],[2,5,3552],[2,5,36320],
[2,5,7648],[2,5,40416],[2,5,17376],[2,5,50144],
[2,5,37856],[2,5,21472],[2,5,54240],[2,5,3040],
[2,5,35808],[2,5,19424],[2,5,7136],[2,5,39904],
[2,5,2016],[2,5,18400],[2,5,51168],[2,5,22496],
[2,5,55264],[2,5,4064],[2,5,36832],[2,5,8160],
[2,5,40928],[2,5,24848],[2,5,57616],[2,5,28944],
[2,5,61712],[2,5,10512],[2,5,43280],[2,5,14608],
[2,5,47376],[2,5,25872],[2,5,58640],[2,5,29968],
[2,5,62736],[2,5,11536],[2,5,44304],[2,5,48400],
[2,5,25360],[2,5,58128],[2,5,29456],[2,5,62224],
[2,5,11024],[2,5,43792],[2,5,15120],[2,5,47888],
[2,5,30480],[2,5,12048],[2,5,44816],[2,5,16144],
[2,5,16784],[2,5,49552],[2,5,20880],[2,5,53648],
[2,5,2448],[2,5,35216],[2,5,39312],[2,5,17808],
[2,5,50576],[2,5,21904],[2,5,54672],[2,5,3472],
[2,5,36240],[2,5,17296],[2,5,21392],[2,5,54160],
[2,5,3984],[2,5,40848],[2,5,24912],[2,5,61776],
[2,5,10576],[2,5,47440],[2,5,25936],[2,5,30032],
[2,5,11600],[2,5,48464],[2,5,29520],[2,5,48976],
[2,5,50640],[2,5,54736],[2,5,54224],[2,5,57648],
[2,5,61744],[2,5,44336],[2,5,48432],[2,5,62256],
[2,5,44848],[2,5,48944],[2,5,3504],[2,5,7600],
[2,5,58224],[2,5,44912],[2,5,17392]
]
]
];