shiyan3.fit

用verilog语言写的拔河游戏机

    OH4R1P10 : LORAX = "1:G47R1,V5C20,G4R2|2:PA17R2C8->LC6_C9|,2:PA17R2C20->LC7_C21|,2:RP21R2->EC8_C,->LC7_C21,->LC6_C9||";
    OH1R2P12 : LORAX = "1:G62R2|2:PA19R2C8->LC7_C9|,2:PA19R2C20->LC5_C21|,2:RP13R2->EC2_C,->LC5_C21,->LC7_C9||";
    OH2R2P13 : LORAX = "1:G46R2|2:PA8R2C8->LC1_C9|,2:PA4R2C20->LC1_C21|,2:RP8R2->EC7_C,->LC1_C21,->LC1_C9||";
    OH0R3P17 : LORAX = "1:G10R3,V3C23,G20R2|2:PA14R2C8->LC3_C9|,2:PA14R2C16->LC8_C17|,2:RP14R2->EC1_C,->LC8_C17,->LC3_C9||";
    OH1R3P18 : LORAX = "1:G36R3,V9C23,G25R2|2:PA0R2C11->LC8_C12|,2:PA0R2C16->LC3_C17|,2:RP0R2->EC5_C,->LC3_C17,->LC8_C12||";
    OH2R3P19 : LORAX = "1:G46R3,V9C22,G31R2|2:PA15R2C8->LC8_C9|,2:PA15R2C23->LC8_C24|,2:RP12R2->EC3_C,->LC8_C24,->LC8_C9||";
    OH3R3P20 : LORAX = "1:G37R3,V3C9|2:HHL12R2|3:PA3R2C8->LC2_C9|,3:RP3R2->EC6_C,->LC6_C24,->LC2_C9||,2:G34R2,PA4R2C23->LC6_C24||";
    OH11R2P92 : LORAX = "1:G42R2|2:PA17R2C21->LC8_C22|,2:PA14R2C22->LC2_C23,->LC5_C23,->LC4_C23,->LC1_C23||";
    OV3C2P72 : LORAX = "1:V18C2,HHL40R2,PA9R2C8->LC4_C9|";
    EC4_C   : LORAX = "1:RB3R2,G60R2,PA0R2C14->LC4_C15|";
    EC8_C   : LORAX = "1:RB7R2,G75R2,PA10R2C12->LC5_C13|";
    EC2_C   : LORAX = "1:RB1R2,G21R2,PA13R2C12->LC2_C13|";
    EC7_C   : LORAX = "1:RB6R2,G92R2,PA6R2C14->LC3_C15|";
    EC1_C   : LORAX = "1:RB0R2,G3R2,PA18R2C16->LC1_C17|";
    EC5_C   : LORAX = "1:RB4R2,G6R2,PA6R2C16->LC2_C17|";
    EC3_C   : LORAX = "1:RB2R2,G22R2,PA21R2C23->LC2_C24|";
    EC6_C   : LORAX = "1:RB5R2,G65R2,PA8R2C23->LC4_C24|";
    LC6_C13 : LORAX = "1:MSW5R2C12,G94R2,RP1R2->EC4_C,->EC8_C,->EC2_C,->EC7_C,->EC1_C,->EC5_C,->EC3_C,->EC6_C|";
    OH11R5P79 : LORAX = "1:G42R5,V4C15,HHR12R2|2:PA3R2C12->LC6_C13,->LC5_C13,->LC2_C13|,2:PA3R2C14->LC1_C15,->LC4_C15,->LC3_C15|,2:PA3R2C16->LC2_C17,->LC1_C17|,2:PA3R2C23->LC4_C24,->LC2_C24||";
    OH15R4P82 : LORAX = "1:G39R4,V5C12,HHR8R2|2:PA14R2C14->LC1_C15,->LC5_C15,->LC2_C15|,2:PA9R2C16->LC5_C17,->LC7_C17|,2:PA9R2C20->LC6_C21,->LC2_C21|,2:PA14R2C23->LC1_C24,->LC7_C24||";
    OH14R5P78 : LORAX = "1:G44R5,V10C13,G9R2|2:PA12R2C12->LC6_C13,->LC5_C13,->LC2_C13|,2:PA12R2C14->LC1_C15,->LC4_C15,->LC3_C15|,2:PA12R2C16->LC2_C17,->LC1_C17|,2:PA12R2C23->LC4_C24,->LC2_C24||";
    OD4P125 : LORAX = "1:FB4->LC8_C23,->LC3_C23|";
    OH12R2P91 : LORAX = "1:G40R2,PA19R2C22->LC8_C23,->LC3_C23|";
    LC8_C23 : LORAX = "1:|2:MSW7R2C22,V22C22,HHR25R0->OH7R0P8|3:PA3R0C16->LC3_A17||,2:MSW7R2C23,HHR47R2,PA2R2C21->LC4_C22||";
    LC3_C23 : LORAX = "1:MSW2R2C23|2:V7C23,G18R0->OH10R0P102,3:PA16R0C16->LC3_A17||,2:HHR15R2,PA0R2C21->LC4_C22||";
    LC4_C22 : LORAX = "1:MSW3R2C21,V11C21,HHR17R0|2:PA19R0C15->LC3_A16,->LC6_A16,->LC4_A16,->LC2_A16,->LC1_A16,->LC7_A16|,2:PA19R0C16->LC8_A17,->LC6_A17,->LC7_A17,->LC5_A17,->LC4_A17|,2:PA19R0C17->LC7_A18,->LC8_A18,->LC4_A18,->LC3_A18,->LC5_A18,->LC1_A18||";
    LC3_A17 : LORAX = "1:MSW2R0C16,HHR0R0|2:PA1R0C15->LC3_A16,->LC6_A16,->LC4_A16,->LC2_A16,->LC1_A16,->LC7_A16|,2:PA21R0C17->LC7_A18,->LC8_A18,->LC4_A18,->LC3_A18,->LC5_A18,->LC1_A18||";
    LC6_C23 : LORAX = "1:MSW5R2C22,V17C22,HHR42R0|2:PA7R0C15->LC3_A16,->LC6_A16,->LC4_A16,->LC2_A16,->LC1_A16,->LC7_A16|,2:PA7R0C16->LC8_A17,->LC6_A17,->LC7_A17,->LC5_A17|,2:PA7R0C17->LC7_A18,->LC8_A18,->LC4_A18,->LC3_A18,->LC5_A18,->LC1_A18||";
    LC7_C23 : LORAX = "1:MSW6R2C22,V20C22,HHR31R0|2:PA4R0C15->LC3_A16,->LC6_A16,->LC4_A16,->LC2_A16,->LC1_A16,->LC7_A16|,2:PA4R0C16->LC8_A17,->LC6_A17,->LC7_A17,->LC5_A17,->LC4_A17|,2:PA4R0C17->LC7_A18,->LC8_A18,->LC4_A18,->LC3_A18,->LC5_A18,->LC1_A18||";
    LC3_A16 : LORAX = "1:MSW2R0C15,HHR14R0|2:PA1R0C12->LC1_A13|,2:PA1R0C17->LC6_A18||";
    LC4_A16 : LORAX = "1:MSW3R0C15,G15R0|2:PA19R0C12->LC2_A13|,2:PA6R0C16->LC1_A17||";
    LC3_A18 : LORAX = "1:MSW2R0C17,HHR15R0,PA0R0C12->LC1_A13|";
    LC1_A13 : LORAX = "1:MSW0R0C13,V1C13->OV3C13P51|";
    LC2_A16 : LORAX = "1:MSW1R0C15,HHR12R0,PA3R0C12->LC1_A13,->LC2_A13|";
    LC1_A16 : LORAX = "1:MSW0R0C15,HHR19R0,PA17R0C12->LC2_A13|";
    LC2_A13 : LORAX = "1:MSW1R0C13,V4C13->OV2C13P49|";
    LC2_A18 : LORAX = "1:MSW1R0C17,HHR16R0,PA20R0C15->LC8_A16|";
    LC8_A16 : LORAX = "1:MSW4R0C14,V13C14->OV3C14P48|";
    LC7_A16 : LORAX = "1:MSW6R0C15,V19C15->OV3C15P47|";
    LC1_A17 : LORAX = "1:MSW0R0C16,V1C16->OV3C16P46|";
    LC4_A17 : LORAX = "1:MSW3R0C16,HHR7R0,PA15R0C17->LC2_A18|";
    LC2_A17 : LORAX = "1:MSW1R0C16,HHR5R0,PA17R0C17->LC6_A18|";
    LC6_A18 : LORAX = "1:MSW5R0C17,V16C17->OV3C17P44|";
    LC1_A18 : LORAX = "1:MSW0R0C17,V1C17->OV2C17P43|";
    OH13R4P83 : LORAX = "1:G14R4,V11C14,HHR6R2|2:PA16R2C14->LC1_C15,->LC5_C15,->LC2_C15|,2:PA16R2C16->LC5_C17,->LC7_C17|,2:PA16R2C20->LC6_C21,->LC2_C21|,2:PA7R2C23->LC1_C24,->LC7_C24||";
    OV3C0P73 : LORAX = "1:V18C0,G79R2,PA6R2C12->LC6_C13|";
    LC1_C22 : LORAX = "1:MSW0R2C21,G37R2|2:PA1R2C16->LC7_C17|,2:PA1R2C22->LC7_C23||";
    LC5_C22 : LORAX = "1:MSW4R2C21,HHR38R2|2:PA11R2C16->LC5_C17|,2:PA11R2C22->LC6_C23||";
    LC6_C22 : LORAX = "1:MSW5R2C21|2:V17C21,HHR33R0,PA2R0C16->LC3_A17|,2:HHR33R2,PA2R2C23->LC7_C24||";
    LC3_C22 : LORAX = "1:MSW2R2C21,G32R2,PA13R2C23->LC1_C24|";
    LC2_C23 : LORAX = "1:MSW1R2C22,G16R2,PA18R2C14->LC5_C15|";
    LC5_C23 : LORAX = "1:MSW4R2C22,HHR44R2,PA5R2C21->LC1_C22,->LC2_C22,->LC8_C22|";
    LC4_C23 : LORAX = "1:MSW3R2C22,HHR7R2,PA15R2C20->LC6_C21|";
    LC1_C23 : LORAX = "1:MSW0R2C22|2:V2C22,HHR18R0,PA18R0C16->LC3_A17|,2:HHR18R2|3:PA18R2C20->LC2_C21|,3:PA18R2C21->LC1_C22,->LC2_C22,->LC8_C22|||";
    LC8_C22 : LORAX = "1:MSW7R2C21,HHR27R2,PA8R2C14->LC2_C15|";
    LC4_C9  : LORAX = "1:MSW3R2C8,HHL6R2,PA16R2C11->LC8_C12|";
    LC6_D18 : LORAX = "1:|2:MSW5R3C17,V15C17,HHR39R2|3:PA10R2C16->LC8_C17,->LC3_C17|,3:PA10R2C23->LC8_C24,->LC6_C24||,2:MSW6R3C16,V19C16,HHR31R2,PA14R2C20->LC3_C21,->LC7_C21,->LC5_C21,->LC1_C21||";
    OH10R4P86 : LORAX = "1:G82R4,V23C22,G80R2|2:PA17R2C16->LC8_C17,->LC3_C17|,2:PA5R2C20->LC3_C21,->LC7_C21,->LC5_C21,->LC1_C21|,2:PA5R2C23->LC8_C24,->LC6_C24||";
    OH9R4P87 : LORAX = "1:G43R4,V11C17,G1R2|2:PA20R2C16->LC8_C17,->LC3_C17|,2:PA20R2C20->LC3_C21,->LC7_C21,->LC5_C21,->LC1_C21|,2:PA20R2C23->LC8_C24,->LC6_C24||";
    OH11R3P88 : LORAX = "1:G42R3,PA17R3C17->LC6_D18|";
    LC3_C21 : LORAX = "1:MSW2R2C20,G7R2,PA7R2C14->LC5_C15|";
    LC8_C21 : LORAX = "1:MSW7R2C20,HHR37R2,PA21R2C16->LC4_C17|";
    LC1_C21 : LORAX = "1:MSW0R2C20,HHR21R2|2:PA15R2C14->LC2_C15|,2:PA15R2C16->LC4_C17||";
    LC6_C17 : LORAX = "1:MSW5R2C16,HHR42R2,PA17R2C23->LC3_C24|";
    LC3_C17 : LORAX = "1:MSW2R2C16,HHR0R2,PA1R2C23->LC3_C24|";
    LC1_C15 : LORAX = "1:MSW0R2C14,V2C14,G40R3,OE3->OH3R3P20,->OH2R3P19,->OH1R3P18,->OH0R3P17,->OH2R2P13,->OH1R2P12,->OH4R1P10,->OH3R1P9|";
    LC4_C15 : LORAX = "1:MSW3R2C15,V11C15,HHR17R1->OH3R1P9|";
    LC6_C21 : LORAX = "1:MSW5R2C20,HHR45R2,PA4R2C12->LC5_C13|";
    LC5_C13 : LORAX = "1:MSW4R2C12,V14C12,HHR41R1->OH4R1P10|";
    LC2_C21 : LORAX = "1:MSW1R2C20,HHR2R2,PA20R2C12->LC2_C13|";
    LC2_C13 : LORAX = "1:MSW1R2C12,G19R2->OH1R2P12|";
    LC3_C15 : LORAX = "1:MSW2R2C14,HHR1R2->OH2R2P13|";
    LC4_C24 : LORAX = "1:MSW3R2C23,V11C23,HHR10R3->OH3R3P20|";
    LC2_C24 : LORAX = "1:MSW2R2C22,V8C22,HHR0R3->OH2R3P19|";
    LC2_C17 : LORAX = "1:MSW1R2C16,V5C16,HHR5R3->OH1R3P18|";
    LC1_C17 : LORAX = "1:MSW0R2C16,V2C16,HHR18R3->OH0R3P17|";
    LC2_C9  : LORAX = "1:MSW1R2C8|2:V5C8,G4R5->OH1R5P30|,2:HHL2R2,RP20R2->EC4_C,->EC8_C,->EC2_C,->EC7_C,->EC1_C,->EC5_C,->EC3_C,->EC6_C||";
    LC8_C9  : LORAX = "1:MSW7R2C8|2:V23C8,G91R4->OH7R4P29|,2:HHL37R2,RP16R2->EC4_C,->EC8_C,->EC2_C,->EC7_C,->EC1_C,->EC5_C,->EC3_C,->EC6_C||";
    LC8_C12 : LORAX = "1:MSW4R2C10|2:V14C10,G85R4->OH4R4P28|,2:HHL44R2,RP19R2->EC4_C,->EC8_C,->EC2_C,->EC7_C,->EC1_C,->EC5_C,->EC3_C,->EC6_C||";
    LC3_C9  : LORAX = "1:MSW2R2C8|2:V8C8,G7R4->OH2R4P27|,2:HHL1R2,RP2R2->EC4_C,->EC8_C,->EC2_C,->EC7_C,->EC1_C,->EC5_C,->EC3_C,->EC6_C||";
    LC1_C9  : LORAX = "1:MSW0R2C8|2:V2C8,G47R4->OH0R4P26|,2:HHL21R2,RP15R2->EC4_C,->EC8_C,->EC2_C,->EC7_C,->EC1_C,->EC5_C,->EC3_C,->EC6_C||";
    LC7_C9  : LORAX = "1:MSW6R2C8|2:V20C8,G71R3->OH6R3P23|,2:G71R2,RP10R2->EC4_C,->EC8_C,->EC2_C,->EC7_C,->EC1_C,->EC5_C,->EC3_C,->EC6_C||";
    LC6_C9  : LORAX = "1:MSW5R2C8|2:V17C8,G51R3->OH5R3P22|,2:HHL45R2,RP4R2->EC4_C,->EC8_C,->EC2_C,->EC7_C,->EC1_C,->EC5_C,->EC3_C,->EC6_C||";
    LC5_C9  : LORAX = "1:MSW4R2C8|2:V14C8,G90R3->OH4R3P21|,2:HHL43R2,RP18R2->EC4_C,->EC8_C,->EC2_C,->EC7_C,->EC1_C,->EC5_C,->EC3_C,->EC6_C||";
	LC6_C13 : LORAX2 = "X, OV3C0P73, OH14R5P78, OH11R5P79";
	LC8_C23 : LORAX2 = "X, X, X, LC8_C23";
	LC3_C23 : LORAX2 = "X, X, LC3_C23, LC8_C23";
	LC4_C22 : LORAX2 = "LC3_C23, LC8_C23, LC3_C22, LC8_C22";
	LC3_A17 : LORAX2 = "LC3_C23, LC8_C23, LC6_C22, LC1_C23";
	LC6_C23 : LORAX2 = "LC3_C23, LC8_C23, LC5_C22, LC4_C23";
	LC7_C23 : LORAX2 = "LC3_C23, LC8_C23, LC1_C22, LC2_C23";
	LC8_A17 : LORAX2 = "LC6_C23, LC7_C23, LC3_A17, LC4_C22";
	LC7_A18 : LORAX2 = "LC6_C23, LC7_C23, LC3_A17, LC4_C22";
	LC8_A18 : LORAX2 = "LC4_C22, LC3_A17, LC7_C23, LC6_C23";
	LC3_A16 : LORAX2 = "LC4_C22, LC3_A17, LC7_C23, LC6_C23";
	LC6_A16 : LORAX2 = "LC4_C22, LC3_A17, LC7_C23, LC6_C23";
	LC4_A18 : LORAX2 = "LC6_C23, LC7_C23, LC3_A17, LC4_C22";
	LC4_A16 : LORAX2 = "LC4_C22, LC3_A17, LC7_C23, LC6_C23";
	LC6_A17 : LORAX2 = "LC4_C22, LC3_A17, LC7_C23, LC6_C23";
	LC7_A17 : LORAX2 = "LC4_C22, LC3_A17, LC7_C23, LC6_C23";
	LC3_A18 : LORAX2 = "LC4_C22, LC3_A17, LC7_C23, LC6_C23";
	LC1_A13 : LORAX2 = "X, LC3_A18, LC2_A16, LC3_A16";
	LC2_A16 : LORAX2 = "LC6_C23, LC7_C23, LC3_A17, LC4_C22";
	LC1_A16 : LORAX2 = "LC6_C23, LC7_C23, LC3_A17, LC4_C22";
	LC2_A13 : LORAX2 = "X, LC2_A16, LC1_A16, LC4_A16";
	LC5_A16 : LORAX2 = "X, X, LC3_A16, LC4_A16";
	LC5_A18 : LORAX2 = "LC6_C23, LC7_C23, LC3_A17, LC4_C22";
	LC2_A18 : LORAX2 = "LC7_A18, LC5_A18, LC4_A18, LC4_A17";
	LC8_A16 : LORAX2 = "LC6_A16, LC1_A16, LC2_A18, LC5_A16";
	LC5_A17 : LORAX2 = "LC4_C22, LC3_A17, LC7_C23, LC6_C23";
	LC7_A16 : LORAX2 = "LC4_C22, LC3_A17, LC7_C23, LC6_C23";
	LC1_A17 : LORAX2 = "X, LC8_A17, LC2_A17, LC4_A16";
	LC4_A17 : LORAX2 = "X, LC7_C23, LC4_C22, LC3_A17";
	LC2_A17 : LORAX2 = "LC5_A17, LC4_A17, LC7_A17, LC6_A17";
	LC6_A18 : LORAX2 = "LC8_A18, LC4_A18, LC2_A17, LC3_A16";
	LC1_A18 : LORAX2 = "LC4_C22, LC3_A17, LC7_C23, LC6_C23";
	LC1_C22 : LORAX2 = "LC5_C23, LC1_C22, LC8_C22, LC1_C23";
	LC5_C22 : LORAX2 = "LC2_C22, LC5_C22, LC1_C22, LC8_C22";
	LC7_C22 : LORAX2 = "LC2_C22, LC1_C22, LC5_C22, LC8_C22";
	LC6_C22 : LORAX2 = "X, X, LC7_C22, LC6_C22";
	LC3_C22 : LORAX2 = "X, LC7_C22, LC3_C22, LC6_C22";
	LC2_C23 : LORAX2 = "X, X, OH11R2P92, LC2_C23";
	LC5_C23 : LORAX2 = "X, OH11R2P92, LC4_C23, LC2_C23";
	LC4_C23 : LORAX2 = "X, OH11R2P92, LC4_C23, LC2_C23";
	LC2_C22 : LORAX2 = "X, X, LC5_C23, LC1_C23";
	LC1_C23 : LORAX2 = "OH11R2P92, LC1_C23, LC2_C23, LC4_C23";
	LC8_C22 : LORAX2 = "OH11R2P92, LC5_C23, LC8_C22, LC1_C23";
	LC4_C9  : LORAX2 = "X, X, OV3C4P70, OV3C2P72";
	LC6_D18 : LORAX2 = "X, X, OH11R3P88, OV1C12P122";
	LC3_C21 : LORAX2 = "X, OH9R4P87, LC3_C21, OH3R1P9";
	LC4_C21 : LORAX2 = "X, X, LC7_C21, LC3_C21";
	LC7_C21 : LORAX2 = "OH9R4P87, LC7_C21, LC3_C21, OH4R1P10";
	LC8_C21 : LORAX2 = "X, LC5_C21, LC7_C21, LC3_C21";
	LC5_C21 : LORAX2 = "OH9R4P87, LC4_C21, LC5_C21, OH1R2P12";
	LC4_C17 : LORAX2 = "X, X, LC1_C21, LC8_C21";
	LC1_C21 : LORAX2 = "OH9R4P87, LC1_C21, LC8_C21, OH2R2P13";
	LC8_C17 : LORAX2 = "OH9R4P87, LC8_C17, LC4_C17, OH0R3P17";
	LC6_C17 : LORAX2 = "X, X, LC8_C17, LC4_C17";
	LC3_C24 : LORAX2 = "X, X, LC3_C17, LC6_C17";
	LC3_C17 : LORAX2 = "OH9R4P87, LC3_C17, LC6_C17, OH1R3P18";
	LC5_C24 : LORAX2 = "X, X, LC8_C24, LC3_C24";
	LC8_C24 : LORAX2 = "OH9R4P87, LC8_C24, LC3_C24, OH2R3P19";
	LC6_C24 : LORAX2 = "OH9R4P87, LC6_C24, LC5_C24, OH3R3P20";
	LC1_C15 : LORAX2 = "OH11R5P79, OH14R5P78, OH15R4P82, OH13R4P83";
	LC5_C15 : LORAX2 = "OH13R4P83, OH15R4P82, LC2_C23, LC3_C21";
	LC4_C15 : LORAX2 = "OH11R5P79, OH14R5P78, LC5_C15, EC4_C";
	LC6_C21 : LORAX2 = "OH13R4P83, OH15R4P82, LC4_C23, LC7_C21";
	LC5_C13 : LORAX2 = "OH11R5P79, OH14R5P78, LC6_C21, EC8_C";
	LC2_C21 : LORAX2 = "OH13R4P83, OH15R4P82, LC1_C23, LC5_C21";
	LC2_C13 : LORAX2 = "OH11R5P79, OH14R5P78, LC2_C21, EC2_C";
	LC2_C15 : LORAX2 = "OH13R4P83, OH15R4P82, LC8_C22, LC1_C21";
	LC3_C15 : LORAX2 = "OH11R5P79, OH14R5P78, LC2_C15, EC7_C";
	LC1_C24 : LORAX2 = "OH13R4P83, OH15R4P82, LC3_C22, LC6_C24";
	LC4_C24 : LORAX2 = "OH11R5P79, OH14R5P78, LC1_C24, EC6_C";
	LC7_C24 : LORAX2 = "OH13R4P83, OH15R4P82, LC6_C22, LC8_C24";
	LC2_C24 : LORAX2 = "OH11R5P79, OH14R5P78, LC7_C24, EC3_C";
	LC5_C17 : LORAX2 = "OH13R4P83, OH15R4P82, LC5_C22, LC3_C17";
	LC2_C17 : LORAX2 = "OH11R5P79, OH14R5P78, LC5_C17, EC5_C";
	LC7_C17 : LORAX2 = "OH13R4P83, OH15R4P82, LC1_C22, LC8_C17";
	LC1_C17 : LORAX2 = "OH11R5P79, OH14R5P78, LC7_C17, EC1_C";
	LC2_C9  : LORAX2 = "OH3R3P20, X, X, X";
	LC8_C9  : LORAX2 = "OH2R3P19, X, X, X";
	LC8_C12 : LORAX2 = "OH1R3P18, X, X, X";
	LC3_C9  : LORAX2 = "OH0R3P17, X, X, X";
	LC1_C9  : LORAX2 = "OH2R2P13, X, X, X";
	LC7_C9  : LORAX2 = "OH1R2P12, X, X, X";
	LC6_C9  : LORAX2 = "OH4R1P10, X, X, X";
	LC5_C9  : LORAX2 = "OH3R1P9, X, X, X";
END;