%------------------------------------------------------------------------------
% File : LCL971_1.014 : TPTP v9.0.0. Released v9.0.0.
% Domain : Syntactic
% Problem : Pigeonhole formula 14
% Version : Especial.
% English :
% Refs : [BHS00] Balsiger et al. (2000), A Benchmark Method for the Pro
% : [NH+22] Nalon et al. (2022), Local Reductions for the Modal Cu
% : [Nal22] Nalon (2022), Email to Geoff Sutcliffe
% : [NH+23] Nalon et al. (2023), Buy One Get 14 Free: Evaluating L
% Source : [Nal22]
% Names : k_ph_p.0014 [Nal22]
% Status : Theorem
% Rating : 1.00 v9.0.0
% Syntax : Number of formulae : 211 ( 0 unt; 210 typ; 0 def)
% Number of atoms : 3150 ( 0 equ)
% Maximal formula atoms : 3150 (3150 avg)
% Number of connectives : 4518 ( 2 ~;1664 |;1484 &)
% ( 0 <=>; 1 =>; 0 <=; 0 <~>)
% (1367 {.}; 0 {#})
% Maximal formula depth : 1476 (1476 avg)
% Maximal term depth : 0 ( 0 avg)
% Number of types : 1 ( 0 usr)
% Number of type conns : 0 ( 0 >; 0 *; 0 +; 0 <<)
% Number of predicates : 210 ( 210 usr; 210 prp; 0-0 aty)
% Number of functors : 0 ( 0 usr; 0 con; --- aty)
% Number of variables : 0 (; 0 !; 0 ?; 0 :)
% SPC : NX0_THM_PRP_NEQ_NAR
% Comments :
%------------------------------------------------------------------------------
tff('k_ph_p.0014',logic,
$modal ==
[ $modalities == $modal_system_K ] ).
tff(p1001_decl,type,
p1001: $o ).
tff(p1002_decl,type,
p1002: $o ).
tff(p1003_decl,type,
p1003: $o ).
tff(p1004_decl,type,
p1004: $o ).
tff(p1005_decl,type,
p1005: $o ).
tff(p1006_decl,type,
p1006: $o ).
tff(p1007_decl,type,
p1007: $o ).
tff(p1008_decl,type,
p1008: $o ).
tff(p1009_decl,type,
p1009: $o ).
tff(p101_decl,type,
p101: $o ).
tff(p1010_decl,type,
p1010: $o ).
tff(p1011_decl,type,
p1011: $o ).
tff(p1012_decl,type,
p1012: $o ).
tff(p1013_decl,type,
p1013: $o ).
tff(p1014_decl,type,
p1014: $o ).
tff(p102_decl,type,
p102: $o ).
tff(p103_decl,type,
p103: $o ).
tff(p104_decl,type,
p104: $o ).
tff(p105_decl,type,
p105: $o ).
tff(p106_decl,type,
p106: $o ).
tff(p107_decl,type,
p107: $o ).
tff(p108_decl,type,
p108: $o ).
tff(p109_decl,type,
p109: $o ).
tff(p110_decl,type,
p110: $o ).
tff(p1101_decl,type,
p1101: $o ).
tff(p1102_decl,type,
p1102: $o ).
tff(p1103_decl,type,
p1103: $o ).
tff(p1104_decl,type,
p1104: $o ).
tff(p1105_decl,type,
p1105: $o ).
tff(p1106_decl,type,
p1106: $o ).
tff(p1107_decl,type,
p1107: $o ).
tff(p1108_decl,type,
p1108: $o ).
tff(p1109_decl,type,
p1109: $o ).
tff(p111_decl,type,
p111: $o ).
tff(p1110_decl,type,
p1110: $o ).
tff(p1111_decl,type,
p1111: $o ).
tff(p1112_decl,type,
p1112: $o ).
tff(p1113_decl,type,
p1113: $o ).
tff(p1114_decl,type,
p1114: $o ).
tff(p112_decl,type,
p112: $o ).
tff(p113_decl,type,
p113: $o ).
tff(p114_decl,type,
p114: $o ).
tff(p1201_decl,type,
p1201: $o ).
tff(p1202_decl,type,
p1202: $o ).
tff(p1203_decl,type,
p1203: $o ).
tff(p1204_decl,type,
p1204: $o ).
tff(p1205_decl,type,
p1205: $o ).
tff(p1206_decl,type,
p1206: $o ).
tff(p1207_decl,type,
p1207: $o ).
tff(p1208_decl,type,
p1208: $o ).
tff(p1209_decl,type,
p1209: $o ).
tff(p1210_decl,type,
p1210: $o ).
tff(p1211_decl,type,
p1211: $o ).
tff(p1212_decl,type,
p1212: $o ).
tff(p1213_decl,type,
p1213: $o ).
tff(p1214_decl,type,
p1214: $o ).
tff(p1301_decl,type,
p1301: $o ).
tff(p1302_decl,type,
p1302: $o ).
tff(p1303_decl,type,
p1303: $o ).
tff(p1304_decl,type,
p1304: $o ).
tff(p1305_decl,type,
p1305: $o ).
tff(p1306_decl,type,
p1306: $o ).
tff(p1307_decl,type,
p1307: $o ).
tff(p1308_decl,type,
p1308: $o ).
tff(p1309_decl,type,
p1309: $o ).
tff(p1310_decl,type,
p1310: $o ).
tff(p1311_decl,type,
p1311: $o ).
tff(p1312_decl,type,
p1312: $o ).
tff(p1313_decl,type,
p1313: $o ).
tff(p1314_decl,type,
p1314: $o ).
tff(p1401_decl,type,
p1401: $o ).
tff(p1402_decl,type,
p1402: $o ).
tff(p1403_decl,type,
p1403: $o ).
tff(p1404_decl,type,
p1404: $o ).
tff(p1405_decl,type,
p1405: $o ).
tff(p1406_decl,type,
p1406: $o ).
tff(p1407_decl,type,
p1407: $o ).
tff(p1408_decl,type,
p1408: $o ).
tff(p1409_decl,type,
p1409: $o ).
tff(p1410_decl,type,
p1410: $o ).
tff(p1411_decl,type,
p1411: $o ).
tff(p1412_decl,type,
p1412: $o ).
tff(p1413_decl,type,
p1413: $o ).
tff(p1414_decl,type,
p1414: $o ).
tff(p1501_decl,type,
p1501: $o ).
tff(p1502_decl,type,
p1502: $o ).
tff(p1503_decl,type,
p1503: $o ).
tff(p1504_decl,type,
p1504: $o ).
tff(p1505_decl,type,
p1505: $o ).
tff(p1506_decl,type,
p1506: $o ).
tff(p1507_decl,type,
p1507: $o ).
tff(p1508_decl,type,
p1508: $o ).
tff(p1509_decl,type,
p1509: $o ).
tff(p1510_decl,type,
p1510: $o ).
tff(p1511_decl,type,
p1511: $o ).
tff(p1512_decl,type,
p1512: $o ).
tff(p1513_decl,type,
p1513: $o ).
tff(p1514_decl,type,
p1514: $o ).
tff(p201_decl,type,
p201: $o ).
tff(p202_decl,type,
p202: $o ).
tff(p203_decl,type,
p203: $o ).
tff(p204_decl,type,
p204: $o ).
tff(p205_decl,type,
p205: $o ).
tff(p206_decl,type,
p206: $o ).
tff(p207_decl,type,
p207: $o ).
tff(p208_decl,type,
p208: $o ).
tff(p209_decl,type,
p209: $o ).
tff(p210_decl,type,
p210: $o ).
tff(p211_decl,type,
p211: $o ).
tff(p212_decl,type,
p212: $o ).
tff(p213_decl,type,
p213: $o ).
tff(p214_decl,type,
p214: $o ).
tff(p301_decl,type,
p301: $o ).
tff(p302_decl,type,
p302: $o ).
tff(p303_decl,type,
p303: $o ).
tff(p304_decl,type,
p304: $o ).
tff(p305_decl,type,
p305: $o ).
tff(p306_decl,type,
p306: $o ).
tff(p307_decl,type,
p307: $o ).
tff(p308_decl,type,
p308: $o ).
tff(p309_decl,type,
p309: $o ).
tff(p310_decl,type,
p310: $o ).
tff(p311_decl,type,
p311: $o ).
tff(p312_decl,type,
p312: $o ).
tff(p313_decl,type,
p313: $o ).
tff(p314_decl,type,
p314: $o ).
tff(p401_decl,type,
p401: $o ).
tff(p402_decl,type,
p402: $o ).
tff(p403_decl,type,
p403: $o ).
tff(p404_decl,type,
p404: $o ).
tff(p405_decl,type,
p405: $o ).
tff(p406_decl,type,
p406: $o ).
tff(p407_decl,type,
p407: $o ).
tff(p408_decl,type,
p408: $o ).
tff(p409_decl,type,
p409: $o ).
tff(p410_decl,type,
p410: $o ).
tff(p411_decl,type,
p411: $o ).
tff(p412_decl,type,
p412: $o ).
tff(p413_decl,type,
p413: $o ).
tff(p414_decl,type,
p414: $o ).
tff(p501_decl,type,
p501: $o ).
tff(p502_decl,type,
p502: $o ).
tff(p503_decl,type,
p503: $o ).
tff(p504_decl,type,
p504: $o ).
tff(p505_decl,type,
p505: $o ).
tff(p506_decl,type,
p506: $o ).
tff(p507_decl,type,
p507: $o ).
tff(p508_decl,type,
p508: $o ).
tff(p509_decl,type,
p509: $o ).
tff(p510_decl,type,
p510: $o ).
tff(p511_decl,type,
p511: $o ).
tff(p512_decl,type,
p512: $o ).
tff(p513_decl,type,
p513: $o ).
tff(p514_decl,type,
p514: $o ).
tff(p601_decl,type,
p601: $o ).
tff(p602_decl,type,
p602: $o ).
tff(p603_decl,type,
p603: $o ).
tff(p604_decl,type,
p604: $o ).
tff(p605_decl,type,
p605: $o ).
tff(p606_decl,type,
p606: $o ).
tff(p607_decl,type,
p607: $o ).
tff(p608_decl,type,
p608: $o ).
tff(p609_decl,type,
p609: $o ).
tff(p610_decl,type,
p610: $o ).
tff(p611_decl,type,
p611: $o ).
tff(p612_decl,type,
p612: $o ).
tff(p613_decl,type,
p613: $o ).
tff(p614_decl,type,
p614: $o ).
tff(p701_decl,type,
p701: $o ).
tff(p702_decl,type,
p702: $o ).
tff(p703_decl,type,
p703: $o ).
tff(p704_decl,type,
p704: $o ).
tff(p705_decl,type,
p705: $o ).
tff(p706_decl,type,
p706: $o ).
tff(p707_decl,type,
p707: $o ).
tff(p708_decl,type,
p708: $o ).
tff(p709_decl,type,
p709: $o ).
tff(p710_decl,type,
p710: $o ).
tff(p711_decl,type,
p711: $o ).
tff(p712_decl,type,
p712: $o ).
tff(p713_decl,type,
p713: $o ).
tff(p714_decl,type,
p714: $o ).
tff(p801_decl,type,
p801: $o ).
tff(p802_decl,type,
p802: $o ).
tff(p803_decl,type,
p803: $o ).
tff(p804_decl,type,
p804: $o ).
tff(p805_decl,type,
p805: $o ).
tff(p806_decl,type,
p806: $o ).
tff(p807_decl,type,
p807: $o ).
tff(p808_decl,type,
p808: $o ).
tff(p809_decl,type,
p809: $o ).
tff(p810_decl,type,
p810: $o ).
tff(p811_decl,type,
p811: $o ).
tff(p812_decl,type,
p812: $o ).
tff(p813_decl,type,
p813: $o ).
tff(p814_decl,type,
p814: $o ).
tff(p901_decl,type,
p901: $o ).
tff(p902_decl,type,
p902: $o ).
tff(p903_decl,type,
p903: $o ).
tff(p904_decl,type,
p904: $o ).
tff(p905_decl,type,
p905: $o ).
tff(p906_decl,type,
p906: $o ).
tff(p907_decl,type,
p907: $o ).
tff(p908_decl,type,
p908: $o ).
tff(p909_decl,type,
p909: $o ).
tff(p910_decl,type,
p910: $o ).
tff(p911_decl,type,
p911: $o ).
tff(p912_decl,type,
p912: $o ).
tff(p913_decl,type,
p913: $o ).
tff(p914_decl,type,
p914: $o ).
tff(prove,conjecture,
~ ~ ( <.> ( ( p101
| [.] p102
| [.] p103
| [.] p104
| [.] p105
| [.] p106
| [.] p107
| [.] p108
| [.] p109
| [.] p110
| [.] p111
| [.] p112
| [.] p113
| [.] p114 )
& ( p201
| p202
| [.] p203
| [.] p204
| [.] p205
| [.] p206
| [.] p207
| [.] p208
| [.] p209
| [.] p210
| [.] p211
| [.] p212
| [.] p213
| [.] p214 )
& ( p301
| p302
| p303
| [.] p304
| [.] p305
| [.] p306
| [.] p307
| [.] p308
| [.] p309
| [.] p310
| [.] p311
| [.] p312
| [.] p313
| [.] p314 )
& ( p401
| p402
| p403
| p404
| [.] p405
| [.] p406
| [.] p407
| [.] p408
| [.] p409
| [.] p410
| [.] p411
| [.] p412
| [.] p413
| [.] p414 )
& ( p501
| p502
| p503
| p504
| p505
| [.] p506
| [.] p507
| [.] p508
| [.] p509
| [.] p510
| [.] p511
| [.] p512
| [.] p513
| [.] p514 )
& ( p601
| p602
| p603
| p604
| p605
| p606
| [.] p607
| [.] p608
| [.] p609
| [.] p610
| [.] p611
| [.] p612
| [.] p613
| [.] p614 )
& ( p701
| p702
| p703
| p704
| p705
| p706
| p707
| [.] p708
| [.] p709
| [.] p710
| [.] p711
| [.] p712
| [.] p713
| [.] p714 )
& ( p801
| p802
| p803
| p804
| p805
| p806
| p807
| p808
| [.] p809
| [.] p810
| [.] p811
| [.] p812
| [.] p813
| [.] p814 )
& ( p901
| p902
| p903
| p904
| p905
| p906
| p907
| p908
| p909
| [.] p910
| [.] p911
| [.] p912
| [.] p913
| [.] p914 )
& ( p1001
| p1002
| p1003
| p1004
| p1005
| p1006
| p1007
| p1008
| p1009
| p1010
| [.] p1011
| [.] p1012
| [.] p1013
| [.] p1014 )
& ( p1101
| p1102
| p1103
| p1104
| p1105
| p1106
| p1107
| p1108
| p1109
| p1110
| p1111
| [.] p1112
| [.] p1113
| [.] p1114 )
& ( p1201
| p1202
| p1203
| p1204
| p1205
| p1206
| p1207
| p1208
| p1209
| p1210
| p1211
| p1212
| [.] p1213
| [.] p1214 )
& ( p1301
| p1302
| p1303
| p1304
| p1305
| p1306
| p1307
| p1308
| p1309
| p1310
| p1311
| p1312
| p1313
| [.] p1314 )
& ( p1401
| p1402
| p1403
| p1404
| p1405
| p1406
| p1407
| p1408
| p1409
| p1410
| p1411
| p1412
| p1413
| p1414 )
& ( p1501
| p1502
| p1503
| p1504
| p1505
| p1506
| p1507
| p1508
| p1509
| p1510
| p1511
| p1512
| p1513
| p1514 ) )
=> <.> ( ( p101
& p201 )
| ( p101
& p301 )
| ( p101
& p401 )
| ( p101
& p501 )
| ( p101
& p601 )
| ( p101
& p701 )
| ( p101
& p801 )
| ( p101
& p901 )
| ( p101
& p1001 )
| ( p101
& p1101 )
| ( p101
& p1201 )
| ( p101
& p1301 )
| ( p101
& p1401 )
| ( p101
& p1501 )
| ( p201
& p301 )
| ( p201
& p401 )
| ( p201
& p501 )
| ( p201
& p601 )
| ( p201
& p701 )
| ( p201
& p801 )
| ( p201
& p901 )
| ( p201
& p1001 )
| ( p201
& p1101 )
| ( p201
& p1201 )
| ( p201
& p1301 )
| ( p201
& p1401 )
| ( p201
& p1501 )
| ( p301
& p401 )
| ( p301
& p501 )
| ( p301
& p601 )
| ( p301
& p701 )
| ( p301
& p801 )
| ( p301
& p901 )
| ( p301
& p1001 )
| ( p301
& p1101 )
| ( p301
& p1201 )
| ( p301
& p1301 )
| ( p301
& p1401 )
| ( p301
& p1501 )
| ( p401
& p501 )
| ( p401
& p601 )
| ( p401
& p701 )
| ( p401
& p801 )
| ( p401
& p901 )
| ( p401
& p1001 )
| ( p401
& p1101 )
| ( p401
& p1201 )
| ( p401
& p1301 )
| ( p401
& p1401 )
| ( p401
& p1501 )
| ( p501
& p601 )
| ( p501
& p701 )
| ( p501
& p801 )
| ( p501
& p901 )
| ( p501
& p1001 )
| ( p501
& p1101 )
| ( p501
& p1201 )
| ( p501
& p1301 )
| ( p501
& p1401 )
| ( p501
& p1501 )
| ( p601
& p701 )
| ( p601
& p801 )
| ( p601
& p901 )
| ( p601
& p1001 )
| ( p601
& p1101 )
| ( p601
& p1201 )
| ( p601
& p1301 )
| ( p601
& p1401 )
| ( p601
& p1501 )
| ( p701
& p801 )
| ( p701
& p901 )
| ( p701
& p1001 )
| ( p701
& p1101 )
| ( p701
& p1201 )
| ( p701
& p1301 )
| ( p701
& p1401 )
| ( p701
& p1501 )
| ( p801
& p901 )
| ( p801
& p1001 )
| ( p801
& p1101 )
| ( p801
& p1201 )
| ( p801
& p1301 )
| ( p801
& p1401 )
| ( p801
& p1501 )
| ( p901
& p1001 )
| ( p901
& p1101 )
| ( p901
& p1201 )
| ( p901
& p1301 )
| ( p901
& p1401 )
| ( p901
& p1501 )
| ( p1001
& p1101 )
| ( p1001
& p1201 )
| ( p1001
& p1301 )
| ( p1001
& p1401 )
| ( p1001
& p1501 )
| ( p1101
& p1201 )
| ( p1101
& p1301 )
| ( p1101
& p1401 )
| ( p1101
& p1501 )
| ( p1201
& p1301 )
| ( p1201
& p1401 )
| ( p1201
& p1501 )
| ( p1301
& p1401 )
| ( p1301
& p1501 )
| ( p1401
& p1501 )
| ( [.] p102
& p202 )
| ( [.] p102
& p302 )
| ( [.] p102
& p402 )
| ( [.] p102
& p502 )
| ( [.] p102
& p602 )
| ( [.] p102
& p702 )
| ( [.] p102
& p802 )
| ( [.] p102
& p902 )
| ( [.] p102
& p1002 )
| ( [.] p102
& p1102 )
| ( [.] p102
& p1202 )
| ( [.] p102
& p1302 )
| ( [.] p102
& p1402 )
| ( [.] p102
& p1502 )
| ( p202
& p302 )
| ( p202
& p402 )
| ( p202
& p502 )
| ( p202
& p602 )
| ( p202
& p702 )
| ( p202
& p802 )
| ( p202
& p902 )
| ( p202
& p1002 )
| ( p202
& p1102 )
| ( p202
& p1202 )
| ( p202
& p1302 )
| ( p202
& p1402 )
| ( p202
& p1502 )
| ( p302
& p402 )
| ( p302
& p502 )
| ( p302
& p602 )
| ( p302
& p702 )
| ( p302
& p802 )
| ( p302
& p902 )
| ( p302
& p1002 )
| ( p302
& p1102 )
| ( p302
& p1202 )
| ( p302
& p1302 )
| ( p302
& p1402 )
| ( p302
& p1502 )
| ( p402
& p502 )
| ( p402
& p602 )
| ( p402
& p702 )
| ( p402
& p802 )
| ( p402
& p902 )
| ( p402
& p1002 )
| ( p402
& p1102 )
| ( p402
& p1202 )
| ( p402
& p1302 )
| ( p402
& p1402 )
| ( p402
& p1502 )
| ( p502
& p602 )
| ( p502
& p702 )
| ( p502
& p802 )
| ( p502
& p902 )
| ( p502
& p1002 )
| ( p502
& p1102 )
| ( p502
& p1202 )
| ( p502
& p1302 )
| ( p502
& p1402 )
| ( p502
& p1502 )
| ( p602
& p702 )
| ( p602
& p802 )
| ( p602
& p902 )
| ( p602
& p1002 )
| ( p602
& p1102 )
| ( p602
& p1202 )
| ( p602
& p1302 )
| ( p602
& p1402 )
| ( p602
& p1502 )
| ( p702
& p802 )
| ( p702
& p902 )
| ( p702
& p1002 )
| ( p702
& p1102 )
| ( p702
& p1202 )
| ( p702
& p1302 )
| ( p702
& p1402 )
| ( p702
& p1502 )
| ( p802
& p902 )
| ( p802
& p1002 )
| ( p802
& p1102 )
| ( p802
& p1202 )
| ( p802
& p1302 )
| ( p802
& p1402 )
| ( p802
& p1502 )
| ( p902
& p1002 )
| ( p902
& p1102 )
| ( p902
& p1202 )
| ( p902
& p1302 )
| ( p902
& p1402 )
| ( p902
& p1502 )
| ( p1002
& p1102 )
| ( p1002
& p1202 )
| ( p1002
& p1302 )
| ( p1002
& p1402 )
| ( p1002
& p1502 )
| ( p1102
& p1202 )
| ( p1102
& p1302 )
| ( p1102
& p1402 )
| ( p1102
& p1502 )
| ( p1202
& p1302 )
| ( p1202
& p1402 )
| ( p1202
& p1502 )
| ( p1302
& p1402 )
| ( p1302
& p1502 )
| ( p1402
& p1502 )
| ( [.] p103
& [.] p203 )
| ( [.] p103
& p303 )
| ( [.] p103
& p403 )
| ( [.] p103
& p503 )
| ( [.] p103
& p603 )
| ( [.] p103
& p703 )
| ( [.] p103
& p803 )
| ( [.] p103
& p903 )
| ( [.] p103
& p1003 )
| ( [.] p103
& p1103 )
| ( [.] p103
& p1203 )
| ( [.] p103
& p1303 )
| ( [.] p103
& p1403 )
| ( [.] p103
& p1503 )
| ( [.] p203
& p303 )
| ( [.] p203
& p403 )
| ( [.] p203
& p503 )
| ( [.] p203
& p603 )
| ( [.] p203
& p703 )
| ( [.] p203
& p803 )
| ( [.] p203
& p903 )
| ( [.] p203
& p1003 )
| ( [.] p203
& p1103 )
| ( [.] p203
& p1203 )
| ( [.] p203
& p1303 )
| ( [.] p203
& p1403 )
| ( [.] p203
& p1503 )
| ( p303
& p403 )
| ( p303
& p503 )
| ( p303
& p603 )
| ( p303
& p703 )
| ( p303
& p803 )
| ( p303
& p903 )
| ( p303
& p1003 )
| ( p303
& p1103 )
| ( p303
& p1203 )
| ( p303
& p1303 )
| ( p303
& p1403 )
| ( p303
& p1503 )
| ( p403
& p503 )
| ( p403
& p603 )
| ( p403
& p703 )
| ( p403
& p803 )
| ( p403
& p903 )
| ( p403
& p1003 )
| ( p403
& p1103 )
| ( p403
& p1203 )
| ( p403
& p1303 )
| ( p403
& p1403 )
| ( p403
& p1503 )
| ( p503
& p603 )
| ( p503
& p703 )
| ( p503
& p803 )
| ( p503
& p903 )
| ( p503
& p1003 )
| ( p503
& p1103 )
| ( p503
& p1203 )
| ( p503
& p1303 )
| ( p503
& p1403 )
| ( p503
& p1503 )
| ( p603
& p703 )
| ( p603
& p803 )
| ( p603
& p903 )
| ( p603
& p1003 )
| ( p603
& p1103 )
| ( p603
& p1203 )
| ( p603
& p1303 )
| ( p603
& p1403 )
| ( p603
& p1503 )
| ( p703
& p803 )
| ( p703
& p903 )
| ( p703
& p1003 )
| ( p703
& p1103 )
| ( p703
& p1203 )
| ( p703
& p1303 )
| ( p703
& p1403 )
| ( p703
& p1503 )
| ( p803
& p903 )
| ( p803
& p1003 )
| ( p803
& p1103 )
| ( p803
& p1203 )
| ( p803
& p1303 )
| ( p803
& p1403 )
| ( p803
& p1503 )
| ( p903
& p1003 )
| ( p903
& p1103 )
| ( p903
& p1203 )
| ( p903
& p1303 )
| ( p903
& p1403 )
| ( p903
& p1503 )
| ( p1003
& p1103 )
| ( p1003
& p1203 )
| ( p1003
& p1303 )
| ( p1003
& p1403 )
| ( p1003
& p1503 )
| ( p1103
& p1203 )
| ( p1103
& p1303 )
| ( p1103
& p1403 )
| ( p1103
& p1503 )
| ( p1203
& p1303 )
| ( p1203
& p1403 )
| ( p1203
& p1503 )
| ( p1303
& p1403 )
| ( p1303
& p1503 )
| ( p1403
& p1503 )
| ( [.] p104
& [.] p204 )
| ( [.] p104
& [.] p304 )
| ( [.] p104
& p404 )
| ( [.] p104
& p504 )
| ( [.] p104
& p604 )
| ( [.] p104
& p704 )
| ( [.] p104
& p804 )
| ( [.] p104
& p904 )
| ( [.] p104
& p1004 )
| ( [.] p104
& p1104 )
| ( [.] p104
& p1204 )
| ( [.] p104
& p1304 )
| ( [.] p104
& p1404 )
| ( [.] p104
& p1504 )
| ( [.] p204
& [.] p304 )
| ( [.] p204
& p404 )
| ( [.] p204
& p504 )
| ( [.] p204
& p604 )
| ( [.] p204
& p704 )
| ( [.] p204
& p804 )
| ( [.] p204
& p904 )
| ( [.] p204
& p1004 )
| ( [.] p204
& p1104 )
| ( [.] p204
& p1204 )
| ( [.] p204
& p1304 )
| ( [.] p204
& p1404 )
| ( [.] p204
& p1504 )
| ( [.] p304
& p404 )
| ( [.] p304
& p504 )
| ( [.] p304
& p604 )
| ( [.] p304
& p704 )
| ( [.] p304
& p804 )
| ( [.] p304
& p904 )
| ( [.] p304
& p1004 )
| ( [.] p304
& p1104 )
| ( [.] p304
& p1204 )
| ( [.] p304
& p1304 )
| ( [.] p304
& p1404 )
| ( [.] p304
& p1504 )
| ( p404
& p504 )
| ( p404
& p604 )
| ( p404
& p704 )
| ( p404
& p804 )
| ( p404
& p904 )
| ( p404
& p1004 )
| ( p404
& p1104 )
| ( p404
& p1204 )
| ( p404
& p1304 )
| ( p404
& p1404 )
| ( p404
& p1504 )
| ( p504
& p604 )
| ( p504
& p704 )
| ( p504
& p804 )
| ( p504
& p904 )
| ( p504
& p1004 )
| ( p504
& p1104 )
| ( p504
& p1204 )
| ( p504
& p1304 )
| ( p504
& p1404 )
| ( p504
& p1504 )
| ( p604
& p704 )
| ( p604
& p804 )
| ( p604
& p904 )
| ( p604
& p1004 )
| ( p604
& p1104 )
| ( p604
& p1204 )
| ( p604
& p1304 )
| ( p604
& p1404 )
| ( p604
& p1504 )
| ( p704
& p804 )
| ( p704
& p904 )
| ( p704
& p1004 )
| ( p704
& p1104 )
| ( p704
& p1204 )
| ( p704
& p1304 )
| ( p704
& p1404 )
| ( p704
& p1504 )
| ( p804
& p904 )
| ( p804
& p1004 )
| ( p804
& p1104 )
| ( p804
& p1204 )
| ( p804
& p1304 )
| ( p804
& p1404 )
| ( p804
& p1504 )
| ( p904
& p1004 )
| ( p904
& p1104 )
| ( p904
& p1204 )
| ( p904
& p1304 )
| ( p904
& p1404 )
| ( p904
& p1504 )
| ( p1004
& p1104 )
| ( p1004
& p1204 )
| ( p1004
& p1304 )
| ( p1004
& p1404 )
| ( p1004
& p1504 )
| ( p1104
& p1204 )
| ( p1104
& p1304 )
| ( p1104
& p1404 )
| ( p1104
& p1504 )
| ( p1204
& p1304 )
| ( p1204
& p1404 )
| ( p1204
& p1504 )
| ( p1304
& p1404 )
| ( p1304
& p1504 )
| ( p1404
& p1504 )
| ( [.] p105
& [.] p205 )
| ( [.] p105
& [.] p305 )
| ( [.] p105
& [.] p405 )
| ( [.] p105
& p505 )
| ( [.] p105
& p605 )
| ( [.] p105
& p705 )
| ( [.] p105
& p805 )
| ( [.] p105
& p905 )
| ( [.] p105
& p1005 )
| ( [.] p105
& p1105 )
| ( [.] p105
& p1205 )
| ( [.] p105
& p1305 )
| ( [.] p105
& p1405 )
| ( [.] p105
& p1505 )
| ( [.] p205
& [.] p305 )
| ( [.] p205
& [.] p405 )
| ( [.] p205
& p505 )
| ( [.] p205
& p605 )
| ( [.] p205
& p705 )
| ( [.] p205
& p805 )
| ( [.] p205
& p905 )
| ( [.] p205
& p1005 )
| ( [.] p205
& p1105 )
| ( [.] p205
& p1205 )
| ( [.] p205
& p1305 )
| ( [.] p205
& p1405 )
| ( [.] p205
& p1505 )
| ( [.] p305
& [.] p405 )
| ( [.] p305
& p505 )
| ( [.] p305
& p605 )
| ( [.] p305
& p705 )
| ( [.] p305
& p805 )
| ( [.] p305
& p905 )
| ( [.] p305
& p1005 )
| ( [.] p305
& p1105 )
| ( [.] p305
& p1205 )
| ( [.] p305
& p1305 )
| ( [.] p305
& p1405 )
| ( [.] p305
& p1505 )
| ( [.] p405
& p505 )
| ( [.] p405
& p605 )
| ( [.] p405
& p705 )
| ( [.] p405
& p805 )
| ( [.] p405
& p905 )
| ( [.] p405
& p1005 )
| ( [.] p405
& p1105 )
| ( [.] p405
& p1205 )
| ( [.] p405
& p1305 )
| ( [.] p405
& p1405 )
| ( [.] p405
& p1505 )
| ( p505
& p605 )
| ( p505
& p705 )
| ( p505
& p805 )
| ( p505
& p905 )
| ( p505
& p1005 )
| ( p505
& p1105 )
| ( p505
& p1205 )
| ( p505
& p1305 )
| ( p505
& p1405 )
| ( p505
& p1505 )
| ( p605
& p705 )
| ( p605
& p805 )
| ( p605
& p905 )
| ( p605
& p1005 )
| ( p605
& p1105 )
| ( p605
& p1205 )
| ( p605
& p1305 )
| ( p605
& p1405 )
| ( p605
& p1505 )
| ( p705
& p805 )
| ( p705
& p905 )
| ( p705
& p1005 )
| ( p705
& p1105 )
| ( p705
& p1205 )
| ( p705
& p1305 )
| ( p705
& p1405 )
| ( p705
& p1505 )
| ( p805
& p905 )
| ( p805
& p1005 )
| ( p805
& p1105 )
| ( p805
& p1205 )
| ( p805
& p1305 )
| ( p805
& p1405 )
| ( p805
& p1505 )
| ( p905
& p1005 )
| ( p905
& p1105 )
| ( p905
& p1205 )
| ( p905
& p1305 )
| ( p905
& p1405 )
| ( p905
& p1505 )
| ( p1005
& p1105 )
| ( p1005
& p1205 )
| ( p1005
& p1305 )
| ( p1005
& p1405 )
| ( p1005
& p1505 )
| ( p1105
& p1205 )
| ( p1105
& p1305 )
| ( p1105
& p1405 )
| ( p1105
& p1505 )
| ( p1205
& p1305 )
| ( p1205
& p1405 )
| ( p1205
& p1505 )
| ( p1305
& p1405 )
| ( p1305
& p1505 )
| ( p1405
& p1505 )
| ( [.] p106
& [.] p206 )
| ( [.] p106
& [.] p306 )
| ( [.] p106
& [.] p406 )
| ( [.] p106
& [.] p506 )
| ( [.] p106
& p606 )
| ( [.] p106
& p706 )
| ( [.] p106
& p806 )
| ( [.] p106
& p906 )
| ( [.] p106
& p1006 )
| ( [.] p106
& p1106 )
| ( [.] p106
& p1206 )
| ( [.] p106
& p1306 )
| ( [.] p106
& p1406 )
| ( [.] p106
& p1506 )
| ( [.] p206
& [.] p306 )
| ( [.] p206
& [.] p406 )
| ( [.] p206
& [.] p506 )
| ( [.] p206
& p606 )
| ( [.] p206
& p706 )
| ( [.] p206
& p806 )
| ( [.] p206
& p906 )
| ( [.] p206
& p1006 )
| ( [.] p206
& p1106 )
| ( [.] p206
& p1206 )
| ( [.] p206
& p1306 )
| ( [.] p206
& p1406 )
| ( [.] p206
& p1506 )
| ( [.] p306
& [.] p406 )
| ( [.] p306
& [.] p506 )
| ( [.] p306
& p606 )
| ( [.] p306
& p706 )
| ( [.] p306
& p806 )
| ( [.] p306
& p906 )
| ( [.] p306
& p1006 )
| ( [.] p306
& p1106 )
| ( [.] p306
& p1206 )
| ( [.] p306
& p1306 )
| ( [.] p306
& p1406 )
| ( [.] p306
& p1506 )
| ( [.] p406
& [.] p506 )
| ( [.] p406
& p606 )
| ( [.] p406
& p706 )
| ( [.] p406
& p806 )
| ( [.] p406
& p906 )
| ( [.] p406
& p1006 )
| ( [.] p406
& p1106 )
| ( [.] p406
& p1206 )
| ( [.] p406
& p1306 )
| ( [.] p406
& p1406 )
| ( [.] p406
& p1506 )
| ( [.] p506
& p606 )
| ( [.] p506
& p706 )
| ( [.] p506
& p806 )
| ( [.] p506
& p906 )
| ( [.] p506
& p1006 )
| ( [.] p506
& p1106 )
| ( [.] p506
& p1206 )
| ( [.] p506
& p1306 )
| ( [.] p506
& p1406 )
| ( [.] p506
& p1506 )
| ( p606
& p706 )
| ( p606
& p806 )
| ( p606
& p906 )
| ( p606
& p1006 )
| ( p606
& p1106 )
| ( p606
& p1206 )
| ( p606
& p1306 )
| ( p606
& p1406 )
| ( p606
& p1506 )
| ( p706
& p806 )
| ( p706
& p906 )
| ( p706
& p1006 )
| ( p706
& p1106 )
| ( p706
& p1206 )
| ( p706
& p1306 )
| ( p706
& p1406 )
| ( p706
& p1506 )
| ( p806
& p906 )
| ( p806
& p1006 )
| ( p806
& p1106 )
| ( p806
& p1206 )
| ( p806
& p1306 )
| ( p806
& p1406 )
| ( p806
& p1506 )
| ( p906
& p1006 )
| ( p906
& p1106 )
| ( p906
& p1206 )
| ( p906
& p1306 )
| ( p906
& p1406 )
| ( p906
& p1506 )
| ( p1006
& p1106 )
| ( p1006
& p1206 )
| ( p1006
& p1306 )
| ( p1006
& p1406 )
| ( p1006
& p1506 )
| ( p1106
& p1206 )
| ( p1106
& p1306 )
| ( p1106
& p1406 )
| ( p1106
& p1506 )
| ( p1206
& p1306 )
| ( p1206
& p1406 )
| ( p1206
& p1506 )
| ( p1306
& p1406 )
| ( p1306
& p1506 )
| ( p1406
& p1506 )
| ( [.] p107
& [.] p207 )
| ( [.] p107
& [.] p307 )
| ( [.] p107
& [.] p407 )
| ( [.] p107
& [.] p507 )
| ( [.] p107
& [.] p607 )
| ( [.] p107
& p707 )
| ( [.] p107
& p807 )
| ( [.] p107
& p907 )
| ( [.] p107
& p1007 )
| ( [.] p107
& p1107 )
| ( [.] p107
& p1207 )
| ( [.] p107
& p1307 )
| ( [.] p107
& p1407 )
| ( [.] p107
& p1507 )
| ( [.] p207
& [.] p307 )
| ( [.] p207
& [.] p407 )
| ( [.] p207
& [.] p507 )
| ( [.] p207
& [.] p607 )
| ( [.] p207
& p707 )
| ( [.] p207
& p807 )
| ( [.] p207
& p907 )
| ( [.] p207
& p1007 )
| ( [.] p207
& p1107 )
| ( [.] p207
& p1207 )
| ( [.] p207
& p1307 )
| ( [.] p207
& p1407 )
| ( [.] p207
& p1507 )
| ( [.] p307
& [.] p407 )
| ( [.] p307
& [.] p507 )
| ( [.] p307
& [.] p607 )
| ( [.] p307
& p707 )
| ( [.] p307
& p807 )
| ( [.] p307
& p907 )
| ( [.] p307
& p1007 )
| ( [.] p307
& p1107 )
| ( [.] p307
& p1207 )
| ( [.] p307
& p1307 )
| ( [.] p307
& p1407 )
| ( [.] p307
& p1507 )
| ( [.] p407
& [.] p507 )
| ( [.] p407
& [.] p607 )
| ( [.] p407
& p707 )
| ( [.] p407
& p807 )
| ( [.] p407
& p907 )
| ( [.] p407
& p1007 )
| ( [.] p407
& p1107 )
| ( [.] p407
& p1207 )
| ( [.] p407
& p1307 )
| ( [.] p407
& p1407 )
| ( [.] p407
& p1507 )
| ( [.] p507
& [.] p607 )
| ( [.] p507
& p707 )
| ( [.] p507
& p807 )
| ( [.] p507
& p907 )
| ( [.] p507
& p1007 )
| ( [.] p507
& p1107 )
| ( [.] p507
& p1207 )
| ( [.] p507
& p1307 )
| ( [.] p507
& p1407 )
| ( [.] p507
& p1507 )
| ( [.] p607
& p707 )
| ( [.] p607
& p807 )
| ( [.] p607
& p907 )
| ( [.] p607
& p1007 )
| ( [.] p607
& p1107 )
| ( [.] p607
& p1207 )
| ( [.] p607
& p1307 )
| ( [.] p607
& p1407 )
| ( [.] p607
& p1507 )
| ( p707
& p807 )
| ( p707
& p907 )
| ( p707
& p1007 )
| ( p707
& p1107 )
| ( p707
& p1207 )
| ( p707
& p1307 )
| ( p707
& p1407 )
| ( p707
& p1507 )
| ( p807
& p907 )
| ( p807
& p1007 )
| ( p807
& p1107 )
| ( p807
& p1207 )
| ( p807
& p1307 )
| ( p807
& p1407 )
| ( p807
& p1507 )
| ( p907
& p1007 )
| ( p907
& p1107 )
| ( p907
& p1207 )
| ( p907
& p1307 )
| ( p907
& p1407 )
| ( p907
& p1507 )
| ( p1007
& p1107 )
| ( p1007
& p1207 )
| ( p1007
& p1307 )
| ( p1007
& p1407 )
| ( p1007
& p1507 )
| ( p1107
& p1207 )
| ( p1107
& p1307 )
| ( p1107
& p1407 )
| ( p1107
& p1507 )
| ( p1207
& p1307 )
| ( p1207
& p1407 )
| ( p1207
& p1507 )
| ( p1307
& p1407 )
| ( p1307
& p1507 )
| ( p1407
& p1507 )
| ( [.] p108
& [.] p208 )
| ( [.] p108
& [.] p308 )
| ( [.] p108
& [.] p408 )
| ( [.] p108
& [.] p508 )
| ( [.] p108
& [.] p608 )
| ( [.] p108
& [.] p708 )
| ( [.] p108
& p808 )
| ( [.] p108
& p908 )
| ( [.] p108
& p1008 )
| ( [.] p108
& p1108 )
| ( [.] p108
& p1208 )
| ( [.] p108
& p1308 )
| ( [.] p108
& p1408 )
| ( [.] p108
& p1508 )
| ( [.] p208
& [.] p308 )
| ( [.] p208
& [.] p408 )
| ( [.] p208
& [.] p508 )
| ( [.] p208
& [.] p608 )
| ( [.] p208
& [.] p708 )
| ( [.] p208
& p808 )
| ( [.] p208
& p908 )
| ( [.] p208
& p1008 )
| ( [.] p208
& p1108 )
| ( [.] p208
& p1208 )
| ( [.] p208
& p1308 )
| ( [.] p208
& p1408 )
| ( [.] p208
& p1508 )
| ( [.] p308
& [.] p408 )
| ( [.] p308
& [.] p508 )
| ( [.] p308
& [.] p608 )
| ( [.] p308
& [.] p708 )
| ( [.] p308
& p808 )
| ( [.] p308
& p908 )
| ( [.] p308
& p1008 )
| ( [.] p308
& p1108 )
| ( [.] p308
& p1208 )
| ( [.] p308
& p1308 )
| ( [.] p308
& p1408 )
| ( [.] p308
& p1508 )
| ( [.] p408
& [.] p508 )
| ( [.] p408
& [.] p608 )
| ( [.] p408
& [.] p708 )
| ( [.] p408
& p808 )
| ( [.] p408
& p908 )
| ( [.] p408
& p1008 )
| ( [.] p408
& p1108 )
| ( [.] p408
& p1208 )
| ( [.] p408
& p1308 )
| ( [.] p408
& p1408 )
| ( [.] p408
& p1508 )
| ( [.] p508
& [.] p608 )
| ( [.] p508
& [.] p708 )
| ( [.] p508
& p808 )
| ( [.] p508
& p908 )
| ( [.] p508
& p1008 )
| ( [.] p508
& p1108 )
| ( [.] p508
& p1208 )
| ( [.] p508
& p1308 )
| ( [.] p508
& p1408 )
| ( [.] p508
& p1508 )
| ( [.] p608
& [.] p708 )
| ( [.] p608
& p808 )
| ( [.] p608
& p908 )
| ( [.] p608
& p1008 )
| ( [.] p608
& p1108 )
| ( [.] p608
& p1208 )
| ( [.] p608
& p1308 )
| ( [.] p608
& p1408 )
| ( [.] p608
& p1508 )
| ( [.] p708
& p808 )
| ( [.] p708
& p908 )
| ( [.] p708
& p1008 )
| ( [.] p708
& p1108 )
| ( [.] p708
& p1208 )
| ( [.] p708
& p1308 )
| ( [.] p708
& p1408 )
| ( [.] p708
& p1508 )
| ( p808
& p908 )
| ( p808
& p1008 )
| ( p808
& p1108 )
| ( p808
& p1208 )
| ( p808
& p1308 )
| ( p808
& p1408 )
| ( p808
& p1508 )
| ( p908
& p1008 )
| ( p908
& p1108 )
| ( p908
& p1208 )
| ( p908
& p1308 )
| ( p908
& p1408 )
| ( p908
& p1508 )
| ( p1008
& p1108 )
| ( p1008
& p1208 )
| ( p1008
& p1308 )
| ( p1008
& p1408 )
| ( p1008
& p1508 )
| ( p1108
& p1208 )
| ( p1108
& p1308 )
| ( p1108
& p1408 )
| ( p1108
& p1508 )
| ( p1208
& p1308 )
| ( p1208
& p1408 )
| ( p1208
& p1508 )
| ( p1308
& p1408 )
| ( p1308
& p1508 )
| ( p1408
& p1508 )
| ( [.] p109
& [.] p209 )
| ( [.] p109
& [.] p309 )
| ( [.] p109
& [.] p409 )
| ( [.] p109
& [.] p509 )
| ( [.] p109
& [.] p609 )
| ( [.] p109
& [.] p709 )
| ( [.] p109
& [.] p809 )
| ( [.] p109
& p909 )
| ( [.] p109
& p1009 )
| ( [.] p109
& p1109 )
| ( [.] p109
& p1209 )
| ( [.] p109
& p1309 )
| ( [.] p109
& p1409 )
| ( [.] p109
& p1509 )
| ( [.] p209
& [.] p309 )
| ( [.] p209
& [.] p409 )
| ( [.] p209
& [.] p509 )
| ( [.] p209
& [.] p609 )
| ( [.] p209
& [.] p709 )
| ( [.] p209
& [.] p809 )
| ( [.] p209
& p909 )
| ( [.] p209
& p1009 )
| ( [.] p209
& p1109 )
| ( [.] p209
& p1209 )
| ( [.] p209
& p1309 )
| ( [.] p209
& p1409 )
| ( [.] p209
& p1509 )
| ( [.] p309
& [.] p409 )
| ( [.] p309
& [.] p509 )
| ( [.] p309
& [.] p609 )
| ( [.] p309
& [.] p709 )
| ( [.] p309
& [.] p809 )
| ( [.] p309
& p909 )
| ( [.] p309
& p1009 )
| ( [.] p309
& p1109 )
| ( [.] p309
& p1209 )
| ( [.] p309
& p1309 )
| ( [.] p309
& p1409 )
| ( [.] p309
& p1509 )
| ( [.] p409
& [.] p509 )
| ( [.] p409
& [.] p609 )
| ( [.] p409
& [.] p709 )
| ( [.] p409
& [.] p809 )
| ( [.] p409
& p909 )
| ( [.] p409
& p1009 )
| ( [.] p409
& p1109 )
| ( [.] p409
& p1209 )
| ( [.] p409
& p1309 )
| ( [.] p409
& p1409 )
| ( [.] p409
& p1509 )
| ( [.] p509
& [.] p609 )
| ( [.] p509
& [.] p709 )
| ( [.] p509
& [.] p809 )
| ( [.] p509
& p909 )
| ( [.] p509
& p1009 )
| ( [.] p509
& p1109 )
| ( [.] p509
& p1209 )
| ( [.] p509
& p1309 )
| ( [.] p509
& p1409 )
| ( [.] p509
& p1509 )
| ( [.] p609
& [.] p709 )
| ( [.] p609
& [.] p809 )
| ( [.] p609
& p909 )
| ( [.] p609
& p1009 )
| ( [.] p609
& p1109 )
| ( [.] p609
& p1209 )
| ( [.] p609
& p1309 )
| ( [.] p609
& p1409 )
| ( [.] p609
& p1509 )
| ( [.] p709
& [.] p809 )
| ( [.] p709
& p909 )
| ( [.] p709
& p1009 )
| ( [.] p709
& p1109 )
| ( [.] p709
& p1209 )
| ( [.] p709
& p1309 )
| ( [.] p709
& p1409 )
| ( [.] p709
& p1509 )
| ( [.] p809
& p909 )
| ( [.] p809
& p1009 )
| ( [.] p809
& p1109 )
| ( [.] p809
& p1209 )
| ( [.] p809
& p1309 )
| ( [.] p809
& p1409 )
| ( [.] p809
& p1509 )
| ( p909
& p1009 )
| ( p909
& p1109 )
| ( p909
& p1209 )
| ( p909
& p1309 )
| ( p909
& p1409 )
| ( p909
& p1509 )
| ( p1009
& p1109 )
| ( p1009
& p1209 )
| ( p1009
& p1309 )
| ( p1009
& p1409 )
| ( p1009
& p1509 )
| ( p1109
& p1209 )
| ( p1109
& p1309 )
| ( p1109
& p1409 )
| ( p1109
& p1509 )
| ( p1209
& p1309 )
| ( p1209
& p1409 )
| ( p1209
& p1509 )
| ( p1309
& p1409 )
| ( p1309
& p1509 )
| ( p1409
& p1509 )
| ( [.] p110
& [.] p210 )
| ( [.] p110
& [.] p310 )
| ( [.] p110
& [.] p410 )
| ( [.] p110
& [.] p510 )
| ( [.] p110
& [.] p610 )
| ( [.] p110
& [.] p710 )
| ( [.] p110
& [.] p810 )
| ( [.] p110
& [.] p910 )
| ( [.] p110
& p1010 )
| ( [.] p110
& p1110 )
| ( [.] p110
& p1210 )
| ( [.] p110
& p1310 )
| ( [.] p110
& p1410 )
| ( [.] p110
& p1510 )
| ( [.] p210
& [.] p310 )
| ( [.] p210
& [.] p410 )
| ( [.] p210
& [.] p510 )
| ( [.] p210
& [.] p610 )
| ( [.] p210
& [.] p710 )
| ( [.] p210
& [.] p810 )
| ( [.] p210
& [.] p910 )
| ( [.] p210
& p1010 )
| ( [.] p210
& p1110 )
| ( [.] p210
& p1210 )
| ( [.] p210
& p1310 )
| ( [.] p210
& p1410 )
| ( [.] p210
& p1510 )
| ( [.] p310
& [.] p410 )
| ( [.] p310
& [.] p510 )
| ( [.] p310
& [.] p610 )
| ( [.] p310
& [.] p710 )
| ( [.] p310
& [.] p810 )
| ( [.] p310
& [.] p910 )
| ( [.] p310
& p1010 )
| ( [.] p310
& p1110 )
| ( [.] p310
& p1210 )
| ( [.] p310
& p1310 )
| ( [.] p310
& p1410 )
| ( [.] p310
& p1510 )
| ( [.] p410
& [.] p510 )
| ( [.] p410
& [.] p610 )
| ( [.] p410
& [.] p710 )
| ( [.] p410
& [.] p810 )
| ( [.] p410
& [.] p910 )
| ( [.] p410
& p1010 )
| ( [.] p410
& p1110 )
| ( [.] p410
& p1210 )
| ( [.] p410
& p1310 )
| ( [.] p410
& p1410 )
| ( [.] p410
& p1510 )
| ( [.] p510
& [.] p610 )
| ( [.] p510
& [.] p710 )
| ( [.] p510
& [.] p810 )
| ( [.] p510
& [.] p910 )
| ( [.] p510
& p1010 )
| ( [.] p510
& p1110 )
| ( [.] p510
& p1210 )
| ( [.] p510
& p1310 )
| ( [.] p510
& p1410 )
| ( [.] p510
& p1510 )
| ( [.] p610
& [.] p710 )
| ( [.] p610
& [.] p810 )
| ( [.] p610
& [.] p910 )
| ( [.] p610
& p1010 )
| ( [.] p610
& p1110 )
| ( [.] p610
& p1210 )
| ( [.] p610
& p1310 )
| ( [.] p610
& p1410 )
| ( [.] p610
& p1510 )
| ( [.] p710
& [.] p810 )
| ( [.] p710
& [.] p910 )
| ( [.] p710
& p1010 )
| ( [.] p710
& p1110 )
| ( [.] p710
& p1210 )
| ( [.] p710
& p1310 )
| ( [.] p710
& p1410 )
| ( [.] p710
& p1510 )
| ( [.] p810
& [.] p910 )
| ( [.] p810
& p1010 )
| ( [.] p810
& p1110 )
| ( [.] p810
& p1210 )
| ( [.] p810
& p1310 )
| ( [.] p810
& p1410 )
| ( [.] p810
& p1510 )
| ( [.] p910
& p1010 )
| ( [.] p910
& p1110 )
| ( [.] p910
& p1210 )
| ( [.] p910
& p1310 )
| ( [.] p910
& p1410 )
| ( [.] p910
& p1510 )
| ( p1010
& p1110 )
| ( p1010
& p1210 )
| ( p1010
& p1310 )
| ( p1010
& p1410 )
| ( p1010
& p1510 )
| ( p1110
& p1210 )
| ( p1110
& p1310 )
| ( p1110
& p1410 )
| ( p1110
& p1510 )
| ( p1210
& p1310 )
| ( p1210
& p1410 )
| ( p1210
& p1510 )
| ( p1310
& p1410 )
| ( p1310
& p1510 )
| ( p1410
& p1510 )
| ( [.] p111
& [.] p211 )
| ( [.] p111
& [.] p311 )
| ( [.] p111
& [.] p411 )
| ( [.] p111
& [.] p511 )
| ( [.] p111
& [.] p611 )
| ( [.] p111
& [.] p711 )
| ( [.] p111
& [.] p811 )
| ( [.] p111
& [.] p911 )
| ( [.] p111
& [.] p1011 )
| ( [.] p111
& p1111 )
| ( [.] p111
& p1211 )
| ( [.] p111
& p1311 )
| ( [.] p111
& p1411 )
| ( [.] p111
& p1511 )
| ( [.] p211
& [.] p311 )
| ( [.] p211
& [.] p411 )
| ( [.] p211
& [.] p511 )
| ( [.] p211
& [.] p611 )
| ( [.] p211
& [.] p711 )
| ( [.] p211
& [.] p811 )
| ( [.] p211
& [.] p911 )
| ( [.] p211
& [.] p1011 )
| ( [.] p211
& p1111 )
| ( [.] p211
& p1211 )
| ( [.] p211
& p1311 )
| ( [.] p211
& p1411 )
| ( [.] p211
& p1511 )
| ( [.] p311
& [.] p411 )
| ( [.] p311
& [.] p511 )
| ( [.] p311
& [.] p611 )
| ( [.] p311
& [.] p711 )
| ( [.] p311
& [.] p811 )
| ( [.] p311
& [.] p911 )
| ( [.] p311
& [.] p1011 )
| ( [.] p311
& p1111 )
| ( [.] p311
& p1211 )
| ( [.] p311
& p1311 )
| ( [.] p311
& p1411 )
| ( [.] p311
& p1511 )
| ( [.] p411
& [.] p511 )
| ( [.] p411
& [.] p611 )
| ( [.] p411
& [.] p711 )
| ( [.] p411
& [.] p811 )
| ( [.] p411
& [.] p911 )
| ( [.] p411
& [.] p1011 )
| ( [.] p411
& p1111 )
| ( [.] p411
& p1211 )
| ( [.] p411
& p1311 )
| ( [.] p411
& p1411 )
| ( [.] p411
& p1511 )
| ( [.] p511
& [.] p611 )
| ( [.] p511
& [.] p711 )
| ( [.] p511
& [.] p811 )
| ( [.] p511
& [.] p911 )
| ( [.] p511
& [.] p1011 )
| ( [.] p511
& p1111 )
| ( [.] p511
& p1211 )
| ( [.] p511
& p1311 )
| ( [.] p511
& p1411 )
| ( [.] p511
& p1511 )
| ( [.] p611
& [.] p711 )
| ( [.] p611
& [.] p811 )
| ( [.] p611
& [.] p911 )
| ( [.] p611
& [.] p1011 )
| ( [.] p611
& p1111 )
| ( [.] p611
& p1211 )
| ( [.] p611
& p1311 )
| ( [.] p611
& p1411 )
| ( [.] p611
& p1511 )
| ( [.] p711
& [.] p811 )
| ( [.] p711
& [.] p911 )
| ( [.] p711
& [.] p1011 )
| ( [.] p711
& p1111 )
| ( [.] p711
& p1211 )
| ( [.] p711
& p1311 )
| ( [.] p711
& p1411 )
| ( [.] p711
& p1511 )
| ( [.] p811
& [.] p911 )
| ( [.] p811
& [.] p1011 )
| ( [.] p811
& p1111 )
| ( [.] p811
& p1211 )
| ( [.] p811
& p1311 )
| ( [.] p811
& p1411 )
| ( [.] p811
& p1511 )
| ( [.] p911
& [.] p1011 )
| ( [.] p911
& p1111 )
| ( [.] p911
& p1211 )
| ( [.] p911
& p1311 )
| ( [.] p911
& p1411 )
| ( [.] p911
& p1511 )
| ( [.] p1011
& p1111 )
| ( [.] p1011
& p1211 )
| ( [.] p1011
& p1311 )
| ( [.] p1011
& p1411 )
| ( [.] p1011
& p1511 )
| ( p1111
& p1211 )
| ( p1111
& p1311 )
| ( p1111
& p1411 )
| ( p1111
& p1511 )
| ( p1211
& p1311 )
| ( p1211
& p1411 )
| ( p1211
& p1511 )
| ( p1311
& p1411 )
| ( p1311
& p1511 )
| ( p1411
& p1511 )
| ( [.] p112
& [.] p212 )
| ( [.] p112
& [.] p312 )
| ( [.] p112
& [.] p412 )
| ( [.] p112
& [.] p512 )
| ( [.] p112
& [.] p612 )
| ( [.] p112
& [.] p712 )
| ( [.] p112
& [.] p812 )
| ( [.] p112
& [.] p912 )
| ( [.] p112
& [.] p1012 )
| ( [.] p112
& [.] p1112 )
| ( [.] p112
& p1212 )
| ( [.] p112
& p1312 )
| ( [.] p112
& p1412 )
| ( [.] p112
& p1512 )
| ( [.] p212
& [.] p312 )
| ( [.] p212
& [.] p412 )
| ( [.] p212
& [.] p512 )
| ( [.] p212
& [.] p612 )
| ( [.] p212
& [.] p712 )
| ( [.] p212
& [.] p812 )
| ( [.] p212
& [.] p912 )
| ( [.] p212
& [.] p1012 )
| ( [.] p212
& [.] p1112 )
| ( [.] p212
& p1212 )
| ( [.] p212
& p1312 )
| ( [.] p212
& p1412 )
| ( [.] p212
& p1512 )
| ( [.] p312
& [.] p412 )
| ( [.] p312
& [.] p512 )
| ( [.] p312
& [.] p612 )
| ( [.] p312
& [.] p712 )
| ( [.] p312
& [.] p812 )
| ( [.] p312
& [.] p912 )
| ( [.] p312
& [.] p1012 )
| ( [.] p312
& [.] p1112 )
| ( [.] p312
& p1212 )
| ( [.] p312
& p1312 )
| ( [.] p312
& p1412 )
| ( [.] p312
& p1512 )
| ( [.] p412
& [.] p512 )
| ( [.] p412
& [.] p612 )
| ( [.] p412
& [.] p712 )
| ( [.] p412
& [.] p812 )
| ( [.] p412
& [.] p912 )
| ( [.] p412
& [.] p1012 )
| ( [.] p412
& [.] p1112 )
| ( [.] p412
& p1212 )
| ( [.] p412
& p1312 )
| ( [.] p412
& p1412 )
| ( [.] p412
& p1512 )
| ( [.] p512
& [.] p612 )
| ( [.] p512
& [.] p712 )
| ( [.] p512
& [.] p812 )
| ( [.] p512
& [.] p912 )
| ( [.] p512
& [.] p1012 )
| ( [.] p512
& [.] p1112 )
| ( [.] p512
& p1212 )
| ( [.] p512
& p1312 )
| ( [.] p512
& p1412 )
| ( [.] p512
& p1512 )
| ( [.] p612
& [.] p712 )
| ( [.] p612
& [.] p812 )
| ( [.] p612
& [.] p912 )
| ( [.] p612
& [.] p1012 )
| ( [.] p612
& [.] p1112 )
| ( [.] p612
& p1212 )
| ( [.] p612
& p1312 )
| ( [.] p612
& p1412 )
| ( [.] p612
& p1512 )
| ( [.] p712
& [.] p812 )
| ( [.] p712
& [.] p912 )
| ( [.] p712
& [.] p1012 )
| ( [.] p712
& [.] p1112 )
| ( [.] p712
& p1212 )
| ( [.] p712
& p1312 )
| ( [.] p712
& p1412 )
| ( [.] p712
& p1512 )
| ( [.] p812
& [.] p912 )
| ( [.] p812
& [.] p1012 )
| ( [.] p812
& [.] p1112 )
| ( [.] p812
& p1212 )
| ( [.] p812
& p1312 )
| ( [.] p812
& p1412 )
| ( [.] p812
& p1512 )
| ( [.] p912
& [.] p1012 )
| ( [.] p912
& [.] p1112 )
| ( [.] p912
& p1212 )
| ( [.] p912
& p1312 )
| ( [.] p912
& p1412 )
| ( [.] p912
& p1512 )
| ( [.] p1012
& [.] p1112 )
| ( [.] p1012
& p1212 )
| ( [.] p1012
& p1312 )
| ( [.] p1012
& p1412 )
| ( [.] p1012
& p1512 )
| ( [.] p1112
& p1212 )
| ( [.] p1112
& p1312 )
| ( [.] p1112
& p1412 )
| ( [.] p1112
& p1512 )
| ( p1212
& p1312 )
| ( p1212
& p1412 )
| ( p1212
& p1512 )
| ( p1312
& p1412 )
| ( p1312
& p1512 )
| ( p1412
& p1512 )
| ( [.] p113
& [.] p213 )
| ( [.] p113
& [.] p313 )
| ( [.] p113
& [.] p413 )
| ( [.] p113
& [.] p513 )
| ( [.] p113
& [.] p613 )
| ( [.] p113
& [.] p713 )
| ( [.] p113
& [.] p813 )
| ( [.] p113
& [.] p913 )
| ( [.] p113
& [.] p1013 )
| ( [.] p113
& [.] p1113 )
| ( [.] p113
& [.] p1213 )
| ( [.] p113
& p1313 )
| ( [.] p113
& p1413 )
| ( [.] p113
& p1513 )
| ( [.] p213
& [.] p313 )
| ( [.] p213
& [.] p413 )
| ( [.] p213
& [.] p513 )
| ( [.] p213
& [.] p613 )
| ( [.] p213
& [.] p713 )
| ( [.] p213
& [.] p813 )
| ( [.] p213
& [.] p913 )
| ( [.] p213
& [.] p1013 )
| ( [.] p213
& [.] p1113 )
| ( [.] p213
& [.] p1213 )
| ( [.] p213
& p1313 )
| ( [.] p213
& p1413 )
| ( [.] p213
& p1513 )
| ( [.] p313
& [.] p413 )
| ( [.] p313
& [.] p513 )
| ( [.] p313
& [.] p613 )
| ( [.] p313
& [.] p713 )
| ( [.] p313
& [.] p813 )
| ( [.] p313
& [.] p913 )
| ( [.] p313
& [.] p1013 )
| ( [.] p313
& [.] p1113 )
| ( [.] p313
& [.] p1213 )
| ( [.] p313
& p1313 )
| ( [.] p313
& p1413 )
| ( [.] p313
& p1513 )
| ( [.] p413
& [.] p513 )
| ( [.] p413
& [.] p613 )
| ( [.] p413
& [.] p713 )
| ( [.] p413
& [.] p813 )
| ( [.] p413
& [.] p913 )
| ( [.] p413
& [.] p1013 )
| ( [.] p413
& [.] p1113 )
| ( [.] p413
& [.] p1213 )
| ( [.] p413
& p1313 )
| ( [.] p413
& p1413 )
| ( [.] p413
& p1513 )
| ( [.] p513
& [.] p613 )
| ( [.] p513
& [.] p713 )
| ( [.] p513
& [.] p813 )
| ( [.] p513
& [.] p913 )
| ( [.] p513
& [.] p1013 )
| ( [.] p513
& [.] p1113 )
| ( [.] p513
& [.] p1213 )
| ( [.] p513
& p1313 )
| ( [.] p513
& p1413 )
| ( [.] p513
& p1513 )
| ( [.] p613
& [.] p713 )
| ( [.] p613
& [.] p813 )
| ( [.] p613
& [.] p913 )
| ( [.] p613
& [.] p1013 )
| ( [.] p613
& [.] p1113 )
| ( [.] p613
& [.] p1213 )
| ( [.] p613
& p1313 )
| ( [.] p613
& p1413 )
| ( [.] p613
& p1513 )
| ( [.] p713
& [.] p813 )
| ( [.] p713
& [.] p913 )
| ( [.] p713
& [.] p1013 )
| ( [.] p713
& [.] p1113 )
| ( [.] p713
& [.] p1213 )
| ( [.] p713
& p1313 )
| ( [.] p713
& p1413 )
| ( [.] p713
& p1513 )
| ( [.] p813
& [.] p913 )
| ( [.] p813
& [.] p1013 )
| ( [.] p813
& [.] p1113 )
| ( [.] p813
& [.] p1213 )
| ( [.] p813
& p1313 )
| ( [.] p813
& p1413 )
| ( [.] p813
& p1513 )
| ( [.] p913
& [.] p1013 )
| ( [.] p913
& [.] p1113 )
| ( [.] p913
& [.] p1213 )
| ( [.] p913
& p1313 )
| ( [.] p913
& p1413 )
| ( [.] p913
& p1513 )
| ( [.] p1013
& [.] p1113 )
| ( [.] p1013
& [.] p1213 )
| ( [.] p1013
& p1313 )
| ( [.] p1013
& p1413 )
| ( [.] p1013
& p1513 )
| ( [.] p1113
& [.] p1213 )
| ( [.] p1113
& p1313 )
| ( [.] p1113
& p1413 )
| ( [.] p1113
& p1513 )
| ( [.] p1213
& p1313 )
| ( [.] p1213
& p1413 )
| ( [.] p1213
& p1513 )
| ( p1313
& p1413 )
| ( p1313
& p1513 )
| ( p1413
& p1513 )
| ( [.] p114
& [.] p214 )
| ( [.] p114
& [.] p314 )
| ( [.] p114
& [.] p414 )
| ( [.] p114
& [.] p514 )
| ( [.] p114
& [.] p614 )
| ( [.] p114
& [.] p714 )
| ( [.] p114
& [.] p814 )
| ( [.] p114
& [.] p914 )
| ( [.] p114
& [.] p1014 )
| ( [.] p114
& [.] p1114 )
| ( [.] p114
& [.] p1214 )
| ( [.] p114
& [.] p1314 )
| ( [.] p114
& p1414 )
| ( [.] p114
& p1514 )
| ( [.] p214
& [.] p314 )
| ( [.] p214
& [.] p414 )
| ( [.] p214
& [.] p514 )
| ( [.] p214
& [.] p614 )
| ( [.] p214
& [.] p714 )
| ( [.] p214
& [.] p814 )
| ( [.] p214
& [.] p914 )
| ( [.] p214
& [.] p1014 )
| ( [.] p214
& [.] p1114 )
| ( [.] p214
& [.] p1214 )
| ( [.] p214
& [.] p1314 )
| ( [.] p214
& p1414 )
| ( [.] p214
& p1514 )
| ( [.] p314
& [.] p414 )
| ( [.] p314
& [.] p514 )
| ( [.] p314
& [.] p614 )
| ( [.] p314
& [.] p714 )
| ( [.] p314
& [.] p814 )
| ( [.] p314
& [.] p914 )
| ( [.] p314
& [.] p1014 )
| ( [.] p314
& [.] p1114 )
| ( [.] p314
& [.] p1214 )
| ( [.] p314
& [.] p1314 )
| ( [.] p314
& p1414 )
| ( [.] p314
& p1514 )
| ( [.] p414
& [.] p514 )
| ( [.] p414
& [.] p614 )
| ( [.] p414
& [.] p714 )
| ( [.] p414
& [.] p814 )
| ( [.] p414
& [.] p914 )
| ( [.] p414
& [.] p1014 )
| ( [.] p414
& [.] p1114 )
| ( [.] p414
& [.] p1214 )
| ( [.] p414
& [.] p1314 )
| ( [.] p414
& p1414 )
| ( [.] p414
& p1514 )
| ( [.] p514
& [.] p614 )
| ( [.] p514
& [.] p714 )
| ( [.] p514
& [.] p814 )
| ( [.] p514
& [.] p914 )
| ( [.] p514
& [.] p1014 )
| ( [.] p514
& [.] p1114 )
| ( [.] p514
& [.] p1214 )
| ( [.] p514
& [.] p1314 )
| ( [.] p514
& p1414 )
| ( [.] p514
& p1514 )
| ( [.] p614
& [.] p714 )
| ( [.] p614
& [.] p814 )
| ( [.] p614
& [.] p914 )
| ( [.] p614
& [.] p1014 )
| ( [.] p614
& [.] p1114 )
| ( [.] p614
& [.] p1214 )
| ( [.] p614
& [.] p1314 )
| ( [.] p614
& p1414 )
| ( [.] p614
& p1514 )
| ( [.] p714
& [.] p814 )
| ( [.] p714
& [.] p914 )
| ( [.] p714
& [.] p1014 )
| ( [.] p714
& [.] p1114 )
| ( [.] p714
& [.] p1214 )
| ( [.] p714
& [.] p1314 )
| ( [.] p714
& p1414 )
| ( [.] p714
& p1514 )
| ( [.] p814
& [.] p914 )
| ( [.] p814
& [.] p1014 )
| ( [.] p814
& [.] p1114 )
| ( [.] p814
& [.] p1214 )
| ( [.] p814
& [.] p1314 )
| ( [.] p814
& p1414 )
| ( [.] p814
& p1514 )
| ( [.] p914
& [.] p1014 )
| ( [.] p914
& [.] p1114 )
| ( [.] p914
& [.] p1214 )
| ( [.] p914
& [.] p1314 )
| ( [.] p914
& p1414 )
| ( [.] p914
& p1514 )
| ( [.] p1014
& [.] p1114 )
| ( [.] p1014
& [.] p1214 )
| ( [.] p1014
& [.] p1314 )
| ( [.] p1014
& p1414 )
| ( [.] p1014
& p1514 )
| ( [.] p1114
& [.] p1214 )
| ( [.] p1114
& [.] p1314 )
| ( [.] p1114
& p1414 )
| ( [.] p1114
& p1514 )
| ( [.] p1214
& [.] p1314 )
| ( [.] p1214
& p1414 )
| ( [.] p1214
& p1514 )
| ( [.] p1314
& p1414 )
| ( [.] p1314
& p1514 )
| ( p1414
& p1514 ) ) ) ).
%------------------------------------------------------------------------------