finitedomain/tests/perf/mvshort/dsl.js

A fast feature rich finite domain solver

/*
Exported test case from multiverse: "Harmonics Clusterer Proof of Concept", exported on 2016-11-18

At the time of exporting this case (when imported like below, not actual mv test) ran as follows:

  - FD Preparing...
  - FD Prepare Time: 26ms
  - FD Var Count: 3196
  - FD Constraint Count: 2618
  - FD Propagator Count: 5068
  - FD Solving...
  - FD Solving Time: 59ms
  - FD Solutions: 1
  - FD Solution Construction Time: 1ms


(this requires a node version that supports back tick literals (like in node 4.x))
 */

var dsl = module.exports =  `
## bare export:
@mode constraints
: _ROOT_BRANCH_ = [1,1]
: SECTION = [1,1]
SECTION >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX = [4,4]
VERSE_INDEX >= 1
SECTION == 1
: ITEM_INDEX = [1,1]
ITEM_INDEX >= 1
SECTION == 1
: CLUSTER = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER >= 1
SECTION == 1
: CLUSTER_START? = [0,1]
: CLUSTER_END? = [0,1]
: item = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item >= 1
SECTION == 1
: SECTION&n_1 = [1,1]
SECTION&n_1 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_1 = [8,8]
VERSE_INDEX&n_1 >= 1
SECTION&n_1 == 1
: ITEM_INDEX&n_1 = [2,2]
ITEM_INDEX&n_1 >= 1
SECTION&n_1 == 1
: CLUSTER&n_1 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__242__","vector":[1,0.1,100,1],"_boolVarIndex":242},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_1 >= 1
SECTION&n_1 == 1
: CLUSTER_START?&n_1 = [0,1]
: CLUSTER_END?&n_1 = [0,1]
: item&n_1 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_1 >= 1
SECTION&n_1 == 1
: SECTION&n_2 = [1,1]
SECTION&n_2 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_2 = [5,5]
VERSE_INDEX&n_2 >= 1
SECTION&n_2 == 1
: ITEM_INDEX&n_2 = [3,3]
ITEM_INDEX&n_2 >= 1
SECTION&n_2 == 1
: CLUSTER&n_2 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__244__","vector":[1,0.1,100,1],"_boolVarIndex":244},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_2 >= 1
SECTION&n_2 == 1
: CLUSTER_START?&n_2 = [0,1]
: CLUSTER_END?&n_2 = [0,1]
: item&n_2 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_2 >= 1
SECTION&n_2 == 1
: SECTION&n_3 = [1,1]
SECTION&n_3 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_3 = [17,17]
VERSE_INDEX&n_3 >= 1
SECTION&n_3 == 1
: ITEM_INDEX&n_3 = [4,4]
ITEM_INDEX&n_3 >= 1
SECTION&n_3 == 1
: CLUSTER&n_3 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__246__","vector":[1,0.1,100,1],"_boolVarIndex":246},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_3 >= 1
SECTION&n_3 == 1
: CLUSTER_START?&n_3 = [0,1]
: CLUSTER_END?&n_3 = [0,1]
: item&n_3 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_3 >= 1
SECTION&n_3 == 1
: SECTION&n_4 = [1,1]
SECTION&n_4 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_4 = [2,2]
VERSE_INDEX&n_4 >= 1
SECTION&n_4 == 1
: ITEM_INDEX&n_4 = [5,5]
ITEM_INDEX&n_4 >= 1
SECTION&n_4 == 1
: CLUSTER&n_4 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__248__","vector":[1,0.1,100,1],"_boolVarIndex":248},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_4 >= 1
SECTION&n_4 == 1
: CLUSTER_START?&n_4 = [0,1]
: CLUSTER_END?&n_4 = [0,1]
: item&n_4 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_4 >= 1
SECTION&n_4 == 1
: SECTION&n_5 = [1,1]
SECTION&n_5 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_5 = [9,9]
VERSE_INDEX&n_5 >= 1
SECTION&n_5 == 1
: ITEM_INDEX&n_5 = [6,6]
ITEM_INDEX&n_5 >= 1
SECTION&n_5 == 1
: CLUSTER&n_5 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__250__","vector":[1,0.1,100,1],"_boolVarIndex":250},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_5 >= 1
SECTION&n_5 == 1
: CLUSTER_START?&n_5 = [0,1]
: CLUSTER_END?&n_5 = [0,1]
: item&n_5 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_5 >= 1
SECTION&n_5 == 1
: SECTION&n_6 = [1,1]
SECTION&n_6 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_6 = [1,1]
VERSE_INDEX&n_6 >= 1
SECTION&n_6 == 1
: ITEM_INDEX&n_6 = [7,7]
ITEM_INDEX&n_6 >= 1
SECTION&n_6 == 1
: CLUSTER&n_6 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__252__","vector":[1,0.1,100,1],"_boolVarIndex":252},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_6 >= 1
SECTION&n_6 == 1
: CLUSTER_START?&n_6 = [0,1]
: CLUSTER_END?&n_6 = [0,1]
: item&n_6 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_6 >= 1
SECTION&n_6 == 1
: SECTION&n_7 = [1,1]
SECTION&n_7 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_7 = [20,20]
VERSE_INDEX&n_7 >= 1
SECTION&n_7 == 1
: ITEM_INDEX&n_7 = [8,8]
ITEM_INDEX&n_7 >= 1
SECTION&n_7 == 1
: CLUSTER&n_7 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__254__","vector":[1,0.1,100,1],"_boolVarIndex":254},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_7 >= 1
SECTION&n_7 == 1
: CLUSTER_START?&n_7 = [0,1]
: CLUSTER_END?&n_7 = [0,1]
: item&n_7 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_7 >= 1
SECTION&n_7 == 1
: SECTION&n_8 = [1,1]
SECTION&n_8 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_8 = [13,13]
VERSE_INDEX&n_8 >= 1
SECTION&n_8 == 1
: ITEM_INDEX&n_8 = [9,9]
ITEM_INDEX&n_8 >= 1
SECTION&n_8 == 1
: CLUSTER&n_8 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__256__","vector":[1,0.1,100,1],"_boolVarIndex":256},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_8 >= 1
SECTION&n_8 == 1
: CLUSTER_START?&n_8 = [0,1]
: CLUSTER_END?&n_8 = [0,1]
: item&n_8 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_8 >= 1
SECTION&n_8 == 1
: SECTION&n_9 = [1,1]
SECTION&n_9 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_9 = [12,12]
VERSE_INDEX&n_9 >= 1
SECTION&n_9 == 1
: ITEM_INDEX&n_9 = [10,10]
ITEM_INDEX&n_9 >= 1
SECTION&n_9 == 1
: CLUSTER&n_9 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__258__","vector":[1,0.1,100,1],"_boolVarIndex":258},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_9 >= 1
SECTION&n_9 == 1
: CLUSTER_START?&n_9 = [0,1]
: CLUSTER_END?&n_9 = [0,1]
: item&n_9 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_9 >= 1
SECTION&n_9 == 1
: SECTION&n_10 = [1,1]
SECTION&n_10 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_10 = [10,10]
VERSE_INDEX&n_10 >= 1
SECTION&n_10 == 1
: ITEM_INDEX&n_10 = [11,11]
ITEM_INDEX&n_10 >= 1
SECTION&n_10 == 1
: CLUSTER&n_10 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__260__","vector":[1,0.1,100,1],"_boolVarIndex":260},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_10 >= 1
SECTION&n_10 == 1
: CLUSTER_START?&n_10 = [0,1]
: CLUSTER_END?&n_10 = [0,1]
: item&n_10 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_10 >= 1
SECTION&n_10 == 1
: SECTION&n_11 = [1,1]
SECTION&n_11 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_11 = [6,6]
VERSE_INDEX&n_11 >= 1
SECTION&n_11 == 1
: ITEM_INDEX&n_11 = [12,12]
ITEM_INDEX&n_11 >= 1
SECTION&n_11 == 1
: CLUSTER&n_11 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__262__","vector":[1,0.1,100,1],"_boolVarIndex":262},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_11 >= 1
SECTION&n_11 == 1
: CLUSTER_START?&n_11 = [0,1]
: CLUSTER_END?&n_11 = [0,1]
: item&n_11 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_11 >= 1
SECTION&n_11 == 1
: SECTION&n_12 = [1,1]
SECTION&n_12 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_12 = [11,11]
VERSE_INDEX&n_12 >= 1
SECTION&n_12 == 1
: ITEM_INDEX&n_12 = [13,13]
ITEM_INDEX&n_12 >= 1
SECTION&n_12 == 1
: CLUSTER&n_12 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__264__","vector":[1,0.1,100,1],"_boolVarIndex":264},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_12 >= 1
SECTION&n_12 == 1
: CLUSTER_START?&n_12 = [0,1]
: CLUSTER_END?&n_12 = [0,1]
: item&n_12 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_12 >= 1
SECTION&n_12 == 1
: SECTION&n_13 = [1,1]
SECTION&n_13 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_13 = [18,18]
VERSE_INDEX&n_13 >= 1
SECTION&n_13 == 1
: ITEM_INDEX&n_13 = [14,14]
ITEM_INDEX&n_13 >= 1
SECTION&n_13 == 1
: CLUSTER&n_13 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__266__","vector":[1,0.1,100,1],"_boolVarIndex":266},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_13 >= 1
SECTION&n_13 == 1
: CLUSTER_START?&n_13 = [0,1]
: CLUSTER_END?&n_13 = [0,1]
: item&n_13 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_13 >= 1
SECTION&n_13 == 1
: SECTION&n_14 = [1,1]
SECTION&n_14 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_14 = [16,16]
VERSE_INDEX&n_14 >= 1
SECTION&n_14 == 1
: ITEM_INDEX&n_14 = [15,15]
ITEM_INDEX&n_14 >= 1
SECTION&n_14 == 1
: CLUSTER&n_14 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__268__","vector":[1,0.1,100,1],"_boolVarIndex":268},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_14 >= 1
SECTION&n_14 == 1
: CLUSTER_START?&n_14 = [0,1]
: CLUSTER_END?&n_14 = [0,1]
: item&n_14 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_14 >= 1
SECTION&n_14 == 1
: SECTION&n_15 = [1,1]
SECTION&n_15 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_15 = [14,14]
VERSE_INDEX&n_15 >= 1
SECTION&n_15 == 1
: ITEM_INDEX&n_15 = [16,16]
ITEM_INDEX&n_15 >= 1
SECTION&n_15 == 1
: CLUSTER&n_15 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__270__","vector":[1,0.1,100,1],"_boolVarIndex":270},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_15 >= 1
SECTION&n_15 == 1
: CLUSTER_START?&n_15 = [0,1]
: CLUSTER_END?&n_15 = [0,1]
: item&n_15 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_15 >= 1
SECTION&n_15 == 1
: SECTION&n_16 = [1,1]
SECTION&n_16 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_16 = [15,15]
VERSE_INDEX&n_16 >= 1
SECTION&n_16 == 1
: ITEM_INDEX&n_16 = [17,17]
ITEM_INDEX&n_16 >= 1
SECTION&n_16 == 1
: CLUSTER&n_16 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__272__","vector":[1,0.1,100,1],"_boolVarIndex":272},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_16 >= 1
SECTION&n_16 == 1
: CLUSTER_START?&n_16 = [0,1]
: CLUSTER_END?&n_16 = [0,1]
: item&n_16 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_16 >= 1
SECTION&n_16 == 1
: SECTION&n_17 = [1,1]
SECTION&n_17 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_17 = [19,19]
VERSE_INDEX&n_17 >= 1
SECTION&n_17 == 1
: ITEM_INDEX&n_17 = [18,18]
ITEM_INDEX&n_17 >= 1
SECTION&n_17 == 1
: CLUSTER&n_17 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__274__","vector":[1,0.1,100,1],"_boolVarIndex":274},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_17 >= 1
SECTION&n_17 == 1
: CLUSTER_START?&n_17 = [0,1]
: CLUSTER_END?&n_17 = [0,1]
: item&n_17 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_17 >= 1
SECTION&n_17 == 1
: SECTION&n_18 = [1,1]
SECTION&n_18 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_18 = [7,7]
VERSE_INDEX&n_18 >= 1
SECTION&n_18 == 1
: ITEM_INDEX&n_18 = [19,19]
ITEM_INDEX&n_18 >= 1
SECTION&n_18 == 1
: CLUSTER&n_18 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__276__","vector":[1,0.1,100,1],"_boolVarIndex":276},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_18 >= 1
SECTION&n_18 == 1
: CLUSTER_START?&n_18 = [0,1]
: CLUSTER_END?&n_18 = [0,1]
: item&n_18 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_18 >= 1
SECTION&n_18 == 1
: SECTION&n_19 = [1,1]
SECTION&n_19 >= 1
_ROOT_BRANCH_ == 1
: VERSE_INDEX&n_19 = [3,3]
VERSE_INDEX&n_19 >= 1
SECTION&n_19 == 1
: ITEM_INDEX&n_19 = [20,20]
ITEM_INDEX&n_19 >= 1
SECTION&n_19 == 1
: CLUSTER&n_19 = [1,4] # markov (set below): {"valtype":"markov","matrix":[{"boolVarName":"__278__","vector":[1,0.1,100,1],"_boolVarIndex":278},{"vector":[1,10000,1,1]}],"legend":[1,2,3,4]}
CLUSTER&n_19 >= 1
SECTION&n_19 == 1
: CLUSTER_START?&n_19 = [0,1]
: CLUSTER_END?&n_19 = [0,1]
: item&n_19 = [1,20] # markov (set below): {"valtype":"list","list":[11,1,12,2,20,8,9,10,19,18,7,5,6,17,15,16,14,4,13,3]}
item&n_19 >= 1
SECTION&n_19 == 1
distinct(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,ITEM_INDEX&n_12,ITEM_INDEX&n_13,ITEM_INDEX&n_14,ITEM_INDEX&n_15,ITEM_INDEX&n_16,ITEM_INDEX&n_17,ITEM_INDEX&n_18,ITEM_INDEX&n_19)
distinct(item,item&n_1,item&n_2,item&n_3,item&n_4,item&n_5,item&n_6,item&n_7,item&n_8,item&n_9,item&n_10,item&n_11,item&n_12,item&n_13,item&n_14,item&n_15,item&n_16,item&n_17,item&n_18,item&n_19)
__141__ = CLUSTER ==? 1
__142__ = CLUSTER&n_1 ==? 1
__143__ = CLUSTER&n_2 ==? 1
__144__ = CLUSTER&n_3 ==? 1
__145__ = CLUSTER&n_4 ==? 1
__146__ = CLUSTER&n_5 ==? 1
__147__ = CLUSTER&n_6 ==? 1
__148__ = CLUSTER&n_7 ==? 1
__149__ = CLUSTER&n_8 ==? 1
__150__ = CLUSTER&n_9 ==? 1
__151__ = CLUSTER&n_10 ==? 1
__152__ = CLUSTER&n_11 ==? 1
__153__ = CLUSTER&n_12 ==? 1
__154__ = CLUSTER&n_13 ==? 1
__155__ = CLUSTER&n_14 ==? 1
__156__ = CLUSTER&n_15 ==? 1
__157__ = CLUSTER&n_16 ==? 1
__158__ = CLUSTER&n_17 ==? 1
__159__ = CLUSTER&n_18 ==? 1
__160__ = CLUSTER&n_19 ==? 1
__161__ = CLUSTER ==? 2
__162__ = CLUSTER&n_1 ==? 2
__163__ = CLUSTER&n_2 ==? 2
__164__ = CLUSTER&n_3 ==? 2
__165__ = CLUSTER&n_4 ==? 2
__166__ = CLUSTER&n_5 ==? 2
__167__ = CLUSTER&n_6 ==? 2
__168__ = CLUSTER&n_7 ==? 2
__169__ = CLUSTER&n_8 ==? 2
__170__ = CLUSTER&n_9 ==? 2
__171__ = CLUSTER&n_10 ==? 2
__172__ = CLUSTER&n_11 ==? 2
__173__ = CLUSTER&n_12 ==? 2
__174__ = CLUSTER&n_13 ==? 2
__175__ = CLUSTER&n_14 ==? 2
__176__ = CLUSTER&n_15 ==? 2
__177__ = CLUSTER&n_16 ==? 2
__178__ = CLUSTER&n_17 ==? 2
__179__ = CLUSTER&n_18 ==? 2
__180__ = CLUSTER&n_19 ==? 2
__181__ = CLUSTER ==? 3
__182__ = CLUSTER&n_1 ==? 3
__183__ = CLUSTER&n_2 ==? 3
__184__ = CLUSTER&n_3 ==? 3
__185__ = CLUSTER&n_4 ==? 3
__186__ = CLUSTER&n_5 ==? 3
__187__ = CLUSTER&n_6 ==? 3
__188__ = CLUSTER&n_7 ==? 3
__189__ = CLUSTER&n_8 ==? 3
__190__ = CLUSTER&n_9 ==? 3
__191__ = CLUSTER&n_10 ==? 3
__192__ = CLUSTER&n_11 ==? 3
__193__ = CLUSTER&n_12 ==? 3
__194__ = CLUSTER&n_13 ==? 3
__195__ = CLUSTER&n_14 ==? 3
__196__ = CLUSTER&n_15 ==? 3
__197__ = CLUSTER&n_16 ==? 3
__198__ = CLUSTER&n_17 ==? 3
__199__ = CLUSTER&n_18 ==? 3
__200__ = CLUSTER&n_19 ==? 3
__201__ = CLUSTER ==? 4
__202__ = CLUSTER&n_1 ==? 4
__203__ = CLUSTER&n_2 ==? 4
__204__ = CLUSTER&n_3 ==? 4
__205__ = CLUSTER&n_4 ==? 4
__206__ = CLUSTER&n_5 ==? 4
__207__ = CLUSTER&n_6 ==? 4
__208__ = CLUSTER&n_7 ==? 4
__209__ = CLUSTER&n_8 ==? 4
__210__ = CLUSTER&n_9 ==? 4
__211__ = CLUSTER&n_10 ==? 4
__212__ = CLUSTER&n_11 ==? 4
__213__ = CLUSTER&n_12 ==? 4
__214__ = CLUSTER&n_13 ==? 4
__215__ = CLUSTER&n_14 ==? 4
__216__ = CLUSTER&n_15 ==? 4
__217__ = CLUSTER&n_16 ==? 4
__218__ = CLUSTER&n_17 ==? 4
__219__ = CLUSTER&n_18 ==? 4
__220__ = CLUSTER&n_19 ==? 4
__141__ == 1
__221__ = CLUSTER_END? ==? 1
__222__ = CLUSTER_END?&n_1 ==? 1
__223__ = CLUSTER_END?&n_2 ==? 1
__224__ = CLUSTER_END?&n_3 ==? 1
__225__ = CLUSTER_END?&n_4 ==? 1
__226__ = CLUSTER_END?&n_5 ==? 1
__227__ = CLUSTER_END?&n_6 ==? 1
__228__ = CLUSTER_END?&n_7 ==? 1
__229__ = CLUSTER_END?&n_8 ==? 1
__230__ = CLUSTER_END?&n_9 ==? 1
__231__ = CLUSTER_END?&n_10 ==? 1
__232__ = CLUSTER_END?&n_11 ==? 1
__233__ = CLUSTER_END?&n_12 ==? 1
__234__ = CLUSTER_END?&n_13 ==? 1
__235__ = CLUSTER_END?&n_14 ==? 1
__236__ = CLUSTER_END?&n_15 ==? 1
__237__ = CLUSTER_END?&n_16 ==? 1
__238__ = CLUSTER_END?&n_17 ==? 1
__239__ = CLUSTER_END?&n_18 ==? 1
__240__ = CLUSTER_END?&n_19 ==? 1
__241__ = sum(__161__,__221__)
__242__ = __241__ ==? 2
__243__ = sum(__162__,__222__)
__244__ = __243__ ==? 2
__245__ = sum(__163__,__223__)
__246__ = __245__ ==? 2
__247__ = sum(__164__,__224__)
__248__ = __247__ ==? 2
__249__ = sum(__165__,__225__)
__250__ = __249__ ==? 2
__251__ = sum(__166__,__226__)
__252__ = __251__ ==? 2
__253__ = sum(__167__,__227__)
__254__ = __253__ ==? 2
__255__ = sum(__168__,__228__)
__256__ = __255__ ==? 2
__257__ = sum(__169__,__229__)
__258__ = __257__ ==? 2
__259__ = sum(__170__,__230__)
__260__ = __259__ ==? 2
__261__ = sum(__171__,__231__)
__262__ = __261__ ==? 2
__263__ = sum(__172__,__232__)
__264__ = __263__ ==? 2
__265__ = sum(__173__,__233__)
__266__ = __265__ ==? 2
__267__ = sum(__174__,__234__)
__268__ = __267__ ==? 2
__269__ = sum(__175__,__235__)
__270__ = __269__ ==? 2
__271__ = sum(__176__,__236__)
__272__ = __271__ ==? 2
__273__ = sum(__177__,__237__)
__274__ = __273__ ==? 2
__275__ = sum(__178__,__238__)
__276__ = __275__ ==? 2
__277__ = sum(__179__,__239__)
__278__ = __277__ ==? 2
__279__ = sum(__180__,__240__)
__280__ = __279__ ==? 2
__281__ = item ==? 8
__282__ = item ==? 9
__283__ = item ==? 10
__284__ = item ==? 18
__285__ = item ==? 19
__286__ = item ==? 20
__287__ = sum(__281__,__282__,__283__,__284__,__285__,__286__)
__288__ = __287__ >=? 1
__289__ = item&n_1 ==? 8
__290__ = item&n_1 ==? 9
__291__ = item&n_1 ==? 10
__292__ = item&n_1 ==? 18
__293__ = item&n_1 ==? 19
__294__ = item&n_1 ==? 20
__295__ = sum(__289__,__290__,__291__,__292__,__293__,__294__)
__296__ = __295__ >=? 1
__297__ = item&n_2 ==? 8
__298__ = item&n_2 ==? 9
__299__ = item&n_2 ==? 10
__300__ = item&n_2 ==? 18
__301__ = item&n_2 ==? 19
__302__ = item&n_2 ==? 20
__303__ = sum(__297__,__298__,__299__,__300__,__301__,__302__)
__304__ = __303__ >=? 1
__305__ = item&n_3 ==? 8
__306__ = item&n_3 ==? 9
__307__ = item&n_3 ==? 10
__308__ = item&n_3 ==? 18
__309__ = item&n_3 ==? 19
__310__ = item&n_3 ==? 20
__311__ = sum(__305__,__306__,__307__,__308__,__309__,__310__)
__312__ = __311__ >=? 1
__313__ = item&n_4 ==? 8
__314__ = item&n_4 ==? 9
__315__ = item&n_4 ==? 10
__316__ = item&n_4 ==? 18
__317__ = item&n_4 ==? 19
__318__ = item&n_4 ==? 20
__319__ = sum(__313__,__314__,__315__,__316__,__317__,__318__)
__320__ = __319__ >=? 1
__321__ = item&n_5 ==? 8
__322__ = item&n_5 ==? 9
__323__ = item&n_5 ==? 10
__324__ = item&n_5 ==? 18
__325__ = item&n_5 ==? 19
__326__ = item&n_5 ==? 20
__327__ = sum(__321__,__322__,__323__,__324__,__325__,__326__)
__328__ = __327__ >=? 1
__329__ = item&n_6 ==? 8
__330__ = item&n_6 ==? 9
__331__ = item&n_6 ==? 10
__332__ = item&n_6 ==? 18
__333__ = item&n_6 ==? 19
__334__ = item&n_6 ==? 20
__335__ = sum(__329__,__330__,__331__,__332__,__333__,__334__)
__336__ = __335__ >=? 1
__337__ = item&n_7 ==? 8
__338__ = item&n_7 ==? 9
__339__ = item&n_7 ==? 10
__340__ = item&n_7 ==? 18
__341__ = item&n_7 ==? 19
__342__ = item&n_7 ==? 20
__343__ = sum(__337__,__338__,__339__,__340__,__341__,__342__)
__344__ = __343__ >=? 1
__345__ = item&n_8 ==? 8
__346__ = item&n_8 ==? 9
__347__ = item&n_8 ==? 10
__348__ = item&n_8 ==? 18
__349__ = item&n_8 ==? 19
__350__ = item&n_8 ==? 20
__351__ = sum(__345__,__346__,__347__,__348__,__349__,__350__)
__352__ = __351__ >=? 1
__353__ = item&n_9 ==? 8
__354__ = item&n_9 ==? 9
__355__ = item&n_9 ==? 10
__356__ = item&n_9 ==? 18
__357__ = item&n_9 ==? 19
__358__ = item&n_9 ==? 20
__359__ = sum(__353__,__354__,__355__,__356__,__357__,__358__)
__360__ = __359__ >=? 1
__361__ = item&n_10 ==? 8
__362__ = item&n_10 ==? 9
__363__ = item&n_10 ==? 10
__364__ = item&n_10 ==? 18
__365__ = item&n_10 ==? 19
__366__ = item&n_10 ==? 20
__367__ = sum(__361__,__362__,__363__,__364__,__365__,__366__)
__368__ = __367__ >=? 1
__369__ = item&n_11 ==? 8
__370__ = item&n_11 ==? 9
__371__ = item&n_11 ==? 10
__372__ = item&n_11 ==? 18
__373__ = item&n_11 ==? 19
__374__ = item&n_11 ==? 20
__375__ = sum(__369__,__370__,__371__,__372__,__373__,__374__)
__376__ = __375__ >=? 1
__377__ = item&n_12 ==? 8
__378__ = item&n_12 ==? 9
__379__ = item&n_12 ==? 10
__380__ = item&n_12 ==? 18
__381__ = item&n_12 ==? 19
__382__ = item&n_12 ==? 20
__383__ = sum(__377__,__378__,__379__,__380__,__381__,__382__)
__384__ = __383__ >=? 1
__385__ = item&n_13 ==? 8
__386__ = item&n_13 ==? 9
__387__ = item&n_13 ==? 10
__388__ = item&n_13 ==? 18
__389__ = item&n_13 ==? 19
__390__ = item&n_13 ==? 20
__391__ = sum(__385__,__386__,__387__,__388__,__389__,__390__)
__392__ = __391__ >=? 1
__393__ = item&n_14 ==? 8
__394__ = item&n_14 ==? 9
__395__ = item&n_14 ==? 10
__396__ = item&n_14 ==? 18
__397__ = item&n_14 ==? 19
__398__ = item&n_14 ==? 20
__399__ = sum(__393__,__394__,__395__,__396__,__397__,__398__)
__400__ = __399__ >=? 1
__401__ = item&n_15 ==? 8
__402__ = item&n_15 ==? 9
__403__ = item&n_15 ==? 10
__404__ = item&n_15 ==? 18
__405__ = item&n_15 ==? 19
__406__ = item&n_15 ==? 20
__407__ = sum(__401__,__402__,__403__,__404__,__405__,__406__)
__408__ = __407__ >=? 1
__409__ = item&n_16 ==? 8
__410__ = item&n_16 ==? 9
__411__ = item&n_16 ==? 10
__412__ = item&n_16 ==? 18
__413__ = item&n_16 ==? 19
__414__ = item&n_16 ==? 20
__415__ = sum(__409__,__410__,__411__,__412__,__413__,__414__)
__416__ = __415__ >=? 1
__417__ = item&n_17 ==? 8
__418__ = item&n_17 ==? 9
__419__ = item&n_17 ==? 10
__420__ = item&n_17 ==? 18
__421__ = item&n_17 ==? 19
__422__ = item&n_17 ==? 20
__423__ = sum(__417__,__418__,__419__,__420__,__421__,__422__)
__424__ = __423__ >=? 1
__425__ = item&n_18 ==? 8
__426__ = item&n_18 ==? 9
__427__ = item&n_18 ==? 10
__428__ = item&n_18 ==? 18
__429__ = item&n_18 ==? 19
__430__ = item&n_18 ==? 20
__431__ = sum(__425__,__426__,__427__,__428__,__429__,__430__)
__432__ = __431__ >=? 1
__433__ = item&n_19 ==? 8
__434__ = item&n_19 ==? 9
__435__ = item&n_19 ==? 10
__436__ = item&n_19 ==? 18
__437__ = item&n_19 ==? 19
__438__ = item&n_19 ==? 20
__439__ = sum(__433__,__434__,__435__,__436__,__437__,__438__)
__440__ = __439__ >=? 1
__288__ == __141__
__296__ == __142__
__304__ == __143__
__312__ == __144__
__320__ == __145__
__328__ == __146__
__336__ == __147__
__344__ == __148__
__352__ == __149__
__360__ == __150__
__368__ == __151__
__376__ == __152__
__384__ == __153__
__392__ == __154__
__400__ == __155__
__408__ == __156__
__416__ == __157__
__424__ == __158__
__432__ == __159__
__440__ == __160__
__441__ = CLUSTER_START? ==? 1
__442__ = CLUSTER_START?&n_1 ==? 1
__443__ = CLUSTER_START?&n_2 ==? 1
__444__ = CLUSTER_START?&n_3 ==? 1
__445__ = CLUSTER_START?&n_4 ==? 1
__446__ = CLUSTER_START?&n_5 ==? 1
__447__ = CLUSTER_START?&n_6 ==? 1
__448__ = CLUSTER_START?&n_7 ==? 1
__449__ = CLUSTER_START?&n_8 ==? 1
__450__ = CLUSTER_START?&n_9 ==? 1
__451__ = CLUSTER_START?&n_10 ==? 1
__452__ = CLUSTER_START?&n_11 ==? 1
__453__ = CLUSTER_START?&n_12 ==? 1
__454__ = CLUSTER_START?&n_13 ==? 1
__455__ = CLUSTER_START?&n_14 ==? 1
__456__ = CLUSTER_START?&n_15 ==? 1
__457__ = CLUSTER_START?&n_16 ==? 1
__458__ = CLUSTER_START?&n_17 ==? 1
__459__ = CLUSTER_START?&n_18 ==? 1
__460__ = CLUSTER_START?&n_19 ==? 1
__461__ = sum(__441__,__161__)
__462__ = __461__ ==? 2
__463__ = sum(__442__,__162__)
__464__ = __463__ ==? 2
__465__ = sum(__443__,__163__)
__466__ = __465__ ==? 2
__467__ = sum(__444__,__164__)
__468__ = __467__ ==? 2
__469__ = sum(__445__,__165__)
__470__ = __469__ ==? 2
__471__ = sum(__446__,__166__)
__472__ = __471__ ==? 2
__473__ = sum(__447__,__167__)
__474__ = __473__ ==? 2
__475__ = sum(__448__,__168__)
__476__ = __475__ ==? 2
__477__ = sum(__449__,__169__)
__478__ = __477__ ==? 2
__479__ = sum(__450__,__170__)
__480__ = __479__ ==? 2
__481__ = sum(__451__,__171__)
__482__ = __481__ ==? 2
__483__ = sum(__452__,__172__)
__484__ = __483__ ==? 2
__485__ = sum(__453__,__173__)
__486__ = __485__ ==? 2
__487__ = sum(__454__,__174__)
__488__ = __487__ ==? 2
__489__ = sum(__455__,__175__)
__490__ = __489__ ==? 2
__491__ = sum(__456__,__176__)
__492__ = __491__ ==? 2
__493__ = sum(__457__,__177__)
__494__ = __493__ ==? 2
__495__ = sum(__458__,__178__)
__496__ = __495__ ==? 2
__497__ = sum(__459__,__179__)
__498__ = __497__ ==? 2
__499__ = sum(__460__,__180__)
__500__ = __499__ ==? 2
__501__ = __221__ ==? 0
__503__ = __222__ ==? 0
__504__ = __223__ ==? 0
__505__ = __224__ ==? 0
__506__ = __225__ ==? 0
__507__ = __226__ ==? 0
__508__ = __227__ ==? 0
__509__ = __228__ ==? 0
__510__ = __229__ ==? 0
__511__ = __230__ ==? 0
__512__ = __231__ ==? 0
__513__ = __232__ ==? 0
__514__ = __233__ ==? 0
__515__ = __234__ ==? 0
__516__ = __235__ ==? 0
__517__ = __236__ ==? 0
__518__ = __237__ ==? 0
__519__ = __238__ ==? 0
__520__ = __239__ ==? 0
__521__ = __240__ ==? 0
__522__ = sum(__161__,__501__)
__523__ = __522__ ==? 2
__524__ = sum(__162__,__503__)
__525__ = __524__ ==? 2
__526__ = sum(__163__,__504__)
__527__ = __526__ ==? 2
__528__ = sum(__164__,__505__)
__529__ = __528__ ==? 2
__530__ = sum(__165__,__506__)
__531__ = __530__ ==? 2
__532__ = sum(__166__,__507__)
__533__ = __532__ ==? 2
__534__ = sum(__167__,__508__)
__535__ = __534__ ==? 2
__536__ = sum(__168__,__509__)
__537__ = __536__ ==? 2
__538__ = sum(__169__,__510__)
__539__ = __538__ ==? 2
__540__ = sum(__170__,__511__)
__541__ = __540__ ==? 2
__542__ = sum(__171__,__512__)
__543__ = __542__ ==? 2
__544__ = sum(__172__,__513__)
__545__ = __544__ ==? 2
__546__ = sum(__173__,__514__)
__547__ = __546__ ==? 2
__548__ = sum(__174__,__515__)
__549__ = __548__ ==? 2
__550__ = sum(__175__,__516__)
__551__ = __550__ ==? 2
__552__ = sum(__176__,__517__)
__553__ = __552__ ==? 2
__554__ = sum(__177__,__518__)
__555__ = __554__ ==? 2
__556__ = sum(__178__,__519__)
__557__ = __556__ ==? 2
__558__ = sum(__179__,__520__)
__559__ = __558__ ==? 2
__560__ = sum(__180__,__521__)
__561__ = __560__ ==? 2
__562__ = item ==? 1
__563__ = item ==? 2
__564__ = item ==? 5
__565__ = item ==? 6
__566__ = item ==? 7
__567__ = item ==? 8
__568__ = item ==? 9
__569__ = item ==? 10
__570__ = item ==? 11
__571__ = item ==? 12
__572__ = item ==? 15
__573__ = item ==? 16
__574__ = item ==? 17
__575__ = item ==? 18
__576__ = item ==? 19
__577__ = item ==? 20
__578__ = sum(__562__,__563__,__564__,__565__,__566__,__567__,__568__,__569__,__570__,__571__,__572__,__573__,__574__,__575__,__576__,__577__)
__579__ = __578__ >=? 1
__580__ = item&n_1 ==? 1
__581__ = item&n_1 ==? 2
__582__ = item&n_1 ==? 5
__583__ = item&n_1 ==? 6
__584__ = item&n_1 ==? 7
__585__ = item&n_1 ==? 8
__586__ = item&n_1 ==? 9
__587__ = item&n_1 ==? 10
__588__ = item&n_1 ==? 11
__589__ = item&n_1 ==? 12
__590__ = item&n_1 ==? 15
__591__ = item&n_1 ==? 16
__592__ = item&n_1 ==? 17
__593__ = item&n_1 ==? 18
__594__ = item&n_1 ==? 19
__595__ = item&n_1 ==? 20
__596__ = sum(__580__,__581__,__582__,__583__,__584__,__585__,__586__,__587__,__588__,__589__,__590__,__591__,__592__,__593__,__594__,__595__)
__597__ = __596__ >=? 1
__598__ = item&n_2 ==? 1
__599__ = item&n_2 ==? 2
__600__ = item&n_2 ==? 5
__601__ = item&n_2 ==? 6
__602__ = item&n_2 ==? 7
__603__ = item&n_2 ==? 8
__604__ = item&n_2 ==? 9
__605__ = item&n_2 ==? 10
__606__ = item&n_2 ==? 11
__607__ = item&n_2 ==? 12
__608__ = item&n_2 ==? 15
__609__ = item&n_2 ==? 16
__610__ = item&n_2 ==? 17
__611__ = item&n_2 ==? 18
__612__ = item&n_2 ==? 19
__613__ = item&n_2 ==? 20
__614__ = sum(__598__,__599__,__600__,__601__,__602__,__603__,__604__,__605__,__606__,__607__,__608__,__609__,__610__,__611__,__612__,__613__)
__615__ = __614__ >=? 1
__616__ = item&n_3 ==? 1
__617__ = item&n_3 ==? 2
__618__ = item&n_3 ==? 5
__619__ = item&n_3 ==? 6
__620__ = item&n_3 ==? 7
__621__ = item&n_3 ==? 8
__622__ = item&n_3 ==? 9
__623__ = item&n_3 ==? 10
__624__ = item&n_3 ==? 11
__625__ = item&n_3 ==? 12
__626__ = item&n_3 ==? 15
__627__ = item&n_3 ==? 16
__628__ = item&n_3 ==? 17
__629__ = item&n_3 ==? 18
__630__ = item&n_3 ==? 19
__631__ = item&n_3 ==? 20
__632__ = sum(__616__,__617__,__618__,__619__,__620__,__621__,__622__,__623__,__624__,__625__,__626__,__627__,__628__,__629__,__630__,__631__)
__633__ = __632__ >=? 1
__634__ = item&n_4 ==? 1
__635__ = item&n_4 ==? 2
__636__ = item&n_4 ==? 5
__637__ = item&n_4 ==? 6
__638__ = item&n_4 ==? 7
__639__ = item&n_4 ==? 8
__640__ = item&n_4 ==? 9
__641__ = item&n_4 ==? 10
__642__ = item&n_4 ==? 11
__643__ = item&n_4 ==? 12
__644__ = item&n_4 ==? 15
__645__ = item&n_4 ==? 16
__646__ = item&n_4 ==? 17
__647__ = item&n_4 ==? 18
__648__ = item&n_4 ==? 19
__649__ = item&n_4 ==? 20
__650__ = sum(__634__,__635__,__636__,__637__,__638__,__639__,__640__,__641__,__642__,__643__,__644__,__645__,__646__,__647__,__648__,__649__)
__651__ = __650__ >=? 1
__652__ = item&n_5 ==? 1
__653__ = item&n_5 ==? 2
__654__ = item&n_5 ==? 5
__655__ = item&n_5 ==? 6
__656__ = item&n_5 ==? 7
__657__ = item&n_5 ==? 8
__658__ = item&n_5 ==? 9
__659__ = item&n_5 ==? 10
__660__ = item&n_5 ==? 11
__661__ = item&n_5 ==? 12
__662__ = item&n_5 ==? 15
__663__ = item&n_5 ==? 16
__664__ = item&n_5 ==? 17
__665__ = item&n_5 ==? 18
__666__ = item&n_5 ==? 19
__667__ = item&n_5 ==? 20
__668__ = sum(__652__,__653__,__654__,__655__,__656__,__657__,__658__,__659__,__660__,__661__,__662__,__663__,__664__,__665__,__666__,__667__)
__669__ = __668__ >=? 1
__670__ = item&n_6 ==? 1
__671__ = item&n_6 ==? 2
__672__ = item&n_6 ==? 5
__673__ = item&n_6 ==? 6
__674__ = item&n_6 ==? 7
__675__ = item&n_6 ==? 8
__676__ = item&n_6 ==? 9
__677__ = item&n_6 ==? 10
__678__ = item&n_6 ==? 11
__679__ = item&n_6 ==? 12
__680__ = item&n_6 ==? 15
__681__ = item&n_6 ==? 16
__682__ = item&n_6 ==? 17
__683__ = item&n_6 ==? 18
__684__ = item&n_6 ==? 19
__685__ = item&n_6 ==? 20
__686__ = sum(__670__,__671__,__672__,__673__,__674__,__675__,__676__,__677__,__678__,__679__,__680__,__681__,__682__,__683__,__684__,__685__)
__687__ = __686__ >=? 1
__688__ = item&n_7 ==? 1
__689__ = item&n_7 ==? 2
__690__ = item&n_7 ==? 5
__691__ = item&n_7 ==? 6
__692__ = item&n_7 ==? 7
__693__ = item&n_7 ==? 8
__694__ = item&n_7 ==? 9
__695__ = item&n_7 ==? 10
__696__ = item&n_7 ==? 11
__697__ = item&n_7 ==? 12
__698__ = item&n_7 ==? 15
__699__ = item&n_7 ==? 16
__700__ = item&n_7 ==? 17
__701__ = item&n_7 ==? 18
__702__ = item&n_7 ==? 19
__703__ = item&n_7 ==? 20
__704__ = sum(__688__,__689__,__690__,__691__,__692__,__693__,__694__,__695__,__696__,__697__,__698__,__699__,__700__,__701__,__702__,__703__)
__705__ = __704__ >=? 1
__706__ = item&n_8 ==? 1
__707__ = item&n_8 ==? 2
__708__ = item&n_8 ==? 5
__709__ = item&n_8 ==? 6
__710__ = item&n_8 ==? 7
__711__ = item&n_8 ==? 8
__712__ = item&n_8 ==? 9
__713__ = item&n_8 ==? 10
__714__ = item&n_8 ==? 11
__715__ = item&n_8 ==? 12
__716__ = item&n_8 ==? 15
__717__ = item&n_8 ==? 16
__718__ = item&n_8 ==? 17
__719__ = item&n_8 ==? 18
__720__ = item&n_8 ==? 19
__721__ = item&n_8 ==? 20
__722__ = sum(__706__,__707__,__708__,__709__,__710__,__711__,__712__,__713__,__714__,__715__,__716__,__717__,__718__,__719__,__720__,__721__)
__723__ = __722__ >=? 1
__724__ = item&n_9 ==? 1
__725__ = item&n_9 ==? 2
__726__ = item&n_9 ==? 5
__727__ = item&n_9 ==? 6
__728__ = item&n_9 ==? 7
__729__ = item&n_9 ==? 8
__730__ = item&n_9 ==? 9
__731__ = item&n_9 ==? 10
__732__ = item&n_9 ==? 11
__733__ = item&n_9 ==? 12
__734__ = item&n_9 ==? 15
__735__ = item&n_9 ==? 16
__736__ = item&n_9 ==? 17
__737__ = item&n_9 ==? 18
__738__ = item&n_9 ==? 19
__739__ = item&n_9 ==? 20
__740__ = sum(__724__,__725__,__726__,__727__,__728__,__729__,__730__,__731__,__732__,__733__,__734__,__735__,__736__,__737__,__738__,__739__)
__741__ = __740__ >=? 1
__742__ = item&n_10 ==? 1
__743__ = item&n_10 ==? 2
__744__ = item&n_10 ==? 5
__745__ = item&n_10 ==? 6
__746__ = item&n_10 ==? 7
__747__ = item&n_10 ==? 8
__748__ = item&n_10 ==? 9
__749__ = item&n_10 ==? 10
__750__ = item&n_10 ==? 11
__751__ = item&n_10 ==? 12
__752__ = item&n_10 ==? 15
__753__ = item&n_10 ==? 16
__754__ = item&n_10 ==? 17
__755__ = item&n_10 ==? 18
__756__ = item&n_10 ==? 19
__757__ = item&n_10 ==? 20
__758__ = sum(__742__,__743__,__744__,__745__,__746__,__747__,__748__,__749__,__750__,__751__,__752__,__753__,__754__,__755__,__756__,__757__)
__759__ = __758__ >=? 1
__760__ = item&n_11 ==? 1
__761__ = item&n_11 ==? 2
__762__ = item&n_11 ==? 5
__763__ = item&n_11 ==? 6
__764__ = item&n_11 ==? 7
__765__ = item&n_11 ==? 8
__766__ = item&n_11 ==? 9
__767__ = item&n_11 ==? 10
__768__ = item&n_11 ==? 11
__769__ = item&n_11 ==? 12
__770__ = item&n_11 ==? 15
__771__ = item&n_11 ==? 16
__772__ = item&n_11 ==? 17
__773__ = item&n_11 ==? 18
__774__ = item&n_11 ==? 19
__775__ = item&n_11 ==? 20
__776__ = sum(__760__,__761__,__762__,__763__,__764__,__765__,__766__,__767__,__768__,__769__,__770__,__771__,__772__,__773__,__774__,__775__)
__777__ = __776__ >=? 1
__778__ = item&n_12 ==? 1
__779__ = item&n_12 ==? 2
__780__ = item&n_12 ==? 5
__781__ = item&n_12 ==? 6
__782__ = item&n_12 ==? 7
__783__ = item&n_12 ==? 8
__784__ = item&n_12 ==? 9
__785__ = item&n_12 ==? 10
__786__ = item&n_12 ==? 11
__787__ = item&n_12 ==? 12
__788__ = item&n_12 ==? 15
__789__ = item&n_12 ==? 16
__790__ = item&n_12 ==? 17
__791__ = item&n_12 ==? 18
__792__ = item&n_12 ==? 19
__793__ = item&n_12 ==? 20
__794__ = sum(__778__,__779__,__780__,__781__,__782__,__783__,__784__,__785__,__786__,__787__,__788__,__789__,__790__,__791__,__792__,__793__)
__795__ = __794__ >=? 1
__796__ = item&n_13 ==? 1
__797__ = item&n_13 ==? 2
__798__ = item&n_13 ==? 5
__799__ = item&n_13 ==? 6
__800__ = item&n_13 ==? 7
__801__ = item&n_13 ==? 8
__802__ = item&n_13 ==? 9
__803__ = item&n_13 ==? 10
__804__ = item&n_13 ==? 11
__805__ = item&n_13 ==? 12
__806__ = item&n_13 ==? 15
__807__ = item&n_13 ==? 16
__808__ = item&n_13 ==? 17
__809__ = item&n_13 ==? 18
__810__ = item&n_13 ==? 19
__811__ = item&n_13 ==? 20
__812__ = sum(__796__,__797__,__798__,__799__,__800__,__801__,__802__,__803__,__804__,__805__,__806__,__807__,__808__,__809__,__810__,__811__)
__813__ = __812__ >=? 1
__814__ = item&n_14 ==? 1
__815__ = item&n_14 ==? 2
__816__ = item&n_14 ==? 5
__817__ = item&n_14 ==? 6
__818__ = item&n_14 ==? 7
__819__ = item&n_14 ==? 8
__820__ = item&n_14 ==? 9
__821__ = item&n_14 ==? 10
__822__ = item&n_14 ==? 11
__823__ = item&n_14 ==? 12
__824__ = item&n_14 ==? 15
__825__ = item&n_14 ==? 16
__826__ = item&n_14 ==? 17
__827__ = item&n_14 ==? 18
__828__ = item&n_14 ==? 19
__829__ = item&n_14 ==? 20
__830__ = sum(__814__,__815__,__816__,__817__,__818__,__819__,__820__,__821__,__822__,__823__,__824__,__825__,__826__,__827__,__828__,__829__)
__831__ = __830__ >=? 1
__832__ = item&n_15 ==? 1
__833__ = item&n_15 ==? 2
__834__ = item&n_15 ==? 5
__835__ = item&n_15 ==? 6
__836__ = item&n_15 ==? 7
__837__ = item&n_15 ==? 8
__838__ = item&n_15 ==? 9
__839__ = item&n_15 ==? 10
__840__ = item&n_15 ==? 11
__841__ = item&n_15 ==? 12
__842__ = item&n_15 ==? 15
__843__ = item&n_15 ==? 16
__844__ = item&n_15 ==? 17
__845__ = item&n_15 ==? 18
__846__ = item&n_15 ==? 19
__847__ = item&n_15 ==? 20
__848__ = sum(__832__,__833__,__834__,__835__,__836__,__837__,__838__,__839__,__840__,__841__,__842__,__843__,__844__,__845__,__846__,__847__)
__849__ = __848__ >=? 1
__850__ = item&n_16 ==? 1
__851__ = item&n_16 ==? 2
__852__ = item&n_16 ==? 5
__853__ = item&n_16 ==? 6
__854__ = item&n_16 ==? 7
__855__ = item&n_16 ==? 8
__856__ = item&n_16 ==? 9
__857__ = item&n_16 ==? 10
__858__ = item&n_16 ==? 11
__859__ = item&n_16 ==? 12
__860__ = item&n_16 ==? 15
__861__ = item&n_16 ==? 16
__862__ = item&n_16 ==? 17
__863__ = item&n_16 ==? 18
__864__ = item&n_16 ==? 19
__865__ = item&n_16 ==? 20
__866__ = sum(__850__,__851__,__852__,__853__,__854__,__855__,__856__,__857__,__858__,__859__,__860__,__861__,__862__,__863__,__864__,__865__)
__867__ = __866__ >=? 1
__868__ = item&n_17 ==? 1
__869__ = item&n_17 ==? 2
__870__ = item&n_17 ==? 5
__871__ = item&n_17 ==? 6
__872__ = item&n_17 ==? 7
__873__ = item&n_17 ==? 8
__874__ = item&n_17 ==? 9
__875__ = item&n_17 ==? 10
__876__ = item&n_17 ==? 11
__877__ = item&n_17 ==? 12
__878__ = item&n_17 ==? 15
__879__ = item&n_17 ==? 16
__880__ = item&n_17 ==? 17
__881__ = item&n_17 ==? 18
__882__ = item&n_17 ==? 19
__883__ = item&n_17 ==? 20
__884__ = sum(__868__,__869__,__870__,__871__,__872__,__873__,__874__,__875__,__876__,__877__,__878__,__879__,__880__,__881__,__882__,__883__)
__885__ = __884__ >=? 1
__886__ = item&n_18 ==? 1
__887__ = item&n_18 ==? 2
__888__ = item&n_18 ==? 5
__889__ = item&n_18 ==? 6
__890__ = item&n_18 ==? 7
__891__ = item&n_18 ==? 8
__892__ = item&n_18 ==? 9
__893__ = item&n_18 ==? 10
__894__ = item&n_18 ==? 11
__895__ = item&n_18 ==? 12
__896__ = item&n_18 ==? 15
__897__ = item&n_18 ==? 16
__898__ = item&n_18 ==? 17
__899__ = item&n_18 ==? 18
__900__ = item&n_18 ==? 19
__901__ = item&n_18 ==? 20
__902__ = sum(__886__,__887__,__888__,__889__,__890__,__891__,__892__,__893__,__894__,__895__,__896__,__897__,__898__,__899__,__900__,__901__)
__903__ = __902__ >=? 1
__904__ = item&n_19 ==? 1
__905__ = item&n_19 ==? 2
__906__ = item&n_19 ==? 5
__907__ = item&n_19 ==? 6
__908__ = item&n_19 ==? 7
__909__ = item&n_19 ==? 8
__910__ = item&n_19 ==? 9
__911__ = item&n_19 ==? 10
__912__ = item&n_19 ==? 11
__913__ = item&n_19 ==? 12
__914__ = item&n_19 ==? 15
__915__ = item&n_19 ==? 16
__916__ = item&n_19 ==? 17
__917__ = item&n_19 ==? 18
__918__ = item&n_19 ==? 19
__919__ = item&n_19 ==? 20
__920__ = sum(__904__,__905__,__906__,__907__,__908__,__909__,__910__,__911__,__912__,__913__,__914__,__915__,__916__,__917__,__918__,__919__)
__921__ = __920__ >=? 1
__922__ = __579__ ==? 0
__923__ = __597__ ==? 0
__924__ = __615__ ==? 0
__925__ = __633__ ==? 0
__926__ = __651__ ==? 0
__927__ = __669__ ==? 0
__928__ = __687__ ==? 0
__929__ = __705__ ==? 0
__930__ = __723__ ==? 0
__931__ = __741__ ==? 0
__932__ = __759__ ==? 0
__933__ = __777__ ==? 0
__934__ = __795__ ==? 0
__935__ = __813__ ==? 0
__936__ = __831__ ==? 0
__937__ = __849__ ==? 0
__938__ = __867__ ==? 0
__939__ = __885__ ==? 0
__940__ = __903__ ==? 0
__941__ = __921__ ==? 0
__942__ = sum(__922__)
__943__ = __942__ ==? 1
__943__ >= __161__
__944__ = sum(__923__)
__945__ = __944__ ==? 1
__945__ >= __162__
__946__ = sum(__924__)
__947__ = __946__ ==? 1
__947__ >= __163__
__948__ = sum(__925__)
__949__ = __948__ ==? 1
__949__ >= __164__
__950__ = sum(__926__)
__951__ = __950__ ==? 1
__951__ >= __165__
__952__ = sum(__927__)
__953__ = __952__ ==? 1
__953__ >= __166__
__954__ = sum(__928__)
__955__ = __954__ ==? 1
__955__ >= __167__
__956__ = sum(__929__)
__957__ = __956__ ==? 1
__957__ >= __168__
__958__ = sum(__930__)
__959__ = __958__ ==? 1
__959__ >= __169__
__960__ = sum(__931__)
__961__ = __960__ ==? 1
__961__ >= __170__
__962__ = sum(__932__)
__963__ = __962__ ==? 1
__963__ >= __171__
__964__ = sum(__933__)
__965__ = __964__ ==? 1
__965__ >= __172__
__966__ = sum(__934__)
__967__ = __966__ ==? 1
__967__ >= __173__
__968__ = sum(__935__)
__969__ = __968__ ==? 1
__969__ >= __174__
__970__ = sum(__936__)
__971__ = __970__ ==? 1
__971__ >= __175__
__972__ = sum(__937__)
__973__ = __972__ ==? 1
__973__ >= __176__
__974__ = sum(__938__)
__975__ = __974__ ==? 1
__975__ >= __177__
__976__ = sum(__939__)
__977__ = __976__ ==? 1
__977__ >= __178__
__978__ = sum(__940__)
__979__ = __978__ ==? 1
__979__ >= __179__
__980__ = sum(__941__)
__981__ = __980__ ==? 1
__981__ >= __180__
__982__ = item ==? 1
__983__ = item ==? 2
__984__ = item ==? 4
__985__ = item ==? 11
__986__ = item ==? 12
__987__ = item ==? 13
__988__ = item ==? 14
__989__ = sum(__982__,__983__,__984__,__985__,__986__,__987__,__988__)
__990__ = __989__ >=? 1
__991__ = item&n_1 ==? 1
__992__ = item&n_1 ==? 2
__993__ = item&n_1 ==? 4
__994__ = item&n_1 ==? 11
__995__ = item&n_1 ==? 12
__996__ = item&n_1 ==? 13
__997__ = item&n_1 ==? 14
__998__ = sum(__991__,__992__,__993__,__994__,__995__,__996__,__997__)
__999__ = __998__ >=? 1
__1000__ = item&n_2 ==? 1
__1001__ = item&n_2 ==? 2
__1002__ = item&n_2 ==? 4
__1003__ = item&n_2 ==? 11
__1004__ = item&n_2 ==? 12
__1005__ = item&n_2 ==? 13
__1006__ = item&n_2 ==? 14
__1007__ = sum(__1000__,__1001__,__1002__,__1003__,__1004__,__1005__,__1006__)
__1008__ = __1007__ >=? 1
__1009__ = item&n_3 ==? 1
__1010__ = item&n_3 ==? 2
__1011__ = item&n_3 ==? 4
__1012__ = item&n_3 ==? 11
__1013__ = item&n_3 ==? 12
__1014__ = item&n_3 ==? 13
__1015__ = item&n_3 ==? 14
__1016__ = sum(__1009__,__1010__,__1011__,__1012__,__1013__,__1014__,__1015__)
__1017__ = __1016__ >=? 1
__1018__ = item&n_4 ==? 1
__1019__ = item&n_4 ==? 2
__1020__ = item&n_4 ==? 4
__1021__ = item&n_4 ==? 11
__1022__ = item&n_4 ==? 12
__1023__ = item&n_4 ==? 13
__1024__ = item&n_4 ==? 14
__1025__ = sum(__1018__,__1019__,__1020__,__1021__,__1022__,__1023__,__1024__)
__1026__ = __1025__ >=? 1
__1027__ = item&n_5 ==? 1
__1028__ = item&n_5 ==? 2
__1029__ = item&n_5 ==? 4
__1030__ = item&n_5 ==? 11
__1031__ = item&n_5 ==? 12
__1032__ = item&n_5 ==? 13
__1033__ = item&n_5 ==? 14
__1034__ = sum(__1027__,__1028__,__1029__,__1030__,__1031__,__1032__,__1033__)
__1035__ = __1034__ >=? 1
__1036__ = item&n_6 ==? 1
__1037__ = item&n_6 ==? 2
__1038__ = item&n_6 ==? 4
__1039__ = item&n_6 ==? 11
__1040__ = item&n_6 ==? 12
__1041__ = item&n_6 ==? 13
__1042__ = item&n_6 ==? 14
__1043__ = sum(__1036__,__1037__,__1038__,__1039__,__1040__,__1041__,__1042__)
__1044__ = __1043__ >=? 1
__1045__ = item&n_7 ==? 1
__1046__ = item&n_7 ==? 2
__1047__ = item&n_7 ==? 4
__1048__ = item&n_7 ==? 11
__1049__ = item&n_7 ==? 12
__1050__ = item&n_7 ==? 13
__1051__ = item&n_7 ==? 14
__1052__ = sum(__1045__,__1046__,__1047__,__1048__,__1049__,__1050__,__1051__)
__1053__ = __1052__ >=? 1
__1054__ = item&n_8 ==? 1
__1055__ = item&n_8 ==? 2
__1056__ = item&n_8 ==? 4
__1057__ = item&n_8 ==? 11
__1058__ = item&n_8 ==? 12
__1059__ = item&n_8 ==? 13
__1060__ = item&n_8 ==? 14
__1061__ = sum(__1054__,__1055__,__1056__,__1057__,__1058__,__1059__,__1060__)
__1062__ = __1061__ >=? 1
__1063__ = item&n_9 ==? 1
__1064__ = item&n_9 ==? 2
__1065__ = item&n_9 ==? 4
__1066__ = item&n_9 ==? 11
__1067__ = item&n_9 ==? 12
__1068__ = item&n_9 ==? 13
__1069__ = item&n_9 ==? 14
__1070__ = sum(__1063__,__1064__,__1065__,__1066__,__1067__,__1068__,__1069__)
__1071__ = __1070__ >=? 1
__1072__ = item&n_10 ==? 1
__1073__ = item&n_10 ==? 2
__1074__ = item&n_10 ==? 4
__1075__ = item&n_10 ==? 11
__1076__ = item&n_10 ==? 12
__1077__ = item&n_10 ==? 13
__1078__ = item&n_10 ==? 14
__1079__ = sum(__1072__,__1073__,__1074__,__1075__,__1076__,__1077__,__1078__)
__1080__ = __1079__ >=? 1
__1081__ = item&n_11 ==? 1
__1082__ = item&n_11 ==? 2
__1083__ = item&n_11 ==? 4
__1084__ = item&n_11 ==? 11
__1085__ = item&n_11 ==? 12
__1086__ = item&n_11 ==? 13
__1087__ = item&n_11 ==? 14
__1088__ = sum(__1081__,__1082__,__1083__,__1084__,__1085__,__1086__,__1087__)
__1089__ = __1088__ >=? 1
__1090__ = item&n_12 ==? 1
__1091__ = item&n_12 ==? 2
__1092__ = item&n_12 ==? 4
__1093__ = item&n_12 ==? 11
__1094__ = item&n_12 ==? 12
__1095__ = item&n_12 ==? 13
__1096__ = item&n_12 ==? 14
__1097__ = sum(__1090__,__1091__,__1092__,__1093__,__1094__,__1095__,__1096__)
__1098__ = __1097__ >=? 1
__1099__ = item&n_13 ==? 1
__1100__ = item&n_13 ==? 2
__1101__ = item&n_13 ==? 4
__1102__ = item&n_13 ==? 11
__1103__ = item&n_13 ==? 12
__1104__ = item&n_13 ==? 13
__1105__ = item&n_13 ==? 14
__1106__ = sum(__1099__,__1100__,__1101__,__1102__,__1103__,__1104__,__1105__)
__1107__ = __1106__ >=? 1
__1108__ = item&n_14 ==? 1
__1109__ = item&n_14 ==? 2
__1110__ = item&n_14 ==? 4
__1111__ = item&n_14 ==? 11
__1112__ = item&n_14 ==? 12
__1113__ = item&n_14 ==? 13
__1114__ = item&n_14 ==? 14
__1115__ = sum(__1108__,__1109__,__1110__,__1111__,__1112__,__1113__,__1114__)
__1116__ = __1115__ >=? 1
__1117__ = item&n_15 ==? 1
__1118__ = item&n_15 ==? 2
__1119__ = item&n_15 ==? 4
__1120__ = item&n_15 ==? 11
__1121__ = item&n_15 ==? 12
__1122__ = item&n_15 ==? 13
__1123__ = item&n_15 ==? 14
__1124__ = sum(__1117__,__1118__,__1119__,__1120__,__1121__,__1122__,__1123__)
__1125__ = __1124__ >=? 1
__1126__ = item&n_16 ==? 1
__1127__ = item&n_16 ==? 2
__1128__ = item&n_16 ==? 4
__1129__ = item&n_16 ==? 11
__1130__ = item&n_16 ==? 12
__1131__ = item&n_16 ==? 13
__1132__ = item&n_16 ==? 14
__1133__ = sum(__1126__,__1127__,__1128__,__1129__,__1130__,__1131__,__1132__)
__1134__ = __1133__ >=? 1
__1135__ = item&n_17 ==? 1
__1136__ = item&n_17 ==? 2
__1137__ = item&n_17 ==? 4
__1138__ = item&n_17 ==? 11
__1139__ = item&n_17 ==? 12
__1140__ = item&n_17 ==? 13
__1141__ = item&n_17 ==? 14
__1142__ = sum(__1135__,__1136__,__1137__,__1138__,__1139__,__1140__,__1141__)
__1143__ = __1142__ >=? 1
__1144__ = item&n_18 ==? 1
__1145__ = item&n_18 ==? 2
__1146__ = item&n_18 ==? 4
__1147__ = item&n_18 ==? 11
__1148__ = item&n_18 ==? 12
__1149__ = item&n_18 ==? 13
__1150__ = item&n_18 ==? 14
__1151__ = sum(__1144__,__1145__,__1146__,__1147__,__1148__,__1149__,__1150__)
__1152__ = __1151__ >=? 1
__1153__ = item&n_19 ==? 1
__1154__ = item&n_19 ==? 2
__1155__ = item&n_19 ==? 4
__1156__ = item&n_19 ==? 11
__1157__ = item&n_19 ==? 12
__1158__ = item&n_19 ==? 13
__1159__ = item&n_19 ==? 14
__1160__ = sum(__1153__,__1154__,__1155__,__1156__,__1157__,__1158__,__1159__)
__1161__ = __1160__ >=? 1
: __1162__ = 9999
: __1162__ = 9999
__1163__ = __990__ ==? __999__
: __1162__ = 9999
__1164__ = __999__ ==? __1008__
: __1162__ = 9999
__1165__ = __1008__ ==? __1017__
: __1162__ = 9999
__1166__ = __1017__ ==? __1026__
: __1162__ = 9999
__1167__ = __1026__ ==? __1035__
: __1162__ = 9999
__1168__ = __1035__ ==? __1044__
: __1162__ = 9999
__1169__ = __1044__ ==? __1053__
: __1162__ = 9999
__1170__ = __1053__ ==? __1062__
: __1162__ = 9999
__1171__ = __1062__ ==? __1071__
: __1162__ = 9999
__1172__ = __1071__ ==? __1080__
: __1162__ = 9999
__1173__ = __1080__ ==? __1089__
: __1162__ = 9999
__1174__ = __1089__ ==? __1098__
: __1162__ = 9999
__1175__ = __1098__ ==? __1107__
: __1162__ = 9999
__1176__ = __1107__ ==? __1116__
: __1162__ = 9999
__1177__ = __1116__ ==? __1125__
: __1162__ = 9999
__1178__ = __1125__ ==? __1134__
: __1162__ = 9999
__1179__ = __1134__ ==? __1143__
: __1162__ = 9999
__1180__ = __1143__ ==? __1152__
: __1162__ = 9999
__1181__ = __1152__ ==? __1161__
: __1162__ = 9999
: __502__ = 0
__1182__ = sum(__1163__)
__1183__ = __1182__ ==? 1
__1183__ >= __523__
__1184__ = sum(__1164__)
__1185__ = __1184__ ==? 1
__1185__ >= __525__
__1186__ = sum(__1165__)
__1187__ = __1186__ ==? 1
__1187__ >= __527__
__1188__ = sum(__1166__)
__1189__ = __1188__ ==? 1
__1189__ >= __529__
__1190__ = sum(__1167__)
__1191__ = __1190__ ==? 1
__1191__ >= __531__
__1192__ = sum(__1168__)
__1193__ = __1192__ ==? 1
__1193__ >= __533__
__1194__ = sum(__1169__)
__1195__ = __1194__ ==? 1
__1195__ >= __535__
__1196__ = sum(__1170__)
__1197__ = __1196__ ==? 1
__1197__ >= __537__
__1198__ = sum(__1171__)
__1199__ = __1198__ ==? 1
__1199__ >= __539__
__1200__ = sum(__1172__)
__1201__ = __1200__ ==? 1
__1201__ >= __541__
__1202__ = sum(__1173__)
__1203__ = __1202__ ==? 1
__1203__ >= __543__
__1204__ = sum(__1174__)
__1205__ = __1204__ ==? 1
__1205__ >= __545__
__1206__ = sum(__1175__)
__1207__ = __1206__ ==? 1
__1207__ >= __547__
__1208__ = sum(__1176__)
__1209__ = __1208__ ==? 1
__1209__ >= __549__
__1210__ = sum(__1177__)
__1211__ = __1210__ ==? 1
__1211__ >= __551__
__1212__ = sum(__1178__)
__1213__ = __1212__ ==? 1
__1213__ >= __553__
__1214__ = sum(__1179__)
__1215__ = __1214__ ==? 1
__1215__ >= __555__
__1216__ = sum(__1180__)
__1217__ = __1216__ ==? 1
__1217__ >= __557__
__1218__ = sum(__1181__)
__1219__ = __1218__ ==? 1
__1219__ >= __559__
__1220__ = sum(__502__)
__1221__ = __1220__ ==? 1
__1221__ >= __561__
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __502__ = 0
: __1162__ = 9999
: __1162__ = 9999
__1222__ = __502__ ==? __502__
: __1162__ = 9999
__1223__ = __502__ ==? __502__
: __1162__ = 9999
__1224__ = __502__ ==? __502__
: __1162__ = 9999
__1225__ = __502__ ==? __502__
: __1162__ = 9999
__1226__ = __502__ ==? __502__
: __1162__ = 9999
__1227__ = __502__ ==? __502__
: __1162__ = 9999
__1228__ = __502__ ==? __502__
: __1162__ = 9999
__1229__ = __502__ ==? __502__
: __1162__ = 9999
__1230__ = __502__ ==? __502__
: __1162__ = 9999
__1231__ = __502__ ==? __502__
: __1162__ = 9999
__1232__ = __502__ ==? __502__
: __1162__ = 9999
__1233__ = __502__ ==? __502__
: __1162__ = 9999
__1234__ = __502__ ==? __502__
: __1162__ = 9999
__1235__ = __502__ ==? __502__
: __1162__ = 9999
__1236__ = __502__ ==? __502__
: __1162__ = 9999
__1237__ = __502__ ==? __502__
: __1162__ = 9999
__1238__ = __502__ ==? __502__
: __1162__ = 9999
__1239__ = __502__ ==? __502__
: __1162__ = 9999
__1240__ = __502__ ==? __502__
: __1162__ = 9999
: __502__ = 0
__1241__ = sum(__1222__)
__1242__ = __1241__ ==? 1
__1242__ >= __523__
__1243__ = sum(__1223__)
__1244__ = __1243__ ==? 1
__1244__ >= __525__
__1245__ = sum(__1224__)
__1246__ = __1245__ ==? 1
__1246__ >= __527__
__1247__ = sum(__1225__)
__1248__ = __1247__ ==? 1
__1248__ >= __529__
__1249__ = sum(__1226__)
__1250__ = __1249__ ==? 1
__1250__ >= __531__
__1251__ = sum(__1227__)
__1252__ = __1251__ ==? 1
__1252__ >= __533__
__1253__ = sum(__1228__)
__1254__ = __1253__ ==? 1
__1254__ >= __535__
__1255__ = sum(__1229__)
__1256__ = __1255__ ==? 1
__1256__ >= __537__
__1257__ = sum(__1230__)
__1258__ = __1257__ ==? 1
__1258__ >= __539__
__1259__ = sum(__1231__)
__1260__ = __1259__ ==? 1
__1260__ >= __541__
__1261__ = sum(__1232__)
__1262__ = __1261__ ==? 1
__1262__ >= __543__
__1263__ = sum(__1233__)
__1264__ = __1263__ ==? 1
__1264__ >= __545__
__1265__ = sum(__1234__)
__1266__ = __1265__ ==?