%------------------------------------------------------------------------------
% File : LCL975_1.013 : TPTP v9.0.0. Released v9.0.0.
% Domain : Syntactic
% Problem : Pigeonhole formula 13
% 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 : s4_ph_n.0013 [Nal22]
% Status : CounterSatisfiable
% Rating : 1.00 v9.0.0
% Syntax : Number of formulae : 183 ( 0 unt; 182 typ; 0 def)
% Number of atoms : 2548 ( 0 equ)
% Maximal formula atoms : 2548 (2548 avg)
% Number of connectives : 4838 ( 15 ~;1350 |;1196 &)
% ( 0 <=>; 1 =>; 0 <=; 0 <~>)
% (2276 {.}; 0 {#})
% Maximal formula depth : 1190 (1190 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 : 182 ( 182 usr; 182 prp; 0-0 aty)
% Number of functors : 0 ( 0 usr; 0 con; --- aty)
% Number of variables : 0 (; 0 !; 0 ?; 0 :)
% SPC : NX0_CSA_PRP_NEQ_NAR
% Comments :
%------------------------------------------------------------------------------
tff('s4_ph_n.0013',logic,
$modal ==
[ $modalities == $modal_system_S4 ] ).
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(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(p112_decl,type,
p112: $o ).
tff(p113_decl,type,
p113: $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(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(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(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(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(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(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(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(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(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(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(prove,conjecture,
~ ~ ( ( ( p101
| [.] p102
| [.] p103
| [.] p104
| [.] p105
| [.] p106
| [.] p107
| [.] p108
| [.] p109
| [.] p110
| [.] p111
| [.] p112
| [.] p113 )
& ( p201
| p202
| [.] p203
| [.] p204
| [.] p205
| [.] p206
| [.] p207
| [.] p208
| [.] p209
| [.] p210
| [.] p211
| [.] p212
| [.] p213 )
& ( p301
| p302
| p303
| [.] p304
| [.] p305
| [.] p306
| [.] p307
| [.] p308
| [.] p309
| [.] p310
| [.] p311
| [.] p312
| [.] p313 )
& ( p401
| p402
| p403
| p404
| [.] p405
| [.] p406
| [.] p407
| [.] p408
| [.] p409
| [.] p410
| [.] p411
| [.] p412
| [.] p413 )
& ( p501
| p502
| p503
| p504
| p505
| [.] p506
| [.] p507
| [.] p508
| [.] p509
| [.] p510
| [.] p511
| [.] p512
| [.] p513 )
& ( p601
| p602
| p603
| p604
| p605
| p606
| [.] p607
| [.] p608
| [.] p609
| [.] p610
| [.] p611
| [.] p612
| [.] p613 )
& ( p701
| p702
| p703
| p704
| p705
| p706
| p707
| [.] p708
| [.] p709
| [.] p710
| [.] p711
| [.] p712
| [.] p713 )
& ( p801
| p802
| p803
| p804
| p805
| p806
| p807
| p808
| [.] p809
| [.] p810
| [.] p811
| [.] p812
| [.] p813 )
& ( p901
| p902
| p903
| p904
| p905
| p906
| p907
| p908
| p909
| [.] p910
| [.] p911
| [.] p912
| [.] p913 )
& ( p1001
| p1002
| p1003
| p1004
| p1005
| p1006
| p1007
| p1008
| p1009
| p1010
| [.] p1011
| [.] p1012
| [.] p1013 )
& ( p1101
| p1102
| p1103
| p1104
| p1105
| p1106
| p1107
| p1108
| p1109
| p1110
| p1111
| [.] p1112
| [.] p1113 )
& ( p1201
| p1202
| p1203
| p1204
| p1205
| p1206
| p1207
| p1208
| p1209
| p1210
| p1211
| p1212
| [.] p1213 )
& ( p1301
| p1302
| p1303
| p1304
| p1305
| p1306
| p1307
| p1308
| p1309
| p1310
| p1311
| p1312
| p1313 )
& ( p1401
| p1402
| p1403
| p1404
| p1405
| p1406
| p1407
| p1408
| p1409
| p1410
| p1411
| p1412
| p1413 ) )
=> <.> ( <.> ( 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 )
| <.> ( p201
& p301 )
| <.> ( p201
& p401 )
| <.> ( p201
& p501 )
| <.> ( p201
& p601 )
| <.> ( p201
& p701 )
| <.> ( p201
& p801 )
| <.> ( p201
& p901 )
| <.> ( p201
& p1001 )
| <.> ( p201
& p1101 )
| <.> ( p201
& p1201 )
| <.> ( p201
& p1301 )
| <.> ( p201
& p1401 )
| <.> ( p301
& p401 )
| <.> ( p301
& p501 )
| <.> ( p301
& p601 )
| <.> ( p301
& p701 )
| <.> ( p301
& p801 )
| <.> ( p301
& p901 )
| <.> ( p301
& p1001 )
| <.> ( p301
& p1101 )
| <.> ( p301
& p1201 )
| <.> ( p301
& p1301 )
| <.> ( p301
& p1401 )
| <.> ( p401
& p501 )
| <.> ( p401
& p601 )
| <.> ( p401
& p701 )
| <.> ( p401
& p801 )
| <.> ( p401
& p901 )
| <.> ( p401
& p1001 )
| <.> ( p401
& p1101 )
| <.> ( p401
& p1201 )
| <.> ( p401
& p1301 )
| <.> ( p401
& p1401 )
| <.> ( p501
& p601 )
| <.> ( p501
& p701 )
| <.> ( p501
& p801 )
| <.> ( p501
& p901 )
| <.> ( p501
& p1001 )
| <.> ( p501
& p1101 )
| <.> ( p501
& p1201 )
| <.> ( p501
& p1301 )
| <.> ( p501
& p1401 )
| <.> ( p601
& p701 )
| <.> ( p601
& p801 )
| <.> ( p601
& p901 )
| <.> ( p601
& p1001 )
| <.> ( p601
& p1101 )
| <.> ( p601
& p1201 )
| <.> ( p601
& p1301 )
| <.> ( p601
& p1401 )
| <.> ( p701
& p801 )
| <.> ( p701
& p901 )
| <.> ( p701
& p1001 )
| <.> ( p701
& p1101 )
| <.> ( p701
& p1201 )
| <.> ( p701
& p1301 )
| <.> ( p701
& p1401 )
| <.> ( p801
& p901 )
| <.> ( p801
& p1001 )
| <.> ( p801
& p1101 )
| <.> ( p801
& p1201 )
| <.> ( p801
& p1301 )
| <.> ( p801
& p1401 )
| <.> ( p901
& p1001 )
| <.> ( p901
& p1101 )
| <.> ( p901
& p1201 )
| <.> ( p901
& p1301 )
| <.> ( p901
& p1401 )
| <.> ( p1001
& p1101 )
| <.> ( p1001
& p1201 )
| <.> ( p1001
& p1301 )
| <.> ( p1001
& p1401 )
| <.> ( p1101
& p1201 )
| <.> ( p1101
& p1301 )
| <.> ( p1101
& p1401 )
| <.> ( p1201
& p1301 )
| <.> ( p1201
& p1401 )
| <.> ( p1301
& p1401 )
| <.> ( [.] 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 )
| <.> ( p202
& p302 )
| <.> ( p202
& p402 )
| <.> ( p202
& p502 )
| <.> ( p202
& p602 )
| <.> ( p202
& p702 )
| <.> ( p202
& p802 )
| <.> ( p202
& p902 )
| <.> ( p202
& p1002 )
| <.> ( p202
& p1102 )
| <.> ( p202
& p1202 )
| <.> ( p202
& p1302 )
| <.> ( p202
& p1402 )
| <.> ( p302
& p402 )
| <.> ( p302
& p502 )
| <.> ( p302
& p602 )
| <.> ( p302
& p702 )
| <.> ( p302
& p802 )
| <.> ( p302
& p902 )
| <.> ( p302
& p1002 )
| <.> ( p302
& p1102 )
| <.> ( p302
& p1202 )
| <.> ( p302
& p1302 )
| <.> ( p302
& p1402 )
| <.> ( p402
& p502 )
| <.> ( p402
& p602 )
| <.> ( p402
& p702 )
| <.> ( p402
& p802 )
| <.> ( p402
& p902 )
| <.> ( p402
& p1002 )
| <.> ( p402
& p1102 )
| <.> ( p402
& p1202 )
| <.> ( p402
& p1302 )
| <.> ( p402
& p1402 )
| <.> ( p502
& p602 )
| <.> ( p502
& p702 )
| <.> ( p502
& p802 )
| <.> ( p502
& p902 )
| <.> ( p502
& p1002 )
| <.> ( p502
& p1102 )
| <.> ( p502
& p1202 )
| <.> ( p502
& p1302 )
| <.> ( p502
& p1402 )
| <.> ( p602
& p702 )
| <.> ( p602
& p802 )
| <.> ( p602
& p902 )
| <.> ( p602
& p1002 )
| <.> ( p602
& p1102 )
| <.> ( p602
& p1202 )
| <.> ( p602
& p1302 )
| <.> ( p602
& p1402 )
| <.> ( p702
& p802 )
| <.> ( p702
& p902 )
| <.> ( p702
& p1002 )
| <.> ( p702
& p1102 )
| <.> ( p702
& p1202 )
| <.> ( p702
& p1302 )
| <.> ( p702
& p1402 )
| <.> ( p802
& p902 )
| <.> ( p802
& p1002 )
| <.> ( p802
& p1102 )
| <.> ( p802
& p1202 )
| <.> ( p802
& p1302 )
| <.> ( p802
& p1402 )
| <.> ( p902
& p1002 )
| <.> ( p902
& p1102 )
| <.> ( p902
& p1202 )
| <.> ( p902
& p1302 )
| <.> ( p902
& p1402 )
| <.> ( p1002
& p1102 )
| <.> ( p1002
& p1202 )
| <.> ( p1002
& p1302 )
| <.> ( p1002
& p1402 )
| <.> ( p1102
& p1202 )
| <.> ( p1102
& p1302 )
| <.> ( p1102
& p1402 )
| <.> ( p1202
& p1302 )
| <.> ( p1202
& p1402 )
| <.> ( p1302
& p1402 )
| <.> ( [.] 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 )
| <.> ( [.] p203
& p303 )
| <.> ( [.] p203
& p403 )
| <.> ( [.] p203
& p503 )
| <.> ( [.] p203
& p603 )
| <.> ( [.] p203
& p703 )
| <.> ( [.] p203
& p803 )
| <.> ( [.] p203
& p903 )
| <.> ( [.] p203
& p1003 )
| <.> ( [.] p203
& p1103 )
| <.> ( [.] p203
& p1203 )
| <.> ( [.] p203
& p1303 )
| <.> ( [.] p203
& p1403 )
| <.> ( p303
& p403 )
| <.> ( p303
& p503 )
| <.> ( p303
& p603 )
| <.> ( p303
& p703 )
| <.> ( p303
& p803 )
| <.> ( p303
& p903 )
| <.> ( p303
& p1003 )
| <.> ( p303
& p1103 )
| <.> ( p303
& p1203 )
| <.> ( p303
& p1303 )
| <.> ( p303
& p1403 )
| <.> ( p403
& p503 )
| <.> ( p403
& p603 )
| <.> ( p403
& p703 )
| <.> ( p403
& p803 )
| <.> ( p403
& p903 )
| <.> ( p403
& p1003 )
| <.> ( p403
& p1103 )
| <.> ( p403
& p1203 )
| <.> ( p403
& p1303 )
| <.> ( p403
& p1403 )
| <.> ( p503
& p603 )
| <.> ( p503
& p703 )
| <.> ( p503
& p803 )
| <.> ( p503
& p903 )
| <.> ( p503
& p1003 )
| <.> ( p503
& p1103 )
| <.> ( p503
& p1203 )
| <.> ( p503
& p1303 )
| <.> ( p503
& p1403 )
| <.> ( p603
& p703 )
| <.> ( p603
& p803 )
| <.> ( p603
& p903 )
| <.> ( p603
& p1003 )
| <.> ( p603
& p1103 )
| <.> ( p603
& p1203 )
| <.> ( p603
& p1303 )
| <.> ( p603
& p1403 )
| <.> ( p703
& p803 )
| <.> ( p703
& p903 )
| <.> ( p703
& p1003 )
| <.> ( p703
& p1103 )
| <.> ( p703
& p1203 )
| <.> ( p703
& p1303 )
| <.> ( p703
& p1403 )
| <.> ( p803
& p903 )
| <.> ( p803
& p1003 )
| <.> ( p803
& p1103 )
| <.> ( p803
& p1203 )
| <.> ( p803
& p1303 )
| <.> ( p803
& p1403 )
| <.> ( p903
& p1003 )
| <.> ( p903
& p1103 )
| <.> ( p903
& p1203 )
| <.> ( p903
& p1303 )
| <.> ( p903
& p1403 )
| <.> ( p1003
& p1103 )
| <.> ( p1003
& p1203 )
| <.> ( p1003
& p1303 )
| <.> ( p1003
& p1403 )
| <.> ( p1103
& p1203 )
| <.> ( p1103
& p1303 )
| <.> ( p1103
& p1403 )
| <.> ( p1203
& p1303 )
| <.> ( p1203
& p1403 )
| <.> ( p1303
& p1403 )
| <.> ( [.] 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 )
| <.> ( [.] p204
& [.] p304 )
| <.> ( [.] p204
& p404 )
| <.> ( [.] p204
& p504 )
| <.> ( [.] p204
& p604 )
| <.> ( [.] p204
& p704 )
| <.> ( [.] p204
& p804 )
| <.> ( [.] p204
& p904 )
| <.> ( [.] p204
& p1004 )
| <.> ( [.] p204
& p1104 )
| <.> ( [.] p204
& p1204 )
| <.> ( [.] p204
& p1304 )
| <.> ( [.] p204
& p1404 )
| <.> ( [.] p304
& p404 )
| <.> ( [.] p304
& p504 )
| <.> ( [.] p304
& p604 )
| <.> ( [.] p304
& p704 )
| <.> ( [.] p304
& p804 )
| <.> ( [.] p304
& p904 )
| <.> ( [.] p304
& p1004 )
| <.> ( [.] p304
& p1104 )
| <.> ( [.] p304
& p1204 )
| <.> ( [.] p304
& p1304 )
| <.> ( [.] p304
& p1404 )
| <.> ( p404
& p504 )
| <.> ( p404
& p604 )
| <.> ( p404
& p704 )
| <.> ( p404
& p804 )
| <.> ( p404
& p904 )
| <.> ( p404
& p1004 )
| <.> ( p404
& p1104 )
| <.> ( p404
& p1204 )
| <.> ( p404
& p1304 )
| <.> ( p404
& p1404 )
| <.> ( p504
& p604 )
| <.> ( p504
& p704 )
| <.> ( p504
& p804 )
| <.> ( p504
& p904 )
| <.> ( p504
& p1004 )
| <.> ( p504
& p1104 )
| <.> ( p504
& p1204 )
| <.> ( p504
& p1304 )
| <.> ( p504
& p1404 )
| <.> ( p604
& p704 )
| <.> ( p604
& p804 )
| <.> ( p604
& p904 )
| <.> ( p604
& p1004 )
| <.> ( p604
& p1104 )
| <.> ( p604
& p1204 )
| <.> ( p604
& p1304 )
| <.> ( p604
& p1404 )
| <.> ( p704
& p804 )
| <.> ( p704
& p904 )
| <.> ( p704
& p1004 )
| <.> ( p704
& p1104 )
| <.> ( p704
& p1204 )
| <.> ( p704
& p1304 )
| <.> ( p704
& p1404 )
| <.> ( p804
& p904 )
| <.> ( p804
& p1004 )
| <.> ( p804
& p1104 )
| <.> ( p804
& p1204 )
| <.> ( p804
& p1304 )
| <.> ( p804
& p1404 )
| <.> ( p904
& p1004 )
| <.> ( p904
& p1104 )
| <.> ( p904
& p1204 )
| <.> ( p904
& p1304 )
| <.> ( p904
& p1404 )
| <.> ( p1004
& p1104 )
| <.> ( p1004
& p1204 )
| <.> ( p1004
& p1304 )
| <.> ( p1004
& p1404 )
| <.> ( p1104
& p1204 )
| <.> ( p1104
& p1304 )
| <.> ( p1104
& p1404 )
| <.> ( p1204
& p1304 )
| <.> ( p1204
& p1404 )
| <.> ( p1304
& p1404 )
| <.> ( [.] 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 )
| <.> ( [.] p205
& [.] p305 )
| <.> ( [.] p205
& [.] p405 )
| <.> ( [.] p205
& p505 )
| <.> ( [.] p205
& p605 )
| <.> ( [.] p205
& p705 )
| <.> ( [.] p205
& p805 )
| <.> ( [.] p205
& p905 )
| <.> ( [.] p205
& p1005 )
| <.> ( [.] p205
& p1105 )
| <.> ( [.] p205
& p1205 )
| <.> ( [.] p205
& p1305 )
| <.> ( [.] p205
& p1405 )
| <.> ( [.] p305
& [.] p405 )
| <.> ( [.] p305
& p505 )
| <.> ( [.] p305
& p605 )
| <.> ( [.] p305
& p705 )
| <.> ( [.] p305
& p805 )
| <.> ( [.] p305
& p905 )
| <.> ( [.] p305
& p1005 )
| <.> ( [.] p305
& p1105 )
| <.> ( [.] p305
& p1205 )
| <.> ( [.] p305
& p1305 )
| <.> ( [.] p305
& p1405 )
| <.> ( [.] p405
& p505 )
| <.> ( [.] p405
& p605 )
| <.> ( [.] p405
& p705 )
| <.> ( [.] p405
& p805 )
| <.> ( [.] p405
& p905 )
| <.> ( [.] p405
& p1005 )
| <.> ( [.] p405
& p1105 )
| <.> ( [.] p405
& p1205 )
| <.> ( [.] p405
& p1305 )
| <.> ( [.] p405
& p1405 )
| <.> ( p505
& p605 )
| <.> ( p505
& p705 )
| <.> ( p505
& p805 )
| <.> ( p505
& p905 )
| <.> ( p505
& p1005 )
| <.> ( p505
& p1105 )
| <.> ( p505
& p1205 )
| <.> ( p505
& p1305 )
| <.> ( p505
& p1405 )
| <.> ( p605
& p705 )
| <.> ( p605
& p805 )
| <.> ( p605
& p905 )
| <.> ( p605
& p1005 )
| <.> ( p605
& p1105 )
| <.> ( p605
& p1205 )
| <.> ( p605
& p1305 )
| <.> ( p605
& p1405 )
| <.> ( p705
& p805 )
| <.> ( p705
& p905 )
| <.> ( p705
& p1005 )
| <.> ( p705
& p1105 )
| <.> ( p705
& p1205 )
| <.> ( p705
& p1305 )
| <.> ( p705
& p1405 )
| <.> ( p805
& p905 )
| <.> ( p805
& p1005 )
| <.> ( p805
& p1105 )
| <.> ( p805
& p1205 )
| <.> ( p805
& p1305 )
| <.> ( p805
& p1405 )
| <.> ( p905
& p1005 )
| <.> ( p905
& p1105 )
| <.> ( p905
& p1205 )
| <.> ( p905
& p1305 )
| <.> ( p905
& p1405 )
| <.> ( p1005
& p1105 )
| <.> ( p1005
& p1205 )
| <.> ( p1005
& p1305 )
| <.> ( p1005
& p1405 )
| <.> ( p1105
& p1205 )
| <.> ( p1105
& p1305 )
| <.> ( p1105
& p1405 )
| <.> ( p1205
& p1305 )
| <.> ( p1205
& p1405 )
| <.> ( p1305
& p1405 )
| <.> ( [.] 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 )
| <.> ( [.] p206
& [.] p306 )
| <.> ( [.] p206
& [.] p406 )
| <.> ( [.] p206
& [.] p506 )
| <.> ( [.] p206
& p606 )
| <.> ( [.] p206
& p706 )
| <.> ( [.] p206
& p806 )
| <.> ( [.] p206
& p906 )
| <.> ( [.] p206
& p1006 )
| <.> ( [.] p206
& p1106 )
| <.> ( [.] p206
& p1206 )
| <.> ( [.] p206
& p1306 )
| <.> ( [.] p206
& p1406 )
| <.> ( [.] p306
& [.] p406 )
| <.> ( [.] p306
& [.] p506 )
| <.> ( [.] p306
& p606 )
| <.> ( [.] p306
& p706 )
| <.> ( [.] p306
& p806 )
| <.> ( [.] p306
& p906 )
| <.> ( [.] p306
& p1006 )
| <.> ( [.] p306
& p1106 )
| <.> ( [.] p306
& p1206 )
| <.> ( [.] p306
& p1306 )
| <.> ( [.] p306
& p1406 )
| <.> ( [.] p406
& [.] p506 )
| <.> ( [.] p406
& p606 )
| <.> ( [.] p406
& p706 )
| <.> ( [.] p406
& p806 )
| <.> ( [.] p406
& p906 )
| <.> ( [.] p406
& p1006 )
| <.> ( [.] p406
& p1106 )
| <.> ( [.] p406
& p1206 )
| <.> ( [.] p406
& p1306 )
| <.> ( [.] p406
& p1406 )
| <.> ( [.] p506
& p606 )
| <.> ( [.] p506
& p706 )
| <.> ( [.] p506
& p806 )
| <.> ( [.] p506
& p906 )
| <.> ( [.] p506
& p1006 )
| <.> ( [.] p506
& p1106 )
| <.> ( [.] p506
& p1206 )
| <.> ( [.] p506
& p1306 )
| <.> ( [.] p506
& p1406 )
| <.> ( p606
& p706 )
| <.> ( p606
& p806 )
| <.> ( p606
& p906 )
| <.> ( p606
& p1006 )
| <.> ( p606
& p1106 )
| <.> ( p606
& p1206 )
| <.> ( p606
& p1306 )
| <.> ( p606
& p1406 )
| <.> ( p706
& p806 )
| <.> ( p706
& p906 )
| <.> ( p706
& p1006 )
| <.> ( p706
& p1106 )
| <.> ( p706
& p1206 )
| <.> ( p706
& p1306 )
| <.> ( p706
& p1406 )
| <.> ( p806
& p906 )
| <.> ( p806
& p1006 )
| <.> ( p806
& p1106 )
| <.> ( p806
& p1206 )
| <.> ( p806
& p1306 )
| <.> ( p806
& p1406 )
| <.> ( p906
& p1006 )
| <.> ( p906
& p1106 )
| <.> ( p906
& p1206 )
| <.> ( p906
& p1306 )
| <.> ( p906
& p1406 )
| <.> ( p1006
& p1106 )
| <.> ( p1006
& p1206 )
| <.> ( p1006
& p1306 )
| <.> ( p1006
& p1406 )
| <.> ( p1106
& p1206 )
| <.> ( p1106
& p1306 )
| <.> ( p1106
& p1406 )
| <.> ( p1206
& p1306 )
| <.> ( p1206
& p1406 )
| <.> ( p1306
& p1406 )
| <.> ( [.] 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 )
| <.> ( [.] p207
& [.] p307 )
| <.> ( [.] p207
& [.] p407 )
| <.> ( [.] p207
& [.] p507 )
| <.> ( [.] p207
& [.] p607 )
| <.> ( [.] p207
& p707 )
| <.> ( [.] p207
& p807 )
| <.> ( [.] p207
& p907 )
| <.> ( [.] p207
& p1007 )
| <.> ( [.] p207
& p1107 )
| <.> ( [.] p207
& p1207 )
| <.> ( [.] p207
& p1307 )
| <.> ( [.] p207
& p1407 )
| <.> ( [.] p307
& [.] p407 )
| <.> ( [.] p307
& [.] p507 )
| <.> ( [.] p307
& [.] p607 )
| <.> ( [.] p307
& p707 )
| <.> ( [.] p307
& p807 )
| <.> ( [.] p307
& p907 )
| <.> ( [.] p307
& p1007 )
| <.> ( [.] p307
& p1107 )
| <.> ( [.] p307
& p1207 )
| <.> ( [.] p307
& p1307 )
| <.> ( [.] p307
& p1407 )
| <.> ( [.] p407
& [.] p507 )
| <.> ( [.] p407
& [.] p607 )
| <.> ( [.] p407
& p707 )
| <.> ( [.] p407
& p807 )
| <.> ( [.] p407
& p907 )
| <.> ( [.] p407
& p1007 )
| <.> ( [.] p407
& p1107 )
| <.> ( [.] p407
& p1207 )
| <.> ( [.] p407
& p1307 )
| <.> ( [.] p407
& p1407 )
| <.> ( [.] p507
& [.] p607 )
| <.> ( [.] p507
& p707 )
| <.> ( [.] p507
& p807 )
| <.> ( [.] p507
& p907 )
| <.> ( [.] p507
& p1007 )
| <.> ( [.] p507
& p1107 )
| <.> ( [.] p507
& p1207 )
| <.> ( [.] p507
& p1307 )
| <.> ( [.] p507
& p1407 )
| <.> ( [.] p607
& p707 )
| <.> ( [.] p607
& p807 )
| <.> ( [.] p607
& p907 )
| <.> ( [.] p607
& p1007 )
| <.> ( [.] p607
& p1107 )
| <.> ( [.] p607
& p1207 )
| <.> ( [.] p607
& p1307 )
| <.> ( [.] p607
& p1407 )
| <.> ( p707
& p807 )
| <.> ( p707
& p907 )
| <.> ( p707
& p1007 )
| <.> ( p707
& p1107 )
| <.> ( p707
& p1207 )
| <.> ( p707
& p1307 )
| <.> ( p707
& p1407 )
| <.> ( p807
& p907 )
| <.> ( p807
& p1007 )
| <.> ( p807
& p1107 )
| <.> ( p807
& p1207 )
| <.> ( p807
& p1307 )
| <.> ( p807
& p1407 )
| <.> ( p907
& p1007 )
| <.> ( p907
& p1107 )
| <.> ( p907
& p1207 )
| <.> ( p907
& p1307 )
| <.> ( p907
& p1407 )
| <.> ( p1007
& p1107 )
| <.> ( p1007
& p1207 )
| <.> ( p1007
& p1307 )
| <.> ( p1007
& p1407 )
| <.> ( p1107
& p1207 )
| <.> ( p1107
& p1307 )
| <.> ( p1107
& p1407 )
| <.> ( p1207
& p1307 )
| <.> ( p1207
& p1407 )
| <.> ( p1307
& p1407 )
| <.> ( [.] 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 )
| <.> ( [.] p208
& [.] p308 )
| <.> ( [.] p208
& [.] p408 )
| <.> ( [.] p208
& [.] p508 )
| <.> ( [.] p208
& [.] p608 )
| <.> ( [.] p208
& [.] p708 )
| <.> ( [.] p208
& p808 )
| <.> ( [.] p208
& p908 )
| <.> ( [.] p208
& p1008 )
| <.> ( [.] p208
& p1108 )
| <.> ( [.] p208
& p1208 )
| <.> ( [.] p208
& p1308 )
| <.> ( [.] p208
& p1408 )
| <.> ( [.] p308
& [.] p408 )
| <.> ( [.] p308
& [.] p508 )
| <.> ( [.] p308
& [.] p608 )
| <.> ( [.] p308
& [.] p708 )
| <.> ( [.] p308
& p808 )
| <.> ( [.] p308
& p908 )
| <.> ( [.] p308
& p1008 )
| <.> ( [.] p308
& p1108 )
| <.> ( [.] p308
& p1208 )
| <.> ( [.] p308
& p1308 )
| <.> ( [.] p308
& p1408 )
| <.> ( [.] p408
& [.] p508 )
| <.> ( [.] p408
& [.] p608 )
| <.> ( [.] p408
& [.] p708 )
| <.> ( [.] p408
& p808 )
| <.> ( [.] p408
& p908 )
| <.> ( [.] p408
& p1008 )
| <.> ( [.] p408
& p1108 )
| <.> ( [.] p408
& p1208 )
| <.> ( [.] p408
& p1308 )
| <.> ( [.] p408
& p1408 )
| <.> ( [.] p508
& [.] p608 )
| <.> ( [.] p508
& [.] p708 )
| <.> ( [.] p508
& p808 )
| <.> ( [.] p508
& p908 )
| <.> ( [.] p508
& p1008 )
| <.> ( [.] p508
& p1108 )
| <.> ( [.] p508
& p1208 )
| <.> ( [.] p508
& p1308 )
| <.> ( [.] p508
& p1408 )
| <.> ( [.] p608
& [.] p708 )
| <.> ( [.] p608
& p808 )
| <.> ( [.] p608
& p908 )
| <.> ( [.] p608
& p1008 )
| <.> ( [.] p608
& p1108 )
| <.> ( [.] p608
& p1208 )
| <.> ( [.] p608
& p1308 )
| <.> ( [.] p608
& p1408 )
| <.> ( [.] p708
& p808 )
| <.> ( [.] p708
& p908 )
| <.> ( [.] p708
& p1008 )
| <.> ( [.] p708
& p1108 )
| <.> ( [.] p708
& p1208 )
| <.> ( [.] p708
& p1308 )
| <.> ( [.] p708
& p1408 )
| <.> ( p808
& p908 )
| <.> ( p808
& p1008 )
| <.> ( p808
& p1108 )
| <.> ( p808
& p1208 )
| <.> ( p808
& p1308 )
| <.> ( p808
& p1408 )
| <.> ( p908
& p1008 )
| <.> ( p908
& p1108 )
| <.> ( p908
& p1208 )
| <.> ( p908
& p1308 )
| <.> ( p908
& p1408 )
| <.> ( p1008
& p1108 )
| <.> ( p1008
& p1208 )
| <.> ( p1008
& p1308 )
| <.> ( p1008
& p1408 )
| <.> ( p1108
& p1208 )
| <.> ( p1108
& p1308 )
| <.> ( p1108
& p1408 )
| <.> ( p1208
& p1308 )
| <.> ( p1208
& p1408 )
| <.> ( p1308
& p1408 )
| <.> ( [.] 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 )
| <.> ( [.] p209
& [.] p309 )
| <.> ( [.] p209
& [.] p409 )
| <.> ( [.] p209
& [.] p509 )
| <.> ( [.] p209
& [.] p609 )
| <.> ( [.] p209
& [.] p709 )
| <.> ( [.] p209
& [.] p809 )
| <.> ( [.] p209
& ~ p909 )
| <.> ( [.] p209
& p1009 )
| <.> ( [.] p209
& p1109 )
| <.> ( [.] p209
& p1209 )
| <.> ( [.] p209
& p1309 )
| <.> ( [.] p209
& p1409 )
| <.> ( [.] p309
& [.] p409 )
| <.> ( [.] p309
& [.] p509 )
| <.> ( [.] p309
& [.] p609 )
| <.> ( [.] p309
& [.] p709 )
| <.> ( [.] p309
& [.] p809 )
| <.> ( [.] p309
& ~ p909 )
| <.> ( [.] p309
& p1009 )
| <.> ( [.] p309
& p1109 )
| <.> ( [.] p309
& p1209 )
| <.> ( [.] p309
& p1309 )
| <.> ( [.] p309
& p1409 )
| <.> ( [.] p409
& [.] p509 )
| <.> ( [.] p409
& [.] p609 )
| <.> ( [.] p409
& [.] p709 )
| <.> ( [.] p409
& [.] p809 )
| <.> ( [.] p409
& ~ p909 )
| <.> ( [.] p409
& p1009 )
| <.> ( [.] p409
& p1109 )
| <.> ( [.] p409
& p1209 )
| <.> ( [.] p409
& p1309 )
| <.> ( [.] p409
& p1409 )
| <.> ( [.] p509
& [.] p609 )
| <.> ( [.] p509
& [.] p709 )
| <.> ( [.] p509
& [.] p809 )
| <.> ( [.] p509
& ~ p909 )
| <.> ( [.] p509
& p1009 )
| <.> ( [.] p509
& p1109 )
| <.> ( [.] p509
& p1209 )
| <.> ( [.] p509
& p1309 )
| <.> ( [.] p509
& p1409 )
| <.> ( [.] p609
& [.] p709 )
| <.> ( [.] p609
& [.] p809 )
| <.> ( [.] p609
& ~ p909 )
| <.> ( [.] p609
& p1009 )
| <.> ( [.] p609
& p1109 )
| <.> ( [.] p609
& p1209 )
| <.> ( [.] p609
& p1309 )
| <.> ( [.] p609
& p1409 )
| <.> ( [.] p709
& [.] p809 )
| <.> ( [.] p709
& ~ p909 )
| <.> ( [.] p709
& p1009 )
| <.> ( [.] p709
& p1109 )
| <.> ( [.] p709
& p1209 )
| <.> ( [.] p709
& p1309 )
| <.> ( [.] p709
& p1409 )
| <.> ( [.] p809
& ~ p909 )
| <.> ( [.] p809
& p1009 )
| <.> ( [.] p809
& p1109 )
| <.> ( [.] p809
& p1209 )
| <.> ( [.] p809
& p1309 )
| <.> ( [.] p809
& p1409 )
| <.> ( ~ p909
& p1009 )
| <.> ( ~ p909
& p1109 )
| <.> ( ~ p909
& p1209 )
| <.> ( ~ p909
& p1309 )
| <.> ( ~ p909
& p1409 )
| <.> ( p1009
& p1109 )
| <.> ( p1009
& p1209 )
| <.> ( p1009
& p1309 )
| <.> ( p1009
& p1409 )
| <.> ( p1109
& p1209 )
| <.> ( p1109
& p1309 )
| <.> ( p1109
& p1409 )
| <.> ( p1209
& p1309 )
| <.> ( p1209
& p1409 )
| <.> ( p1309
& p1409 )
| <.> ( [.] 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 )
| <.> ( [.] p210
& [.] p310 )
| <.> ( [.] p210
& [.] p410 )
| <.> ( [.] p210
& [.] p510 )
| <.> ( [.] p210
& [.] p610 )
| <.> ( [.] p210
& [.] p710 )
| <.> ( [.] p210
& [.] p810 )
| <.> ( [.] p210
& [.] p910 )
| <.> ( [.] p210
& p1010 )
| <.> ( [.] p210
& p1110 )
| <.> ( [.] p210
& p1210 )
| <.> ( [.] p210
& p1310 )
| <.> ( [.] p210
& p1410 )
| <.> ( [.] p310
& [.] p410 )
| <.> ( [.] p310
& [.] p510 )
| <.> ( [.] p310
& [.] p610 )
| <.> ( [.] p310
& [.] p710 )
| <.> ( [.] p310
& [.] p810 )
| <.> ( [.] p310
& [.] p910 )
| <.> ( [.] p310
& p1010 )
| <.> ( [.] p310
& p1110 )
| <.> ( [.] p310
& p1210 )
| <.> ( [.] p310
& p1310 )
| <.> ( [.] p310
& p1410 )
| <.> ( [.] p410
& [.] p510 )
| <.> ( [.] p410
& [.] p610 )
| <.> ( [.] p410
& [.] p710 )
| <.> ( [.] p410
& [.] p810 )
| <.> ( [.] p410
& [.] p910 )
| <.> ( [.] p410
& p1010 )
| <.> ( [.] p410
& p1110 )
| <.> ( [.] p410
& p1210 )
| <.> ( [.] p410
& p1310 )
| <.> ( [.] p410
& p1410 )
| <.> ( [.] p510
& [.] p610 )
| <.> ( [.] p510
& [.] p710 )
| <.> ( [.] p510
& [.] p810 )
| <.> ( [.] p510
& [.] p910 )
| <.> ( [.] p510
& p1010 )
| <.> ( [.] p510
& p1110 )
| <.> ( [.] p510
& p1210 )
| <.> ( [.] p510
& p1310 )
| <.> ( [.] p510
& p1410 )
| <.> ( [.] p610
& [.] p710 )
| <.> ( [.] p610
& [.] p810 )
| <.> ( [.] p610
& [.] p910 )
| <.> ( [.] p610
& p1010 )
| <.> ( [.] p610
& p1110 )
| <.> ( [.] p610
& p1210 )
| <.> ( [.] p610
& p1310 )
| <.> ( [.] p610
& p1410 )
| <.> ( [.] p710
& [.] p810 )
| <.> ( [.] p710
& [.] p910 )
| <.> ( [.] p710
& p1010 )
| <.> ( [.] p710
& p1110 )
| <.> ( [.] p710
& p1210 )
| <.> ( [.] p710
& p1310 )
| <.> ( [.] p710
& p1410 )
| <.> ( [.] p810
& [.] p910 )
| <.> ( [.] p810
& p1010 )
| <.> ( [.] p810
& p1110 )
| <.> ( [.] p810
& p1210 )
| <.> ( [.] p810
& p1310 )
| <.> ( [.] p810
& p1410 )
| <.> ( [.] p910
& p1010 )
| <.> ( [.] p910
& p1110 )
| <.> ( [.] p910
& p1210 )
| <.> ( [.] p910
& p1310 )
| <.> ( [.] p910
& p1410 )
| <.> ( p1010
& p1110 )
| <.> ( p1010
& p1210 )
| <.> ( p1010
& p1310 )
| <.> ( p1010
& p1410 )
| <.> ( p1110
& p1210 )
| <.> ( p1110
& p1310 )
| <.> ( p1110
& p1410 )
| <.> ( p1210
& p1310 )
| <.> ( p1210
& p1410 )
| <.> ( p1310
& p1410 )
| <.> ( [.] 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 )
| <.> ( [.] p211
& [.] p311 )
| <.> ( [.] p211
& [.] p411 )
| <.> ( [.] p211
& [.] p511 )
| <.> ( [.] p211
& [.] p611 )
| <.> ( [.] p211
& [.] p711 )
| <.> ( [.] p211
& [.] p811 )
| <.> ( [.] p211
& [.] p911 )
| <.> ( [.] p211
& [.] p1011 )
| <.> ( [.] p211
& p1111 )
| <.> ( [.] p211
& p1211 )
| <.> ( [.] p211
& p1311 )
| <.> ( [.] p211
& p1411 )
| <.> ( [.] p311
& [.] p411 )
| <.> ( [.] p311
& [.] p511 )
| <.> ( [.] p311
& [.] p611 )
| <.> ( [.] p311
& [.] p711 )
| <.> ( [.] p311
& [.] p811 )
| <.> ( [.] p311
& [.] p911 )
| <.> ( [.] p311
& [.] p1011 )
| <.> ( [.] p311
& p1111 )
| <.> ( [.] p311
& p1211 )
| <.> ( [.] p311
& p1311 )
| <.> ( [.] p311
& p1411 )
| <.> ( [.] p411
& [.] p511 )
| <.> ( [.] p411
& [.] p611 )
| <.> ( [.] p411
& [.] p711 )
| <.> ( [.] p411
& [.] p811 )
| <.> ( [.] p411
& [.] p911 )
| <.> ( [.] p411
& [.] p1011 )
| <.> ( [.] p411
& p1111 )
| <.> ( [.] p411
& p1211 )
| <.> ( [.] p411
& p1311 )
| <.> ( [.] p411
& p1411 )
| <.> ( [.] p511
& [.] p611 )
| <.> ( [.] p511
& [.] p711 )
| <.> ( [.] p511
& [.] p811 )
| <.> ( [.] p511
& [.] p911 )
| <.> ( [.] p511
& [.] p1011 )
| <.> ( [.] p511
& p1111 )
| <.> ( [.] p511
& p1211 )
| <.> ( [.] p511
& p1311 )
| <.> ( [.] p511
& p1411 )
| <.> ( [.] p611
& [.] p711 )
| <.> ( [.] p611
& [.] p811 )
| <.> ( [.] p611
& [.] p911 )
| <.> ( [.] p611
& [.] p1011 )
| <.> ( [.] p611
& p1111 )
| <.> ( [.] p611
& p1211 )
| <.> ( [.] p611
& p1311 )
| <.> ( [.] p611
& p1411 )
| <.> ( [.] p711
& [.] p811 )
| <.> ( [.] p711
& [.] p911 )
| <.> ( [.] p711
& [.] p1011 )
| <.> ( [.] p711
& p1111 )
| <.> ( [.] p711
& p1211 )
| <.> ( [.] p711
& p1311 )
| <.> ( [.] p711
& p1411 )
| <.> ( [.] p811
& [.] p911 )
| <.> ( [.] p811
& [.] p1011 )
| <.> ( [.] p811
& p1111 )
| <.> ( [.] p811
& p1211 )
| <.> ( [.] p811
& p1311 )
| <.> ( [.] p811
& p1411 )
| <.> ( [.] p911
& [.] p1011 )
| <.> ( [.] p911
& p1111 )
| <.> ( [.] p911
& p1211 )
| <.> ( [.] p911
& p1311 )
| <.> ( [.] p911
& p1411 )
| <.> ( [.] p1011
& p1111 )
| <.> ( [.] p1011
& p1211 )
| <.> ( [.] p1011
& p1311 )
| <.> ( [.] p1011
& p1411 )
| <.> ( p1111
& p1211 )
| <.> ( p1111
& p1311 )
| <.> ( p1111
& p1411 )
| <.> ( p1211
& p1311 )
| <.> ( p1211
& p1411 )
| <.> ( p1311
& p1411 )
| <.> ( [.] 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 )
| <.> ( [.] p212
& [.] p312 )
| <.> ( [.] p212
& [.] p412 )
| <.> ( [.] p212
& [.] p512 )
| <.> ( [.] p212
& [.] p612 )
| <.> ( [.] p212
& [.] p712 )
| <.> ( [.] p212
& [.] p812 )
| <.> ( [.] p212
& [.] p912 )
| <.> ( [.] p212
& [.] p1012 )
| <.> ( [.] p212
& [.] p1112 )
| <.> ( [.] p212
& p1212 )
| <.> ( [.] p212
& p1312 )
| <.> ( [.] p212
& p1412 )
| <.> ( [.] p312
& [.] p412 )
| <.> ( [.] p312
& [.] p512 )
| <.> ( [.] p312
& [.] p612 )
| <.> ( [.] p312
& [.] p712 )
| <.> ( [.] p312
& [.] p812 )
| <.> ( [.] p312
& [.] p912 )
| <.> ( [.] p312
& [.] p1012 )
| <.> ( [.] p312
& [.] p1112 )
| <.> ( [.] p312
& p1212 )
| <.> ( [.] p312
& p1312 )
| <.> ( [.] p312
& p1412 )
| <.> ( [.] p412
& [.] p512 )
| <.> ( [.] p412
& [.] p612 )
| <.> ( [.] p412
& [.] p712 )
| <.> ( [.] p412
& [.] p812 )
| <.> ( [.] p412
& [.] p912 )
| <.> ( [.] p412
& [.] p1012 )
| <.> ( [.] p412
& [.] p1112 )
| <.> ( [.] p412
& p1212 )
| <.> ( [.] p412
& p1312 )
| <.> ( [.] p412
& p1412 )
| <.> ( [.] p512
& [.] p612 )
| <.> ( [.] p512
& [.] p712 )
| <.> ( [.] p512
& [.] p812 )
| <.> ( [.] p512
& [.] p912 )
| <.> ( [.] p512
& [.] p1012 )
| <.> ( [.] p512
& [.] p1112 )
| <.> ( [.] p512
& p1212 )
| <.> ( [.] p512
& p1312 )
| <.> ( [.] p512
& p1412 )
| <.> ( [.] p612
& [.] p712 )
| <.> ( [.] p612
& [.] p812 )
| <.> ( [.] p612
& [.] p912 )
| <.> ( [.] p612
& [.] p1012 )
| <.> ( [.] p612
& [.] p1112 )
| <.> ( [.] p612
& p1212 )
| <.> ( [.] p612
& p1312 )
| <.> ( [.] p612
& p1412 )
| <.> ( [.] p712
& [.] p812 )
| <.> ( [.] p712
& [.] p912 )
| <.> ( [.] p712
& [.] p1012 )
| <.> ( [.] p712
& [.] p1112 )
| <.> ( [.] p712
& p1212 )
| <.> ( [.] p712
& p1312 )
| <.> ( [.] p712
& p1412 )
| <.> ( [.] p812
& [.] p912 )
| <.> ( [.] p812
& [.] p1012 )
| <.> ( [.] p812
& [.] p1112 )
| <.> ( [.] p812
& p1212 )
| <.> ( [.] p812
& p1312 )
| <.> ( [.] p812
& p1412 )
| <.> ( [.] p912
& [.] p1012 )
| <.> ( [.] p912
& [.] p1112 )
| <.> ( [.] p912
& p1212 )
| <.> ( [.] p912
& p1312 )
| <.> ( [.] p912
& p1412 )
| <.> ( [.] p1012
& [.] p1112 )
| <.> ( [.] p1012
& p1212 )
| <.> ( [.] p1012
& p1312 )
| <.> ( [.] p1012
& p1412 )
| <.> ( [.] p1112
& p1212 )
| <.> ( [.] p1112
& p1312 )
| <.> ( [.] p1112
& p1412 )
| <.> ( p1212
& p1312 )
| <.> ( p1212
& p1412 )
| <.> ( p1312
& p1412 )
| <.> ( [.] 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 )
| <.> ( [.] p213
& [.] p313 )
| <.> ( [.] p213
& [.] p413 )
| <.> ( [.] p213
& [.] p513 )
| <.> ( [.] p213
& [.] p613 )
| <.> ( [.] p213
& [.] p713 )
| <.> ( [.] p213
& [.] p813 )
| <.> ( [.] p213
& [.] p913 )
| <.> ( [.] p213
& [.] p1013 )
| <.> ( [.] p213
& [.] p1113 )
| <.> ( [.] p213
& [.] p1213 )
| <.> ( [.] p213
& p1313 )
| <.> ( [.] p213
& p1413 )
| <.> ( [.] p313
& [.] p413 )
| <.> ( [.] p313
& [.] p513 )
| <.> ( [.] p313
& [.] p613 )
| <.> ( [.] p313
& [.] p713 )
| <.> ( [.] p313
& [.] p813 )
| <.> ( [.] p313
& [.] p913 )
| <.> ( [.] p313
& [.] p1013 )
| <.> ( [.] p313
& [.] p1113 )
| <.> ( [.] p313
& [.] p1213 )
| <.> ( [.] p313
& p1313 )
| <.> ( [.] p313
& p1413 )
| <.> ( [.] p413
& [.] p513 )
| <.> ( [.] p413
& [.] p613 )
| <.> ( [.] p413
& [.] p713 )
| <.> ( [.] p413
& [.] p813 )
| <.> ( [.] p413
& [.] p913 )
| <.> ( [.] p413
& [.] p1013 )
| <.> ( [.] p413
& [.] p1113 )
| <.> ( [.] p413
& [.] p1213 )
| <.> ( [.] p413
& p1313 )
| <.> ( [.] p413
& p1413 )
| <.> ( [.] p513
& [.] p613 )
| <.> ( [.] p513
& [.] p713 )
| <.> ( [.] p513
& [.] p813 )
| <.> ( [.] p513
& [.] p913 )
| <.> ( [.] p513
& [.] p1013 )
| <.> ( [.] p513
& [.] p1113 )
| <.> ( [.] p513
& [.] p1213 )
| <.> ( [.] p513
& p1313 )
| <.> ( [.] p513
& p1413 )
| <.> ( [.] p613
& [.] p713 )
| <.> ( [.] p613
& [.] p813 )
| <.> ( [.] p613
& [.] p913 )
| <.> ( [.] p613
& [.] p1013 )
| <.> ( [.] p613
& [.] p1113 )
| <.> ( [.] p613
& [.] p1213 )
| <.> ( [.] p613
& p1313 )
| <.> ( [.] p613
& p1413 )
| <.> ( [.] p713
& [.] p813 )
| <.> ( [.] p713
& [.] p913 )
| <.> ( [.] p713
& [.] p1013 )
| <.> ( [.] p713
& [.] p1113 )
| <.> ( [.] p713
& [.] p1213 )
| <.> ( [.] p713
& p1313 )
| <.> ( [.] p713
& p1413 )
| <.> ( [.] p813
& [.] p913 )
| <.> ( [.] p813
& [.] p1013 )
| <.> ( [.] p813
& [.] p1113 )
| <.> ( [.] p813
& [.] p1213 )
| <.> ( [.] p813
& p1313 )
| <.> ( [.] p813
& p1413 )
| <.> ( [.] p913
& [.] p1013 )
| <.> ( [.] p913
& [.] p1113 )
| <.> ( [.] p913
& [.] p1213 )
| <.> ( [.] p913
& p1313 )
| <.> ( [.] p913
& p1413 )
| <.> ( [.] p1013
& [.] p1113 )
| <.> ( [.] p1013
& [.] p1213 )
| <.> ( [.] p1013
& p1313 )
| <.> ( [.] p1013
& p1413 )
| <.> ( [.] p1113
& [.] p1213 )
| <.> ( [.] p1113
& p1313 )
| <.> ( [.] p1113
& p1413 )
| <.> ( [.] p1213
& p1313 )
| <.> ( [.] p1213
& p1413 )
| <.> ( p1313
& p1413 ) ) ) ).
%------------------------------------------------------------------------------