0.02/0.09
0.02/0.09 Abscon 112 (May, 2008)
0.17/0.25
0.17/0.25 configuration
0.17/0.25 name=mrdac-wdeg.xml
0.17/0.29
0.17/0.29 instance
0.17/0.29 name=HOME/instance-1112379-1215866485.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.36 nbVariables=6 nbDomainTypes=1 minDomainSize=6 maxDomainSize=6 nbTotalValues=36
0.28/0.36 => wckTime=0.106 cpuTime=0.09 mem=7M858
0.28/0.36
0.28/0.36 predicates being loaded...
0.37/0.42
0.37/0.42 constraints being loaded...
0.37/0.47 nbConstraints=19 nbConvertedConstraints=19 nbConvertConstraintsChecks=108 nbExtensionStructures=3
0.37/0.47 nbSharedExtensionStructures=16 nbConflictsStructures=3 nbSharedConflictsStructures=16
0.37/0.47 nbSharedBinaryRepresentations=23 minDegree=6 maxDegree=7 minArity=2 maxArity=2
0.37/0.47 => wckTime=0.213 cpuTime=0.19 mem=11M825
0.47/0.52
0.47/0.52 solver LocalSearchSolver being built...
0.47/0.57 => wckTime=0.316 cpuTime=0.22 mem=6M388
0.47/0.57
0.47/0.57 s SATISFIABLE
0.47/0.57 o 4
0.47/0.57 o 2
1.16/1.24
1.16/1.24 search
1.16/1.24 run=0 nbConstraintChecks=1047580 nbAssignments=10000
1.16/1.24 => wckTime=0.672 cpuTime=0.65 mem=7M380
1.75/1.88
1.75/1.88 search
1.75/1.88 run=1 nbConstraintChecks=2095248 nbAssignments=20000
1.75/1.88 => wckTime=1.314 cpuTime=1.28 mem=7M380
2.44/2.50
2.44/2.50 search
2.44/2.50 run=2 nbConstraintChecks=3149674 nbAssignments=30000
2.44/2.50 => wckTime=1.936 cpuTime=1.89 mem=7M380
3.04/3.13
3.04/3.13 search
3.04/3.13 run=3 nbConstraintChecks=4198642 nbAssignments=40000
3.04/3.13 => wckTime=2.56 cpuTime=2.51 mem=7M380
3.63/3.75
3.63/3.75 search
3.63/3.75 run=4 nbConstraintChecks=5253634 nbAssignments=50000
3.63/3.75 => wckTime=3.182 cpuTime=3.12 mem=7M380
4.23/4.38
4.23/4.38 search
4.23/4.38 run=5 nbConstraintChecks=6303569 nbAssignments=60000
4.23/4.38 => wckTime=3.81 cpuTime=3.74 mem=7M380
4.91/5.00
4.91/5.00 search
4.91/5.00 run=6 nbConstraintChecks=7352703 nbAssignments=70000
4.91/5.00 => wckTime=4.431 cpuTime=4.35 mem=7M380
5.51/5.62
5.51/5.62 search
5.51/5.62 run=7 nbConstraintChecks=8401250 nbAssignments=80000
5.51/5.62 => wckTime=5.056 cpuTime=4.97 mem=7M380
6.10/6.24
6.10/6.24 search
6.10/6.24 run=8 nbConstraintChecks=9453636 nbAssignments=90000
6.10/6.24 => wckTime=5.676 cpuTime=5.58 mem=7M380
6.69/6.86
6.69/6.86 search
6.69/6.86 run=9 nbConstraintChecks=10503273 nbAssignments=100000
6.69/6.86 => wckTime=6.296 cpuTime=6.2 mem=7M380
7.28/7.48
7.28/7.48 search
7.28/7.48 run=10 nbConstraintChecks=11553941 nbAssignments=110000
7.28/7.48 => wckTime=6.915 cpuTime=6.81 mem=7M380
7.98/8.10
7.98/8.10 search
7.98/8.10 run=11 nbConstraintChecks=12603426 nbAssignments=120000
7.98/8.10 => wckTime=7.535 cpuTime=7.42 mem=7M380
8.57/8.73
8.57/8.73 search
8.57/8.73 run=12 nbConstraintChecks=13653999 nbAssignments=130000
8.57/8.73 => wckTime=8.161 cpuTime=8.04 mem=7M380
9.17/9.35
9.17/9.35 search
9.17/9.35 run=13 nbConstraintChecks=14702807 nbAssignments=140000
9.17/9.35 => wckTime=8.781 cpuTime=8.64 mem=7M380
9.76/9.97
9.76/9.97 search
9.76/9.97 run=14 nbConstraintChecks=15754205 nbAssignments=150000
9.76/9.97 => wckTime=9.402 cpuTime=9.26 mem=7M380
10.34/10.59
10.34/10.59 search
10.34/10.59 run=15 nbConstraintChecks=16801122 nbAssignments=160000
10.34/10.59 => wckTime=10.021 cpuTime=9.88 mem=7M380
11.04/11.21
11.04/11.21 search
11.04/11.21 run=16 nbConstraintChecks=17855460 nbAssignments=170000
11.04/11.21 => wckTime=10.642 cpuTime=10.49 mem=7M380
11.63/11.83
11.63/11.83 search
11.63/11.83 run=17 nbConstraintChecks=18904440 nbAssignments=180000
11.63/11.83 => wckTime=11.262 cpuTime=11.1 mem=7M380
12.22/12.45
12.22/12.45 search
12.22/12.45 run=18 nbConstraintChecks=19957207 nbAssignments=190000
12.22/12.45 => wckTime=11.881 cpuTime=11.72 mem=7M380
12.81/13.07
12.81/13.07 search
12.81/13.07 run=19 nbConstraintChecks=21008037 nbAssignments=200000
12.81/13.07 => wckTime=12.501 cpuTime=12.32 mem=7M380
13.42/13.69
13.42/13.69 search
13.42/13.69 run=20 nbConstraintChecks=22059900 nbAssignments=210000
13.42/13.69 => wckTime=13.122 cpuTime=12.94 mem=7M380
14.11/14.32
14.11/14.32 search
14.11/14.32 run=21 nbConstraintChecks=23110652 nbAssignments=220000
14.11/14.32 => wckTime=13.748 cpuTime=13.55 mem=7M380
14.69/14.94
14.69/14.94 search
14.69/14.94 run=22 nbConstraintChecks=24161655 nbAssignments=230000
14.69/14.94 => wckTime=14.368 cpuTime=14.17 mem=7M380
15.29/15.56
15.29/15.56 search
15.29/15.56 run=23 nbConstraintChecks=25214567 nbAssignments=240000
15.29/15.56 => wckTime=14.993 cpuTime=14.79 mem=7M380
15.88/16.19
15.88/16.19 search
15.88/16.19 run=24 nbConstraintChecks=26271207 nbAssignments=250000
15.88/16.19 => wckTime=15.618 cpuTime=15.41 mem=7M380
16.57/16.81
16.57/16.81 search
16.57/16.81 run=25 nbConstraintChecks=27322731 nbAssignments=260000
16.57/16.81 => wckTime=16.243 cpuTime=16.02 mem=7M380
17.17/17.44
17.17/17.44 search
17.17/17.44 run=26 nbConstraintChecks=28373295 nbAssignments=270000
17.17/17.44 => wckTime=16.868 cpuTime=16.64 mem=7M380
17.76/18.06
17.76/18.06 search
17.76/18.06 run=27 nbConstraintChecks=29425281 nbAssignments=280000
17.76/18.06 => wckTime=17.493 cpuTime=17.26 mem=7M380
18.35/18.69
18.35/18.69 search
18.35/18.69 run=28 nbConstraintChecks=30473968 nbAssignments=290000
18.35/18.69 => wckTime=18.124 cpuTime=17.88 mem=7M380
19.04/19.32
19.04/19.32 search
19.04/19.32 run=29 nbConstraintChecks=31527568 nbAssignments=300000
19.04/19.32 => wckTime=18.749 cpuTime=18.49 mem=7M380
19.63/19.94
19.63/19.94 search
19.63/19.94 run=30 nbConstraintChecks=32576013 nbAssignments=310000
19.63/19.94 => wckTime=19.374 cpuTime=19.12 mem=7M380
20.23/20.56
20.23/20.56 search
20.23/20.56 run=31 nbConstraintChecks=33625267 nbAssignments=320000
20.23/20.56 => wckTime=19.997 cpuTime=19.74 mem=7M380
20.82/21.19
20.82/21.19 search
20.82/21.19 run=32 nbConstraintChecks=34678085 nbAssignments=330000
20.82/21.19 => wckTime=20.621 cpuTime=20.35 mem=7M380
21.52/21.81
21.52/21.81 search
21.52/21.81 run=33 nbConstraintChecks=35727965 nbAssignments=340000
21.52/21.81 => wckTime=21.245 cpuTime=20.97 mem=7M380
22.11/22.44
22.11/22.44 search
22.11/22.44 run=34 nbConstraintChecks=36781046 nbAssignments=350000
22.11/22.44 => wckTime=21.87 cpuTime=21.58 mem=7M380
22.70/23.07
22.70/23.07 search
22.70/23.07 run=35 nbConstraintChecks=37834154 nbAssignments=360000
22.70/23.07 => wckTime=22.5 cpuTime=22.2 mem=7M380
23.29/23.69
23.29/23.69 search
23.29/23.69 run=36 nbConstraintChecks=38884173 nbAssignments=370000
23.29/23.69 => wckTime=23.125 cpuTime=22.82 mem=7M380
23.98/24.32
23.98/24.32 search
23.98/24.32 run=37 nbConstraintChecks=39933731 nbAssignments=380000
23.98/24.32 => wckTime=23.751 cpuTime=23.44 mem=7M380
24.58/24.94
24.58/24.94 search
24.58/24.94 run=38 nbConstraintChecks=40982157 nbAssignments=390000
24.58/24.94 => wckTime=24.376 cpuTime=24.06 mem=7M380
25.17/25.57
25.17/25.57 search
25.17/25.57 run=39 nbConstraintChecks=42032312 nbAssignments=400000
25.17/25.57 => wckTime=24.998 cpuTime=24.68 mem=7M380
25.76/26.19
25.76/26.19 search
25.76/26.19 run=40 nbConstraintChecks=43083316 nbAssignments=410000
25.76/26.19 => wckTime=25.619 cpuTime=25.29 mem=7M380
26.45/26.81
26.45/26.81 search
26.45/26.81 run=41 nbConstraintChecks=44135121 nbAssignments=420000
26.45/26.81 => wckTime=26.241 cpuTime=25.91 mem=7M380
27.05/27.44
27.05/27.44 search
27.05/27.44 run=42 nbConstraintChecks=45185831 nbAssignments=430000
27.05/27.44 => wckTime=26.869 cpuTime=26.51 mem=7M380
27.64/28.06
27.64/28.06 search
27.64/28.06 run=43 nbConstraintChecks=46239199 nbAssignments=440000
27.64/28.06 => wckTime=27.49 cpuTime=27.13 mem=7M380
28.24/28.68
28.24/28.68 search
28.24/28.68 run=44 nbConstraintChecks=47292735 nbAssignments=450000
28.24/28.68 => wckTime=28.111 cpuTime=27.75 mem=7M380
28.93/29.30
28.93/29.30 search
28.93/29.30 run=45 nbConstraintChecks=48340492 nbAssignments=460000
28.93/29.30 => wckTime=28.732 cpuTime=28.37 mem=7M380
29.51/29.92
29.51/29.92 search
29.51/29.92 run=46 nbConstraintChecks=49393256 nbAssignments=470000
29.51/29.92 => wckTime=29.352 cpuTime=28.97 mem=7M380
30.11/30.54
30.11/30.54 search
30.11/30.54 run=47 nbConstraintChecks=50445620 nbAssignments=480000
30.11/30.54 => wckTime=29.972 cpuTime=29.59 mem=7M380
30.50/30.96
30.50/30.96 search
30.50/30.96 run=48 nbConstraintChecks=51150101 nbAssignments=486713
30.50/30.96 => wckTime=30.39 cpuTime=30.01 mem=7M380
30.50/30.96
30.50/30.96 global
30.50/30.96 nbConstraintChecks=51150101 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.50/30.96 solvingWckTime=30.389 solvingCpuTime=30.01 expiredTime=no totalExploration=no nbFoundSolutions=0
30.50/30.96 globalCpuTime=30.28
30.50/30.96 => wckTime=30.705 cpuTime=30.23 mem=7M380
30.50/30.96
30.50/30.96 solver DecomposerSolver being built...
30.61/31.04 => wckTime=30.787 cpuTime=30.3 mem=17M215
30.61/31.04 C2(V0,V2)
30.61/31.04 C2(V0,V2)
30.61/31.04 C2(V0,V2)
30.61/31.04 C2(V0,V2)
30.61/31.04 C2(V0,V2)
30.61/31.04 C2(V0,V2)
30.61/31.04 C2(V0,V2)
30.61/31.04 C2(V0,V2)
30.61/31.04 C2(V0,V2)
30.61/31.04 C2(V0,V2)
30.61/31.04 C2(V0,V2)
30.61/31.04 C2(V0,V2)
30.61/31.04 C8(V1,V3)
30.61/31.04 C8(V1,V3)
30.61/31.04 C8(V1,V3)
30.61/31.04 C8(V1,V3)
30.61/31.04 C8(V1,V3)
30.61/31.04 C8(V1,V3)
30.61/31.04 C8(V1,V3)
30.61/31.04 C8(V1,V3)
30.61/31.04 C8(V1,V3)
30.61/31.04 C8(V1,V3)
30.61/31.04 C8(V1,V3)
30.61/31.04 C8(V1,V3)
30.61/31.04 C13(V2,V4)
30.61/31.04 C13(V2,V4)
30.61/31.04 C13(V2,V4)
30.61/31.04 C13(V2,V4)
30.61/31.04 C13(V2,V4)
30.61/31.04 C13(V2,V4)
30.61/31.05 C13(V2,V4)
30.61/31.05 C13(V2,V4)
30.61/31.05 C13(V2,V4)
30.61/31.05 C13(V2,V4)
30.61/31.05 C13(V2,V4)
30.61/31.05 C13(V2,V4)
30.61/31.05 C17(V3,V5)
30.61/31.05 C17(V3,V5)
30.61/31.05 C17(V3,V5)
30.61/31.05 C17(V3,V5)
30.61/31.05 C17(V3,V5)
30.61/31.05 C17(V3,V5)
30.61/31.05 C17(V3,V5)
30.61/31.05 C17(V3,V5)
30.61/31.05 C17(V3,V5)
30.61/31.05 C17(V3,V5)
30.61/31.05 C17(V3,V5)
30.61/31.05 C17(V3,V5)
30.61/31.05
30.61/31.05 preprocessing
30.61/31.05 nbConstraintChecks=48 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.61/31.05 detectedInconsistency=no
30.61/31.05 => wckTime=0.0070 cpuTime=0.01 mem=17M215
30.61/31.06 C5(V5,V0)
30.61/31.06 C5(V5,V0)
30.61/31.06 C5(V5,V0)
30.61/31.06 C5(V5,V0)
30.61/31.06 C5(V5,V0)
30.61/31.06 C5(V5,V0)
30.61/31.06 C10(V5,V1)
30.61/31.06 C10(V5,V1)
30.61/31.06 C10(V5,V1)
30.61/31.06 C10(V5,V1)
30.61/31.06 C10(V5,V1)
30.61/31.06 C10(V5,V1)
30.61/31.06 C14(V5,V2)
30.61/31.06 C14(V5,V2)
30.61/31.06 C14(V5,V2)
30.61/31.06 C14(V5,V2)
30.61/31.06 C14(V5,V2)
30.61/31.06 C14(V5,V2)
30.61/31.06 C16(V5,V3)
30.61/31.06 C16(V5,V3)
30.61/31.06 C16(V5,V3)
30.61/31.06 C16(V5,V3)
30.61/31.06 C16(V5,V3)
30.61/31.06 C16(V5,V3)
30.61/31.06 C17(V3,V5)
30.61/31.06 C17(V3,V5)
30.61/31.06 C17(V3,V5)
30.61/31.06 C18(V5,V4)
30.61/31.06 C18(V5,V4)
30.61/31.06 C18(V5,V4)
30.61/31.06 C18(V5,V4)
30.61/31.06 C18(V5,V4)
30.61/31.06 C18(V5,V4)
30.61/31.06 C8(V1,V3)
30.61/31.06 C8(V1,V3)
30.61/31.06 C8(V1,V3)
30.61/31.06 C8(V1,V3)
30.61/31.06 C8(V1,V3)
30.61/31.06 C0(V1,V0)
30.61/31.06 C0(V1,V0)
30.61/31.06 C0(V1,V0)
30.61/31.06 C0(V1,V0)
30.61/31.06 C0(V1,V0)
30.61/31.06 C1(V2,V0)
30.61/31.06 C1(V2,V0)
30.61/31.06 C1(V2,V0)
30.61/31.06 C1(V2,V0)
30.61/31.06 C1(V2,V0)
30.61/31.06 C1(V2,V0)
30.61/31.06 C2(V0,V2)
30.61/31.06 C2(V0,V2)
30.61/31.06 C2(V0,V2)
30.61/31.06 C2(V0,V2)
30.61/31.06 C3(V3,V0)
30.61/31.06 C3(V3,V0)
30.61/31.06 C3(V3,V0)
30.61/31.06 C3(V3,V0)
30.61/31.06 C3(V3,V0)
30.61/31.06 C4(V4,V0)
30.61/31.06 C4(V4,V0)
30.61/31.06 C4(V4,V0)
30.61/31.06 C4(V4,V0)
30.61/31.06 C4(V4,V0)
30.61/31.06 C4(V4,V0)
30.61/31.06 C8(V1,V3)
30.61/31.06 C8(V1,V3)
30.61/31.06 C6(V2,V1)
30.61/31.06 C6(V2,V1)
30.61/31.06 C11(V3,V2)
30.61/31.06 C11(V3,V2)
30.61/31.06 C11(V3,V2)
30.61/31.06 C11(V3,V2)
30.61/31.06 C11(V3,V2)
30.61/31.06 C12(V4,V2)
30.61/31.06 C12(V4,V2)
30.61/31.06 C12(V4,V2)
30.61/31.06 C12(V4,V2)
30.61/31.06 C13(V2,V4)
30.61/31.06 C13(V2,V4)
30.61/31.06 C13(V2,V4)
30.61/31.06 C13(V2,V4)
30.61/31.06 C8(V1,V3)
30.61/31.06 C8(V1,V3)
30.61/31.06 C13(V2,V4)
30.61/31.07 C9(V4,V1)
30.61/31.07 C9(V4,V1)
30.61/31.07 C12(V4,V2)
30.61/31.07 C13(V2,V4)
30.61/31.07 C15(V4,V3)
30.61/31.07 C15(V4,V3)
30.61/31.07 C15(V4,V3)
30.61/31.07 C15(V4,V3)
30.61/31.07 C8(V1,V3)
30.61/31.07 C8(V1,V3)
30.61/31.07 C6(V2,V1)
30.61/31.07 C7(V3,V1)
30.61/31.07 C7(V3,V1)
30.61/31.07 C7(V3,V1)
30.61/31.07 C8(V1,V3)
30.61/31.07 C0(V1,V0)
30.61/31.07 C0(V1,V0)
30.61/31.07 C1(V2,V0)
30.61/31.07 C2(V0,V2)
30.61/31.07 C3(V3,V0)
30.61/31.07 C3(V3,V0)
30.61/31.07 C3(V3,V0)
30.61/31.07 C3(V3,V0)
30.61/31.07 C4(V4,V0)
30.61/31.07 C4(V4,V0)
30.61/31.07 C6(V2,V1)
30.61/31.07 C6(V2,V1)
30.61/31.07 C8(V1,V3)
30.61/31.07 C8(V1,V3)
30.61/31.07 C8(V1,V3)
30.61/31.07 C8(V1,V3)
30.61/31.07 C8(V1,V3)
30.61/31.07 C8(V1,V3)
30.61/31.07 C10(V5,V1)
30.61/31.07 C10(V5,V1)
30.61/31.07 C11(V3,V2)
30.61/31.07 C11(V3,V2)
30.61/31.07 C11(V3,V2)
30.61/31.07 C11(V3,V2)
30.61/31.07 C12(V4,V2)
30.61/31.07 C12(V4,V2)
30.61/31.07 C13(V2,V4)
30.61/31.07 C13(V2,V4)
30.61/31.07 C13(V2,V4)
30.61/31.07 C14(V5,V2)
30.61/31.07 C16(V5,V3)
30.61/31.07 C16(V5,V3)
30.61/31.07 C16(V5,V3)
30.61/31.07 C16(V5,V3)
30.61/31.07 C17(V3,V5)
30.61/31.07 C17(V3,V5)
30.61/31.07 C17(V3,V5)
30.61/31.07 C17(V3,V5)
30.61/31.07 C18(V5,V4)
30.61/31.07 C18(V5,V4)
30.61/31.07 C2(V0,V2)
30.61/31.07 C2(V0,V2)
30.61/31.07 C2(V0,V2)
30.61/31.07 C2(V0,V2)
30.61/31.07 C2(V0,V2)
30.61/31.07 C2(V0,V2)
30.61/31.07 C2(V0,V2)
30.61/31.07 C2(V0,V2)
30.61/31.07 C2(V0,V2)
30.61/31.07 C2(V0,V2)
30.61/31.07 C2(V0,V2)
30.61/31.07 C5(V5,V0)
30.61/31.07 C5(V5,V0)
30.61/31.07 C5(V5,V0)
30.61/31.07 C5(V5,V0)
30.61/31.07 C5(V5,V0)
30.61/31.07 C8(V1,V3)
30.61/31.07 C8(V1,V3)
30.61/31.08 C8(V1,V3)
30.61/31.08 C8(V1,V3)
30.61/31.08 C8(V1,V3)
30.61/31.08 C8(V1,V3)
30.61/31.08 C8(V1,V3)
30.61/31.08 C8(V1,V3)
30.61/31.08 C8(V1,V3)
30.61/31.08 C8(V1,V3)
30.61/31.08 C10(V5,V1)
30.61/31.08 C10(V5,V1)
30.61/31.08 C10(V5,V1)
30.61/31.08 C10(V5,V1)
30.61/31.08 C10(V5,V1)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C14(V5,V2)
30.61/31.08 C14(V5,V2)
30.61/31.08 C14(V5,V2)
30.61/31.08 C14(V5,V2)
30.61/31.08 C14(V5,V2)
30.61/31.08 C14(V5,V2)
30.61/31.08 C16(V5,V3)
30.61/31.08 C16(V5,V3)
30.61/31.08 C16(V5,V3)
30.61/31.08 C16(V5,V3)
30.61/31.08 C16(V5,V3)
30.61/31.08 C17(V3,V5)
30.61/31.08 C17(V3,V5)
30.61/31.08 C17(V3,V5)
30.61/31.08 C17(V3,V5)
30.61/31.08 C17(V3,V5)
30.61/31.08 C18(V5,V4)
30.61/31.08 C18(V5,V4)
30.61/31.08 C18(V5,V4)
30.61/31.08 C18(V5,V4)
30.61/31.08 C18(V5,V4)
30.61/31.08 C18(V5,V4)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C3(V3,V0)
30.61/31.08 C3(V3,V0)
30.61/31.08 C3(V3,V0)
30.61/31.08 C3(V3,V0)
30.61/31.08 C7(V3,V1)
30.61/31.08 C7(V3,V1)
30.61/31.08 C8(V1,V3)
30.61/31.08 C8(V1,V3)
30.61/31.08 C11(V3,V2)
30.61/31.08 C11(V3,V2)
30.61/31.08 C11(V3,V2)
30.61/31.08 C11(V3,V2)
30.61/31.08 C11(V3,V2)
30.61/31.08 C11(V3,V2)
30.61/31.08 C15(V4,V3)
30.61/31.08 C15(V4,V3)
30.61/31.08 C15(V4,V3)
30.61/31.08 C15(V4,V3)
30.61/31.08 C15(V4,V3)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C13(V2,V4)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.08 C2(V0,V2)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C17(V3,V5)
30.61/31.09 C17(V3,V5)
30.61/31.09 C17(V3,V5)
30.61/31.09 C17(V3,V5)
30.61/31.09 C17(V3,V5)
30.61/31.09 C17(V3,V5)
30.61/31.09 C17(V3,V5)
30.61/31.09 C17(V3,V5)
30.61/31.09 C17(V3,V5)
30.61/31.09 C17(V3,V5)
30.61/31.09 C17(V3,V5)
30.61/31.09 C5(V5,V0)
30.61/31.09 C5(V5,V0)
30.61/31.09 C5(V5,V0)
30.61/31.09 C5(V5,V0)
30.61/31.09 C5(V5,V0)
30.61/31.09 C5(V5,V0)
30.61/31.09 C10(V5,V1)
30.61/31.09 C10(V5,V1)
30.61/31.09 C10(V5,V1)
30.61/31.09 C10(V5,V1)
30.61/31.09 C10(V5,V1)
30.61/31.09 C10(V5,V1)
30.61/31.09 C14(V5,V2)
30.61/31.09 C14(V5,V2)
30.61/31.09 C14(V5,V2)
30.61/31.09 C14(V5,V2)
30.61/31.09 C14(V5,V2)
30.61/31.09 C14(V5,V2)
30.61/31.09 C16(V5,V3)
30.61/31.09 C16(V5,V3)
30.61/31.09 C16(V5,V3)
30.61/31.09 C16(V5,V3)
30.61/31.09 C16(V5,V3)
30.61/31.09 C16(V5,V3)
30.61/31.09 C17(V3,V5)
30.61/31.09 C17(V3,V5)
30.61/31.09 C18(V5,V4)
30.61/31.09 C18(V5,V4)
30.61/31.09 C18(V5,V4)
30.61/31.09 C18(V5,V4)
30.61/31.09 C18(V5,V4)
30.61/31.09 C18(V5,V4)
30.61/31.09 C2(V0,V2)
30.61/31.09 C2(V0,V2)
30.61/31.09 C2(V0,V2)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C2(V0,V2)
30.61/31.09 C2(V0,V2)
30.61/31.09 C2(V0,V2)
30.61/31.09 C2(V0,V2)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C13(V2,V4)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C8(V1,V3)
30.61/31.09 C4(V4,V0)
30.61/31.09 C4(V4,V0)
30.61/31.09 C4(V4,V0)
30.61/31.09 C4(V4,V0)
30.61/31.09 C4(V4,V0)
30.61/31.09 C9(V4,V1)
30.61/31.10 C9(V4,V1)
30.61/31.10 C9(V4,V1)
30.61/31.10 C9(V4,V1)
30.61/31.10 C9(V4,V1)
30.61/31.10 C12(V4,V2)
30.61/31.10 C12(V4,V2)
30.61/31.10 C12(V4,V2)
30.61/31.10 C12(V4,V2)
30.61/31.10 C12(V4,V2)
30.61/31.10 C13(V2,V4)
30.61/31.10 C13(V2,V4)
30.61/31.10 C13(V2,V4)
30.61/31.10 C13(V2,V4)
30.61/31.10 C15(V4,V3)
30.61/31.10 C15(V4,V3)
30.61/31.10 C15(V4,V3)
30.61/31.10 C15(V4,V3)
30.61/31.10 C15(V4,V3)
30.61/31.10 C2(V0,V2)
30.61/31.10 C2(V0,V2)
30.68/31.10 C2(V0,V2)
30.68/31.10 C2(V0,V2)
30.68/31.10 C2(V0,V2)
30.68/31.10 C8(V1,V3)
30.68/31.10 C8(V1,V3)
30.68/31.10 C0(V1,V0)
30.68/31.10 C0(V1,V0)
30.68/31.10 C0(V1,V0)
30.68/31.10 C0(V1,V0)
30.68/31.10 C6(V2,V1)
30.68/31.10 C6(V2,V1)
30.68/31.10 C6(V2,V1)
30.68/31.10 C6(V2,V1)
30.68/31.10 C7(V3,V1)
30.68/31.10 C7(V3,V1)
30.68/31.10 C7(V3,V1)
30.68/31.10 C7(V3,V1)
30.68/31.10 C8(V1,V3)
30.68/31.10 C8(V1,V3)
30.68/31.10 C2(V0,V2)
30.68/31.10 C2(V0,V2)
30.68/31.10 C2(V0,V2)
30.68/31.10 C2(V0,V2)
30.68/31.10 C2(V0,V2)
30.68/31.10 C2(V0,V2)
30.68/31.10 C2(V0,V2)
30.68/31.10 C2(V0,V2)
30.68/31.10 C4(V4,V0)
30.68/31.10 C4(V4,V0)
30.68/31.10 C4(V4,V0)
30.68/31.10 C4(V4,V0)
30.68/31.10 C5(V5,V0)
30.68/31.10 C5(V5,V0)
30.68/31.10 C5(V5,V0)
30.68/31.10 C5(V5,V0)
30.68/31.10 C8(V1,V3)
30.68/31.10 C8(V1,V3)
30.68/31.10 C8(V1,V3)
30.68/31.10 C8(V1,V3)
30.68/31.10 C8(V1,V3)
30.68/31.10 C8(V1,V3)
30.68/31.10 C8(V1,V3)
30.68/31.11 C8(V1,V3)
30.68/31.11 C9(V4,V1)
30.68/31.11 C9(V4,V1)
30.68/31.11 C9(V4,V1)
30.68/31.11 C9(V4,V1)
30.68/31.11 C10(V5,V1)
30.68/31.11 C10(V5,V1)
30.68/31.11 C10(V5,V1)
30.68/31.11 C10(V5,V1)
30.68/31.11 C12(V4,V2)
30.68/31.11 C12(V4,V2)
30.68/31.11 C12(V4,V2)
30.68/31.11 C12(V4,V2)
30.68/31.11 C13(V2,V4)
30.68/31.11 C13(V2,V4)
30.68/31.11 C13(V2,V4)
30.68/31.11 C13(V2,V4)
30.68/31.11 C14(V5,V2)
30.68/31.11 C14(V5,V2)
30.68/31.11 C14(V5,V2)
30.68/31.11 C14(V5,V2)
30.68/31.11 C15(V4,V3)
30.68/31.11 C15(V4,V3)
30.68/31.11 C15(V4,V3)
30.68/31.11 C15(V4,V3)
30.68/31.11 C16(V5,V3)
30.68/31.11 C16(V5,V3)
30.68/31.11 C16(V5,V3)
30.68/31.11 C16(V5,V3)
30.68/31.11 C17(V3,V5)
30.68/31.11 C17(V3,V5)
30.68/31.11 C17(V3,V5)
30.68/31.11 C17(V3,V5)
30.68/31.11 C1(V2,V0)
30.68/31.11 C1(V2,V0)
30.68/31.11 C2(V0,V2)
30.68/31.11 C2(V0,V2)
30.68/31.11 C6(V2,V1)
30.68/31.11 C6(V2,V1)
30.68/31.11 C6(V2,V1)
30.68/31.11 C6(V2,V1)
30.68/31.11 C11(V3,V2)
30.68/31.11 C3(V3,V0)
30.68/31.11 C3(V3,V0)
30.68/31.11 C7(V3,V1)
30.68/31.11 C7(V3,V1)
30.68/31.11 C7(V3,V1)
30.68/31.11 C7(V3,V1)
30.68/31.11 C8(V1,V3)
30.68/31.11 C11(V3,V2)
30.68/31.11 C2(V0,V2)
30.68/31.11 C2(V0,V2)
30.68/31.11 C2(V0,V2)
30.68/31.11 C2(V0,V2)
30.68/31.11 C2(V0,V2)
30.68/31.11 C2(V0,V2)
30.68/31.11 C2(V0,V2)
30.68/31.11 C2(V0,V2)
30.68/31.11 C2(V0,V2)
30.68/31.11 C2(V0,V2)
30.68/31.11 C5(V5,V0)
30.68/31.11 C5(V5,V0)
30.68/31.11 C5(V5,V0)
30.68/31.11 C5(V5,V0)
30.68/31.11 C5(V5,V0)
30.68/31.11 C8(V1,V3)
30.68/31.11 C8(V1,V3)
30.68/31.11 C8(V1,V3)
30.68/31.11 C8(V1,V3)
30.68/31.11 C8(V1,V3)
30.68/31.11 C8(V1,V3)
30.68/31.11 C8(V1,V3)
30.68/31.12 C8(V1,V3)
30.68/31.12 C8(V1,V3)
30.68/31.12 C8(V1,V3)
30.68/31.12 C10(V5,V1)
30.68/31.12 C10(V5,V1)
30.68/31.12 C10(V5,V1)
30.68/31.12 C10(V5,V1)
30.68/31.12 C10(V5,V1)
30.68/31.12 C13(V2,V4)
30.68/31.12 C13(V2,V4)
30.68/31.12 C13(V2,V4)
30.68/31.12 C13(V2,V4)
30.68/31.12 C13(V2,V4)
30.68/31.12 C13(V2,V4)
30.68/31.12 C13(V2,V4)
30.68/31.12 C13(V2,V4)
30.68/31.12 C13(V2,V4)
30.68/31.12 C13(V2,V4)
30.68/31.12 C14(V5,V2)
30.68/31.12 C14(V5,V2)
30.68/31.12 C14(V5,V2)
30.68/31.12 C14(V5,V2)
30.68/31.12 C14(V5,V2)
30.68/31.12 C16(V5,V3)
30.68/31.12 C16(V5,V3)
30.68/31.12 C16(V5,V3)
30.68/31.12 C16(V5,V3)
30.68/31.12 C16(V5,V3)
30.68/31.12 C17(V3,V5)
30.68/31.12 C17(V3,V5)
30.68/31.12 C17(V3,V5)
30.68/31.12 C17(V3,V5)
30.68/31.12 C17(V3,V5)
30.68/31.12 C18(V5,V4)
30.68/31.12 C18(V5,V4)
30.68/31.12 C18(V5,V4)
30.68/31.12 C18(V5,V4)
30.68/31.12 C18(V5,V4)
30.68/31.12 C0(V1,V0)
30.68/31.12 C0(V1,V0)
30.68/31.12 C0(V1,V0)
30.68/31.12 C0(V1,V0)
30.68/31.12 C0(V1,V0)
30.68/31.12 C6(V2,V1)
30.68/31.12 C6(V2,V1)
30.68/31.12 C6(V2,V1)
30.68/31.12 C6(V2,V1)
30.68/31.12 C6(V2,V1)
30.68/31.12 C7(V3,V1)
30.68/31.12 C7(V3,V1)
30.68/31.12 C7(V3,V1)
30.68/31.12 C7(V3,V1)
30.68/31.12 C7(V3,V1)
30.68/31.12 C8(V1,V3)
30.68/31.12 C8(V1,V3)
30.68/31.12 C9(V4,V1)
30.68/31.12 C9(V4,V1)
30.68/31.12 C9(V4,V1)
30.68/31.12 C9(V4,V1)
30.68/31.12 C9(V4,V1)
30.68/31.12 C2(V0,V2)
30.68/31.12 C2(V0,V2)
30.68/31.12 C2(V0,V2)
30.68/31.12 C2(V0,V2)
30.68/31.12 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C1(V2,V0)
30.68/31.13 C1(V2,V0)
30.68/31.13 C2(V0,V2)
30.68/31.13 C3(V3,V0)
30.68/31.13 C3(V3,V0)
30.68/31.13 C4(V4,V0)
30.68/31.13 C4(V4,V0)
30.68/31.13 C4(V4,V0)
30.68/31.13 C2(V0,V2)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C1(V2,V0)
30.68/31.13 C2(V0,V2)
30.68/31.13 C11(V3,V2)
30.68/31.13 C12(V4,V2)
30.68/31.13 C12(V4,V2)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C3(V3,V0)
30.68/31.13 C11(V3,V2)
30.68/31.13 C15(V4,V3)
30.68/31.13 C15(V4,V3)
30.68/31.13 C13(V2,V4)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C5(V5,V0)
30.68/31.13 C5(V5,V0)
30.68/31.13 C5(V5,V0)
30.68/31.13 C5(V5,V0)
30.68/31.13 C5(V5,V0)
30.68/31.13 C8(V1,V3)
30.68/31.13 C8(V1,V3)
30.68/31.13 C8(V1,V3)
30.68/31.13 C8(V1,V3)
30.68/31.13 C8(V1,V3)
30.68/31.13 C8(V1,V3)
30.68/31.13 C8(V1,V3)
30.68/31.13 C8(V1,V3)
30.68/31.13 C8(V1,V3)
30.68/31.13 C10(V5,V1)
30.68/31.13 C10(V5,V1)
30.68/31.13 C10(V5,V1)
30.68/31.13 C10(V5,V1)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C14(V5,V2)
30.68/31.13 C14(V5,V2)
30.68/31.13 C14(V5,V2)
30.68/31.13 C14(V5,V2)
30.68/31.13 C14(V5,V2)
30.68/31.13 C16(V5,V3)
30.68/31.13 C16(V5,V3)
30.68/31.13 C16(V5,V3)
30.68/31.13 C16(V5,V3)
30.68/31.13 C16(V5,V3)
30.68/31.13 C17(V3,V5)
30.68/31.13 C17(V3,V5)
30.68/31.13 C17(V3,V5)
30.68/31.13 C17(V3,V5)
30.68/31.13 C17(V3,V5)
30.68/31.13 C18(V5,V4)
30.68/31.13 C18(V5,V4)
30.68/31.13 C18(V5,V4)
30.68/31.13 C18(V5,V4)
30.68/31.13 C18(V5,V4)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C8(V1,V3)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C2(V0,V2)
30.68/31.13 C13(V2,V4)
30.68/31.13 C13(V2,V4)
30.68/31.14 C0(V1,V0)
30.68/31.14 C0(V1,V0)
30.68/31.14 C0(V1,V0)
30.68/31.14 C0(V1,V0)
30.68/31.14 C1(V2,V0)
30.68/31.14 C1(V2,V0)
30.68/31.14 C2(V0,V2)
30.68/31.14 C3(V3,V0)
30.68/31.14 C3(V3,V0)
30.68/31.14 C4(V4,V0)
30.68/31.14 C4(V4,V0)
30.68/31.14 C4(V4,V0)
30.68/31.14 C4(V4,V0)
30.68/31.14 C8(V1,V3)
30.68/31.14 C1(V2,V0)
30.68/31.14 C2(V0,V2)
30.68/31.14 C6(V2,V1)
30.68/31.14 C6(V2,V1)
30.68/31.14 C6(V2,V1)
30.68/31.14 C11(V3,V2)
30.68/31.14 C12(V4,V2)
30.68/31.14 C12(V4,V2)
30.68/31.14 C12(V4,V2)
30.68/31.14 C13(V2,V4)
30.68/31.14 C13(V2,V4)
30.68/31.14 C3(V3,V0)
30.68/31.14 C7(V3,V1)
30.68/31.14 C7(V3,V1)
30.68/31.14 C7(V3,V1)
30.68/31.14 C8(V1,V3)
30.68/31.14 C11(V3,V2)
30.68/31.14 C15(V4,V3)
30.68/31.14 C15(V4,V3)
30.68/31.14 C15(V4,V3)
30.68/31.14 C13(V2,V4)
30.68/31.14 C4(V4,V0)
30.68/31.14 C9(V4,V1)
30.68/31.14 C9(V4,V1)
30.68/31.14 C9(V4,V1)
30.68/31.14 C12(V4,V2)
30.68/31.14 C13(V2,V4)
30.68/31.14 C15(V4,V3)
30.68/31.14 C2(V0,V2)
30.68/31.14 C2(V0,V2)
30.68/31.14 C2(V0,V2)
30.68/31.14 C2(V0,V2)
30.68/31.14 C2(V0,V2)
30.68/31.14 C2(V0,V2)
30.68/31.14 C2(V0,V2)
30.68/31.14 C2(V0,V2)
30.68/31.14 C2(V0,V2)
30.68/31.14 C2(V0,V2)
30.68/31.14 C2(V0,V2)
30.68/31.14 C2(V0,V2)
30.68/31.14 C8(V1,V3)
30.68/31.14 C8(V1,V3)
30.68/31.14 C8(V1,V3)
30.68/31.14 C8(V1,V3)
30.68/31.14 C8(V1,V3)
30.68/31.14 C8(V1,V3)
30.68/31.14 C8(V1,V3)
30.68/31.14 C8(V1,V3)
30.68/31.14 C8(V1,V3)
30.68/31.14 C8(V1,V3)
30.68/31.14 C8(V1,V3)
30.68/31.14 C8(V1,V3)
30.68/31.14 C13(V2,V4)
30.68/31.14 C13(V2,V4)
30.68/31.14 C13(V2,V4)
30.68/31.14 C13(V2,V4)
30.68/31.14 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C17(V3,V5)
30.68/31.15 C17(V3,V5)
30.68/31.15 C17(V3,V5)
30.68/31.15 C17(V3,V5)
30.68/31.15 C17(V3,V5)
30.68/31.15 C17(V3,V5)
30.68/31.15 C17(V3,V5)
30.68/31.15 C17(V3,V5)
30.68/31.15 C17(V3,V5)
30.68/31.15 C17(V3,V5)
30.68/31.15 C5(V5,V0)
30.68/31.15 C5(V5,V0)
30.68/31.15 C5(V5,V0)
30.68/31.15 C5(V5,V0)
30.68/31.15 C5(V5,V0)
30.68/31.15 C5(V5,V0)
30.68/31.15 C10(V5,V1)
30.68/31.15 C10(V5,V1)
30.68/31.15 C10(V5,V1)
30.68/31.15 C10(V5,V1)
30.68/31.15 C10(V5,V1)
30.68/31.15 C10(V5,V1)
30.68/31.15 C14(V5,V2)
30.68/31.15 C14(V5,V2)
30.68/31.15 C14(V5,V2)
30.68/31.15 C14(V5,V2)
30.68/31.15 C14(V5,V2)
30.68/31.15 C14(V5,V2)
30.68/31.15 C16(V5,V3)
30.68/31.15 C16(V5,V3)
30.68/31.15 C16(V5,V3)
30.68/31.15 C16(V5,V3)
30.68/31.15 C16(V5,V3)
30.68/31.15 C16(V5,V3)
30.68/31.15 C17(V3,V5)
30.68/31.15 C18(V5,V4)
30.68/31.15 C18(V5,V4)
30.68/31.15 C18(V5,V4)
30.68/31.15 C18(V5,V4)
30.68/31.15 C18(V5,V4)
30.68/31.15 C18(V5,V4)
30.68/31.15 C2(V0,V2)
30.68/31.15 C2(V0,V2)
30.68/31.15 C2(V0,V2)
30.68/31.15 C8(V1,V3)
30.68/31.15 C8(V1,V3)
30.68/31.15 C2(V0,V2)
30.68/31.15 C2(V0,V2)
30.68/31.15 C2(V0,V2)
30.68/31.15 C2(V0,V2)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C8(V1,V3)
30.68/31.15 C8(V1,V3)
30.68/31.15 C8(V1,V3)
30.68/31.15 C4(V4,V0)
30.68/31.15 C4(V4,V0)
30.68/31.15 C4(V4,V0)
30.68/31.15 C4(V4,V0)
30.68/31.15 C4(V4,V0)
30.68/31.15 C9(V4,V1)
30.68/31.15 C9(V4,V1)
30.68/31.15 C9(V4,V1)
30.68/31.15 C9(V4,V1)
30.68/31.15 C9(V4,V1)
30.68/31.15 C12(V4,V2)
30.68/31.15 C12(V4,V2)
30.68/31.15 C12(V4,V2)
30.68/31.15 C12(V4,V2)
30.68/31.15 C12(V4,V2)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C13(V2,V4)
30.68/31.15 C15(V4,V3)
30.68/31.15 C15(V4,V3)
30.68/31.15 C15(V4,V3)
30.68/31.15 C15(V4,V3)
30.68/31.15 C15(V4,V3)
30.68/31.15 C8(V1,V3)
30.68/31.15 C8(V1,V3)
30.68/31.15 C1(V2,V0)
30.68/31.15 C1(V2,V0)
30.68/31.15 C2(V0,V2)
30.68/31.15 C2(V0,V2)
30.68/31.15 C6(V2,V1)
30.68/31.15 C6(V2,V1)
30.68/31.15 C11(V3,V2)
30.68/31.15 C11(V3,V2)
30.68/31.15 C11(V3,V2)
30.68/31.15 C11(V3,V2)
30.68/31.15 C11(V3,V2)
30.68/31.15 C2(V0,V2)
30.68/31.15 C2(V0,V2)
30.68/31.15 C2(V0,V2)
30.68/31.15 C2(V0,V2)
30.68/31.15 C2(V0,V2)
30.68/31.16 C2(V0,V2)
30.68/31.16 C2(V0,V2)
30.68/31.16 C2(V0,V2)
30.68/31.16 C2(V0,V2)
30.68/31.16 C2(V0,V2)
30.68/31.16 C5(V5,V0)
30.68/31.16 C5(V5,V0)
30.68/31.16 C5(V5,V0)
30.68/31.16 C5(V5,V0)
30.68/31.16 C5(V5,V0)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C10(V5,V1)
30.68/31.16 C10(V5,V1)
30.68/31.16 C10(V5,V1)
30.68/31.16 C10(V5,V1)
30.68/31.16 C10(V5,V1)
30.68/31.16 C13(V2,V4)
30.68/31.16 C13(V2,V4)
30.68/31.16 C13(V2,V4)
30.68/31.16 C13(V2,V4)
30.68/31.16 C13(V2,V4)
30.68/31.16 C13(V2,V4)
30.68/31.16 C13(V2,V4)
30.68/31.16 C13(V2,V4)
30.68/31.16 C13(V2,V4)
30.68/31.16 C13(V2,V4)
30.68/31.16 C14(V5,V2)
30.68/31.16 C14(V5,V2)
30.68/31.16 C14(V5,V2)
30.68/31.16 C14(V5,V2)
30.68/31.16 C14(V5,V2)
30.68/31.16 C16(V5,V3)
30.68/31.16 C16(V5,V3)
30.68/31.16 C16(V5,V3)
30.68/31.16 C16(V5,V3)
30.68/31.16 C16(V5,V3)
30.68/31.16 C17(V3,V5)
30.68/31.16 C17(V3,V5)
30.68/31.16 C17(V3,V5)
30.68/31.16 C17(V3,V5)
30.68/31.16 C17(V3,V5)
30.68/31.16 C18(V5,V4)
30.68/31.16 C18(V5,V4)
30.68/31.16 C18(V5,V4)
30.68/31.16 C18(V5,V4)
30.68/31.16 C18(V5,V4)
30.68/31.16 C1(V2,V0)
30.68/31.16 C1(V2,V0)
30.68/31.16 C1(V2,V0)
30.68/31.16 C1(V2,V0)
30.68/31.16 C1(V2,V0)
30.68/31.16 C2(V0,V2)
30.68/31.16 C2(V0,V2)
30.68/31.16 C2(V0,V2)
30.68/31.16 C6(V2,V1)
30.68/31.16 C6(V2,V1)
30.68/31.16 C6(V2,V1)
30.68/31.16 C6(V2,V1)
30.68/31.16 C6(V2,V1)
30.68/31.16 C11(V3,V2)
30.68/31.16 C11(V3,V2)
30.68/31.16 C11(V3,V2)
30.68/31.16 C11(V3,V2)
30.68/31.16 C11(V3,V2)
30.68/31.16 C12(V4,V2)
30.68/31.16 C12(V4,V2)
30.68/31.16 C12(V4,V2)
30.68/31.16 C12(V4,V2)
30.68/31.16 C12(V4,V2)
30.68/31.16 C13(V2,V4)
30.68/31.16 C13(V2,V4)
30.68/31.16 C13(V2,V4)
30.68/31.16 C0(V1,V0)
30.68/31.16 C0(V1,V0)
30.68/31.16 C3(V3,V0)
30.68/31.16 C3(V3,V0)
30.68/31.16 C3(V3,V0)
30.68/31.16 C3(V3,V0)
30.68/31.16 C3(V3,V0)
30.68/31.16 C4(V4,V0)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C4(V4,V0)
30.68/31.16 C9(V4,V1)
30.68/31.16 C9(V4,V1)
30.68/31.16 C15(V4,V3)
30.68/31.16 C15(V4,V3)
30.68/31.16 C15(V4,V3)
30.68/31.16 C15(V4,V3)
30.68/31.16 C15(V4,V3)
30.68/31.16 C0(V1,V0)
30.68/31.16 C7(V3,V1)
30.68/31.16 C7(V3,V1)
30.68/31.16 C7(V3,V1)
30.68/31.16 C7(V3,V1)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C9(V4,V1)
30.68/31.16 C8(V1,V3)
30.68/31.16 C8(V1,V3)
30.68/31.16 C0(V1,V0)
30.68/31.16 C7(V3,V1)
30.68/31.16 C7(V3,V1)
30.68/31.16 C7(V3,V1)
30.68/31.16 C8(V1,V3)
30.68/31.16 C9(V4,V1)
30.68/31.17 C3(V3,V0)
30.68/31.17 C15(V4,V3)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C5(V5,V0)
30.68/31.17 C5(V5,V0)
30.68/31.17 C5(V5,V0)
30.68/31.17 C5(V5,V0)
30.68/31.17 C5(V5,V0)
30.68/31.17 C8(V1,V3)
30.68/31.17 C8(V1,V3)
30.68/31.17 C8(V1,V3)
30.68/31.17 C8(V1,V3)
30.68/31.17 C8(V1,V3)
30.68/31.17 C8(V1,V3)
30.68/31.17 C8(V1,V3)
30.68/31.17 C8(V1,V3)
30.68/31.17 C8(V1,V3)
30.68/31.17 C8(V1,V3)
30.68/31.17 C10(V5,V1)
30.68/31.17 C10(V5,V1)
30.68/31.17 C10(V5,V1)
30.68/31.17 C10(V5,V1)
30.68/31.17 C10(V5,V1)
30.68/31.17 C13(V2,V4)
30.68/31.17 C13(V2,V4)
30.68/31.17 C13(V2,V4)
30.68/31.17 C13(V2,V4)
30.68/31.17 C13(V2,V4)
30.68/31.17 C13(V2,V4)
30.68/31.17 C13(V2,V4)
30.68/31.17 C13(V2,V4)
30.68/31.17 C13(V2,V4)
30.68/31.17 C14(V5,V2)
30.68/31.17 C14(V5,V2)
30.68/31.17 C14(V5,V2)
30.68/31.17 C14(V5,V2)
30.68/31.17 C16(V5,V3)
30.68/31.17 C16(V5,V3)
30.68/31.17 C16(V5,V3)
30.68/31.17 C16(V5,V3)
30.68/31.17 C16(V5,V3)
30.68/31.17 C17(V3,V5)
30.68/31.17 C17(V3,V5)
30.68/31.17 C17(V3,V5)
30.68/31.17 C17(V3,V5)
30.68/31.17 C17(V3,V5)
30.68/31.17 C18(V5,V4)
30.68/31.17 C18(V5,V4)
30.68/31.17 C18(V5,V4)
30.68/31.17 C18(V5,V4)
30.68/31.17 C18(V5,V4)
30.68/31.17 C0(V1,V0)
30.68/31.17 C0(V1,V0)
30.68/31.17 C0(V1,V0)
30.68/31.17 C0(V1,V0)
30.68/31.17 C0(V1,V0)
30.68/31.17 C1(V2,V0)
30.68/31.17 C1(V2,V0)
30.68/31.17 C1(V2,V0)
30.68/31.17 C1(V2,V0)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C3(V3,V0)
30.68/31.17 C3(V3,V0)
30.68/31.17 C3(V3,V0)
30.68/31.17 C3(V3,V0)
30.68/31.17 C3(V3,V0)
30.68/31.17 C4(V4,V0)
30.68/31.17 C4(V4,V0)
30.68/31.17 C4(V4,V0)
30.68/31.17 C4(V4,V0)
30.68/31.17 C4(V4,V0)
30.68/31.17 C13(V2,V4)
30.68/31.17 C13(V2,V4)
30.68/31.17 C8(V1,V3)
30.68/31.17 C8(V1,V3)
30.68/31.17 C13(V2,V4)
30.68/31.17 C6(V2,V1)
30.68/31.17 C7(V3,V1)
30.68/31.17 C9(V4,V1)
30.68/31.17 C9(V4,V1)
30.68/31.17 C9(V4,V1)
30.68/31.17 C9(V4,V1)
30.68/31.17 C6(V2,V1)
30.68/31.17 C11(V3,V2)
30.68/31.17 C12(V4,V2)
30.68/31.17 C12(V4,V2)
30.68/31.17 C12(V4,V2)
30.68/31.17 C12(V4,V2)
30.68/31.17 C13(V2,V4)
30.68/31.17 C7(V3,V1)
30.68/31.17 C8(V1,V3)
30.68/31.17 C11(V3,V2)
30.68/31.17 C15(V4,V3)
30.68/31.17 C15(V4,V3)
30.68/31.17 C15(V4,V3)
30.68/31.17 C15(V4,V3)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C2(V0,V2)
30.68/31.17 C5(V5,V0)
30.68/31.18 C5(V5,V0)
30.68/31.18 C5(V5,V0)
30.68/31.18 C5(V5,V0)
30.68/31.18 C8(V1,V3)
30.68/31.18 C8(V1,V3)
30.68/31.18 C8(V1,V3)
30.68/31.18 C8(V1,V3)
30.68/31.18 C8(V1,V3)
30.68/31.18 C8(V1,V3)
30.68/31.18 C8(V1,V3)
30.68/31.18 C8(V1,V3)
30.68/31.18 C8(V1,V3)
30.68/31.18 C8(V1,V3)
30.68/31.18 C10(V5,V1)
30.68/31.18 C10(V5,V1)
30.68/31.18 C10(V5,V1)
30.68/31.18 C10(V5,V1)
30.68/31.18 C10(V5,V1)
30.68/31.18 C13(V2,V4)
30.68/31.18 C13(V2,V4)
30.68/31.18 C13(V2,V4)
30.68/31.18 C13(V2,V4)
30.68/31.18 C13(V2,V4)
30.68/31.18 C13(V2,V4)
30.68/31.18 C13(V2,V4)
30.68/31.18 C13(V2,V4)
30.68/31.18 C13(V2,V4)
30.68/31.18 C14(V5,V2)
30.68/31.18 C14(V5,V2)
30.68/31.18 C14(V5,V2)
30.68/31.18 C14(V5,V2)
30.68/31.18 C16(V5,V3)
30.68/31.18 C16(V5,V3)
30.68/31.18 C16(V5,V3)
30.68/31.18 C16(V5,V3)
30.68/31.18 C16(V5,V3)
30.68/31.18 C17(V3,V5)
30.68/31.18 C17(V3,V5)
30.68/31.18 C17(V3,V5)
30.68/31.18 C17(V3,V5)
30.68/31.18 C17(V3,V5)
30.68/31.18 C18(V5,V4)
30.68/31.18 C18(V5,V4)
30.68/31.18 C18(V5,V4)
30.68/31.18 C18(V5,V4)
30.68/31.18 C18(V5,V4)
30.68/31.18 C0(V1,V0)
30.68/31.18 C0(V1,V0)
30.68/31.18 C0(V1,V0)
30.68/31.18 C0(V1,V0)
30.68/31.18 C6(V2,V1)
30.68/31.18 C6(V2,V1)
30.68/31.18 C6(V2,V1)
30.68/31.18 C6(V2,V1)
30.68/31.18 C7(V3,V1)
30.68/31.18 C7(V3,V1)
30.68/31.18 C7(V3,V1)
30.68/31.18 C7(V3,V1)
30.68/31.18 C7(V3,V1)
30.68/31.18 C8(V1,V3)
30.68/31.18 C8(V1,V3)
30.68/31.18 C9(V4,V1)
30.68/31.18 C9(V4,V1)
30.68/31.18 C9(V4,V1)
30.68/31.18 C9(V4,V1)
30.68/31.18 C9(V4,V1)
30.68/31.18 C1(V2,V0)
30.68/31.18 C1(V2,V0)
30.68/31.18 C1(V2,V0)
30.68/31.18 C2(V0,V2)
30.68/31.18 C3(V3,V0)
30.68/31.18 C3(V3,V0)
30.68/31.18 C4(V4,V0)
30.68/31.18 C2(V0,V2)
30.68/31.18 C13(V2,V4)
30.68/31.18 C4(V4,V0)
30.68/31.18 C12(V4,V2)
30.68/31.18 C12(V4,V2)
30.68/31.18 C12(V4,V2)
30.68/31.18 C13(V2,V4)
30.68/31.18 C13(V2,V4)
30.68/31.18 C15(V4,V3)
30.68/31.18 C15(V4,V3)
30.68/31.18 C3(V3,V0)
30.68/31.18 C11(V3,V2)
30.68/31.18 C11(V3,V2)
30.68/31.18 C11(V3,V2)
30.68/31.18 C15(V4,V3)
30.68/31.18 C2(V0,V2)
30.68/31.18 C2(V0,V2)
30.68/31.18 C2(V0,V2)
30.68/31.18 C2(V0,V2)
30.68/31.18 C2(V0,V2)
30.68/31.18 C2(V0,V2)
30.68/31.18 C2(V0,V2)
30.68/31.18 C2(V0,V2)
30.68/31.19 C5(V5,V0)
30.68/31.19 C5(V5,V0)
30.68/31.19 C5(V5,V0)
30.68/31.19 C5(V5,V0)
30.68/31.19 C8(V1,V3)
30.68/31.19 C8(V1,V3)
30.68/31.19 C8(V1,V3)
30.68/31.19 C8(V1,V3)
30.68/31.19 C8(V1,V3)
30.68/31.19 C8(V1,V3)
30.68/31.19 C8(V1,V3)
30.68/31.19 C8(V1,V3)
30.68/31.19 C8(V1,V3)
30.68/31.19 C10(V5,V1)
30.68/31.19 C10(V5,V1)
30.68/31.19 C10(V5,V1)
30.68/31.19 C10(V5,V1)
30.68/31.19 C13(V2,V4)
30.68/31.19 C13(V2,V4)
30.68/31.19 C13(V2,V4)
30.68/31.19 C13(V2,V4)
30.68/31.19 C13(V2,V4)
30.68/31.19 C13(V2,V4)
30.68/31.19 C13(V2,V4)
30.68/31.19 C13(V2,V4)
30.68/31.19 C13(V2,V4)
30.68/31.19 C14(V5,V2)
30.68/31.19 C14(V5,V2)
30.68/31.19 C14(V5,V2)
30.68/31.19 C14(V5,V2)
30.68/31.19 C16(V5,V3)
30.68/31.19 C16(V5,V3)
30.68/31.19 C16(V5,V3)
30.68/31.19 C16(V5,V3)
30.68/31.19 C16(V5,V3)
30.68/31.19 C17(V3,V5)
30.68/31.19 C17(V3,V5)
30.68/31.19 C17(V3,V5)
30.68/31.19 C17(V3,V5)
30.68/31.19 C17(V3,V5)
30.68/31.19 C18(V5,V4)
30.68/31.19 C18(V5,V4)
30.68/31.19 C18(V5,V4)
30.68/31.19 C18(V5,V4)
30.68/31.19 C18(V5,V4)
30.68/31.19 C0(V1,V0)
30.68/31.19 C0(V1,V0)
30.68/31.19 C0(V1,V0)
30.68/31.19 C0(V1,V0)
30.68/31.19 C1(V2,V0)
30.68/31.19 C1(V2,V0)
30.68/31.19 C1(V2,V0)
30.68/31.19 C1(V2,V0)
30.68/31.19 C2(V0,V2)
30.68/31.19 C3(V3,V0)
30.68/31.19 C3(V3,V0)
30.68/31.19 C4(V4,V0)
30.68/31.19 C8(V1,V3)
30.68/31.19 C4(V4,V0)
30.68/31.19 C9(V4,V1)
30.68/31.19 C9(V4,V1)
30.68/31.19 C9(V4,V1)
30.68/31.19 C9(V4,V1)
30.68/31.19 C12(V4,V2)
30.68/31.19 C12(V4,V2)
30.68/31.19 C12(V4,V2)
30.68/31.19 C12(V4,V2)
30.68/31.19 C13(V2,V4)
30.68/31.19 C13(V2,V4)
30.68/31.19 C15(V4,V3)
30.68/31.19 C15(V4,V3)
30.68/31.19 C8(V1,V3)
30.68/31.19 C3(V3,V0)
30.68/31.19 C7(V3,V1)
30.68/31.19 C7(V3,V1)
30.68/31.19 C7(V3,V1)
30.68/31.19 C8(V1,V3)
30.68/31.19 C11(V3,V2)
30.68/31.19 C11(V3,V2)
30.68/31.19 C11(V3,V2)
30.68/31.19 C11(V3,V2)
30.68/31.19 C15(V4,V3)
30.68/31.19 C1(V2,V0)
30.68/31.19 C2(V0,V2)
30.68/31.19 C6(V2,V1)
30.68/31.19 C6(V2,V1)
30.68/31.19 C6(V2,V1)
30.68/31.19 C11(V3,V2)
30.68/31.19 C12(V4,V2)
30.68/31.19 C13(V2,V4)
30.68/31.19 C0(V1,V0)
30.68/31.19 C0(V1,V0)
30.68/31.19 C0(V1,V0)
30.68/31.19 C1(V2,V0)
30.68/31.19 C1(V2,V0)
30.68/31.19 C1(V2,V0)
30.68/31.19 C2(V0,V2)
30.68/31.19 C2(V0,V2)
30.68/31.19 C2(V0,V2)
30.68/31.19 C2(V0,V2)
30.68/31.20 C3(V3,V0)
30.68/31.20 C3(V3,V0)
30.68/31.20 C4(V4,V0)
30.68/31.20 C4(V4,V0)
30.68/31.20 C5(V5,V0)
30.68/31.20 C7(V3,V1)
30.68/31.20 C7(V3,V1)
30.68/31.20 C7(V3,V1)
30.68/31.20 C8(V1,V3)
30.68/31.20 C8(V1,V3)
30.68/31.20 C8(V1,V3)
30.68/31.20 C8(V1,V3)
30.68/31.20 C9(V4,V1)
30.68/31.20 C9(V4,V1)
30.68/31.20 C9(V4,V1)
30.68/31.20 C10(V5,V1)
30.68/31.20 C10(V5,V1)
30.68/31.20 C10(V5,V1)
30.68/31.20 C11(V3,V2)
30.68/31.20 C11(V3,V2)
30.68/31.20 C11(V3,V2)
30.68/31.20 C12(V4,V2)
30.68/31.20 C12(V4,V2)
30.68/31.20 C12(V4,V2)
30.68/31.20 C13(V2,V4)
30.68/31.20 C13(V2,V4)
30.68/31.20 C13(V2,V4)
30.68/31.20 C13(V2,V4)
30.68/31.20 C14(V5,V2)
30.68/31.20 C14(V5,V2)
30.68/31.20 C14(V5,V2)
30.68/31.20 C15(V4,V3)
30.68/31.20 C15(V4,V3)
30.68/31.20 C16(V5,V3)
30.68/31.20 C17(V3,V5)
30.68/31.20 C18(V5,V4)
30.68/31.20 C2(V0,V2)
30.68/31.20 C2(V0,V2)
30.68/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C17(V3,V5)
30.74/31.20 C17(V3,V5)
30.74/31.20 C17(V3,V5)
30.74/31.20 C17(V3,V5)
30.74/31.20 C17(V3,V5)
30.74/31.20 C17(V3,V5)
30.74/31.20 C17(V3,V5)
30.74/31.20 C17(V3,V5)
30.74/31.20 C17(V3,V5)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C13(V2,V4)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C5(V5,V0)
30.74/31.20 C5(V5,V0)
30.74/31.20 C10(V5,V1)
30.74/31.20 C10(V5,V1)
30.74/31.20 C10(V5,V1)
30.74/31.20 C14(V5,V2)
30.74/31.20 C14(V5,V2)
30.74/31.20 C14(V5,V2)
30.74/31.20 C14(V5,V2)
30.74/31.20 C16(V5,V3)
30.74/31.20 C16(V5,V3)
30.74/31.20 C16(V5,V3)
30.74/31.20 C16(V5,V3)
30.74/31.20 C16(V5,V3)
30.74/31.20 C16(V5,V3)
30.74/31.20 C18(V5,V4)
30.74/31.20 C18(V5,V4)
30.74/31.20 C18(V5,V4)
30.74/31.20 C18(V5,V4)
30.74/31.20 C18(V5,V4)
30.74/31.20 C18(V5,V4)
30.74/31.20 C0(V1,V0)
30.74/31.20 C0(V1,V0)
30.74/31.20 C1(V2,V0)
30.74/31.20 C1(V2,V0)
30.74/31.20 C1(V2,V0)
30.74/31.20 C2(V0,V2)
30.74/31.20 C2(V0,V2)
30.74/31.20 C3(V3,V0)
30.74/31.20 C3(V3,V0)
30.74/31.20 C3(V3,V0)
30.74/31.20 C3(V3,V0)
30.74/31.20 C3(V3,V0)
30.74/31.20 C4(V4,V0)
30.74/31.20 C4(V4,V0)
30.74/31.20 C4(V4,V0)
30.74/31.20 C4(V4,V0)
30.74/31.20 C4(V4,V0)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C8(V1,V3)
30.74/31.20 C2(V0,V2)
30.74/31.20 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C0(V1,V0)
30.74/31.21 C6(V2,V1)
30.74/31.21 C6(V2,V1)
30.74/31.21 C7(V3,V1)
30.74/31.21 C7(V3,V1)
30.74/31.21 C7(V3,V1)
30.74/31.21 C7(V3,V1)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C9(V4,V1)
30.74/31.21 C9(V4,V1)
30.74/31.21 C9(V4,V1)
30.74/31.21 C9(V4,V1)
30.74/31.21 C2(V0,V2)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C8(V1,V3)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C1(V2,V0)
30.74/31.21 C2(V0,V2)
30.74/31.21 C6(V2,V1)
30.74/31.21 C11(V3,V2)
30.74/31.21 C11(V3,V2)
30.74/31.21 C11(V3,V2)
30.74/31.21 C12(V4,V2)
30.74/31.21 C12(V4,V2)
30.74/31.21 C12(V4,V2)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C8(V1,V3)
30.74/31.21 C13(V2,V4)
30.74/31.21 C8(V1,V3)
30.74/31.21 C13(V2,V4)
30.74/31.21 C4(V4,V0)
30.74/31.21 C9(V4,V1)
30.74/31.21 C12(V4,V2)
30.74/31.21 C13(V2,V4)
30.74/31.21 C15(V4,V3)
30.74/31.21 C15(V4,V3)
30.74/31.21 C3(V3,V0)
30.74/31.21 C7(V3,V1)
30.74/31.21 C8(V1,V3)
30.74/31.21 C11(V3,V2)
30.74/31.21 C0(V1,V0)
30.74/31.21 C0(V1,V0)
30.74/31.21 C1(V2,V0)
30.74/31.21 C1(V2,V0)
30.74/31.21 C2(V0,V2)
30.74/31.21 C2(V0,V2)
30.74/31.21 C3(V3,V0)
30.74/31.21 C3(V3,V0)
30.74/31.21 C4(V4,V0)
30.74/31.21 C4(V4,V0)
30.74/31.21 C5(V5,V0)
30.74/31.21 C6(V2,V1)
30.74/31.21 C6(V2,V1)
30.74/31.21 C7(V3,V1)
30.74/31.21 C7(V3,V1)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C9(V4,V1)
30.74/31.21 C9(V4,V1)
30.74/31.21 C10(V5,V1)
30.74/31.21 C11(V3,V2)
30.74/31.21 C11(V3,V2)
30.74/31.21 C12(V4,V2)
30.74/31.21 C12(V4,V2)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C14(V5,V2)
30.74/31.21 C15(V4,V3)
30.74/31.21 C15(V4,V3)
30.74/31.21 C16(V5,V3)
30.74/31.21 C16(V5,V3)
30.74/31.21 C17(V3,V5)
30.74/31.21 C17(V3,V5)
30.74/31.21 C18(V5,V4)
30.74/31.21 C2(V0,V2)
30.74/31.21 C2(V0,V2)
30.74/31.21 C2(V0,V2)
30.74/31.21 C2(V0,V2)
30.74/31.21 C2(V0,V2)
30.74/31.21 C2(V0,V2)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C17(V3,V5)
30.74/31.21 C17(V3,V5)
30.74/31.21 C17(V3,V5)
30.74/31.21 C17(V3,V5)
30.74/31.21 C17(V3,V5)
30.74/31.21 C17(V3,V5)
30.74/31.21 C17(V3,V5)
30.74/31.21 C17(V3,V5)
30.74/31.21 C2(V0,V2)
30.74/31.21 C2(V0,V2)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C8(V1,V3)
30.74/31.21 C13(V2,V4)
30.74/31.21 C13(V2,V4)
30.74/31.22 C13(V2,V4)
30.74/31.22 C13(V2,V4)
30.74/31.22 C5(V5,V0)
30.74/31.22 C5(V5,V0)
30.74/31.22 C10(V5,V1)
30.74/31.22 C10(V5,V1)
30.74/31.22 C10(V5,V1)
30.74/31.22 C14(V5,V2)
30.74/31.22 C14(V5,V2)
30.74/31.22 C16(V5,V3)
30.74/31.22 C16(V5,V3)
30.74/31.22 C16(V5,V3)
30.74/31.22 C18(V5,V4)
30.74/31.22 C18(V5,V4)
30.74/31.22 C0(V1,V0)
30.74/31.22 C0(V1,V0)
30.74/31.22 C1(V2,V0)
30.74/31.22 C1(V2,V0)
30.74/31.22 C2(V0,V2)
30.74/31.22 C2(V0,V2)
30.74/31.22 C3(V3,V0)
30.74/31.22 C3(V3,V0)
30.74/31.22 C3(V3,V0)
30.74/31.22 C4(V4,V0)
30.74/31.22 C4(V4,V0)
30.74/31.22 C8(V1,V3)
30.74/31.22 C8(V1,V3)
30.74/31.22 C8(V1,V3)
30.74/31.22 C0(V1,V0)
30.74/31.22 C6(V2,V1)
30.74/31.22 C7(V3,V1)
30.74/31.22 C7(V3,V1)
30.74/31.22 C8(V1,V3)
30.74/31.22 C8(V1,V3)
30.74/31.22 C9(V4,V1)
30.74/31.22 C9(V4,V1)
30.74/31.22 C1(V2,V0)
30.74/31.22 C2(V0,V2)
30.74/31.22 C6(V2,V1)
30.74/31.22 C11(V3,V2)
30.74/31.22 C11(V3,V2)
30.74/31.22 C12(V4,V2)
30.74/31.22 C12(V4,V2)
30.74/31.22 C13(V2,V4)
30.74/31.22 C13(V2,V4)
30.74/31.22 C8(V1,V3)
30.74/31.22 C2(V0,V2)
30.74/31.22 C2(V0,V2)
30.74/31.22 C2(V0,V2)
30.74/31.22 C2(V0,V2)
30.74/31.22 C5(V5,V0)
30.74/31.22 C5(V5,V0)
30.74/31.22 C8(V1,V3)
30.74/31.22 C8(V1,V3)
30.74/31.22 C8(V1,V3)
30.74/31.22 C8(V1,V3)
30.74/31.22 C8(V1,V3)
30.74/31.22 C8(V1,V3)
30.74/31.22 C10(V5,V1)
30.74/31.22 C10(V5,V1)
30.74/31.22 C10(V5,V1)
30.74/31.22 C13(V2,V4)
30.74/31.22 C13(V2,V4)
30.74/31.22 C13(V2,V4)
30.74/31.22 C13(V2,V4)
30.74/31.22 C14(V5,V2)
30.74/31.22 C14(V5,V2)
30.74/31.22 C16(V5,V3)
30.74/31.22 C16(V5,V3)
30.74/31.22 C16(V5,V3)
30.74/31.22 C17(V3,V5)
30.74/31.22 C17(V3,V5)
30.74/31.22 C17(V3,V5)
30.74/31.22 C17(V3,V5)
30.74/31.22 C18(V5,V4)
30.74/31.22 C18(V5,V4)
30.74/31.22 C8(V1,V3)
30.74/31.22 C8(V1,V3)
30.74/31.22 C8(V1,V3)
30.74/31.22 C1(V2,V0)
30.74/31.22 C1(V2,V0)
30.74/31.22 C2(V0,V2)
30.74/31.22 C2(V0,V2)
30.74/31.22 C6(V2,V1)
30.74/31.22 C6(V2,V1)
30.74/31.22 C11(V3,V2)
30.74/31.22 C11(V3,V2)
30.74/31.22 C11(V3,V2)
30.74/31.22 C12(V4,V2)
30.74/31.22 C12(V4,V2)
30.74/31.22 C13(V2,V4)
30.74/31.22 C13(V2,V4)
30.74/31.22 C14(V5,V2)
30.74/31.22 C0(V1,V0)
30.74/31.22 C0(V1,V0)
30.74/31.22 C1(V2,V0)
30.74/31.22 C2(V0,V2)
30.74/31.22 C3(V3,V0)
30.74/31.22 C3(V3,V0)
30.74/31.22 C4(V4,V0)
30.74/31.22 C4(V4,V0)
30.74/31.22 C5(V5,V0)
30.74/31.22 C8(V1,V3)
30.74/31.22 C8(V1,V3)
30.74/31.22
30.74/31.22 search
30.74/31.23 run=0 nbConstraintChecks=1745 minDepth=0 maxDepth=2 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.74/31.23 nbAssignments=17 nbFailedAssignments=10 nbBacktracks=8 nbVisitedNodes=34
30.74/31.23 => wckTime=0.182 cpuTime=0.07 mem=19M231
30.74/31.23
30.74/31.23 global
30.74/31.23 nbConstraintChecks=1793 solvingWckTime=0.184 solvingCpuTime=0.08 expiredTime=no totalExploration=yes
30.74/31.23 nbFoundSolutions=0 upperBound=2 upperBoundWckTime=0.0 upperBoundCpuTime=0.0 globalCpuTime=30.43
30.74/31.23 => wckTime=30.973 cpuTime=30.38 mem=19M231
30.74/31.23
30.74/31.23 s OPTIMUM FOUND
30.74/31.23 v 0 4 1 2 3 5
30.74/31.23 d NODES 17
30.74/31.23 d CHECKS 1793
30.74/31.23
30.74/31.23 totalWckTime=31.039 totalCpuTime=30.43