{"entities":{"Q405315":{"pageid":407082,"ns":120,"title":"Item:Q405315","lastrevid":61601850,"modified":"2026-04-11T00:24:48Z","type":"item","id":"Q405315","labels":{"en":{"language":"en","value":"Bounding sequence extremal functions with formations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6340248"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$23884ED3-686C-4E8E-A2B5-9C2FA99C959C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d9a503797b8016e9d9c7689e7c9c47a48dbb394","datavalue":{"value":{"text":"Bounding sequence extremal functions with formations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q405315$F7FD233F-B7B1-4AC6-B65A-A85717B7BF7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da05af2fa870db6761c66d699aed5ad23f1237f0","datavalue":{"value":"1300.05012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405315$94E363F8-59DA-4993-8BAF-B8B061131349","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7129fa5ddc35914878d7468d3ac094ed7e8e3a98","datavalue":{"value":{"entity-type":"item","numeric-id":405314,"id":"Q405314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$54066540-AEB1-488A-9FAE-103C8E2B3BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfe4f47b8ff43f7d8a8901fadfbe5ac3c2ba5bc9","datavalue":{"value":{"entity-type":"item","numeric-id":397150,"id":"Q397150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$65C8AB81-99E4-4101-A755-8C387FD061C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48689c3e021df08de04162a27b34e006b36dd085","datavalue":{"value":{"entity-type":"item","numeric-id":1040838,"id":"Q1040838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$C25BAA79-B68C-43D1-91C0-81061AB0AAD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$36EC5E2D-DDE4-44E7-AA26-661CA5DE16F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9d8fea32a46af1bd8128cc5dcfc32073a3817d0","datavalue":{"value":{"time":"+2014-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q405315$B6D41057-3B83-4CD8-8FA0-031B0DEEB9AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c0d3ddf957b4f537ccd3ccaa9ddc34802d9a084","datavalue":{"value":"https://arxiv.org/abs/1308.3810","type":"string"},"datatype":"url"},"type":"statement","id":"Q405315$217B75B9-C105-4D84-B54C-E9FDECF19B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"afc07d4d2c7cc90d0697185a30ca7dcd53e9b8c2","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v21i3p24","type":"string"},"datatype":"url"},"type":"statement","id":"Q405315$3630753D-52A0-42C2-A309-DF61990F861A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf263a0f73d56b9dc526fc35f3e0db6f40190b8d","datavalue":{"value":"Summary: An \\((r, s)\\)-formation is a concatenation of \\(s\\) permutations of \\(r\\) letters. If \\(u\\) is a sequence with \\(r\\) distinct letters, then let \\(\\mathit{Ex}(u, n)\\) be the maximum length of any \\(r\\)-sparse sequence with \\(n\\) distinct letters which has no subsequence isomorphic to \\(u\\). For every sequence \\(u\\) define \\(\\mathit{fw}(u)\\), the formation width of \\(u\\), to be the minimum \\(s\\) for which there exists \\(r\\) such that there is a subsequence isomorphic to \\(u\\) in every \\((r, s)\\)-formation. We use \\(\\mathit{fw}(u)\\) to prove upper bounds on \\(\\mathit{Ex}(u, n)\\) for sequences \\(u\\) such that \\(u\\) contains an alternation with the same formation width as \\(u\\).{  }We generalize Nivasch's bounds on \\(\\mathit{Ex}((ab)^{t}, n)\\) by showing that \\(\\mathit{fw}((12\\dots l)^{t})=2t-1\\) and \\(\\mathit{Ex}((12\\dots l)^{t}, n) =n2^{\\frac{1}{(t-2)!}\\alpha(n)^{t-2}\\pm O(\\alpha(n)^{t-3})}\\) for every \\(l \\geq 2\\) and \\(t\\geq 3\\), such that \\(\\alpha(n)\\) denotes the inverse Ackermann function. Upper bounds on \\(\\mathit{Ex}((12\\dots l)^{t} , n)\\) have been used in other papers to bound the maximum number of edges in \\(k\\)-quasiplanar graphs on \\(n\\) vertices with no pair of edges intersecting in more than \\(O(1)\\) points.{  }If \\(u\\) is any sequence of the form \\(a v a v' a\\) such that \\(a\\) is a letter, \\(v\\) is a nonempty sequence excluding \\(a\\) with no repeated letters and \\(v'\\) is obtained from \\(v\\) by only moving the first letter of \\(v\\) to another place in \\(v\\), then we show that \\(\\mathit{fw}(u)=4\\) and \\(\\mathit{Ex}(u, n) =\\Theta(n\\alpha(n))\\). Furthermore we prove that \\(\\mathit{fw}(abc(acb)^{t})=2t+1\\) and \\(\\mathit{Ex}(abc(acb)^{t}, n) = n2^{\\frac{1}{(t-1)!}\\alpha(n)^{t-1}\\pm O(\\alpha(n)^{t-2})}\\) for every \\(t\\geq 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q405315$72B541D2-12AA-4AC0-98E0-54558E3AEC22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405315$A9DFABDD-5519-4C93-8E41-CDD28BC8559F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1714f80fa1718361238d75f9a652916672f3904","datavalue":{"value":"6340248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405315$A881EA29-EA23-4527-AEED-52466C09AF9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"933771fc3803877d94fc9a3700c9c1cb05fc298f","datavalue":{"value":"formations","type":"string"},"datatype":"string"},"type":"statement","id":"Q405315$70EE5FD9-5DF4-4E03-AFD2-A385E95325DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e866a56049d4a9e216c228366aba6f6513d5b0","datavalue":{"value":"generalized Davenport-Schinzel sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q405315$4E4DC50F-65CC-4320-AE98-7D2F837924CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4a70f6bcff9d5e2174fb1517ba93acbfd0b4dad","datavalue":{"value":"inverse Ackermann function","type":"string"},"datatype":"string"},"type":"statement","id":"Q405315$5E4F2575-5548-4AF3-BFEE-718082352D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ce0d50ef2d3fddc856fbf9944536f0e151c35f","datavalue":{"value":"permutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q405315$9B74B7D9-E91B-43D6-B5A0-036D59D5D01E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$946C004F-6C94-4BE7-A2A7-4B0C146A3326","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf78f24dc9967d0a6148cbfe129076e5e338f2c7","datavalue":{"value":{"entity-type":"item","numeric-id":4325546,"id":"Q4325546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$8412423D-71B9-4037-8A20-E8F6CDB815CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad6a447ed415489e99550ada5d106e44638f0b1","datavalue":{"value":{"entity-type":"item","numeric-id":911595,"id":"Q911595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$DC14941E-5AF2-4919-8E28-1744B450D65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a242496d908b6d1e30e137bd48db323e9a6e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5340927,"id":"Q5340927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$D8CC73BE-72BA-404C-86F3-6D78F456D34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8bac8ccd5948a22b3899e34c8cd66b566266a0","datavalue":{"value":{"entity-type":"item","numeric-id":5365154,"id":"Q5365154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$007E575C-57DF-41CE-B166-25355934BD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b95d315981609a84ebfa01f95f8f1666479596","datavalue":{"value":{"entity-type":"item","numeric-id":5300510,"id":"Q5300510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$C1A94DD5-64A2-4891-93C7-15B930CD93E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201f81637d81b2a961cfae9f81bf87bee08d6a66","datavalue":{"value":{"entity-type":"item","numeric-id":3137399,"id":"Q3137399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$8237544E-0457-4878-B508-8813E4CEE24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73a7c5807ec65edc3a4e99d90c6487b978833b5","datavalue":{"value":{"entity-type":"item","numeric-id":4263474,"id":"Q4263474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$89DBA4E8-DFD3-49C1-821A-1C1431C6AB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"743c8062e07d18cd64ec304f9ff8ddbc241d0b7d","datavalue":{"value":{"entity-type":"item","numeric-id":3578194,"id":"Q3578194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$79B76BFC-CF60-4683-BCC0-96F649369FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604258af594c34d936e5b0de7561d69165c2f585","datavalue":{"value":{"entity-type":"item","numeric-id":5404451,"id":"Q5404451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405315$9F630ADA-C929-4523-AE62-BB6246B85CE8","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"ed75c217a4b3ad35881c2c2ab7724893d2c3d050","datavalue":{"value":"bafkreig6futsdclka3agd2ggpsivz3xt3op6l4qpomrny7zqqubximh36y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405315$FFA838B5-AA6B-444A-80A7-2321E4F19F9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"548d0da735219142c0bb758d4e7cdbfd9772f7d9","datavalue":{"value":{"entity-type":"item","numeric-id":1916110,"id":"Q1916110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb89c0720b13623db77bc254f9964cae821510d","datavalue":{"value":{"amount":"+0.9037167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q405315$00E43FF5-DD9A-4BBA-9D01-23F1EFCFD753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97237511a8f2d15d8d1f63827034dafe88bcfce3","datavalue":{"value":{"entity-type":"item","numeric-id":3074548,"id":"Q3074548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62128c163e3e43573647c74bcd4af38babfeb2b1","datavalue":{"value":{"amount":"+0.87872106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q405315$204E2463-FF66-4ADA-A17C-3D9C15AA6C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf85e4f4330b1d1a885caca5078e625a1557124","datavalue":{"value":{"entity-type":"item","numeric-id":3137399,"id":"Q3137399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7686a49d60158b0a50fa9394ae2cd94808e29b1e","datavalue":{"value":{"amount":"+0.8725159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q405315$D7863B5E-4A03-445F-9949-7592FF2A9AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"106344abb77fa295898230a8321f8adb97d4822d","datavalue":{"value":{"entity-type":"item","numeric-id":1337178,"id":"Q1337178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b306f2f8f19297d4659c940a7cd7b5927648fe","datavalue":{"value":{"amount":"+0.86612314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q405315$3D1ACF9B-DC3D-4E7C-BD84-BE9AC8C26D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"908ee1fc4c5902b8143886a0897c38047aa92696","datavalue":{"value":{"entity-type":"item","numeric-id":5363086,"id":"Q5363086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10da0e211956760f306d6427e91ef64f7d29e9b1","datavalue":{"value":{"amount":"+0.8645439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q405315$50CADB23-8FDC-4EED-AD86-DFB04D77B96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b85ff1dfc05a8696ad930ff0d1510b34fcd8c3","datavalue":{"value":{"entity-type":"item","numeric-id":3697533,"id":"Q3697533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f45feab098bcab31f21eed29d8750fdffb66f9","datavalue":{"value":{"amount":"+0.86301076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q405315$85CEDB0E-93E7-4399-AFD3-09EF99B51379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efd66e0fd03452a92860160c55b92a35dd08307a","datavalue":{"value":{"entity-type":"item","numeric-id":4858187,"id":"Q4858187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673ab057d02400e64ee7c0eb5fada6792798e84b","datavalue":{"value":{"amount":"+0.8603958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q405315$83E1B6A6-F236-4832-91CD-831BBCE1A235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc11c422e5b2765df800e754426672328910d983","datavalue":{"value":{"entity-type":"item","numeric-id":3539565,"id":"Q3539565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bde3207708d0f6def2582b92338f3f047b3a8f0","datavalue":{"value":{"amount":"+0.85993874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q405315$E29997AF-11E6-4FDF-A105-513AFE09535F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f07faa3e965ea55ef2e3385240ae5cb9830282","datavalue":{"value":{"entity-type":"item","numeric-id":2905871,"id":"Q2905871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8329f8f85e55b60d3fc02fc48b0eaab159b79cd9","datavalue":{"value":{"amount":"+0.8575644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q405315$2CC43E40-6927-4513-AD72-28CCD3022B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb71b50c1314dbb217a9c6455188e3104b60f92d","datavalue":{"value":{"entity-type":"item","numeric-id":3317104,"id":"Q3317104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ce0e5a0f21b226fd8a9dd2fe31ad352706451d","datavalue":{"value":{"amount":"+0.8567609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q405315$D5F9FD0D-A21F-4919-A41B-EF6B30DB51B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounding sequence extremal functions with formations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounding_sequence_extremal_functions_with_formations"}}}}}