2.37/1.89	
2.37/1.89	AbsCon 2 
2.63/1.91	
3.19/2.12	  Instance
3.19/2.12	    name=instance-4390692-1568385004, framework=CSP
3.19/2.12	
3.19/2.12	  Loading variables...
3.19/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c9912f
3.19/2.15	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@383f21d4
3.19/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f548f1b
3.19/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f5993be
3.19/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc02d3
3.19/2.15	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a240705
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4c372c
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24d23b36
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38dc11bc
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f6b78a
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6611ba
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c1a0408
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a1054f
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4adf9b8f
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3632ffa2
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dbc9cb4
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d69551
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53d80bf
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da6600e
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b68c8b1
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230b93c1
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40edcfdd
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b233f20
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455ffd24
3.19/2.16	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aac3e58
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@291ec9e0
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce38864
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15fae90c
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cb482c
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1865f949
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48606782
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b5507c8
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f73541c
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8579cf1
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad9071a
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18bc5373
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4efe87f8
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe024d3
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7452465b
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@615a5236
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c0d9f
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad5b91f
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b15dc51
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39f86f2c
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@639208fd
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@631a07f
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@764da75a
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509d851c
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1254303d
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52277518
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2938594c
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bae0333
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583e73e2
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6760e2
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253355ed
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2b0803
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124673ef
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ae981f
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530cdc5c
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a9fb5
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60e014d7
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3da719ae
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d175e3
3.19/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27fe68e6
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70eafe51
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc41743
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4893a797
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73112e64
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fecfdf5
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195da92e
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d95b12
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f8ba58
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32c5413b
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ecefc4
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cc8f0f
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a388775
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e6a6cb
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d8bc68d
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66cbedb8
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51309b3c
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4b5cd4
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebf5684
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bed262b
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a598a04
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f23633c
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1032a603
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37b4a8bf
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0b9a38
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcaf9bd
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3599c2e7
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae549bb
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e0d3604
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb7e8bd
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf70406
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4b0790
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ff08012
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a67245
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489c83a9
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9a0b6c
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef62492
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d9bdac9
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bd1cf42
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c3a31b3
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e65b94
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db81371
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b49d8be
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165ede15
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ac81c3f
3.19/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4262461c
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a784198
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc18a95
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a831c2
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f645de4
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cfe0f2
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d45b930
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6d8f32
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655e0cf
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7447ca34
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5140941c
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71d98dde
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@efe0418
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275208a9
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e6652dd
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35c885ad
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b606f11
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec80d55
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70ae7305
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2126669d
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6efed8d9
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309c416e
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18062dd6
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e52ef8c
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17ad4f96
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68793d52
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e0a21fd
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae09013
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7610bc33
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@462eb6ff
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f754a48
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120ebc98
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773d6015
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee2da0
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26608daf
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d24172b
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e82fed5
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583e26ea
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5925a38
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4f58f6
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eeac0f5
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643bc332
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55caec7d
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42b15715
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@761109b2
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f83ba32
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e849b6
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179e1c6c
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f53e601
3.19/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e479d93
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4657e5bb
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@717bba62
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcdc140
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@127c734a
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71d409e5
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7407f9
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e356b8b
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ca35df
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75bd3b3a
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4fd0c8
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b714246
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ec4c880
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@366dbf14
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e382c22
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f952664
3.19/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@755302a8
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac6299a
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26be7da4
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75129448
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e08293
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e46e9c
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e52a4b
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fbb3ff4
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c3d99ca
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7769f8c2
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4529e14c
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25a14954
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c5ecfe4
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eefcde2
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79a16969
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76eee040
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62521cae
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@200f80a9
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14e99bed
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d29dc2b
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2188ceda
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b06070c
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65976bd5
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c985cef
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242d87f6
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75053a42
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135e9f4e
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ceecd4
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e78ea0d
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d90f91d
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@305aaef8
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@577ccb44
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@533436f9
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b2bbe2b
3.47/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c6e4b59
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23211a03
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a9f9f7b
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d37f1ff
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@666c231f
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a14b91a
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db8c75b
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a128d5b
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30afe6be
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d0773b
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35afd474
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa20d7e
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@590be9bf
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e3baa51
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e5e83ee
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d8e8c8b
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498fa84f
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4871a00f
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3e260e
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4e9235
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@430c0ea6
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ec7db6
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0f0e41
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b7a7b6
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@524c6fa8
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c43dc46
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7852ec4c
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4293c57e
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@731f1ce6
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b89af71
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bef6ee
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ff7f21
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cd1996
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@149486b8
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26406dd8
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc154c5
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eb6c751
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a831ca
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@684a24e4
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc43ed2
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73863750
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b25c2c
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b79a6b0
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13a17e0b
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25ff22ec
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25c79471
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@306f160c
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f1425c
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a85d6da
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68330606
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d48f3f2
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f7675b
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfaf546
3.47/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@421fc88f
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75f04b1a
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b76c65a
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7367865f
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708d7d45
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec421fa
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6975b13a
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7719a662
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d7d8bcc
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@736f80a9
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73749b7d
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d757fe7
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a933857
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1885a649
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9611c61
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@91ecf99
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c7d736c
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b29e5bf
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9b060
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f8d453
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6b92ee
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee46030
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5985cee0
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d55368c
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b467ac0
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468d4c3b
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611bb531
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e09b1d1
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16e3af9
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51a19480
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19a2d021
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fc54a5e
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65874223
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccc2458
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14bdad95
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705d0252
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@612d03b3
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64638446
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b484153
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dabfdac
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395d456e
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef9b163
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9bdb7e
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8e1c66
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d0069b
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bfec93b
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@456ca3c1
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68dd0a3e
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f894d48
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ff8e6a
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4231d68d
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7033217b
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2231d8ff
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@750f213d
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f49cb3
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45
3.47/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9872d3
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372cb39e
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b018ab1
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6509d73a
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c44beec
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ca8dfb
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@543a29b8
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@224cb735
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18782459
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0029b
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ec8be7
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@439ad5d5
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@722d0ad
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34d4d74d
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b5a791
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce7064f
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfa0ec8
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a01c345
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136dc7a2
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10ac77dd
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69270621
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5391c438
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd480e4
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b922a1
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51acc96a
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61c88dd3
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3203a192
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af2e621
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e64e1a8
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36de814a
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@188497c0
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44437955
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5d0c41
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@199328ae
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1021c514
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d182c45
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f0fcfea
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2be76bd9
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eb77aff
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b0efe
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f706a62
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374369e6
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc55ab7
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb65b5
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e2bb8bd
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@607caf42
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58889d3a
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73ce0a90
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df17874
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d3d6b0
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60a94991
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6dc44d
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@acbcc41
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68630657
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7deb5b
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d7d9c0
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1696e28b
3.47/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69eea49e
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253007a9
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44219f33
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cff4a1e
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54af9be7
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332ec8a7
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d15651c
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@336ae6d1
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d13c79f
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ca022dc
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@670f96ab
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428ff95f
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6161470e
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5783d3d8
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476bb70d
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a4d01e
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4033589c
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2989bdb1
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b2e36c2
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35cc4d94
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5095421
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6332bc96
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc7cb84
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1102a35a
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6105e822
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11e6d375
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1896e65a
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f217788
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6400a57a
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1345028b
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60652028
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59078dd5
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0fb735
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b28718
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@203f4d91
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@273728cc
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7208eb
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56deda52
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40145341
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492ee12e
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bf75842
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f1c703e
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1114bebc
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62fae898
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70a489e8
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da5d5de
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64531d4e
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498942ab
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a7b18b
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737053d6
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ab7423
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e8e47a0
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c05a893
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4555d5cd
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd8da31
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fda0564
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc8fcfe
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6486dfc9
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43960f3
3.47/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc74b3e
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e1008e1
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bda3d72
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@549c557c
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30faca3d
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16df6a1d
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64483283
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5448fa6a
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29889525
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43df3781
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d51292
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d132a8
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cdaed76
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb9528f
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75e5b018
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a6292f
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349f3f6c
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a590d7c
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e9bfea
3.47/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52aa7975
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d856fe2
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59f99582
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d342909
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b6744a
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27df525d
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34dc4c6a
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481066dc
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd423a0
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75b4569b
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e24eb54
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48530b4e
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79116941
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1242f360
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@629d37de
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798c643b
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@425f128a
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26cf943a
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a421e07
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48e7504b
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebed5f4
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530b9eb
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be3aee1
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a0763a
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ed7669
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49e8821c
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee87840
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@af8cba9
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73a3d55e
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52239b1e
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@556c651e
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502f97ae
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cdcdcff
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e96ce24
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee23588
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b6eed
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@731211ec
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@438a24d5
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae96c5
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f5c1815
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bb420aa
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1896eb4e
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@247a8099
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@320d60f8
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36926b7c
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367b214
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@218f6ba
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4687e3bf
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c21e6
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7074ab6a
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7185d45b
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14071572
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c8a3c0d
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f161a7c
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71997a4b
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c38e110
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58553834
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@563e70d1
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6757ad70
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@267b1ce5
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fb444a4
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3064b52f
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac74718
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31c68b6b
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b99186f
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eb7f594
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@459cc370
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d5c41
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a8d4e0
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bf47aee
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3edf0c00
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68e510ce
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28cd85ce
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69084e52
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@620c3682
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a4371b4
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468fac56
3.47/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604d0e4b
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f999f4f
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6615df36
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a41e1e4
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59e353e1
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eb87aba
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42fb59ad
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bdb64d0
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41625427
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aa77e02
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@420416f5
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad2d37c
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c7fdbef
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc990b7
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a6e65e
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f687f1
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13e8ec09
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4072bbe9
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d6aa9ce
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea707c7
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bb2458e
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c46ef09
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63fe6bf7
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1837fef2
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb34c14
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b5fec80
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@204830df
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3add516c
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@355e07c1
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fde2821
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160cbc62
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@758c1024
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bea268d
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@680b66e0
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79f05983
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d29cacd
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e6072d
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6a8e74
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4abbd387
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f200e65
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a13e74
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2a5215
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@343de13c
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18566d9d
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e9157fd
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ea4a09
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@228b327d
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46fec19
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e98a86
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13001324
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@766c623c
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf38093
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce1142b
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a428262
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@585c4022
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57527361
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33cdfc2d
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53b4a322
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51b3999f
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78105045
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21715b6f
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ffe2f64
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@520aabef
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffb631d
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ee3b86
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a75d044
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794abe1e
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@760809c1
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@166f1e43
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a0fa6fb
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511abdc3
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@659cafcd
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1778eb7b
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a5c6ff0
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb2e6cf
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db325c7
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5864969
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae75294
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5987d24c
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41eed5a5
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f8cb37
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c0d0663
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ef5d92c
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3a9b48
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@544f6658
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b1f47
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553b3553
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c1fa8df
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d1959a
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b614a47
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e074187
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f88cfa0
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27e539db
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54535748
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ba72c2f
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@430d1bf5
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63cc62a3
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12651eac
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@145542c5
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@747f5dae
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39e1e1eb
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@549e48a8
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe2a8a
3.47/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@682fb5d0
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c0c8308
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@546a3cc6
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60ef99fc
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502d9163
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ef957e9
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ea79dc
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79b66fe9
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14052e5d
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@263530f
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@536879a1
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6003a35
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e4059b0
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68bab67e
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56696a9d
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f8514d
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5663591
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aea6d77
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232ac60
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@393a556f
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0c77dd
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@751acc56
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55fbd242
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43983f
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@faa6c72
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e38a09
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a475b35
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32fb230e
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4701abef
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743d2de4
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@572980ec
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7992e842
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179c4028
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70afc638
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45538034
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa91c0a
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba95347
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61261fbe
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@630d466d
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2945947f
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a673a7a
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a37117f
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b20ff5c
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32958581
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6797c8
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b15d37a
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61545437
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46914036
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213efc09
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@281458b8
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b7d835b
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@746cadb9
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61a91a0b
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3115983e
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@745a3cf
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15c134ea
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dcde648
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dbec99b
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bfeab7f
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad8292
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f6e1377
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b538d78
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a195552
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e9714e
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@697d658c
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65147b56
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea15d1f
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62691318
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3a2661
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cbcaa62
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27318760
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@545901b4
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ef7c996
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4549ee21
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62659679
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3907f3b0
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37478121
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2cb50e
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2186e2c8
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4018cc13
3.47/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65ef5acf
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79b9cbc3
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e782e5c
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ec9ea0
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b1345
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a3ed6c
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ba7788
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c37753
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48506b24
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d4a0d06
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e7a032d
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@94c2429
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50a18a81
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25867cb5
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33619168
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@736379f3
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@648a2824
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f9a3a3e
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49df5d3b
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30e5dc3
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4056447c
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@623361b7
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c460ae0
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@941307
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5fc455
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9c1504
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ebade78
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fc40604
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d4605d
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f9cb970
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d396c38
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf2d31a
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@581ba963
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d39146
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1806a485
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51842d32
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b685994
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69b5f6c2
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@394cdea7
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23565695
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f3d40f
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19931b52
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744dfa5f
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d5c4686
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c071b24
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b6237f8
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454c859
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2357f71f
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3036de7e
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230b825f
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@211dca10
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22528665
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b75152d
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@779bd819
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2888246f
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20e89f78
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ef887dc
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75602501
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b42348b
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@559b4034
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a347fe5
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d1769da
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@536290be
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772729b5
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad7f82e
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13934d90
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5073fea6
3.47/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39bab243
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60500f19
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583c45cc
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d1ce97f
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1533247d
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@329ff4e9
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@495c306a
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195ab263
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738c9ab2
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12ee1240
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af4a78
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@608d4713
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52bf6c2
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@145465d4
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62eceffd
3.47/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136a7144
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72adaf1b
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e6ae40
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19910ff8
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c9410a0
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16014e60
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ca9ef3
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ad310d4
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9968da
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53cdb827
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cded5a5
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@117e1fe7
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37207439
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1df2fc78
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be225ae
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5facab8f
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e72fd1
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1110a1b3
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@174cbbb0
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c5cc17a
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cb14bc
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b53e0ff
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24efe194
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5430565b
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e6253e8
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48536041
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a6c3b5
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20fc4cac
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23236190
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61d94e55
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f7990f2
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4032f3aa
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@463750b9
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f98a14e
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ab42b4
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41c4623
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9e1f1a0
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61836420
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1225dbb9
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f4fd718
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d0991cf
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418acfe1
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a496947
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c996359
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e37f6dc
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38e94f5f
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc725af
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d6de41e
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@686c60e1
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ce592a
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b4c7a1
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c5ad921
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@277275e8
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76791d27
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eccb757
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e8e872b
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b0e711
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ead342e
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e54c1b1
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8ba759
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af3cb53
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57aec3f7
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ea7584
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b4129ea
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ba72
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@270d7f7b
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13e15a7a
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32556143
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c97104
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e9deda1
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a2cc2c1
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72748705
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f6809e
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a77818
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bff63b1
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1abfb48e
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be078ab
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762dc4da
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64e6cd1
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8b55c
3.71/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5707a4a7
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5775faec
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cf0c293
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2ef56f
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201e2cfa
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@959aeb3
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3654cab3
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@260fbd45
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33fd8b41
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372700ba
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d9092a8
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56cb7f4
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b5e4f5a
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b8a1817
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e05886
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a11aad7
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4edb52cc
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aaa3505
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e03c507
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b4519e8
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@546628ea
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27646249
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a229de
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@447f0750
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c6c84
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@153bfc75
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ce51601
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ed1e8c5
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c414bc3
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2584b47
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca78944
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f49fd1a
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738200fa
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20353615
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a76c4fb
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76bab466
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@279d475f
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e5b8d01
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48c441b0
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f0b95b3
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22be0324
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d190f32
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f43a254
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cbfbda
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ffd2962
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25bbe414
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d4755b8
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a87c44a
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7834d574
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ccb6714
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@309c1a10
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d66def0
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cc886ab
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a06506b
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf4566e
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71df0b36
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2094fbcc
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349fd31f
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21e79a76
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51491157
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38c13b84
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bd58406
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e7e6465
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b76e8
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550dada6
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d46195
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d68dcb1
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f80bbfc
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70bb7a6d
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6d55f2
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46e233ff
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64c1ae0b
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@548cf083
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d9ad22e
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f00faec
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f844ff
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18408b18
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16fd11cf
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34fb0f5d
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d52387
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77dd3931
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61243cc2
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6660e922
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48f2e2f7
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367fb63
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@544d78ee
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73467b2d
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790087e6
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478dad42
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54fa5ebe
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@687f598f
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13fd0ad
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@412788d9
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6a893f
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14138ae5
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4364a768
3.71/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f01b0a9
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b4761b2
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@401d332
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fda0553
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e595494
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b638805
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57729573
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53233937
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8ed25b
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c1053a8
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@796096eb
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30f2361a
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e47ad2
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de750d
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e9c6dbd
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12c6ea75
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@464fcb8b
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530dcbd
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b889d6c
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8025b3b
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c5e80df
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@583b3c80
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53cb935b
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@431d2fe5
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a0abae3
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cfd7b4b
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5359febf
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad1cf83
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26b9cfac
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614094f5
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7806284d
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e72de6
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0818f5
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f45d030
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0cd1c0
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@545ea7c8
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e29c61
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e2cf8e5
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14df7aa7
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39d5c766
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a4c0190
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@124f3ef9
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@575d281a
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@832af8b
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24011e48
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b089ed
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7407c830
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7457a24f
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2569906a
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b3f451
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e894f91
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@399e2e6
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73f88bc9
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bcb76ee
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56b201f0
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b8a89d
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34dc66e9
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37fc5bc0
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@288922e6
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68641ec2
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59b8aba5
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37d08f7c
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a6dc4d3
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b2797d
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619b552d
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d396fd
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f96bcf
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a91cec4
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1980c3dd
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b27ef1
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@376cf6d5
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bcf5172
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59dbb722
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@692cab9
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b1708d
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f43e50d
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dbd0307
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@366ef14
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b7a1fbf
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f92045
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75076311
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13c18971
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4be97a20
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1515456
3.71/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40e3a3b6
3.71/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7380bcd5
3.71/2.34	
3.71/2.34	
3.71/2.34	  Domains
3.71/2.34	    nTypes=1, nValues=300, sizes=[2#150]
3.71/2.34	  Variables
3.71/2.34	    count=150, degrees=[15#150]
3.71/2.34	  Constraints
3.71/2.34	    count=1065, nSpecific=1065, arities=[2#1050,10#15]
3.71/2.34	    distribution=[SumSimpleGE#15,SumSimpleLE#1050]
3.71/2.34	    wck=0.484, cpu=2.312, mem=39M724
3.71/2.35	  Solver SolverBacktrack being built...
3.71/2.35	
3.71/2.38	
3.71/2.38	  Solver
3.71/2.38	    guaranteedGAC=true
3.71/2.38	    wck=0.517, cpu=2.344, mem=50M367
3.71/2.38	
3.71/2.38	  Preprocessing
3.71/2.38	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.71/2.38	    wck=0.004, cpu=2.35, mem=50M367
3.71/2.38	
3.71/2.39	    num=0, depth=39..47, filters=675, wck=0.015, mem=50M367
3.71/2.39	    decisions=93, wrong=27, backtracks=26, failedAssignments=10, nogoods=2
3.71/2.39	    
4.01/2.40	    num=1, depth=42..50, filters=1641, wck=0.02, mem=50M367
4.01/2.40	    decisions=212, wrong=65, backtracks=61, failedAssignments=21, nogoods=4
4.01/2.40	    
4.01/2.41	    num=2, depth=48..56, filters=2436, wck=0.024, mem=50M367
4.01/2.41	    decisions=318, wrong=94, backtracks=84, failedAssignments=33, nogoods=5
4.01/2.41	    
4.01/2.41	    num=3, depth=48..59, filters=3472, wck=0.028, mem=50M367
4.01/2.41	    decisions=440, wrong=131, backtracks=119, failedAssignments=46, nogoods=6
4.01/2.41	    
4.01/2.41	    num=4, depth=56..65, filters=4321, wck=0.031, mem=50M367
4.01/2.41	    decisions=560, wrong=163, backtracks=150, failedAssignments=60, nogoods=7
4.01/2.41	    
4.01/2.41	    num=5, depth=63..77, filters=5948, wck=0.036, mem=50M367
4.01/2.41	    decisions=715, wrong=208, backtracks=190, failedAssignments=76, nogoods=11
4.01/2.41	    
4.01/2.42	    num=6, depth=63..74, filters=7619, wck=0.041, mem=50M367
4.01/2.42	    decisions=882, wrong=260, backtracks=238, failedAssignments=93, nogoods=12
4.01/2.42	    
4.01/2.42	    num=7, depth=68..80, filters=9152, wck=0.045, mem=50M367
4.01/2.42	    decisions=1049, wrong=307, backtracks=281, failedAssignments=112, nogoods=14
4.01/2.42	    
4.01/2.43	    num=8, depth=64..76, filters=11228, wck=0.05, mem=50M367
4.01/2.43	    decisions=1249, wrong=374, backtracks=338, failedAssignments=133, nogoods=17
4.01/2.43	    
4.01/2.43	    num=9, depth=72..87, filters=13813, wck=0.055, mem=50M367
4.01/2.43	    decisions=1471, wrong=449, backtracks=409, failedAssignments=156, nogoods=18
4.01/2.43	    
4.01/2.44	    num=10, depth=74..88, filters=16327, wck=0.06, mem=50M367
4.01/2.44	    decisions=1675, wrong=514, backtracks=472, failedAssignments=181, nogoods=20
4.01/2.44	    
4.01/2.45	    num=11, depth=63..79, filters=19994, wck=0.064, mem=50M367
4.01/2.45	    decisions=1927, wrong=607, backtracks=557, failedAssignments=209, nogoods=22
4.01/2.45	    
4.01/2.46	    num=12, depth=70..83, filters=22988, wck=0.081, mem=50M367
4.01/2.46	    decisions=2157, wrong=686, backtracks=629, failedAssignments=240, nogoods=24
4.01/2.46	    
4.01/2.46	    num=13, depth=72..92, filters=26854, wck=0.086, mem=50M367
4.01/2.46	    decisions=2442, wrong=791, backtracks=730, failedAssignments=274, nogoods=27
4.01/2.46	    
4.01/2.47	    num=14, depth=70..86, filters=30340, wck=0.091, mem=50M367
4.01/2.47	    decisions=2695, wrong=881, backtracks=804, failedAssignments=311, nogoods=30
4.01/2.47	    
4.01/2.47	    num=15, depth=69..82, filters=34772, wck=0.097, mem=50M367
4.01/2.47	    decisions=3002, wrong=997, backtracks=907, failedAssignments=352, nogoods=34
4.01/2.47	    
4.01/2.48	    num=16, depth=67..84, filters=39289, wck=0.103, mem=50M367
4.01/2.48	    decisions=3314, wrong=1118, backtracks=1010, failedAssignments=397, nogoods=37
4.01/2.48	    
4.01/2.49	    num=17, depth=65..81, filters=44007, wck=0.109, mem=50M367
4.01/2.49	    decisions=3641, wrong=1248, backtracks=1132, failedAssignments=447, nogoods=40
4.01/2.49	    
4.01/2.49	    num=18, depth=67..81, filters=50280, wck=0.115, mem=53M9
4.01/2.49	    decisions=4065, wrong=1426, backtracks=1305, failedAssignments=502, nogoods=42
4.01/2.49	    
4.01/2.50	    num=19, depth=67..83, filters=56813, wck=0.12, mem=53M9
4.01/2.50	    decisions=4460, wrong=1590, backtracks=1453, failedAssignments=563, nogoods=43
4.01/2.50	    
4.01/2.50	    num=20, depth=66..82, filters=63799, wck=0.126, mem=53M9
4.01/2.50	    decisions=4925, wrong=1788, backtracks=1641, failedAssignments=630, nogoods=46
4.01/2.50	    
4.36/2.51	    num=21, depth=60..83, filters=72359, wck=0.133, mem=53M9
4.36/2.51	    decisions=5542, wrong=2059, backtracks=1906, failedAssignments=704, nogoods=49
4.36/2.51	    
4.36/2.52	    num=22, depth=65..83, filters=81654, wck=0.14, mem=53M9
4.36/2.52	    decisions=6122, wrong=2314, backtracks=2151, failedAssignments=785, nogoods=52
4.36/2.52	    
4.36/2.52	    num=23, depth=67..84, filters=90836, wck=0.147, mem=53M9
4.36/2.52	    decisions=6710, wrong=2571, backtracks=2384, failedAssignments=874, nogoods=55
4.36/2.52	    
4.36/2.53	    num=24, depth=69..86, filters=101166, wck=0.154, mem=53M9
4.36/2.53	    decisions=7378, wrong=2870, backtracks=2664, failedAssignments=972, nogoods=60
4.36/2.53	    
4.36/2.54	    num=25, depth=68..91, filters=112394, wck=0.162, mem=53M9
4.36/2.54	    decisions=8070, wrong=3179, backtracks=2954, failedAssignments=1080, nogoods=62
4.36/2.54	    
4.36/2.55	    num=26, depth=66..84, filters=124694, wck=0.171, mem=55M652
4.36/2.55	    decisions=8869, wrong=3543, backtracks=3300, failedAssignments=1199, nogoods=66
4.36/2.55	    
4.36/2.56	    num=27, depth=66..87, filters=140744, wck=0.181, mem=55M652
4.36/2.56	    decisions=9827, wrong=3988, backtracks=3715, failedAssignments=1330, nogoods=69
4.36/2.56	    
4.36/2.57	    num=28, depth=67..86, filters=155393, wck=0.192, mem=55M652
4.36/2.57	    decisions=10703, wrong=4390, backtracks=4082, failedAssignments=1474, nogoods=71
4.36/2.57	    
4.36/2.58	    num=29, depth=70..92, filters=175285, wck=0.205, mem=55M652
4.36/2.58	    decisions=11776, wrong=4891, backtracks=4554, failedAssignments=1632, nogoods=74
4.36/2.58	    
4.36/2.60	    num=30, depth=68..85, filters=193903, wck=0.218, mem=55M652
4.36/2.60	    decisions=12848, wrong=5392, backtracks=5041, failedAssignments=1806, nogoods=78
4.36/2.60	    
4.61/2.61	    num=31, depth=61..82, filters=213049, wck=0.23, mem=58M294
4.61/2.61	    decisions=14024, wrong=5949, backtracks=5578, failedAssignments=1997, nogoods=81
4.61/2.61	    
4.61/2.62	    num=32, depth=66..84, filters=237675, wck=0.246, mem=58M294
4.61/2.62	    decisions=15418, wrong=6610, backtracks=6201, failedAssignments=2208, nogoods=85
4.61/2.62	    
4.61/2.64	    num=33, depth=67..89, filters=263408, wck=0.262, mem=58M294
4.61/2.64	    decisions=16788, wrong=7260, backtracks=6817, failedAssignments=2440, nogoods=87
4.61/2.64	    
4.61/2.66	    num=34, depth=63..87, filters=291710, wck=0.279, mem=60M937
4.61/2.66	    decisions=18303, wrong=7984, backtracks=7514, failedAssignments=2695, nogoods=91
4.61/2.66	    
4.61/2.67	    num=35, depth=65..87, filters=320219, wck=0.296, mem=60M937
4.61/2.67	    decisions=20027, wrong=8810, backtracks=8309, failedAssignments=2976, nogoods=94
4.61/2.67	    
4.61/2.69	    num=36, depth=61..81, filters=353612, wck=0.316, mem=60M937
4.61/2.69	    decisions=21895, wrong=9710, backtracks=9169, failedAssignments=3285, nogoods=98
4.61/2.69	    
4.78/2.72	    num=37, depth=59..90, filters=399808, wck=0.343, mem=63M579
4.78/2.72	    decisions=24185, wrong=10823, backtracks=10247, failedAssignments=3625, nogoods=101
4.78/2.72	    
4.78/2.74	    num=38, depth=64..86, filters=439932, wck=0.367, mem=63M579
4.78/2.74	    decisions=26429, wrong=11913, backtracks=11290, failedAssignments=3999, nogoods=104
4.78/2.74	    
4.78/2.77	    num=39, depth=64..88, filters=486699, wck=0.395, mem=66M221
4.78/2.77	    decisions=28987, wrong=13159, backtracks=12508, failedAssignments=4410, nogoods=107
4.78/2.77	    
4.88/2.80	    num=40, depth=60..89, filters=537711, wck=0.427, mem=68M864
4.88/2.80	    decisions=31784, wrong=14523, backtracks=13810, failedAssignments=4862, nogoods=110
4.88/2.80	    
4.88/2.84	    num=41, depth=61..83, filters=589665, wck=0.459, mem=68M864
4.88/2.84	    decisions=34771, wrong=15985, backtracks=15238, failedAssignments=5359, nogoods=114
4.88/2.84	    
4.88/2.87	    num=42, depth=60..84, filters=653527, wck=0.498, mem=71M506
4.88/2.87	    decisions=38197, wrong=17663, backtracks=16860, failedAssignments=5906, nogoods=118
4.88/2.87	    
4.98/2.92	    num=43, depth=60..87, filters=724707, wck=0.541, mem=74M149
4.98/2.92	    decisions=42029, wrong=19545, backtracks=18678, failedAssignments=6508, nogoods=121
4.98/2.92	    
4.98/2.96	    num=44, depth=59..84, filters=799848, wck=0.588, mem=76M791
4.98/2.96	    decisions=45970, wrong=21486, backtracks=20540, failedAssignments=7170, nogoods=122
4.98/2.96	    
5.09/3.01	    num=45, depth=59..87, filters=879026, wck=0.637, mem=79M434
5.09/3.01	    decisions=50476, wrong=23706, backtracks=22644, failedAssignments=7898, nogoods=127
5.09/3.01	    
5.09/3.07	    num=46, depth=56..81, filters=965201, wck=0.692, mem=82M76
5.09/3.07	    decisions=55221, wrong=26044, backtracks=24938, failedAssignments=8699, nogoods=130
5.09/3.07	    
5.19/3.13	    num=47, depth=57..87, filters=1068510, wck=0.754, mem=84M718
5.19/3.13	    decisions=60697, wrong=28752, backtracks=27575, failedAssignments=9580, nogoods=134
5.19/3.13	    
5.29/3.20	    num=48, depth=59..85, filters=1178167, wck=0.824, mem=87M361
5.29/3.20	    decisions=66720, wrong=31730, backtracks=30444, failedAssignments=10550, nogoods=138
5.29/3.20	    
5.29/3.28	    num=49, depth=58..85, filters=1299803, wck=0.899, mem=92M646
5.29/3.28	    decisions=73338, wrong=35005, backtracks=33619, failedAssignments=11617, nogoods=141
5.29/3.28	    
5.39/3.36	    num=50, depth=55..86, filters=1437446, wck=0.987, mem=97M931
5.39/3.36	    decisions=80566, wrong=38591, backtracks=37164, failedAssignments=12790, nogoods=143
5.39/3.36	    
5.49/3.45	    num=51, depth=49..79, filters=1582442, wck=1.073, mem=100M573
5.49/3.45	    decisions=88870, wrong=42714, backtracks=41201, failedAssignments=14081, nogoods=146
5.49/3.45	    
5.59/3.55	    num=52, depth=55..84, filters=1741310, wck=1.171, mem=105M858
5.59/3.55	    decisions=97276, wrong=46885, backtracks=45257, failedAssignments=15501, nogoods=151
5.59/3.55	    
5.71/3.66	    num=53, depth=54..87, filters=1929113, wck=1.282, mem=113M785
5.71/3.66	    decisions=107228, wrong=51830, backtracks=50167, failedAssignments=17063, nogoods=154
5.71/3.66	    
5.81/3.79	    num=54, depth=53..86, filters=2135722, wck=1.41, mem=119M70
5.81/3.79	    decisions=118356, wrong=57364, backtracks=55630, failedAssignments=18781, nogoods=157
5.81/3.79	    
6.01/3.92	    num=55, depth=51..85, filters=2358853, wck=1.543, mem=126M998
6.01/3.92	    decisions=130520, wrong=63413, backtracks=61608, failedAssignments=20671, nogoods=161
6.01/3.92	    
6.12/4.07	    num=56, depth=51..84, filters=2601397, wck=1.691, mem=134M925
6.12/4.07	    decisions=143543, wrong=69893, backtracks=67959, failedAssignments=22750, nogoods=166
6.12/4.07	    
6.32/4.23	    num=57, depth=50..79, filters=2876619, wck=1.854, mem=142M778
6.32/4.23	    decisions=158391, wrong=77287, backtracks=75165, failedAssignments=25037, nogoods=170
6.32/4.23	    
6.58/4.41	    num=58, depth=52..80, filters=3163243, wck=2.03, mem=30M793
6.58/4.41	    decisions=173620, wrong=84871, backtracks=82591, failedAssignments=27553, nogoods=173
6.58/4.41	    
6.68/4.59	    num=59, depth=51..83, filters=3490376, wck=2.211, mem=41M152
6.68/4.59	    decisions=191093, wrong=93577, backtracks=91161, failedAssignments=30321, nogoods=176
6.68/4.59	    
6.88/4.79	    num=60, depth=50..82, filters=3844694, wck=2.412, mem=51M510
6.88/4.79	    decisions=209532, wrong=102771, backtracks=100152, failedAssignments=33365, nogoods=181
6.88/4.79	    
7.08/5.00	    num=61, depth=49..81, filters=4224126, wck=2.62, mem=64M458
7.08/5.00	    decisions=230388, wrong=113173, backtracks=110349, failedAssignments=36714, nogoods=187
7.08/5.00	    
7.38/5.23	    num=62, depth=49..82, filters=4662554, wck=2.858, mem=77M406
7.38/5.23	    decisions=254518, wrong=125207, backtracks=122139, failedAssignments=40398, nogoods=192
7.38/5.23	    
7.58/5.49	    num=63, depth=49..81, filters=5134261, wck=3.116, mem=92M943
7.58/5.49	    decisions=280173, wrong=138007, backtracks=134717, failedAssignments=44450, nogoods=196
7.58/5.49	    
7.89/5.78	    num=64, depth=45..80, filters=5659494, wck=3.404, mem=111M70
7.89/5.78	    decisions=308793, wrong=152291, backtracks=148891, failedAssignments=48907, nogoods=199
7.89/5.78	    
8.31/6.11	    num=65, depth=46..79, filters=6255026, wck=3.73, mem=129M197
8.31/6.11	    decisions=341119, wrong=168423, backtracks=164902, failedAssignments=53810, nogoods=203
8.31/6.11	    
8.60/6.46	    num=66, depth=47..79, filters=6901670, wck=4.084, mem=149M913
8.60/6.46	    decisions=376219, wrong=185945, backtracks=182068, failedAssignments=59204, nogoods=208
8.60/6.46	    
9.03/6.85	    num=67, depth=44..80, filters=7590272, wck=4.471, mem=38M732
9.03/6.85	    decisions=414183, wrong=204897, backtracks=200736, failedAssignments=65137, nogoods=211
9.03/6.85	    
9.43/7.27	    num=68, depth=45..79, filters=8359016, wck=4.896, mem=64M813
9.43/7.27	    decisions=455808, wrong=225677, backtracks=221027, failedAssignments=71663, nogoods=216
9.43/7.27	    
9.93/7.74	    num=69, depth=44..79, filters=9234676, wck=5.367, mem=93M502
9.93/7.74	    decisions=502992, wrong=249242, backtracks=244298, failedAssignments=78842, nogoods=221
9.93/7.74	    
10.43/8.27	    num=70, depth=43..82, filters=10218331, wck=5.898, mem=124M799
10.43/8.27	    decisions=556357, wrong=275897, backtracks=270789, failedAssignments=86739, nogoods=226
10.43/8.27	    
11.04/8.87	    num=71, depth=42..80, filters=11275091, wck=6.495, mem=27M545
11.04/8.87	    decisions=613184, wrong=304286, backtracks=298949, failedAssignments=95426, nogoods=230
11.04/8.87	    
11.76/9.51	    num=72, depth=39..82, filters=12447264, wck=7.136, mem=62M688
11.76/9.51	    decisions=676907, wrong=336122, backtracks=330786, failedAssignments=104981, nogoods=236
11.76/9.51	    
12.46/10.20	    num=73, depth=41..81, filters=13716118, wck=7.824, mem=104M859
12.46/10.20	    decisions=746472, wrong=370876, backtracks=365147, failedAssignments=115492, nogoods=240
12.46/10.20	    
13.16/10.96	    num=74, depth=41..79, filters=15126111, wck=8.587, mem=150M544
13.16/10.96	    decisions=823092, wrong=409160, backtracks=403074, failedAssignments=127054, nogoods=246
13.16/10.96	    
14.09/11.87	    num=75, depth=41..79, filters=16747315, wck=9.491, mem=23M984
14.09/11.87	    decisions=911184, wrong=453174, backtracks=446623, failedAssignments=139772, nogoods=250
14.09/11.87	    
15.12/12.82	    num=76, depth=42..80, filters=18460592, wck=10.443, mem=80M380
15.12/12.82	    decisions=1003990, wrong=499551, backtracks=492225, failedAssignments=153762, nogoods=256
15.12/12.82	    
16.12/13.87	    num=77, depth=41..81, filters=20326851, wck=11.498, mem=138M547
16.12/13.87	    decisions=1103483, wrong=549265, backtracks=540951, failedAssignments=169151, nogoods=259
16.12/13.87	    
17.37/15.06	    num=78, depth=38..82, filters=22460047, wck=12.686, mem=29M838
17.37/15.06	    decisions=1221338, wrong=608173, backtracks=599659, failedAssignments=186079, nogoods=263
17.37/15.06	    
18.66/16.33	    num=79, depth=34..78, filters=24782738, wck=13.957, mem=104M802
18.66/16.33	    decisions=1354845, wrong=674905, backtracks=666230, failedAssignments=204700, nogoods=268
18.66/16.33	    
20.06/17.78	    num=80, depth=37..77, filters=27334230, wck=15.399, mem=189M136
20.06/17.78	    decisions=1497089, wrong=746001, backtracks=736579, failedAssignments=225184, nogoods=270
20.06/17.78	    
21.69/19.36	    num=81, depth=38..82, filters=30090558, wck=16.984, mem=39M288
21.69/19.36	    decisions=1650991, wrong=822928, backtracks=812523, failedAssignments=247716, nogoods=276
21.69/19.36	    
23.50/21.14	    num=82, depth=34..81, filters=33357612, wck=18.759, mem=142M620
23.50/21.14	    decisions=1830658, wrong=912736, backtracks=902345, failedAssignments=272501, nogoods=280
23.50/21.14	    
25.41/23.09	    num=83, depth=36..80, filters=36850637, wck=20.712, mem=255M345
25.41/23.09	    decisions=2021703, wrong=1008236, backtracks=997148, failedAssignments=299765, nogoods=285
25.41/23.09	    
27.73/25.31	    num=84, depth=35..80, filters=40846485, wck=22.938, mem=148M681
27.73/25.31	    decisions=2240176, wrong=1117453, backtracks=1105847, failedAssignments=329755, nogoods=292
27.73/25.31	    
30.03/27.63	    num=85, depth=35..79, filters=44927404, wck=25.254, mem=276M894
30.03/27.63	    decisions=2464360, wrong=1229517, backtracks=1216723, failedAssignments=362744, nogoods=297
30.03/27.63	    
32.66/30.24	    num=86, depth=35..81, filters=49547837, wck=27.863, mem=121M554
32.66/30.24	    decisions=2719011, wrong=1356816, backtracks=1342112, failedAssignments=399032, nogoods=303
32.66/30.24	    
35.57/33.15	    num=87, depth=33..80, filters=54719816, wck=30.769, mem=287M996
35.57/33.15	    decisions=3007659, wrong=1501117, backtracks=1485555, failedAssignments=438949, nogoods=308
35.57/33.15	    
38.90/36.42	    num=88, depth=32..80, filters=60525631, wck=34.047, mem=176M583
38.90/36.42	    decisions=3323517, wrong=1659021, backtracks=1642611, failedAssignments=482858, nogoods=314
38.90/36.42	    
42.31/39.89	    num=89, depth=28..80, filters=66700910, wck=37.513, mem=82M356
42.31/39.89	    decisions=3680183, wrong=1837332, backtracks=1821131, failedAssignments=531158, nogoods=320
42.31/39.89	    
46.11/43.65	    num=90, depth=29..77, filters=73440904, wck=41.271, mem=301M779
46.11/43.65	    decisions=4071843, wrong=2033144, backtracks=2017264, failedAssignments=584288, nogoods=326
46.11/43.65	    
49.82/47.31	    num=91, depth=22..71, filters=80268084, wck=44.936, mem=234M265
49.82/47.31	    decisions=4499434, wrong=2246913, backtracks=2232231, failedAssignments=642731, nogoods=330
49.82/47.31	    
54.33/51.83	    num=92, depth=24..76, filters=88257203, wck=49.448, mem=217M878
54.33/51.83	    decisions=4973362, wrong=2483854, backtracks=2471182, failedAssignments=707018, nogoods=334
54.33/51.83	    
59.44/56.97	    num=93, depth=28..78, filters=97328807, wck=54.595, mem=244M91
59.44/56.97	    decisions=5505379, wrong=2749843, backtracks=2737370, failedAssignments=777734, nogoods=339
59.44/56.97	    
65.06/62.50	    num=94, depth=27..78, filters=107197183, wck=60.123, mem=45M225
65.06/62.50	    decisions=6092916, wrong=3043595, backtracks=3030646, failedAssignments=855521, nogoods=346
65.06/62.50	    
71.27/68.74	    num=95, depth=26..78, filters=118204266, wck=66.36, mem=150M448
71.27/68.74	    decisions=6736332, wrong=3365281, backtracks=3351764, failedAssignments=941087, nogoods=352
71.27/68.74	    
78.08/75.57	    num=96, depth=25..78, filters=130284925, wck=73.19, mem=61M844
78.08/75.57	    decisions=7450088, wrong=3722136, backtracks=3707910, failedAssignments=1035210, nogoods=358
78.08/75.57	    
86.19/83.65	    num=97, depth=25..79, filters=144447113, wck=81.269, mem=64M241
86.19/83.65	    decisions=8259499, wrong=4126821, backtracks=4112511, failedAssignments=1138745, nogoods=363
86.19/83.65	    
94.72/92.15	    num=98, depth=24..78, filters=159340235, wck=89.773, mem=112M252
94.72/92.15	    decisions=9124473, wrong=4559287, backtracks=4543983, failedAssignments=1252634, nogoods=368
94.72/92.15	    
104.12/101.54	    num=99, depth=25..77, filters=175557885, wck=99.159, mem=219M424
104.12/101.54	    decisions=10073007, wrong=5033531, backtracks=5015558, failedAssignments=1377912, nogoods=372
104.12/101.54	    
114.65/112.10	    num=100, depth=24..79, filters=194090386, wck=109.725, mem=42M632
114.65/112.10	    decisions=11140616, wrong=5567318, backtracks=5549007, failedAssignments=1515718, nogoods=378
114.65/112.10	    
125.97/123.38	    num=101, depth=21..79, filters=213561291, wck=120.999, mem=133M615
125.97/123.38	    decisions=12301193, wrong=6147587, backtracks=6128856, failedAssignments=1667304, nogoods=383
125.97/123.38	    
137.81/135.11	    num=102, depth=21..75, filters=234180275, wck=132.732, mem=134M507
137.81/135.11	    decisions=13556775, wrong=6775360, backtracks=6760474, failedAssignments=1834049, nogoods=387
137.81/135.11	    
150.84/148.12	    num=103, depth=19..77, filters=256862996, wck=145.748, mem=104M276
150.84/148.12	    decisions=14947358, wrong=7470633, backtracks=7457932, failedAssignments=2017468, nogoods=392
150.84/148.12	    
166.18/163.44	    num=104, depth=21..76, filters=283399672, wck=161.068, mem=129M720
166.18/163.44	    decisions=16523100, wrong=8258491, backtracks=8246049, failedAssignments=2219229, nogoods=398
166.18/163.44	    
182.72/179.95	    num=105, depth=18..76, filters=312177363, wck=177.576, mem=75M843
182.72/179.95	    decisions=18278160, wrong=9136004, backtracks=9121980, failedAssignments=2441167, nogoods=403
182.72/179.95	    
201.09/198.26	    num=106, depth=19..77, filters=343582538, wck=195.883, mem=113M167
201.09/198.26	    decisions=20181926, wrong=10087871, backtracks=10077609, failedAssignments=2685298, nogoods=410
201.09/198.26	    
222.07/219.18	    num=107, depth=18..77, filters=379489438, wck=216.805, mem=48M737
222.07/219.18	    decisions=22339899, wrong=11166842, backtracks=11159785, failedAssignments=2953843, nogoods=417
222.07/219.18	    
245.36/242.37	    num=108, depth=18..76, filters=419039276, wck=239.99, mem=43M332
245.36/242.37	    decisions=24697397, wrong=12345579, backtracks=12339039, failedAssignments=3249242, nogoods=423
245.36/242.37	    
270.68/267.57	    num=109, depth=17..78, filters=462589906, wck=265.189, mem=52M987
270.68/267.57	    decisions=27297225, wrong=13645474, backtracks=13640531, failedAssignments=3574181, nogoods=428
270.68/267.57	    
298.44/295.16	    num=110, depth=16..80, filters=509402636, wck=292.784, mem=59M526
298.44/295.16	    decisions=30139644, wrong=15066664, backtracks=15065137, failedAssignments=3931614, nogoods=433
298.44/295.16	    
329.00/325.59	    num=111, depth=14..77, filters=561439269, wck=323.209, mem=22M116
329.00/325.59	    decisions=33284208, wrong=16638928, backtracks=16642658, failedAssignments=4324790, nogoods=439
329.00/325.59	    
362.62/358.93	    num=112, depth=13..77, filters=618360174, wck=356.554, mem=37M106
362.62/358.93	    decisions=36757937, wrong=18375778, backtracks=18385990, failedAssignments=4757284, nogoods=444
362.62/358.93	    
399.83/395.95	    num=113, depth=12..77, filters=682249278, wck=393.575, mem=61M730
399.83/395.95	    decisions=40598865, wrong=20296223, backtracks=20315241, failedAssignments=5233028, nogoods=451
399.83/395.95	    
440.58/436.42	    num=114, depth=11..74, filters=752002023, wck=434.045, mem=63M886
440.58/436.42	    decisions=44828079, wrong=22410820, backtracks=22437620, failedAssignments=5756346, nogoods=458
440.58/436.42	    
485.56/481.14	    num=115, depth=8..73, filters=827709321, wck=478.768, mem=46M798
485.56/481.14	    decisions=49461701, wrong=24727609, backtracks=24759952, failedAssignments=6331996, nogoods=463
485.56/481.14	    
534.34/529.68	    num=116, depth=7..76, filters=912048650, wck=527.303, mem=38M258
534.34/529.68	    decisions=54468773, wrong=27231132, backtracks=27272316, failedAssignments=6965211, nogoods=467
534.34/529.68	    
586.78/581.79	    num=117, depth=3..68, filters=1003656095, wck=579.417, mem=54M326
586.78/581.79	    decisions=59916514, wrong=29954996, backtracks=30016215, failedAssignments=7661747, nogoods=473
586.78/581.79	    
621.09/615.80	    num=118, depth=0..66, filters=1063638688, wck=613.425, mem=66M115
621.09/615.80	    decisions=63483826, wrong=31738653, backtracks=31808465, failedAssignments=8110090, nogoods=473
621.09/615.80	    
621.09/615.80	  Global
621.09/615.80	    filters=1063638688, nogoods=473
621.09/615.80	    Stop=FULL_EXPLORATION, wrong=31738653, wck=613.943, cpu=614.357, mem=66M115
621.09/615.80	
621.09/615.80	s UNSATISFIABLE
621.09/615.80	
621.09/615.80	d WRONG_DECISIONS 31738653