finitedomain
Version:
A fast feature rich finite domain solver
1,477 lines (1,474 loc) • 49.3 kB
JavaScript
// this is the "1) Harmonics - Clusterer basics renders:"
// case in multiverse, which was breaking
let config = {
_class: '$config',
varStratConfig: {
type: 'naive',
},
valueStratName: 'min',
targetedVars: [
'ITEM_INDEX',
'ITEM_INDEX&n=1',
'ITEM_INDEX&n=2',
'ITEM_INDEX&n=3',
'ITEM_INDEX&n=4',
'ITEM_INDEX&n=5',
'CLUSTER',
'CLUSTER_START',
'CLUSTER_END',
'item',
'CLUSTER&n=1',
'CLUSTER_START&n=1',
'CLUSTER_END&n=1',
'item&n=1',
'CLUSTER&n=2',
'CLUSTER_START&n=2',
'CLUSTER_END&n=2',
'item&n=2',
'CLUSTER&n=3',
'CLUSTER_START&n=3',
'CLUSTER_END&n=3',
'item&n=3',
'CLUSTER&n=4',
'CLUSTER_START&n=4',
'CLUSTER_END&n=4',
'item&n=4',
'CLUSTER&n=5',
'CLUSTER_START&n=5',
'CLUSTER_END&n=5',
'item&n=5',
'verse-val($cluster-size)&col=0&count=0',
'verse-val($cluster-size)&col=0&count=1',
'verse-val($cluster-size)&col=0&count=2',
'verse-val($cluster-size)&col=1&count=0',
'verse-val($cluster-size)&col=1&count=1',
'verse-val($cluster-size)&col=1&count=2',
'verse-val($cluster-size)&col=2&count=0',
'verse-val($cluster-size)&col=2&count=1',
'verse-val($cluster-size)&col=2&count=2',
'verse-val($cluster-size)&col=3&count=0',
'verse-val($cluster-size)&col=3&count=1',
'verse-val($cluster-size)&col=3&count=2',
'verse-val($cluster-size)&col=4&count=0',
'verse-val($cluster-size)&col=4&count=1',
'verse-val($cluster-size)&col=4&count=2',
'verse-val($cluster-size)&col=5&count=0',
'verse-val($cluster-size)&col=5&count=1',
'verse-val($cluster-size)&col=5&count=2',
'_ROOT_BRANCH_',
'SECTION',
'SECTION&n=1',
'SECTION&n=2',
'SECTION&n=3',
'SECTION&n=4',
'SECTION&n=5',
'VERSE_INDEX',
'VERSE_INDEX&n=1',
'VERSE_INDEX&n=2',
'VERSE_INDEX&n=3',
'VERSE_INDEX&n=4',
'VERSE_INDEX&n=5',
'item',
'item&n=1',
'item&n=2',
'item&n=3',
'item&n=4',
'item&n=5',
'49',
'50',
'51',
'52',
'53',
'54',
'55',
'56',
'57',
'58',
'59',
'60',
'61',
'62',
'63',
'64',
'65',
'66',
'68',
'69',
'70',
'71',
'72',
'73',
'75',
'77',
'79',
'81',
'83',
'85',
'86',
'87',
'88',
'89',
'90',
'91',
'92',
'93',
'94',
'95',
'96',
'97',
'99',
'101',
'103',
'105',
'107',
'109',
'111',
'113',
'115',
'117',
'119',
'121',
'123',
'125',
'127',
'129',
'131',
'133',
'135',
'137',
'139',
'141',
'143',
'145',
'147',
'149',
'151',
'153',
'155',
'157',
'158',
'159',
'160',
'161',
'162',
'163',
'165',
'167',
'169',
'171',
'173',
'175',
'177',
'179',
'181',
'183',
'185',
'187',
'189',
'191',
'193',
'195',
'197',
'199',
'209',
'219',
'229',
'239',
'249',
'259',
'260',
'261',
'262',
'263',
'264',
'265',
'267',
'268',
'269',
'270',
'271',
'272',
'274',
'276',
'278',
'280',
'282',
'284',
'297',
'298',
'299',
'300',
'301',
'302',
'304',
'306',
'308',
'310',
'312',
'314',
'316',
'318',
'320',
'322',
'324',
'67',
'338',
'340',
'342',
'344',
'346',
'CLUSTER',
'CLUSTER&n=1',
'CLUSTER&n=2',
'CLUSTER&n=3',
'CLUSTER&n=4',
'CLUSTER&n=5',
'266',
'359',
'360',
'361',
'362',
'363',
],
varDistOptions: {
CLUSTER: {list: [2, 1, 3], valtype: 'list'},
CLUSTER_START: {list: [1, 0], valtype: 'list'},
CLUSTER_END: {list: [1, 0], valtype: 'list'},
item: {list: [3, 1, 2, 4, 5, 6], valtype: 'list'},
'CLUSTER&n=1': {list: [2, 1, 3], valtype: 'list'},
'CLUSTER_START&n=1': {list: [1, 0], valtype: 'list'},
'CLUSTER_END&n=1': {list: [1, 0], valtype: 'list'},
'item&n=1': {list: [3, 1, 2, 4, 5, 6], valtype: 'list'},
'CLUSTER&n=2': {list: [2, 1, 3], valtype: 'list'},
'CLUSTER_START&n=2': {list: [1, 0], valtype: 'list'},
'CLUSTER_END&n=2': {list: [1, 0], valtype: 'list'},
'item&n=2': {list: [3, 1, 2, 4, 5, 6], valtype: 'list'},
'CLUSTER&n=3': {list: [2, 1, 3], valtype: 'list'},
'CLUSTER_START&n=3': {list: [1, 0], valtype: 'list'},
'CLUSTER_END&n=3': {list: [1, 0], valtype: 'list'},
'item&n=3': {list: [3, 1, 2, 4, 5, 6], valtype: 'list'},
'CLUSTER&n=4': {list: [2, 1, 3], valtype: 'list'},
'CLUSTER_START&n=4': {list: [1, 0], valtype: 'list'},
'CLUSTER_END&n=4': {list: [1, 0], valtype: 'list'},
'item&n=4': {list: [3, 1, 2, 4, 5, 6], valtype: 'list'},
'CLUSTER&n=5': {list: [2, 1, 3], valtype: 'list'},
'CLUSTER_START&n=5': {list: [1, 0], valtype: 'list'},
'CLUSTER_END&n=5': {list: [1, 0], valtype: 'list'},
'item&n=5': {list: [3, 1, 2, 4, 5, 6], valtype: 'list'},
},
timeoutCallback: undefined,
allVarNames: [
'0',
'_ROOT_BRANCH_',
'SECTION',
'3',
'VERSE_INDEX',
'ITEM_INDEX',
'6',
'CLUSTER',
'CLUSTER_START',
'CLUSTER_END',
'10',
'11',
'12',
'item',
'SECTION&n=1',
'VERSE_INDEX&n=1',
'ITEM_INDEX&n=1',
'CLUSTER&n=1',
'CLUSTER_START&n=1',
'CLUSTER_END&n=1',
'item&n=1',
'SECTION&n=2',
'VERSE_INDEX&n=2',
'ITEM_INDEX&n=2',
'CLUSTER&n=2',
'CLUSTER_START&n=2',
'CLUSTER_END&n=2',
'item&n=2',
'SECTION&n=3',
'VERSE_INDEX&n=3',
'ITEM_INDEX&n=3',
'CLUSTER&n=3',
'CLUSTER_START&n=3',
'CLUSTER_END&n=3',
'item&n=3',
'SECTION&n=4',
'VERSE_INDEX&n=4',
'ITEM_INDEX&n=4',
'CLUSTER&n=4',
'CLUSTER_START&n=4',
'CLUSTER_END&n=4',
'item&n=4',
'SECTION&n=5',
'VERSE_INDEX&n=5',
'ITEM_INDEX&n=5',
'CLUSTER&n=5',
'CLUSTER_START&n=5',
'CLUSTER_END&n=5',
'item&n=5',
'49',
'50',
'51',
'52',
'53',
'54',
'55',
'56',
'57',
'58',
'59',
'60',
'61',
'62',
'63',
'64',
'65',
'66',
'67',
'68',
'69',
'70',
'71',
'72',
'73',
'74',
'75',
'76',
'77',
'78',
'79',
'80',
'81',
'82',
'83',
'84',
'85',
'86',
'87',
'88',
'89',
'90',
'91',
'92',
'93',
'94',
'95',
'96',
'97',
'98',
'99',
'100',
'101',
'102',
'103',
'104',
'105',
'106',
'107',
'108',
'109',
'110',
'111',
'112',
'113',
'114',
'115',
'116',
'117',
'118',
'119',
'120',
'121',
'122',
'123',
'124',
'125',
'126',
'127',
'128',
'129',
'130',
'131',
'132',
'133',
'134',
'135',
'136',
'137',
'138',
'139',
'140',
'141',
'142',
'143',
'144',
'145',
'146',
'147',
'148',
'149',
'150',
'151',
'152',
'153',
'154',
'155',
'156',
'157',
'158',
'159',
'160',
'161',
'162',
'163',
'164',
'165',
'166',
'167',
'168',
'169',
'170',
'171',
'172',
'173',
'174',
'175',
'176',
'177',
'178',
'179',
'180',
'181',
'182',
'183',
'184',
'185',
'186',
'187',
'188',
'189',
'190',
'191',
'192',
'193',
'194',
'195',
'196',
'197',
'198',
'199',
'verse-val($cluster-size)&col=0&count=0',
'201',
'202',
'verse-val($cluster-size)&col=0&count=1',
'204',
'205',
'verse-val($cluster-size)&col=0&count=2',
'207',
'208',
'209',
'verse-val($cluster-size)&col=1&count=0',
'211',
'212',
'verse-val($cluster-size)&col=1&count=1',
'214',
'215',
'verse-val($cluster-size)&col=1&count=2',
'217',
'218',
'219',
'verse-val($cluster-size)&col=2&count=0',
'221',
'222',
'verse-val($cluster-size)&col=2&count=1',
'224',
'225',
'verse-val($cluster-size)&col=2&count=2',
'227',
'228',
'229',
'verse-val($cluster-size)&col=3&count=0',
'231',
'232',
'verse-val($cluster-size)&col=3&count=1',
'234',
'235',
'verse-val($cluster-size)&col=3&count=2',
'237',
'238',
'239',
'verse-val($cluster-size)&col=4&count=0',
'241',
'242',
'verse-val($cluster-size)&col=4&count=1',
'244',
'245',
'verse-val($cluster-size)&col=4&count=2',
'247',
'248',
'249',
'verse-val($cluster-size)&col=5&count=0',
'251',
'252',
'verse-val($cluster-size)&col=5&count=1',
'254',
'255',
'verse-val($cluster-size)&col=5&count=2',
'257',
'258',
'259',
'260',
'261',
'262',
'263',
'264',
'265',
'266',
'267',
'268',
'269',
'270',
'271',
'272',
'273',
'274',
'275',
'276',
'277',
'278',
'279',
'280',
'281',
'282',
'283',
'284',
'285',
'286',
'287',
'288',
'289',
'290',
'291',
'292',
'293',
'294',
'295',
'296',
'297',
'298',
'299',
'300',
'301',
'302',
'303',
'304',
'305',
'306',
'307',
'308',
'309',
'310',
'311',
'312',
'313',
'314',
'315',
'316',
'317',
'318',
'319',
'320',
'321',
'322',
'323',
'324',
'325',
'326',
'327',
'328',
'329',
'330',
'331',
'332',
'333',
'334',
'335',
'336',
'337',
'338',
'339',
'340',
'341',
'342',
'343',
'344',
'345',
'346',
'347',
'348',
'349',
'350',
'351',
'352',
'353',
'354',
'355',
'356',
'357',
'358',
'359',
'360',
'361',
'362',
'363',
'364',
'365',
'366',
'367',
'368',
'369',
'370',
'371',
'372',
'373',
'374',
'375',
'376',
'377',
'378',
'379',
'380',
'381',
'382',
'383',
'384',
'385',
'386',
'387',
'388',
'389',
'390',
'391',
'392',
'393',
'394',
'395',
'396',
'397',
'398',
'399',
],
allConstraints: [
{_class: '$constraint', name: 'eq', varIndexes: [1, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [2, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [4, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [5, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [7, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [13, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [14, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [15, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [16, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [17, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [20, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [21, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [22, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [23, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [24, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [27, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [28, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [29, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [30, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [31, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [34, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [35, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [36, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [37, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [38, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [41, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [42, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [43, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [44, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [45, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [48, 0], param: undefined},
{_class: '$constraint', name: 'distinct', varIndexes: [5, 16, 23, 30, 37, 44], param: undefined},
{_class: '$constraint', name: 'distinct', varIndexes: [13, 20, 27, 34, 41, 48], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [7, 0, 49], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [17, 0, 50], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [24, 0, 51], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [31, 0, 52], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [38, 0, 53], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [45, 0, 54], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [7, 6, 55], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [17, 6, 56], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [24, 6, 57], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [31, 6, 58], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [38, 6, 59], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [45, 6, 60], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [7, 3, 61], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [17, 3, 62], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [24, 3, 63], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [31, 3, 64], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [38, 3, 65], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [45, 3, 66], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [55, 0], param: undefined},
{_class: '$constraint', name: 'eq', varIndexes: [54, 67], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [8, 0, 68], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [18, 0, 69], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [25, 0, 70], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [32, 0, 71], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [39, 0, 72], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [46, 0, 73], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [68, 49], param: 74},
{_class: '$constraint', name: 'reifier', varIndexes: [74, 6, 75], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [69, 50], param: 76},
{_class: '$constraint', name: 'reifier', varIndexes: [76, 6, 77], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [70, 51], param: 78},
{_class: '$constraint', name: 'reifier', varIndexes: [78, 6, 79], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [71, 52], param: 80},
{_class: '$constraint', name: 'reifier', varIndexes: [80, 6, 81], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [72, 53], param: 82},
{_class: '$constraint', name: 'reifier', varIndexes: [82, 6, 83], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [73, 54], param: 84},
{_class: '$constraint', name: 'reifier', varIndexes: [84, 6, 85], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [9, 0, 86], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [19, 0, 87], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [26, 0, 88], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [33, 0, 89], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [40, 0, 90], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [47, 0, 91], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [86, 67, 92], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [87, 67, 93], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [88, 67, 94], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [89, 67, 95], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [90, 67, 96], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [91, 67, 97], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [49, 92], param: 98},
{_class: '$constraint', name: 'reifier', varIndexes: [98, 6, 99], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [50, 93], param: 100},
{_class: '$constraint', name: 'reifier', varIndexes: [100, 6, 101], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [51, 94], param: 102},
{_class: '$constraint', name: 'reifier', varIndexes: [102, 6, 103], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [52, 95], param: 104},
{_class: '$constraint', name: 'reifier', varIndexes: [104, 6, 105], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [53, 96], param: 106},
{_class: '$constraint', name: 'reifier', varIndexes: [106, 6, 107], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [54, 97], param: 108},
{_class: '$constraint', name: 'reifier', varIndexes: [108, 6, 109], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [86, 49], param: 110},
{_class: '$constraint', name: 'reifier', varIndexes: [110, 6, 111], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [87, 50], param: 112},
{_class: '$constraint', name: 'reifier', varIndexes: [112, 6, 113], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [88, 51], param: 114},
{_class: '$constraint', name: 'reifier', varIndexes: [114, 6, 115], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [89, 52], param: 116},
{_class: '$constraint', name: 'reifier', varIndexes: [116, 6, 117], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [90, 53], param: 118},
{_class: '$constraint', name: 'reifier', varIndexes: [118, 6, 119], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [91, 54], param: 120},
{_class: '$constraint', name: 'reifier', varIndexes: [120, 6, 121], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [68, 55], param: 122},
{_class: '$constraint', name: 'reifier', varIndexes: [122, 6, 123], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [69, 56], param: 124},
{_class: '$constraint', name: 'reifier', varIndexes: [124, 6, 125], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [70, 57], param: 126},
{_class: '$constraint', name: 'reifier', varIndexes: [126, 6, 127], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [71, 58], param: 128},
{_class: '$constraint', name: 'reifier', varIndexes: [128, 6, 129], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [72, 59], param: 130},
{_class: '$constraint', name: 'reifier', varIndexes: [130, 6, 131], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [73, 60], param: 132},
{_class: '$constraint', name: 'reifier', varIndexes: [132, 6, 133], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [55, 92], param: 134},
{_class: '$constraint', name: 'reifier', varIndexes: [134, 6, 135], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [56, 93], param: 136},
{_class: '$constraint', name: 'reifier', varIndexes: [136, 6, 137], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [57, 94], param: 138},
{_class: '$constraint', name: 'reifier', varIndexes: [138, 6, 139], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [58, 95], param: 140},
{_class: '$constraint', name: 'reifier', varIndexes: [140, 6, 141], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [59, 96], param: 142},
{_class: '$constraint', name: 'reifier', varIndexes: [142, 6, 143], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [60, 97], param: 144},
{_class: '$constraint', name: 'reifier', varIndexes: [144, 6, 145], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [86, 55], param: 146},
{_class: '$constraint', name: 'reifier', varIndexes: [146, 6, 147], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [87, 56], param: 148},
{_class: '$constraint', name: 'reifier', varIndexes: [148, 6, 149], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [88, 57], param: 150},
{_class: '$constraint', name: 'reifier', varIndexes: [150, 6, 151], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [89, 58], param: 152},
{_class: '$constraint', name: 'reifier', varIndexes: [152, 6, 153], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [90, 59], param: 154},
{_class: '$constraint', name: 'reifier', varIndexes: [154, 6, 155], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [91, 60], param: 156},
{_class: '$constraint', name: 'reifier', varIndexes: [156, 6, 157], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [13, 3, 158], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [20, 3, 159], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [27, 3, 160], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [34, 3, 161], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [41, 3, 162], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [48, 3, 163], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [158, 55], param: undefined},
{_class: '$constraint', name: 'eq', varIndexes: [159, 56], param: undefined},
{_class: '$constraint', name: 'eq', varIndexes: [160, 57], param: undefined},
{_class: '$constraint', name: 'eq', varIndexes: [161, 58], param: undefined},
{_class: '$constraint', name: 'eq', varIndexes: [162, 59], param: undefined},
{_class: '$constraint', name: 'eq', varIndexes: [163, 60], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [68, 61], param: 164},
{_class: '$constraint', name: 'reifier', varIndexes: [164, 6, 165], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [69, 62], param: 166},
{_class: '$constraint', name: 'reifier', varIndexes: [166, 6, 167], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [70, 63], param: 168},
{_class: '$constraint', name: 'reifier', varIndexes: [168, 6, 169], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [71, 64], param: 170},
{_class: '$constraint', name: 'reifier', varIndexes: [170, 6, 171], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [72, 65], param: 172},
{_class: '$constraint', name: 'reifier', varIndexes: [172, 6, 173], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [73, 66], param: 174},
{_class: '$constraint', name: 'reifier', varIndexes: [174, 6, 175], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [61, 92], param: 176},
{_class: '$constraint', name: 'reifier', varIndexes: [176, 6, 177], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [62, 93], param: 178},
{_class: '$constraint', name: 'reifier', varIndexes: [178, 6, 179], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [63, 94], param: 180},
{_class: '$constraint', name: 'reifier', varIndexes: [180, 6, 181], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [64, 95], param: 182},
{_class: '$constraint', name: 'reifier', varIndexes: [182, 6, 183], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [65, 96], param: 184},
{_class: '$constraint', name: 'reifier', varIndexes: [184, 6, 185], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [66, 97], param: 186},
{_class: '$constraint', name: 'reifier', varIndexes: [186, 6, 187], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [86, 61], param: 188},
{_class: '$constraint', name: 'reifier', varIndexes: [188, 6, 189], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [87, 62], param: 190},
{_class: '$constraint', name: 'reifier', varIndexes: [190, 6, 191], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [88, 63], param: 192},
{_class: '$constraint', name: 'reifier', varIndexes: [192, 6, 193], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [89, 64], param: 194},
{_class: '$constraint', name: 'reifier', varIndexes: [194, 6, 195], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [90, 65], param: 196},
{_class: '$constraint', name: 'reifier', varIndexes: [196, 6, 197], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [91, 66], param: 198},
{_class: '$constraint', name: 'reifier', varIndexes: [198, 6, 199], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [68, 0], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [69, 86], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [70, 87], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [71, 88], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [72, 89], param: undefined},
{_class: '$constraint', name: 'gte', varIndexes: [73, 90], param: undefined},
{_class: '$constraint', name: 'eq', varIndexes: [91, 0], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [7, 0, 201], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [200, 0, 202], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [201, 202], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [7, 6, 204], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [203, 0, 205], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [204, 205], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [7, 3, 207], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [206, 6, 208], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [207, 208], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [200, 203, 206], param: 209},
{_class: '$constraint', name: 'reifier', varIndexes: [17, 0, 211], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [210, 0, 212], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [211, 212], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [17, 6, 214], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [213, 0, 215], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [214, 215], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [17, 3, 217], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [216, 6, 218], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [217, 218], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [210, 213, 216], param: 219},
{_class: '$constraint', name: 'reifier', varIndexes: [24, 0, 221], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [220, 0, 222], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [221, 222], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [24, 6, 224], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [223, 0, 225], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [224, 225], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [24, 3, 227], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [226, 6, 228], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [227, 228], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [220, 223, 226], param: 229},
{_class: '$constraint', name: 'reifier', varIndexes: [31, 0, 231], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [230, 0, 232], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [231, 232], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [31, 6, 234], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [233, 0, 235], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [234, 235], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [31, 3, 237], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [236, 6, 238], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [237, 238], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [230, 233, 236], param: 239},
{_class: '$constraint', name: 'reifier', varIndexes: [38, 0, 241], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [240, 0, 242], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [241, 242], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [38, 6, 244], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [243, 0, 245], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [244, 245], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [38, 3, 247], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [246, 6, 248], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [247, 248], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [240, 243, 246], param: 249},
{_class: '$constraint', name: 'reifier', varIndexes: [45, 0, 251], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [250, 0, 252], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [251, 252], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [45, 6, 254], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [253, 0, 255], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [254, 255], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [45, 3, 257], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [256, 6, 258], param: 'eq'},
{_class: '$constraint', name: 'eq', varIndexes: [257, 258], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [250, 253, 256], param: 259},
{_class: '$constraint', name: 'reifier', varIndexes: [68, 67, 260], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [69, 67, 261], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [70, 67, 262], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [71, 67, 263], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [72, 67, 264], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [73, 67, 265], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [209, 0, 267], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [219, 0, 268], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [229, 0, 269], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [239, 0, 270], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [249, 0, 271], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [259, 0, 272], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [267, 68], param: 273},
{_class: '$constraint', name: 'reifier', varIndexes: [273, 6, 274], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [268, 69], param: 275},
{_class: '$constraint', name: 'reifier', varIndexes: [275, 6, 276], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [269, 70], param: 277},
{_class: '$constraint', name: 'reifier', varIndexes: [277, 6, 278], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [270, 71], param: 279},
{_class: '$constraint', name: 'reifier', varIndexes: [279, 6, 280], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [271, 72], param: 281},
{_class: '$constraint', name: 'reifier', varIndexes: [281, 6, 282], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [272, 73], param: 283},
{_class: '$constraint', name: 'reifier', varIndexes: [283, 6, 284], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [86], param: 285},
{_class: '$constraint', name: 'reifier', varIndexes: [285, 0, 286], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [286, 274], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [87], param: 287},
{_class: '$constraint', name: 'reifier', varIndexes: [287, 0, 288], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [288, 276], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [88], param: 289},
{_class: '$constraint', name: 'reifier', varIndexes: [289, 0, 290], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [290, 278], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [89], param: 291},
{_class: '$constraint', name: 'reifier', varIndexes: [291, 0, 292], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [292, 280], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [90], param: 293},
{_class: '$constraint', name: 'reifier', varIndexes: [293, 0, 294], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [294, 282], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [91], param: 295},
{_class: '$constraint', name: 'reifier', varIndexes: [295, 0, 296], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [296, 284], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [209, 6, 297], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [219, 6, 298], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [229, 6, 299], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [239, 6, 300], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [249, 6, 301], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [259, 6, 302], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [297, 68], param: 303},
{_class: '$constraint', name: 'reifier', varIndexes: [303, 6, 304], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [298, 69], param: 305},
{_class: '$constraint', name: 'reifier', varIndexes: [305, 6, 306], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [299, 70], param: 307},
{_class: '$constraint', name: 'reifier', varIndexes: [307, 6, 308], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [300, 71], param: 309},
{_class: '$constraint', name: 'reifier', varIndexes: [309, 6, 310], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [301, 72], param: 311},
{_class: '$constraint', name: 'reifier', varIndexes: [311, 6, 312], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [302, 73], param: 313},
{_class: '$constraint', name: 'reifier', varIndexes: [313, 6, 314], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [92, 87], param: 315},
{_class: '$constraint', name: 'reifier', varIndexes: [315, 6, 316], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [93, 88], param: 317},
{_class: '$constraint', name: 'reifier', varIndexes: [317, 6, 318], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [94, 89], param: 319},
{_class: '$constraint', name: 'reifier', varIndexes: [319, 6, 320], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [95, 90], param: 321},
{_class: '$constraint', name: 'reifier', varIndexes: [321, 6, 322], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [96, 91], param: 323},
{_class: '$constraint', name: 'reifier', varIndexes: [323, 6, 324], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [316], param: 325},
{_class: '$constraint', name: 'reifier', varIndexes: [325, 0, 326], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [326, 304], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [318], param: 327},
{_class: '$constraint', name: 'reifier', varIndexes: [327, 0, 328], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [328, 306], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [320], param: 329},
{_class: '$constraint', name: 'reifier', varIndexes: [329, 0, 330], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [330, 308], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [322], param: 331},
{_class: '$constraint', name: 'reifier', varIndexes: [331, 0, 332], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [332, 310], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [324], param: 333},
{_class: '$constraint', name: 'reifier', varIndexes: [333, 0, 334], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [334, 312], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [67], param: 335},
{_class: '$constraint', name: 'reifier', varIndexes: [335, 0, 336], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [336, 314], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [68, 261], param: 337},
{_class: '$constraint', name: 'reifier', varIndexes: [337, 6, 338], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [69, 262], param: 339},
{_class: '$constraint', name: 'reifier', varIndexes: [339, 6, 340], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [70, 263], param: 341},
{_class: '$constraint', name: 'reifier', varIndexes: [341, 6, 342], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [71, 264], param: 343},
{_class: '$constraint', name: 'reifier', varIndexes: [343, 6, 344], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [72, 265], param: 345},
{_class: '$constraint', name: 'reifier', varIndexes: [345, 6, 346], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [338], param: 347},
{_class: '$constraint', name: 'reifier', varIndexes: [347, 0, 348], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [348, 304], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [340], param: 349},
{_class: '$constraint', name: 'reifier', varIndexes: [349, 0, 350], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [350, 306], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [342], param: 351},
{_class: '$constraint', name: 'reifier', varIndexes: [351, 0, 352], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [352, 308], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [344], param: 353},
{_class: '$constraint', name: 'reifier', varIndexes: [353, 0, 354], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [354, 310], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [346], param: 355},
{_class: '$constraint', name: 'reifier', varIndexes: [355, 0, 356], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [356, 312], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [67], param: 357},
{_class: '$constraint', name: 'reifier', varIndexes: [357, 0, 358], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [358, 314], param: undefined},
{_class: '$constraint', name: 'reifier', varIndexes: [7, 17, 359], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [17, 24, 360], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [24, 31, 361], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [31, 38, 362], param: 'eq'},
{_class: '$constraint', name: 'reifier', varIndexes: [38, 45, 363], param: 'eq'},
{_class: '$constraint', name: 'sum', varIndexes: [359], param: 364},
{_class: '$constraint', name: 'reifier', varIndexes: [364, 0, 365], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [365, 92], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [360], param: 366},
{_class: '$constraint', name: 'reifier', varIndexes: [366, 0, 367], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [367, 93], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [361], param: 368},
{_class: '$constraint', name: 'reifier', varIndexes: [368, 0, 369], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [369, 94], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [362], param: 370},
{_class: '$constraint', name: 'reifier', varIndexes: [370, 0, 371], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [371, 95], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [363], param: 372},
{_class: '$constraint', name: 'reifier', varIndexes: [372, 0, 373], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [373, 96], param: undefined},
{_class: '$constraint', name: 'sum', varIndexes: [67], param: 374},
{_class: '$constraint', name: 'reifier', varIndexes: [374, 0, 375], param: 'eq'},
{_class: '$constraint', name: 'gte', varIndexes: [375, 97], param: undefined},
],
constantCache: {
'0': '67',
'1': '0',
'2': '6',
'3': '3',
'4': '10',
'5': '11',
'6': '12',
'9999': '266',
},
initialDomains: [
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
[],
],
};
export default config;