Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346#############################################################################
##
#W id117.b GAP library of id's Hans Ulrich Besche
##
ID_GROUP_TREE.next[117].next[2]:=
rec(
fp:= [ 3, 5, 6, 8, 13, 14, 15, 22, 25, 30, 31, 32, 33, 59, 60, 62, 66, 67,
69, 70, 71, 72, 74, 78, 80, 85, 86, 87, 88, 89, 90, 91, 92, 94, 106, 108,
111, 113, 114, 116, 121, 239, 240, 242, 243, 244, 253, 254, 260, 262, 264,
265, 266, 267, 268, 269, 270, 271, 275, 280, 281, 282, 283, 285, 286, 287,
288, 289, 392, 417, 424, 476, 478 ],
next:= [ rec(
desc:= [ 104010 ],
fp:= [ 5 ],
next:= [ rec(
fp:= [ 3481537970696962191216580620638197336420127,
3481537970696962191216580625170780587732767,
3481537970696962490741719462604874777276191 ],
next:= [ 4038, 4037, 4036 ] ) ],
pos:= [ 4, 5 ] ), rec(
desc:= [ 302004, 206002, 50204008, 208002 ],
fp:= [ 11 ],
next:= [ rec(
fp:= [ 3481537970908547647693734059503219560545567,
48224521671964528681268086687112228836164369695 ],
next:= [ 4041, 4042 ] ) ],
pos:= [ 8, 10 ] ), rec(
desc:= [ 302004, 206002, 50204008, 208002 ],
fp:= [ 11 ],
next:= [ rec(
fp:= [ 3481537913444589557179096764986381567917343,
48224521671907064723177572049817711998171741471 ],
next:= [ 4043, 4044 ] ) ],
pos:= [ 8, 10 ] ), rec(
desc:= [ 106004 ],
fp:= [ 3 ],
next:= [ rec(
fp:= [ 48224522342118281189390394390077256488851062047,
48224523138051564701108635556429979524744592671 ],
next:= [ 4049, 4048 ] ) ],
pos:= [ 7, 8 ] ), rec(
desc:= [ 106010 ],
fp:= [ 3 ],
next:= [ rec(
fp:= [ 48224523933984628345799662826610994615048373279,
48224523933984632494522360863910633234414339103 ],
next:= [ 4056, 4055 ] ) ],
pos:= [ 3, 7 ] ), rec(
desc:= [ 304006, 107004, 302008, 111010, 211007, 50205011, 210002 ],
fp:= [ 3 ],
next:= [ rec(
fp:= [ 48265138147422131663114805666568712868233346335,
667957892034093054602439177598399315532487363788063 ],
next:= [ 4059, 4058 ] ) ],
pos:= [ 10, 13 ] ), rec(
desc:= [ 304006, 107004, 302008, 111010, 211007, 50205011, 210002 ],
fp:= [ 3 ],
next:= [ rec(
fp:= [ 48298211563151894091189991121269023352111365407,
667957936131980694285676611179005582613132534480159 ],
next:= [ 4062, 4061 ] ) ],
pos:= [ 10, 13 ] ), rec(
desc:= [ 104004, 104010 ],
fp:= [ 5 ],
next:= [ rec(
fp:= [ 667933748442077957307990879100955451983277627748127,
667933748442079566298817113985660861020647231794975,
667933759465753991409246310244439123113146829975327,
667933759465755485472156963150147617985028827852575,
667933803565233784971000786534767643815003398024991,
667933803565235164105995857461479224521397789732639,
9251550349652634358082271651139360214772353430722391839,
9251550349652634359691262477374244920181390800326438687 ],
next:= [ 4072, 4075, 4074, 4073, 4076, 4071, 4078, 4077 ] ) ],
pos:= [ 4, 6 ] ), rec(
fp:= [ 5 ],
next:= [ rec(
fp:= [ 667933759465755542927817608138933411482567763013407,
667933759465755542931966330836970711121187128979231 ],
next:= [ 4083, 4082 ] ) ],
pos:= [ 6, 7 ] ), rec(
fp:= [ 2 ],
next:= [ rec(
fp:= [ 667949833145797104638156286173518038956429396003615,
667949833146593037921668004414684391679465289534239 ],
next:= [ 4096, 4097 ] ) ],
pos:= [ 6, 6 ] ), rec(
fp:= [ 2, 6 ],
next:= [ rec(
fp:= [ 9255446360560962615692237059660112965454899069778259743,
9255446360560963411625520571378354131807622105671790367 ],
next:= [ 4100, 4101 ] ), rec(
fp:= [ 9251550502360137047798945794135478954554435231272267551,
9251773138902436492276382082485286327856446146692640543 ],
next:= [ 4098, 4099 ] ) ],
pos:= [ 6, 7 ] ), rec(
fp:= [ 5, 6 ],
next:= [ rec(
fp:= [ 9251550502360137047798941645412780917254799041195388703,
9251550502371161519708866603493874106121207821854027551 ],
next:= [ 4103, 4104 ] ), rec(
fp:= [ 128143226008190258206085846470567508899130996539126209179423,
128143226008342958166510159605139362841519629681810389200671 ],
next:= [ 4106, 4105 ] ) ],
pos:= [ 5, 6 ] ), rec(
fp:= [ 5, 6 ],
next:= [ rec(
fp:= [ 9251550502360137047798945794135478954554437660561354527,
9251550502371161519708862454771176068821569202488061727 ],
next:= [ 4108, 4109 ] ), rec(
fp:= [ 128143226008342958166510159600990640143482330043191023234847,
128146309746937636787070964047798145644260177113909861412639 ],
next:= [ 4110, 4111 ] ) ],
pos:= [ 6, 7 ] ), rec(
fp:= [ 1, 5 ],
next:= [ rec(
fp:= [ 3481537970688665344870783700761735132648223,
3481537970692814067568821000400354498614047 ],
next:= [ 4116, 4115 ] ), rec(
fp:= [ 48224521671964308798965263736748954768485159711,
48224521671964312947687961774048593387851125535 ],
next:= [ 4118, 4119 ] ) ],
pos:= [ 4, 7 ] ), rec(
fp:= [ 1, 5 ],
next:= [ rec(
fp:= [ 667933759465752784661978585314435150923217085207327,
667933759465752784661978884839573988357311274750751,
667933759465752784661979184364712825791405464294175,
667933759465752784661979483889851663225499653837599,
667933759465752784661979783414990500659593843381023,
667949833145797449202023424970558339252475992019743 ],
next:= [ 4121, 4123, 4124, 4120, 4122, 4125 ] ), rec(
fp:= [ 9251884457164301252038030512556863308364209714073506591,
9251884457164301252038030513455438724876511996642136863 ],
next:= [ 4127, 4128 ] ) ],
pos:= [ 6, 9 ] ), rec(
desc:= [ 50303008 ],
fp:= [ 5 ],
next:= [ rec(
fp:= [ 48224521671907064722578565021747758616442457119,
48224521671907064722878090160585192710632000543 ],
next:= [ 4133, 4132 ] ) ],
pos:= [ 3, 9 ] ), rec(
fp:= [ 11 ],
next:= [ rec(
fp:= [ 48232064731634693707367287753001457578577303839,
48243089203602078474816197541862744577862605087 ],
next:= [ 4140, 4139 ] ) ],
pos:= [ 5, 6 ] ), rec(
fp:= [ 11 ],
next:= [ rec(
fp:= [ 667957858960677267164483430080485748277201381065759,
667957869985149234549250878990274609564200666367007 ],
next:= [ 4142, 4143 ] ) ],
pos:= [ 4, 7 ] ), rec(
fp:= [ 13 ],
next:= [ rec(
fp:= [ 668062337880967586674772940931884029058153571227935,
668215037841391957269154162690872657079056377911583 ],
next:= [ 4146, 4145 ] ) ],
pos:= [ 5, 6 ] ), rec(
fp:= [ 13 ],
next:= [ rec(
fp:= [ 9251884304484648394849314828041468311238676933848040479,
9251884457184608819219909209263227299866697836654724127 ],
next:= [ 4148, 4149 ] ) ],
pos:= [ 4, 7 ] ), rec(
fp:= [ 13 ],
next:= [ rec(
fp:= [ 9251884304473623922939394018683073159671906772555367455,
9251884457173584347309988399904832148299927675362051103 ],
next:= [ 4152, 4151 ] ) ],
pos:= [ 4, 7 ] ), rec(
desc:= [ 105004 ],
fp:= [ 2 ],
next:= [ rec(
fp:= [ 668062328597872314936767596304105224097629457091359,
668062328597872372400725686818742518614467449719583 ],
next:= [ 4153, 4154 ] ) ],
pos:= [ 5, 7 ] ), rec(
desc:= [ 106004 ],
fp:= [ 2 ],
next:= [ rec(
fp:= [ 9253331313409129434189163827385808476853712509764235039,
9253331313409130230122447339104049643206435545657765663,
9253331313409131026055730850822290809559158581551296287 ],
next:= [ 4156, 4157, 4158 ] ) ],
pos:= [ 6, 8 ] ), rec(
desc:= [ 204002 ],
fp:= [ 2 ],
next:= [ rec(
fp:= [ 48222781636190563827751116062312944032832031519,
48222781636305491743932145336901977708817287967 ],
next:= [ 4162, 4163 ] ) ],
pos:= [ 4, 6 ] ), rec(
desc:= [ 105004, 205002 ],
fp:= [ 2 ],
next:= [ rec(
fp:= [ 667933748442875499574031686226114534707651115085599,
667933748443671432857543404467280887430687008616223,
667933748444467366141055122708447240153722902146847 ],
next:= [ 4165, 4167, 4166 ] ) ],
pos:= [ 5, 8 ] ), rec(
desc:= [ 105004, 204002 ],
fp:= [ 10 ],
next:= [ rec(
fp:= [ 667933748441280645105218568806393019696041034287903,
667933759466548488313688068615609401393763396913951 ],
next:= [ 4172, 4173 ] ) ],
pos:= [ 4, 7 ] ), rec(
fp:= [ 10 ],
next:= [ rec(
fp:= [ 9251884304484650656927314035396260190203333322290181663,
9251884457173586609330527797891785802467248446138168863 ],
next:= [ 4175, 4176 ] ) ],
pos:= [ 4, 8 ] ), rec(
desc:= [ 105004 ],
fp:= [ 9 ],
next:= [ rec(
fp:= [ 668215037843653977580388875135111403151019590521375,
668215037843653977584537597833148702789638956487199 ],
next:= [ 4177, 4178 ] ) ],
pos:= [ 4, 5 ] ), rec(
desc:= [ 104004, 106004 ],
fp:= [ 10 ],
next:= [ rec(
fp:= [ 9251550502360137044811039855731843528429782675759336223,
9251550502371162312654248325231652744811480398121962271 ],
next:= [ 4179, 4180 ] ) ],
pos:= [ 4, 7 ] ), rec(
desc:= [ 104004, 106004 ],
fp:= [ 10 ],
next:= [ rec(
fp:= [ 9251550349660176620497909432600599177096278610945280799,
9251550349671201888341117902100408393477976333307906847 ],
next:= [ 4182, 4181 ] ) ],
pos:= [ 4, 7 ] ), rec(
fp:= [ 9, 10 ],
next:= [ rec(
fp:= [ 9253331594720574506609601793039312607756601613935015455,
9253331594720574506667065751129827245051118451927643679 ],
next:= [ 4184, 4183 ] ), rec(
fp:= [ 128147849501416896249097123874567438121536297076323655972383,
128147849501416896249097181338525528636173591593161648600607,
128147851616311348125833980239083895063917825555218650199583,
128147851616311348125834037703041985578555120072056642827807 ],
next:= [ 4186, 4187, 4185, 4188 ] ) ],
pos:= [ 5, 10 ] ), rec(
desc:= [ 104004 ],
fp:= [ 2, 5 ],
next:= [ rec(
fp:= [ 3481538372936371978473244757847017829733151,
3481538890111994793104980408498559763387167 ],
next:= [ 4189, 4190 ] ), rec(
fp:= [ 48224521672366556505598866197810572634433557279,
48224521672883732128413497933461224176367211295 ],
next:= [ 4191, 4192 ] ) ],
pos:= [ 5, 8 ] ), rec(
fp:= [ 2, 5 ],
next:= [ rec(
fp:= [ 668215028558297202486889629353768372012640696341279,
668215028558297719662512443985504022664182629995295 ],
next:= [ 4195, 4196 ] ), rec(
fp:= [ 9251884457164301252555206135371495044014861256007160607,
9251884457164301252555206136270070460527163538575790879,
9251884457164301253072381758186126779665512797940814623,
9251884457164301253072381759084702196177815080509444895 ],
next:= [ 4193, 4197, 4198, 4194 ] ) ],
pos:= [ 6, 9 ] ), rec(
fp:= [ 1 ],
next:= [ rec(
fp:= [ 48224521671964308798965263736748954772158479903,
48224521671964312947687961774048593391524445727 ],
next:= [ 4202, 4203 ] ) ],
pos:= [ 3, 10 ] ), rec(
desc:= [ 104004 ],
fp:= [ 2 ],
next:= [ rec(
fp:= [ 251356463283255503463539650336135629599,
251356500621759785799236397910429322015 ],
next:= [ 4210, 4209 ] ) ],
pos:= [ 3, 4, 5 ] ), rec(
desc:= [ 104004 ],
fp:= [ 11 ],
next:= [ rec(
fp:= [ 251356500621759742540263975202291980575,
251356500622059267679101409296481523999 ],
next:= [ 4213, 4214 ] ) ],
pos:= [ 3, 5, 6 ] ), rec(
fp:= [ 2 ],
next:= [ rec(
next:= [ 4218, 4217 ] ) ],
pos:= [ 3, 3, 4 ] ), rec(
desc:= [ 103004 ],
fp:= [ 2 ],
next:= [ rec(
next:= [ 4221, 4220 ] ) ],
pos:= [ 3, 4, 5 ] ), rec(
fp:= [ 2 ],
next:= [ rec(
fp:= [ 3481537913233004100572166413463401154415391,
3481537970709408359180915606896097244941087 ],
next:= [ 4222, 4223 ] ) ],
pos:= [ 3, 3, 4 ] ), rec(
desc:= [ 105004 ],
fp:= [ 3 ],
next:= [ rec(
next:= [ 4226, 4225 ] ) ],
pos:= [ 3, 4, 6 ] ), rec(
desc:= [ 103004, 105004 ],
fp:= [ 4 ],
next:= [ rec(
next:= [ 4231, 4232 ] ) ],
pos:= [ 3, 4, 6 ] ), rec(
desc:= [ 302003, 302005 ],
fp:= [ 5 ],
next:= [ rec(
next:= [ 4237, 4236 ] ) ],
pos:= [ 2, 6, 7 ] ), rec(
desc:= [ 105004, 302005, 205002 ],
fp:= [ 2 ],
next:= [ rec(
fp:= [ 3481663538514497783478829237935109540076831,
3481663538514498083003968075369203729620255 ],
next:= [ 4242, 4243 ] ) ],
pos:= [ 4, 5, 9 ] ), rec(
desc:= [ 302004 ],
fp:= [ 11 ],
next:= [ rec(
fp:= [ 251365499861445191440884924253484492831,
251365499861445191440885526090264750111 ],
next:= [ 4250, 4249 ] ) ],
pos:= [ 2, 4, 7 ] ), rec(
desc:= [ 105004 ],
fp:= [ 11 ],
next:= [ rec(
fp:= [ 3481538890111994193881666863995521791156511,
3481622672567038886920879569183934409072927,
667957851417618516202903877067352664142594305679647 ],
next:= [ 4252, 4253, 4254 ] ) ],
pos:= [ 3, 6, 7 ] ), rec(
fp:= [ 13 ],
next:= [ rec(
fp:= [ 3481663644361520131867193665198328691435551,
3481663644361520131867193665800165471692831 ],
next:= [ 4257, 4256 ] ) ],
pos:= [ 3, 4, 8 ] ), rec(
desc:= [ 302004 ],
fp:= [ 11 ],
next:= [ rec(
fp:= [ 3481663538510354152664893217097481983010847,
3481663538510354152664893217699318763268127,
3481663538514502875362930516736101348976671 ],
next:= [ 4269, 4267, 4268 ] ) ],
pos:= [ 2, 4, 7 ] ), rec(
fp:= [ 13 ],
next:= [ rec(
next:= [ 4271, 4272, 4273, 4274 ] ) ],
pos:= [ 3, 4, 8 ] ), rec(
desc:= [ 106004 ],
fp:= [ 14 ],
next:= [ rec(
next:= [ 4280, 4281 ] ) ],
pos:= [ 4, 5, 6 ] ), rec(
fp:= [ 14 ],
next:= [ rec(
next:= [ 4286, 4287 ] ) ],
pos:= [ 3, 4, 8 ] ), rec(
fp:= [ 14 ],
next:= [ rec(
next:= [ 4293, 4294 ] ) ],
pos:= [ 3, 4, 8 ] ), rec(
desc:= [ 104004, 302003, 302005, 302007 ],
fp:= [ 2, 11 ],
next:= [ rec(
fp:= [ 3481663538518646506176866537573689723960607,
3481663538531092674270978436489547821858079 ],
next:= [ 4298, 4299 ] ), rec(
fp:= [ 251356438390919315239726372732188736799,
251356450837087409351625288590286634271,
3481663538518646506176866536971852943703327,
3481663538531092674270978435887711041600799 ],
next:= [ 4296, 4297, 4300, 4301 ] ) ],
pos:= [ 2, 8, 9 ] ), rec(
desc:= [ 105004, 302004, 207002 ],
fp:= [ 2, 11 ],
next:= [ rec(
fp:= [ 48224521671964317095811479756761307694980005151,
48224521671964317096111004895598741789169548575,
48224521671964329541979573868660223553077902623,
48224521671964329542279099007497657647267446047,
667957851417617596787871874272489508127314110446879,
667957851417617596800318341891740244477266397887775 ],
next:= [ 4306, 4304, 4305, 4307, 4308, 4309 ] ), rec(
fp:= [ 3481537970696962191086803707980241595923743,
3481537970709408359180915606896099693821215 ],
next:= [ 4302, 4303 ] ) ],
pos:= [ 4, 8, 9 ] ), rec(
fp:= [ 3, 4 ],
next:= [ rec(
next:= [ 4310, 4311 ] ), rec(
next:= [ 4312, 4313 ] ) ],
pos:= [ 3, 6, 7 ] ), rec(
desc:= [ 106004, 302004 ],
fp:= [ 5, 6 ],
next:= [ rec(
fp:= [ 48222781636132909028416491709250501533596171551,
48222781636132950515343946943409453633066286367,
48222782432008732730467391136770912256673496351,
48222782432008736879190089174070550876039462175,
48222782432008765920548500574005455305790766367,
48222782432008770069271198611305093925156732191 ],
next:= [ 4315, 4318, 4317, 4319, 4316, 4314 ] ), rec(
next:= [ 4320, 4321 ] ) ],
pos:= [ 2, 6, 8 ] ), rec(
desc:= [ 107004 ],
fp:= [ 5, 6 ],
next:= [ rec(
fp:= [ 667933748442076922952596227484531111865419879395103,
667933748442077497588028409932866757395180439711519 ],
next:= [ 4323, 4322 ] ), rec(
next:= [ 4325, 4324 ] ) ],
pos:= [ 4, 6, 8 ] ), rec(
desc:= [ 105004, 302005, 205002 ],
fp:= [ 2, 11 ],
next:= [ rec(
fp:= [ 3481663538518646506176866537573728906042655,
48224521797532138780126569819590299345509866783,
48224521797532151226294663931489215203607764255 ],
next:= [ 4328, 4329, 4330 ] ), rec(
fp:= [ 251356438390919315239726372771370818847,
3481663538518646506176866536971892125785375 ],
next:= [ 4326, 4327 ] ) ],
pos:= [ 4, 6, 9 ] ), rec(
desc:= [ 105004 ],
fp:= [ 2, 11 ],
next:= [ rec(
fp:= [ 48224521672136708970083023668644858208957889823,
48224521672136708970382548807482292303147433247,
48224521672136721416550642919381208161245330719,
667957851417617769179746445341540229111922277874975,
667957851417617769192192613435652128027780375772447,
667957851417617941571620716885452112662436255759647 ],
next:= [ 4336, 4337, 4335, 4338, 4334, 4339 ] ), rec(
fp:= [ 3481538143088836462630715591530755573808415,
3481538143101282630724827490446613671705887,
48224521672136721416251117780543172230275530015 ],
next:= [ 4332, 4333, 4331 ] ) ],
pos:= [ 3, 6, 7 ] ), rec(
desc:= [ 108010 ],
fp:= [ 3 ],
next:= [ rec(
fp:= [ 3481663874217347701523530796382264505418783,
3481663874217347701523530796984101285676063,
3481663874217347701545155598839663544779807 ],
next:= [ 4348, 4349, 4347 ] ) ],
pos:= [ 3, 4, 9 ] ), rec(
fp:= [ 7 ],
next:= [ rec(
next:= [ 4355, 4354 ] ) ],
pos:= [ 4, 4, 5 ] ), rec(
desc:= [ 106004 ],
fp:= [ 8 ],
next:= [ rec(
next:= [ 4357, 4356 ] ) ],
pos:= [ 4, 5, 7 ] ), rec(
desc:= [ 106004 ],
fp:= [ 9 ],
next:= [ rec(
next:= [ 4358, 4359 ] ) ],
pos:= [ 4, 5, 7 ] ), rec(
desc:= [ 105004 ],
fp:= [ 10 ],
next:= [ rec(
next:= [ 4360, 4361 ] ) ],
pos:= [ 4, 6, 6 ] ), rec(
fp:= [ 7, 8, 9, 10 ],
next:= [ rec(
next:= [ 4369, 4368 ] ), rec(
next:= [ 4373, 4372 ] ), rec(
next:= [ 4366, 4367 ] ), rec(
next:= [ 4371, 4370 ] ) ],
pos:= [ 4, 4, 8 ] ), rec(
desc:= [ 105004 ],
fp:= [ 4 ],
next:= [ rec(
fp:= [ 3481663701825473130497729680914253239328031,
3481663874217347402041641564464767217212703 ],
next:= [ 4376, 4377 ] ) ],
pos:= [ 3, 6, 7 ] ), rec(
desc:= [ 107010, 302004, 50204007, 208002 ],
fp:= [ 3, 4 ],
next:= [ rec(
fp:= [ 48224523933984632478647571755131540963307535647,
48224523933984632478947096893968975057497079071 ],
next:= [ 4378, 4379 ] ), rec(
fp:= [ 48224523933984632478647571755132142800087792927,
48224526321784483014101820393027746001957928223 ],
next:= [ 4381, 4382 ] ) ],
pos:= [ 5, 8, 11 ] ), rec(
desc:= [ 105004, 108010 ],
fp:= [ 4 ],
next:= [ rec(
fp:= [ 48224523933984632478947096893969576933459418399,
48224526321784483013802295254190311946950466847,
667957851419879617103255009889626716396552589860127,
667957851422267416953789865087986937131566080908575 ],
next:= [ 4385, 4386, 4387, 4388 ] ) ],
pos:= [ 3, 6, 9 ] ), rec(
desc:= [ 105004, 108010 ],
fp:= [ 4 ],
next:= [ rec(
fp:= [ 48224523933984632478647571755132142839269874975,
48224526321784483014101820393027746041140010271,
667957851419879617103254710364487878962458400316703,
667957851422267416953790164613125774565660270451999 ],
next:= [ 4391, 4392, 4393, 4394 ] ) ],
pos:= [ 3, 6, 9 ] ), rec(
desc:= [ 302004 ],
fp:= [ 5 ],
next:= [ rec(
fp:= [ 3481663538514497783478829237333242148817951,
3481663538514497783478829237935078929075231,
3481663538514498083003968074767336338361375 ],
next:= [ 4399, 4398, 4400 ] ) ],
pos:= [ 2, 4, 9 ] ), rec(
desc:= [ 103004, 302003, 302005 ],
fp:= [ 11 ],
next:= [ rec(
next:= [ 4406, 4405 ] ) ],
pos:= [ 2, 2, 5, 6 ] ), rec(
desc:= [ 104004 ],
fp:= [ 14 ],
next:= [ rec(
next:= [ 4413, 4414 ] ) ],
pos:= [ 3, 3, 4, 5 ] ), rec(
desc:= [ 302004 ],
fp:= [ 11 ],
next:= [ rec(
next:= [ 4419, 4418, 4420 ] ) ],
pos:= [ 2, 2, 4, 7 ] ), rec(
fp:= [ 14 ],
next:= [ rec(
next:= [ 4426, 4425 ] ) ],
pos:= [ 3, 3, 3, 6 ] ) ] );