cnt6.fit

采用MaxPlusII写的一个小时钟程序

    LC4_B20 : LORAX = "1:MSW3R1C19,HHR13R1|2:PA2R1C12->LC1_B13,->LC5_B13|,2:PA2R1C22->LC1_B23,->LC2_B23||";
    LC4_B13 : LORAX = "1:MSW3R1C12,V11C12|2:HHR9R0,PA13R0C17->LC3_A18,->LC2_A18|,2:G21R0,PA13R0C19->LC7_A20,->LC3_A20||";
    LC1_A18 : LORAX = "1:MSW0R0C17,HHR20R0,PA16R0C18->LC8_A19,->LC2_A19,->LC4_A19|";
    LC8_A19 : LORAX = "1:MSW7R0C18,HHR46R0,PA3R0C20->LC8_A21,->LC5_A21,->LC3_A21|";
    LC8_A21 : LORAX = "1:MSW7R0C20,HHR37R0,PA12R0C15->LC3_A16,->LC8_A16|";
    LC1_A16 : LORAX = "1:MSW0R0C15,HHR19R0|2:PA17R0C19->LC4_A20,->LC6_A20|,2:PA17R0C23->LC3_A24||";
    LC1_A24 : LORAX = "1:MSW0R0C23,V1C23,HHR20R1,PA16R1C13->LC7_B14,->LC2_B14,->LC6_B14,->LC4_B14|";
    LC2_B14 : LORAX = "1:MSW1R1C13,HHR11R1,PA4R1C17->LC1_B18,->LC2_B18|";
    LC8_B18 : LORAX = "1:|2:MSW7R1C17,HHR47R1,PA2R1C14->LC6_B15|,2:MSW4R1C16,HHR44R1,PA19R1C22->LC7_B23,->LC3_B23||";
    OD1P2   : LORAX = "1:FB1|2:FH1R0|3:PA20R0C15->LC7_A16,->LC5_A16|,3:PA20R0C17->LC8_A18,->LC6_A18|,3:PA20R0C18->LC5_A19,->LC6_A19,->LC3_A19|,3:PA20R0C19->LC2_A20,->LC5_A20,->LC8_A20,->LC1_A20|,3:PA20R0C20->LC1_A21,->LC6_A21,->LC4_A21|,3:PA20R0C23->LC7_A24,->LC5_A24,->LC8_A24||,2:FH1R1|3:PA20R1C12->LC8_B13,->LC3_B13|,3:PA20R1C13->LC5_B14,->LC3_B14,->LC1_B14|,3:PA20R1C14->LC8_B15,->LC4_B15|,3:PA20R1C17->LC7_B18,->LC3_B18|,3:PA20R1C19->LC2_B20,->LC8_B20,->LC7_B20,->LC1_B20|,3:PA20R1C22->LC5_B23,->LC8_B23,->LC6_B23,->LC4_B23|||";
    LC2_B20 : LORAX = "1:MSW2R1C18,V6C18,HHR3R0,PA19R0C18->LC5_A19|";
    LC5_B23 : LORAX = "1:MSW4R1C22,G85R1,PA21R1C14->LC5_B15,->LC7_B15|";
    LC8_B23 : LORAX = "1:MSW7R1C22,HHR25R1,PA11R1C14->LC6_B15,->LC5_B15|";
    LC4_B15 : LORAX = "1:MSW3R1C14,HHR6R1,PA16R1C17->LC8_B18,->LC4_B18|";
    LC5_B14 : LORAX = "1:MSW4R1C13,HHR36R1,PA19R1C17->LC5_B18|";
    LC3_B14 : LORAX = "1:MSW2R1C13,HHR4R1,PA18R1C17->LC5_B18|";
    LC1_B14 : LORAX = "1:MSW0R1C13,V2C13,HHR23R0,PA1R0C23->LC2_A24|";
    LC2_A20 : LORAX = "1:MSW1R0C19,HHR11R0,PA4R0C23->LC3_A24,->LC2_A24|";
    LC5_A20 : LORAX = "1:MSW4R0C19,HHR36R0|2:PA19R0C15->LC2_A16|,2:PA19R0C23->LC3_A24||";
    LC8_A24 : LORAX = "1:MSW7R0C23,HHR47R0,PA2R0C15->LC3_A16,->LC2_A16,->LC8_A16|";
    LC1_A21 : LORAX = "1:MSW0R0C20,HHR21R0,PA15R0C15->LC3_A16,->LC8_A16|";
    LC6_A19 : LORAX = "1:MSW5R0C18,HHR34R0,PA1R0C20->LC2_A21|";
    LC3_A19 : LORAX = "1:MSW2R0C19,HHR4R0,PA18R0C17->LC4_A18|";
    LC8_A20 : LORAX = "1:MSW7R0C19,HHR35R0,PA0R0C17->LC2_A18,->LC4_A18,->LC5_A18|";
    LC1_A20 : LORAX = "1:MSW1R0C18|2:HHR8R0,PA14R0C17->LC3_A18,->LC2_A18|,2:V3C18,HHR8R1,PA14R1C12->LC6_B13||";
    LC6_B23 : LORAX = "1:MSW5R1C22,HHR42R1,PA7R1C12->LC5_B13,->LC6_B13,->LC2_B13|";
    LC4_B23 : LORAX = "1:MSW3R1C22,HHR7R1|2:PA15R1C12->LC1_B13,->LC5_B13|,2:PA15R1C14->LC2_B15||";
    LC8_B20 : LORAX = "1:MSW4R1C18,HHR41R1->OH4R1P65|2:PA16R1C14->LC2_B15||";
    LC7_B20 : LORAX = "1:MSW6R1C19,HHR32R1->OH6R1P64|2:PA3R1C14->LC2_B15||";
    LC1_B20 : LORAX = "1:MSW0R1C19,HHR23R1->OH0R1P67|";
    LC6_B13 : LORAX = "1:MSW5R1C12,HHR34R1,PA1R1C14->LC2_B15|";
    LC2_A24 : LORAX = "1:MSW2R0C22,V7C22,G10R1,PA10R1C14->LC3_B15|";
    LC2_A16 : LORAX = "1:MSW2R0C14,V7C14,HHR1R1,PA0R1C14->LC3_B15|";
    LC2_A21 : LORAX = "1:MSW1R0C20,V4C20,G4R1,PA17R1C14->LC3_B15|";
    LC4_A18 : LORAX = "1:MSW3R0C17,V10C17,HHR10R1,PA12R1C14->LC3_B15|";
    LC5_B18 : LORAX = "1:MSW4R1C17,G77R1,PA14R1C14->LC1_B15|";
    LC1_B15 : LORAX = "1:MSW0R1C14,HHR21R1,PA15R1C19->LC2_B20,->LC6_B20|";
    LC4_B18 : LORAX = "1:MSW0R1C16,HHR18R1,PA18R1C14->LC4_B15|";
    LC8_A16 : LORAX = "1:MSW7R0C15,HHR27R0,PA8R0C23->LC8_A24|";
    LC6_B20 : LORAX = "1:MSW6R1C18|2:V20C18,HHR29R0|3:PA6R0C15->LC6_A16,->LC4_A16,->LC8_A16|,3:PA6R0C17->LC7_A18,->LC5_A18|,3:PA6R0C18->LC2_A19,->LC4_A19|,3:PA6R0C19->LC4_A20,->LC6_A20,->LC7_A20,->LC3_A20|,3:PA6R0C20->LC7_A21,->LC5_A21,->LC3_A21|,3:PA6R0C23->LC6_A24,->LC4_A24||,2:HHR29R1|3:PA6R1C12->LC7_B13,->LC2_B13|,3:PA6R1C13->LC8_B14,->LC6_B14,->LC4_B14|,3:PA6R1C14->LC7_B15|,3:PA6R1C17->LC4_B18,->LC6_B18,->LC2_B18|,3:PA6R1C22->LC7_B23,->LC3_B23,->LC1_B23,->LC2_B23|||";
    LC1_A19 : LORAX = "1:MSW0R0C18,HHR22R0->OH0R0P73|";
	LC4_B20 : LORAX2 = "X, LC8_B20, LC1_B20, LC7_B20";
	LC1_B13 : LORAX2 = "X, X, LC4_B23, LC4_B20";
	LC5_B13 : LORAX2 = "X, LC6_B23, LC4_B23, LC4_B20";
	LC4_B13 : LORAX2 = "X, LC8_B13, LC3_B13, LC5_B13";
	LC3_A18 : LORAX2 = "X, X, LC1_A20, LC4_B13";
	LC2_A18 : LORAX2 = "LC6_A18, LC8_A20, LC1_A20, LC4_B13";
	LC1_A18 : LORAX2 = "X, X, LC8_A18, LC2_A18";
	LC8_A19 : LORAX2 = "X, LC6_A19, LC3_A19, LC1_A18";
	LC8_A21 : LORAX2 = "X, LC6_A21, LC4_A21, LC8_A19";
	LC3_A16 : LORAX2 = "X, LC8_A24, LC1_A21, LC8_A21";
	LC1_A16 : LORAX2 = "X, LC7_A16, LC5_A16, LC3_A16";
	LC3_A24 : LORAX2 = "X, LC2_A20, LC5_A20, LC1_A16";
	LC1_A24 : LORAX2 = "X, LC7_A24, LC5_A24, LC3_A24";
	LC7_B14 : LORAX2 = "X, X, LC1_B14, LC1_A24";
	LC2_B14 : LORAX2 = "LC5_B14, LC3_B14, LC1_B14, LC1_A24";
	LC1_B18 : LORAX2 = "X, X, LC3_B18, LC2_B14";
	LC8_B18 : LORAX2 = "X, LC4_B15, LC7_B18, LC1_B18";
	LC6_B15 : LORAX2 = "X, X, LC8_B23, LC8_B18";
	LC2_B20 : LORAX2 = "OD1P2, OD3P42, LC1_B15, LC1_B20";
	LC5_A19 : LORAX2 = "OD1P2, LC5_A19, LC2_B20, OD3P42";
	LC8_B15 : LORAX2 = "OD1P2, OD3P42, LC8_B15, LC7_B15";
	LC5_B23 : LORAX2 = "OD1P2, OD3P42, LC5_B23, LC7_B23";
	LC8_B23 : LORAX2 = "OD1P2, OD3P42, LC8_B23, LC3_B23";
	LC4_B15 : LORAX2 = "OD1P2, OD3P42, LC4_B15, LC4_B18";
	LC7_B18 : LORAX2 = "OD1P2, OD3P42, LC7_B18, LC6_B18";
	LC3_B18 : LORAX2 = "OD1P2, OD3P42, LC3_B18, LC2_B18";
	LC5_B14 : LORAX2 = "OD1P2, OD3P42, LC5_B14, LC8_B14";
	LC3_B14 : LORAX2 = "OD1P2, OD3P42, LC3_B14, LC6_B14";
	LC1_B14 : LORAX2 = "OD1P2, OD3P42, LC1_B14, LC4_B14";
	LC7_A24 : LORAX2 = "OD1P2, OD3P42, LC7_A24, LC6_A24";
	LC5_A24 : LORAX2 = "OD1P2, OD3P42, LC5_A24, LC4_A24";
	LC2_A20 : LORAX2 = "OD1P2, OD3P42, LC2_A20, LC4_A20";
	LC5_A20 : LORAX2 = "OD1P2, OD3P42, LC5_A20, LC6_A20";
	LC7_A16 : LORAX2 = "OD1P2, OD3P42, LC7_A16, LC6_A16";
	LC5_A16 : LORAX2 = "OD1P2, OD3P42, LC5_A16, LC4_A16";
	LC8_A24 : LORAX2 = "OD1P2, OD3P42, LC8_A16, LC8_A24";
	LC1_A21 : LORAX2 = "OD1P2, OD3P42, LC7_A21, LC1_A21";
	LC6_A21 : LORAX2 = "OD1P2, OD3P42, LC5_A21, LC6_A21";
	LC4_A21 : LORAX2 = "OD1P2, OD3P42, LC3_A21, LC4_A21";
	LC6_A19 : LORAX2 = "OD1P2, OD3P42, LC2_A19, LC6_A19";
	LC3_A19 : LORAX2 = "OD1P2, OD3P42, LC4_A19, LC3_A19";
	LC8_A18 : LORAX2 = "OD1P2, OD3P42, LC7_A18, LC8_A18";
	LC6_A18 : LORAX2 = "OD1P2, OD3P42, LC5_A18, LC6_A18";
	LC8_A20 : LORAX2 = "OD1P2, OD3P42, LC7_A20, LC8_A20";
	LC1_A20 : LORAX2 = "OD1P2, OD3P42, LC3_A20, LC1_A20";
	LC8_B13 : LORAX2 = "OD1P2, OD3P42, LC7_B13, LC8_B13";
	LC3_B13 : LORAX2 = "OD1P2, OD3P42, LC2_B13, LC3_B13";
	LC6_B23 : LORAX2 = "OD1P2, OD3P42, LC1_B23, LC6_B23";
	LC4_B23 : LORAX2 = "OD1P2, OD3P42, LC2_B23, LC4_B23";
	LC8_B20 : LORAX2 = "OD1P2, OD3P42, LC5_B20, LC8_B20";
	LC7_B20 : LORAX2 = "OD1P2, OD3P42, LC3_B20, LC7_B20";
	LC1_B20 : LORAX2 = "X, OD1P2, OD3P42, LC1_B20";
	LC6_B13 : LORAX2 = "LC1_A20, LC8_B13, LC3_B13, LC6_B23";
	LC2_B15 : LORAX2 = "LC6_B13, LC4_B23, LC7_B20, LC8_B20";
	LC2_A24 : LORAX2 = "LC1_B14, LC7_A24, LC5_A24, LC2_A20";
	LC2_A16 : LORAX2 = "LC5_A20, LC7_A16, LC5_A16, LC8_A24";
	LC2_A21 : LORAX2 = "LC1_A21, LC6_A21, LC4_A21, LC6_A19";
	LC4_A18 : LORAX2 = "LC3_A19, LC8_A18, LC8_A20, LC6_A18";
	LC3_B15 : LORAX2 = "LC4_A18, LC2_A21, LC2_A24, LC2_A16";
	LC5_B15 : LORAX2 = "LC8_B15, LC5_B23, LC4_B15, LC8_B23";
	LC5_B18 : LORAX2 = "LC7_B18, LC3_B18, LC3_B14, LC5_B14";
	LC1_B15 : LORAX2 = "LC5_B18, LC5_B15, LC2_B15, LC3_B15";
	LC7_B15 : LORAX2 = "LC8_B15, LC5_B23, LC6_B20, LC6_B15";
	LC7_B23 : LORAX2 = "LC5_B23, LC8_B23, LC6_B20, LC8_B18";
	LC3_B23 : LORAX2 = "X, LC8_B23, LC6_B20, LC8_B18";
	LC4_B18 : LORAX2 = "LC4_B15, LC7_B18, LC6_B20, LC1_B18";
	LC6_B18 : LORAX2 = "X, LC7_B18, LC6_B20, LC1_B18";
	LC2_B18 : LORAX2 = "X, LC3_B18, LC6_B20, LC2_B14";
	LC8_B14 : LORAX2 = "LC5_B14, LC3_B14, LC6_B20, LC7_B14";
	LC6_B14 : LORAX2 = "LC3_B14, LC6_B20, LC1_B14, LC1_A24";
	LC4_B14 : LORAX2 = "X, LC6_B20, LC1_B14, LC1_A24";
	LC6_A24 : LORAX2 = "LC6_B20, LC7_A24, LC5_A24, LC3_A24";
	LC4_A24 : LORAX2 = "X, LC6_B20, LC5_A24, LC3_A24";
	LC4_A20 : LORAX2 = "LC6_B20, LC2_A20, LC5_A20, LC1_A16";
	LC6_A20 : LORAX2 = "X, LC6_B20, LC5_A20, LC1_A16";
	LC6_A16 : LORAX2 = "LC6_B20, LC7_A16, LC5_A16, LC3_A16";
	LC4_A16 : LORAX2 = "X, LC6_B20, LC5_A16, LC3_A16";
	LC8_A16 : LORAX2 = "LC6_B20, LC8_A24, LC1_A21, LC8_A21";
	LC7_A21 : LORAX2 = "X, LC6_B20, LC1_A21, LC8_A21";
	LC5_A21 : LORAX2 = "LC6_B20, LC6_A21, LC4_A21, LC8_A19";
	LC3_A21 : LORAX2 = "X, LC6_B20, LC4_A21, LC8_A19";
	LC2_A19 : LORAX2 = "LC6_B20, LC6_A19, LC3_A19, LC1_A18";
	LC4_A19 : LORAX2 = "X, LC6_B20, LC3_A19, LC1_A18";
	LC7_A18 : LORAX2 = "X, LC6_B20, LC8_A18, LC2_A18";
	LC5_A18 : LORAX2 = "LC3_A18, LC6_B20, LC6_A18, LC8_A20";
	LC7_A20 : LORAX2 = "LC6_B20, LC8_A20, LC1_A20, LC4_B13";
	LC3_A20 : LORAX2 = "X, LC6_B20, LC1_A20, LC4_B13";
	LC7_B13 : LORAX2 = "LC6_B20, LC8_B13, LC3_B13, LC5_B13";
	LC2_B13 : LORAX2 = "LC1_B13, LC6_B20, LC3_B13, LC6_B23";
	LC1_B23 : LORAX2 = "LC6_B20, LC6_B23, LC4_B23, LC4_B20";
	LC6_B20 : LORAX2 = "X, OD3P42, LC1_B15, LC1_B20";
	LC2_B23 : LORAX2 = "X, LC6_B20, LC4_B23, LC4_B20";
	LC5_B20 : LORAX2 = "LC6_B20, LC8_B20, LC7_B20, LC1_B20";
	LC3_B20 : LORAX2 = "X, LC6_B20, LC1_B20, LC7_B20";
	LC1_A19 : LORAX2 = "X, X, LC5_A19, OD3P42";
END;