finitedomain
Version:
A fast feature rich finite domain solver
2,756 lines (2,754 loc) • 53.5 kB
JavaScript
// this test was exported from multiversejson/ Harmonics - Constraints length=12 counter=80
// it would not finish if the list of unsolved var names was explicitly sorted
let config = {
_class: '$config',
varStratConfig: {
_class: '$var_strat_config',
type: 'naive',
priorityByName: undefined,
_priorityByIndex: undefined,
inverted: false,
fallback: undefined,
},
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',
'ITEM_INDEX&n=6',
'ITEM_INDEX&n=7',
'ITEM_INDEX&n=8',
'ITEM_INDEX&n=9',
'ITEM_INDEX&n=10',
'ITEM_INDEX&n=11',
'width',
'width&n=1',
'width&n=2',
'width&n=3',
'width&n=4',
'width&n=5',
'width&n=6',
'width&n=7',
'width&n=8',
'width&n=9',
'width&n=10',
'width&n=11',
'_ROOT_BRANCH_',
'SECTION',
'color',
'post_type',
'state',
'SECTION&n=1',
'color&n=1',
'post_type&n=1',
'state&n=1',
'SECTION&n=2',
'color&n=2',
'post_type&n=2',
'state&n=2',
'SECTION&n=3',
'color&n=3',
'post_type&n=3',
'state&n=3',
'SECTION&n=4',
'color&n=4',
'post_type&n=4',
'state&n=4',
'SECTION&n=5',
'color&n=5',
'post_type&n=5',
'state&n=5',
'SECTION&n=6',
'color&n=6',
'post_type&n=6',
'state&n=6',
'SECTION&n=7',
'color&n=7',
'post_type&n=7',
'state&n=7',
'SECTION&n=8',
'color&n=8',
'post_type&n=8',
'state&n=8',
'SECTION&n=9',
'color&n=9',
'post_type&n=9',
'state&n=9',
'SECTION&n=10',
'color&n=10',
'post_type&n=10',
'state&n=10',
'SECTION&n=11',
'color&n=11',
'post_type&n=11',
'state&n=11',
'VERSE_INDEX',
'VERSE_INDEX&n=1',
'VERSE_INDEX&n=2',
'VERSE_INDEX&n=3',
'VERSE_INDEX&n=4',
'VERSE_INDEX&n=5',
'VERSE_INDEX&n=6',
'VERSE_INDEX&n=7',
'VERSE_INDEX&n=8',
'VERSE_INDEX&n=9',
'VERSE_INDEX&n=10',
'VERSE_INDEX&n=11',
'273',
'274',
'275',
'276',
'277',
'278',
'279',
'280',
'281',
'282',
'283',
'284',
'288',
'292',
'296',
'300',
'304',
'308',
'312',
'316',
'320',
'323',
'285',
'324',
'325',
'326',
'327',
'328',
'329',
'330',
'331',
'332',
'333',
'334',
'335',
],
varDistOptions: {
width: {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
'width&n=1': {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
'width&n=2': {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
'width&n=3': {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
'width&n=4': {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
'width&n=5': {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
'width&n=6': {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
'width&n=7': {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
'width&n=8': {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
'width&n=9': {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
'width&n=10': {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
'width&n=11': {list: [2, 3, 1, 4, 5, 6, 7, 8], valtype: 'list'},
},
timeoutCallback: undefined,
allVarNames: [
'0',
'_ROOT_BRANCH_',
'SECTION',
'3',
'4',
'5',
'6',
'VERSE_INDEX',
'8',
'9',
'ITEM_INDEX',
'11',
'12',
'13',
'width',
'color',
'post_type',
'state',
'SECTION&n=1',
'VERSE_INDEX&n=1',
'ITEM_INDEX&n=1',
'width&n=1',
'color&n=1',
'post_type&n=1',
'state&n=1',
'SECTION&n=2',
'VERSE_INDEX&n=2',
'ITEM_INDEX&n=2',
'width&n=2',
'color&n=2',
'post_type&n=2',
'state&n=2',
'SECTION&n=3',
'33',
'VERSE_INDEX&n=3',
'ITEM_INDEX&n=3',
'width&n=3',
'color&n=3',
'post_type&n=3',
'state&n=3',
'SECTION&n=4',
'VERSE_INDEX&n=4',
'ITEM_INDEX&n=4',
'width&n=4',
'color&n=4',
'post_type&n=4',
'state&n=4',
'SECTION&n=5',
'VERSE_INDEX&n=5',
'ITEM_INDEX&n=5',
'width&n=5',
'color&n=5',
'post_type&n=5',
'state&n=5',
'SECTION&n=6',
'55',
'VERSE_INDEX&n=6',
'ITEM_INDEX&n=6',
'width&n=6',
'color&n=6',
'post_type&n=6',
'state&n=6',
'SECTION&n=7',
'VERSE_INDEX&n=7',
'ITEM_INDEX&n=7',
'width&n=7',
'color&n=7',
'post_type&n=7',
'state&n=7',
'SECTION&n=8',
'VERSE_INDEX&n=8',
'ITEM_INDEX&n=8',
'width&n=8',
'color&n=8',
'post_type&n=8',
'state&n=8',
'SECTION&n=9',
'VERSE_INDEX&n=9',
'ITEM_INDEX&n=9',
'width&n=9',
'color&n=9',
'post_type&n=9',
'state&n=9',
'SECTION&n=10',
'VERSE_INDEX&n=10',
'ITEM_INDEX&n=10',
'width&n=10',
'color&n=10',
'post_type&n=10',
'state&n=10',
'SECTION&n=11',
'VERSE_INDEX&n=11',
'ITEM_INDEX&n=11',
'width&n=11',
'color&n=11',
'post_type&n=11',
'state&n=11',
'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',
'200',
'201',
'202',
'203',
'204',
'205',
'206',
'207',
'208',
'209',
'210',
'211',
'212',
'213',
'214',
'215',
'216',
'217',
'218',
'219',
'220',
'221',
'222',
'223',
'224',
'225',
'226',
'227',
'228',
'229',
'230',
'231',
'232',
'233',
'234',
'235',
'236',
'237',
'238',
'239',
'240',
'241',
'242',
'243',
'244',
'245',
'246',
'247',
'248',
'249',
'250',
'251',
'252',
'253',
'254',
'255',
'256',
'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'],
allConstraints: [
{
_class: '$constraint',
name: 'distinct',
varIndexes: [10, 20, 27, 35, 42, 49, 57, 64, 71, 78, 85, 92],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [7, 2, 97],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [10, 2, 98],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [98, 97],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [19, 2, 99],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [20, 2, 100],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [100, 99],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [26, 2, 101],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [27, 2, 102],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [102, 101],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [34, 2, 103],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [35, 2, 104],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [104, 103],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [41, 2, 105],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [42, 2, 106],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [106, 105],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [7, 5, 107],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [10, 8, 108],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [108, 107],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [19, 5, 109],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [20, 8, 110],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [110, 109],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [26, 5, 111],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [27, 8, 112],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [112, 111],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [34, 5, 113],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [35, 8, 114],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [114, 113],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [41, 5, 115],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [42, 8, 116],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [116, 115],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [48, 5, 117],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [49, 8, 118],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [118, 117],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [7, 3, 119],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [10, 3, 120],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [120, 119],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [19, 3, 121],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [20, 3, 122],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [122, 121],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [26, 3, 123],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [27, 3, 124],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [124, 123],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [34, 3, 125],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [35, 3, 126],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [126, 125],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [41, 3, 127],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [42, 3, 128],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [128, 127],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [48, 3, 129],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [49, 3, 130],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [130, 129],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [56, 3, 131],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [57, 3, 132],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [132, 131],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [7, 4, 133],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [10, 9, 134],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [134, 133],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [19, 4, 135],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [20, 9, 136],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [136, 135],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [26, 4, 137],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [27, 9, 138],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [138, 137],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [34, 4, 139],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [35, 9, 140],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [140, 139],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [41, 4, 141],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [42, 9, 142],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [142, 141],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [48, 4, 143],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [49, 9, 144],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [144, 143],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [56, 4, 145],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [57, 9, 146],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [146, 145],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [63, 4, 147],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [64, 9, 148],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [148, 147],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [7, 6, 149],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [10, 4, 150],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [150, 149],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [19, 6, 151],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [20, 4, 152],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [152, 151],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [26, 6, 153],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [27, 4, 154],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [154, 153],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [34, 6, 155],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [35, 4, 156],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [156, 155],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [41, 6, 157],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [42, 4, 158],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [158, 157],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [48, 6, 159],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [49, 4, 160],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [160, 159],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [56, 6, 161],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [57, 4, 162],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [162, 161],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [63, 6, 163],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [64, 4, 164],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [164, 163],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [70, 6, 165],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [71, 4, 166],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [166, 165],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [19, 8, 167],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [20, 11, 168],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [168, 167],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [26, 8, 169],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [27, 11, 170],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [170, 169],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [34, 8, 171],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [35, 11, 172],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [172, 171],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [41, 8, 173],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [42, 11, 174],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [174, 173],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [48, 8, 175],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [49, 11, 176],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [176, 175],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [56, 8, 177],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [57, 11, 178],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [178, 177],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [63, 8, 179],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [64, 11, 180],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [180, 179],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [70, 8, 181],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [71, 11, 182],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [182, 181],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [77, 8, 183],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [78, 11, 184],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [184, 183],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [26, 11, 185],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [27, 12, 186],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [186, 185],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [34, 11, 187],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [35, 12, 188],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [188, 187],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [41, 11, 189],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [42, 12, 190],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [190, 189],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [48, 11, 191],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [49, 12, 192],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [192, 191],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [56, 11, 193],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [57, 12, 194],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [194, 193],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [63, 11, 195],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [64, 12, 196],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [196, 195],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [70, 11, 197],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [71, 12, 198],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [198, 197],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [77, 11, 199],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [78, 12, 200],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [200, 199],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [84, 11, 201],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [85, 12, 202],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [202, 201],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [34, 33, 203],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [35, 13, 204],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [204, 203],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [41, 33, 205],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [42, 13, 206],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [206, 205],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [48, 33, 207],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [49, 13, 208],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [208, 207],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [56, 33, 209],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [57, 13, 210],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [210, 209],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [63, 33, 211],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [64, 13, 212],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [212, 211],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [70, 33, 213],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [71, 13, 214],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [214, 213],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [77, 33, 215],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [78, 13, 216],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [216, 215],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [84, 33, 217],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [85, 13, 218],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [218, 217],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [91, 33, 219],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [92, 13, 220],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [220, 219],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [41, 12, 221],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [42, 5, 222],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [222, 221],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [48, 12, 223],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [49, 5, 224],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [224, 223],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [56, 12, 225],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [57, 5, 226],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [226, 225],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [63, 12, 227],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [64, 5, 228],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [228, 227],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [70, 12, 229],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [71, 5, 230],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [230, 229],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [77, 12, 231],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [78, 5, 232],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [232, 231],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [84, 12, 233],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [85, 5, 234],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [234, 233],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [91, 12, 235],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [92, 5, 236],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [236, 235],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [48, 13, 237],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [49, 33, 238],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [238, 237],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [56, 13, 239],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [57, 33, 240],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [240, 239],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [63, 13, 241],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [64, 33, 242],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [242, 241],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [70, 13, 243],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [71, 33, 244],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [244, 243],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [77, 13, 245],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [78, 33, 246],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [246, 245],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [84, 13, 247],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [85, 33, 248],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [248, 247],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [91, 13, 249],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [92, 33, 250],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [250, 249],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [56, 55, 251],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [57, 55, 252],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [252, 251],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [63, 55, 253],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [64, 55, 254],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [254, 253],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [70, 55, 255],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [71, 55, 256],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [256, 255],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [77, 55, 257],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [78, 55, 258],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [258, 257],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [84, 55, 259],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [85, 55, 260],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [260, 259],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [91, 55, 261],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [92, 55, 262],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [262, 261],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [63, 9, 263],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [64, 6, 264],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [264, 263],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [70, 9, 265],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [71, 6, 266],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [266, 265],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [77, 9, 267],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [78, 6, 268],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [268, 267],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [84, 9, 269],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [85, 6, 270],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [270, 269],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [91, 9, 271],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [92, 6, 272],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [272, 271],
param: undefined,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [14, 3, 273],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [21, 3, 274],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [28, 3, 275],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [36, 3, 276],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [43, 3, 277],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [50, 3, 278],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [58, 3, 279],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [65, 3, 280],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [72, 3, 281],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [79, 3, 282],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [86, 3, 283],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [93, 3, 284],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [276, 285, 286],
param: 'eq',
},
{
_class: '$constraint',
name: 'sum',
varIndexes: [273, 274, 275, 286],
param: 287,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [287, 9, 288],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [273, 285, 289],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [277, 285, 290],
param: 'eq',
},
{
_class: '$constraint',
name: 'sum',
varIndexes: [274, 275, 276, 289, 290],
param: 291,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [291, 4, 292],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [274, 285, 293],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [278, 285, 294],
param: 'eq',
},
{
_class: '$constraint',
name: 'sum',
varIndexes: [275, 276, 277, 293, 294],
param: 295,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [295, 4, 296],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [275, 285, 297],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [279, 285, 298],
param: 'eq',
},
{
_class: '$constraint',
name: 'sum',
varIndexes: [276, 277, 278, 297, 298],
param: 299,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [299, 4, 300],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [276, 285, 301],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [280, 285, 302],
param: 'eq',
},
{
_class: '$constraint',
name: 'sum',
varIndexes: [277, 278, 279, 301, 302],
param: 303,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [303, 4, 304],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [277, 285, 305],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [281, 285, 306],
param: 'eq',
},
{
_class: '$constraint',
name: 'sum',
varIndexes: [278, 279, 280, 305, 306],
param: 307,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [307, 4, 308],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [278, 285, 309],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [282, 285, 310],
param: 'eq',
},
{
_class: '$constraint',
name: 'sum',
varIndexes: [279, 280, 281, 309, 310],
param: 311,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [311, 4, 312],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [279, 285, 313],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [283, 285, 314],
param: 'eq',
},
{
_class: '$constraint',
name: 'sum',
varIndexes: [280, 281, 282, 313, 314],
param: 315,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [315, 4, 316],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [280, 285, 317],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [284, 285, 318],
param: 'eq',
},
{
_class: '$constraint',
name: 'sum',
varIndexes: [281, 282, 283, 317, 318],
param: 319,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [319, 4, 320],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [281, 285, 321],
param: 'eq',
},
{
_class: '$constraint',
name: 'sum',
varIndexes: [282, 283, 284, 321],
param: 322,
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [322, 9, 323],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [14, 8, 324],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [21, 8, 325],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [28, 8, 326],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [36, 8, 327],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [43, 8, 328],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [50, 8, 329],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [58, 8, 330],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [65, 8, 331],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [72, 8, 332],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [79, 8, 333],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [86, 8, 334],
param: 'eq',
},
{
_class: '$constraint',
name: 'reifier',
varIndexes: [93, 8, 335],
param: 'eq',
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [324, 292],
param: undefined,
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [325, 296],
param: undefined,
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [326, 300],
param: undefined,
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [327, 304],
param: undefined,
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [328, 308],
param: undefined,
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [329, 312],
param: undefined,
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [330, 316],
param: undefined,
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [331, 320],
param: undefined,
},
{
_class: '$constraint',
name: 'eq',
varIndexes: [332, 323],
param: undefined,
}],
constantCache: {
'0': 285,
'1': 2,
'2': 8,
'3': 3,
'4': 9,
'5': 4,
'6': 11,
'7': 12,
'8': 13,
'9': 5,
'10': 33,
'11': 55,
'12': 6,
},
initialDomains: [
[1, 1],
[1, 1],
[1, 1],
[3, 3],
[5, 5],
[9, 9],
[12, 12],
[1, 1, 3, 3, 5, 5, 9, 9, 12, 12],
[2, 2],
[4, 4],
[1, 5],
[6, 6],
[7, 7],
[8, 8],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[1, 1],
[1, 3, 5, 5, 9, 9, 12, 12],
[1, 6],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[1, 1],
[1, 3, 5, 6, 9, 9, 12, 12],
[1, 7],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[1, 1],
[10, 10],
[1, 3, 5, 6, 9, 10, 12, 12],
[1, 8],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[1, 1],
[1, 3, 5, 7, 9, 10, 12, 12],
[1, 9],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[1, 1],
[2, 3, 5, 10, 12, 12],
[2, 10],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[1, 1],
[11, 11],
[2, 3, 5, 8, 10, 12],
[3, 11],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[1, 1],
[2, 2, 4, 8, 10, 12],
[4, 12],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[1, 1],
[2, 2, 4, 4, 6, 8, 10, 12],
[5, 12],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[1, 1],
[2, 2, 4, 4, 6, 8, 10, 11],
[6, 12],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[1, 1],
[4, 4, 6, 8, 10, 11],
[7, 12],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[1, 1],
[4, 4, 7, 8, 10, 11],
[8, 12],
[1, 8],
[1, 2],
[1, 2],
[1, 2],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],
[0, 1],