counter.fit

含有七人表决器

    OV3C29P43 : LORAX = "1:V18C29,G78R3|2:PA0R3C7->LC2_D8,->LC6_D8,->LC4_D8,->LC8_D8|,2:PA20R3C8->LC4_D9||";
    OV2C30P41 : LORAX = "1:V17C30,G114R3,PA3R3C7->LC2_D8,->LC6_D8,->LC4_D8,->LC8_D8|";
    OV2C32P39 : LORAX = "1:V14C32,G131R3,PA17R3C6->LC2_D7,->LC6_D7,->LC7_D7,->LC3_D7|";
    OV2C33P38 : LORAX = "1:V14C33,G111R3|2:PA0R3C6->LC8_D7,->LC5_D7,->LC4_D7,->LC1_D7|,2:PA18R3C8->LC8_D9|,2:PA0R3C13->LC3_D14,->LC4_D14||";
    OV2C19P51 : LORAX = "1:V14C19,G120R3|2:PA16R3C1->LC2_D2|,2:PA20R3C7->LC7_D8|,2:PA16R3C8->LC2_D9,->LC1_D9|,2:PA16R3C12->LC8_D13|,2:PA16R3C13->LC1_D14,->LC7_D14,->LC5_D14||";
    LC2_D8  : LORAX = "1:MSW1R3C7,G32R3,PA14R3C6->LC2_D7,->LC6_D7|";
    LC2_D7  : LORAX = "1:MSW1R3C6,G40R3,PA9R3C13->LC3_D14,->LC8_D14,->LC4_D14|";
    LC3_D14 : LORAX = "1:|2:MSW3R3C12,G29R3,PA7R3C4->LC7_D5|,2:MSW2R3C13,G7R3,PA9R3C10->LC3_D11,->LC4_D11,->LC1_D11,->LC2_D11||";
    LC8_D7  : LORAX = "1:MSW7R3C6,G97R3,PA8R3C10->LC4_D11,->LC6_D11,->LC5_D11,->LC8_D11|";
    LC2_D14 : LORAX = "1:MSW2R3C12,G12R3,PA1R3C4->LC4_D5|";
    LC6_D8  : LORAX = "1:MSW6R3C6,G128R3,PA15R3C8->LC3_D9,->LC6_D9|";
    LC6_D7  : LORAX = "1:MSW5R3C6,G124R3,PA7R3C8->LC3_D9,->LC6_D9|";
    LC8_D14 : LORAX = "1:MSW4R3C12,HHL66R3,PA13R3C8->LC8_D9|";
    LC3_D9  : LORAX = "1:MSW2R3C8,G23R3,PA1R3C13->LC4_D14|";
    LC4_D14 : LORAX = "1:MSW0R3C12,G66R3,PA0R3C10->LC4_D11,->LC6_D11,->LC5_D11,->LC8_D11|";
    LC4_D11 : LORAX = "1:MSW3R3C10,G31R3|2:PA12R3C4->LC4_D5|,2:PA12R3C13->LC6_D14||";
    LC4_D8  : LORAX = "1:MSW3R3C7,G4R3,PA5R3C6->LC7_D7,->LC3_D7|";
    LC5_D7  : LORAX = "1:MSW4R3C6,G122R3|2:PA0R3C2->LC7_D3,->LC3_D3|,2:PA0R3C4->LC6_D5,->LC5_D5,->LC1_D5,->LC8_D5||";
    LC4_D7  : LORAX = "1:MSW3R3C6,G16R3,PA5R3C2->LC5_D3,->LC4_D3,->LC1_D3|";
    LC8_D8  : LORAX = "1:MSW7R3C7,G79R3,PA19R3C2->LC6_D3,->LC8_D3|";
    LC3_D7  : LORAX = "1:MSW2R3C6,G17R3|2:PA13R3C2->LC6_D3,->LC8_D3|,2:PA6R3C7->LC1_D8||";
    LC1_D7  : LORAX = "1:MSW0R3C6,G67R3,PA1R3C2->LC5_D3,->LC8_D3,->LC1_D3,->LC2_D3|";
    LC5_D3  : LORAX = "1:MSW4R3C3,G110R3,PA18R3C4->LC1_D5|";
    LC2_D2  : LORAX = "1:MSW1R3C1,G19R3->OH1R3P20,2:PA11R3C4->LC7_D5,->LC5_D5||";
    LC1_D14 : LORAX = "1:MSW0R3C13,G64R3->OH0R3P19,2:PA19R3C4->LC7_D5,->LC6_D5,->LC5_D5||";
    LC7_D14 : LORAX = "1:MSW6R3C13|2:V19C13,G108R2->OH6R2P18|,2:G108R3|3:PA16R3C2->LC7_D3,->LC3_D3|,3:PA16R3C4->LC7_D5,->LC6_D5,->LC5_D5,->LC1_D5|,3:PA16R3C10->LC3_D11,->LC4_D11,->LC2_D11|||";
    LC8_D13 : LORAX = "1:MSW7R3C13|2:V21C13->OV0C13P120|,2:G95R3|3:PA6R3C2->LC4_D3|,3:PA6R3C6->LC8_D7,->LC5_D7,->LC4_D7|,3:PA6R3C10->LC6_D11|,3:PA6R3C13->LC3_D14|||";
    LC5_D14 : LORAX = "1:MSW5R3C12|2:V15C12->OV0C12P119|,2:HHL70R3,PA15R3C6->LC8_D7,->LC5_D7,->LC4_D7,->LC1_D7||";
    LC2_D9  : LORAX = "1:MSW1R3C8|2:V3C8->OV0C8P118|,2:G47R3,PA4R3C6->LC2_D7,->LC6_D7,->LC7_D7,->LC3_D7||";
    LC7_D8  : LORAX = "1:MSW6R3C7,V18C7->OV0C7P117|";
    LC1_D9  : LORAX = "1:MSW0R3C8|2:G65R3,PA16R3C7->LC2_D8,->LC6_D8,->LC4_D8,->LC8_D8|,2:V1C8,HHL1R0->OH8R0P102||";
    LC6_D11 : LORAX = "1:|2:MSW5R3C10,G137R3|3:PA8R3C4->LC4_D5|,3:PA8R3C7->LC5_D8||,2:MSW5R3C11,G94R3|3:PA5R3C8->LC8_D9,->LC6_D9|,3:PA5R3C13->LC6_D14|||";
    LC4_D5  : LORAX = "1:MSW3R3C4,G26R3,PA4R3C5->LC6_D6,->LC2_D6,->LC8_D6|";
    LC6_D14 : LORAX = "1:MSW6R3C12,G141R3|2:PA16R3C0->LC4_D1|,2:PA16R3C5->LC4_D6||";
    LC5_D11 : LORAX = "1:MSW4R3C10,G107R3|2:PA11R3C0->LC4_D1|,2:PA11R3C5->LC7_D6||";
    LC8_D11 : LORAX = "1:MSW7R3C10,G93R3,PA4R3C12->LC1_D13|";
    LC4_D1  : LORAX = "1:MSW3R3C0,G46R3,PA2R3C5->LC6_D6,->LC8_D6|";
    LC8_D5  : LORAX = "1:MSW7R3C4,G104R3,PA8R3C2->LC7_D3|";
    LC4_D3  : LORAX = "1:MSW3R3C2,G15R3|2:PA4R3C4->LC2_D5,->LC3_D5|,2:PA4R3C7->LC1_D8,->LC3_D8||";
    LC2_D5  : LORAX = "1:MSW1R3C4,G38R3,PA7R3C5->LC3_D6,->LC1_D6,->LC5_D6|";
    LC3_D5  : LORAX = "1:MSW2R3C5,G28R3,PA6R3C5->LC3_D6,->LC4_D6,->LC5_D6|";
    LC3_D3  : LORAX = "1:MSW2R3C2,G21R3,PA14R3C5->LC3_D6,->LC7_D6,->LC5_D6|";
    LC1_D3  : LORAX = "1:MSW0R3C2,G62R3,PA9R3C12->LC1_D13|";
    LC2_D3  : LORAX = "1:MSW1R3C3,G33R3,PA12R3C8->LC5_D9|";
    LC1_D8  : LORAX = "1:MSW0R3C7,G56R3,PA1R3C8->LC7_D9|";
    LC6_D6  : LORAX = "1:MSW6R3C4,G143R3,PA20R3C1->LC2_D2|";
    LC4_D6  : LORAX = "1:MSW3R3C5,G11R3,PA8R3C13->LC1_D14|";
    LC7_D6  : LORAX = "1:MSW6R3C5,G98R3,PA21R3C13->LC7_D14|";
    LC5_D9  : LORAX = "1:MSW4R3C8,G116R3,PA10R3C13->LC5_D14|";
    LC8_D6  : LORAX = "1:|2:MSW4R3C4,G127R3|3:PA9R3C7->LC5_D8|,3:PA9R3C8->LC5_D9,->LC7_D9,->LC4_D9||,2:MSW7R3C5,G82R3,PA13R3C12->LC1_D13||";
    LC5_D6  : LORAX = "1:MSW5R3C4,G134R3|2:PA2R3C7->LC3_D8|,2:PA3R3C8->LC5_D9,->LC7_D9,->LC4_D9|,2:PA2R3C12->LC1_D13||";
	LC2_D8  : LORAX2 = "OV2C30P41, OV3C29P43, LC7_D8, LC1_D9";
	LC2_D7  : LORAX2 = "X, OV2C32P39, LC2_D8, LC2_D9";
	LC3_D14 : LORAX2 = "OV2C33P38, LC2_D7, LC8_D13, LC5_D14";
	LC8_D7  : LORAX2 = "OV2C33P38, LC2_D7, LC8_D13, LC5_D14";
	LC3_D11 : LORAX2 = "X, X, LC3_D14, LC7_D14";
	LC2_D14 : LORAX2 = "X, LC3_D14, LC1_D14, LC7_D14";
	LC7_D5  : LORAX2 = "LC3_D14, LC2_D2, LC1_D14, LC7_D14";
	LC6_D8  : LORAX2 = "OV2C30P41, OV3C29P43, LC7_D8, LC1_D9";
	LC6_D7  : LORAX2 = "X, OV2C32P39, LC2_D8, LC2_D9";
	LC8_D14 : LORAX2 = "X, X, LC2_D7, LC5_D14";
	LC3_D9  : LORAX2 = "X, X, LC6_D8, LC6_D7";
	LC4_D14 : LORAX2 = "OV2C33P38, LC3_D9, LC2_D7, LC5_D14";
	LC4_D11 : LORAX2 = "LC8_D7, LC4_D14, LC3_D14, LC7_D14";
	LC4_D8  : LORAX2 = "OV2C30P41, OV3C29P43, LC7_D8, LC1_D9";
	LC7_D7  : LORAX2 = "X, OV2C32P39, LC4_D8, LC2_D9";
	LC5_D7  : LORAX2 = "OV2C33P38, LC7_D7, LC8_D13, LC5_D14";
	LC4_D7  : LORAX2 = "OV2C33P38, LC7_D7, LC8_D13, LC5_D14";
	LC6_D5  : LORAX2 = "X, LC5_D7, LC1_D14, LC7_D14";
	LC5_D5  : LORAX2 = "LC5_D7, LC2_D2, LC1_D14, LC7_D14";
	LC8_D8  : LORAX2 = "OV2C30P41, OV3C29P43, LC7_D8, LC1_D9";
	LC3_D7  : LORAX2 = "X, OV2C32P39, LC4_D8, LC2_D9";
	LC1_D7  : LORAX2 = "X, OV2C33P38, LC7_D7, LC5_D14";
	LC5_D3  : LORAX2 = "X, LC4_D7, LC1_D7, LC6_D3";
	LC1_D5  : LORAX2 = "X, LC5_D3, LC5_D7, LC7_D14";
	LC6_D3  : LORAX2 = "X, X, LC8_D8, LC3_D7";
	LC2_D2  : LORAX2 = "OV2C20P49, OV2C19P51, LC6_D6, LC2_D2";
	LC1_D14 : LORAX2 = "OV2C20P49, OV2C19P51, LC4_D6, LC1_D14";
	LC7_D14 : LORAX2 = "OV2C20P49, OV2C19P51, LC7_D6, LC7_D14";
	LC8_D13 : LORAX2 = "OV2C20P49, OV2C19P51, LC1_D13, LC8_D13";
	LC5_D14 : LORAX2 = "OV2C20P49, OV2C19P51, LC5_D9, LC5_D14";
	LC2_D9  : LORAX2 = "OV2C20P49, OV2C19P51, LC7_D9, LC2_D9";
	LC7_D8  : LORAX2 = "OV2C20P49, OV2C19P51, LC5_D8, LC7_D8";
	LC1_D9  : LORAX2 = "OV2C19P51, OV2C20P49, LC4_D9, LC1_D9";
	LC1_D11 : LORAX2 = "X, X, X, LC3_D14";
	LC2_D11 : LORAX2 = "X, LC1_D11, LC3_D14, LC7_D14";
	LC6_D11 : LORAX2 = "LC8_D7, LC4_D14, LC2_D11, LC8_D13";
	LC4_D5  : LORAX2 = "LC7_D5, LC2_D14, LC4_D11, LC6_D11";
	LC6_D14 : LORAX2 = "X, LC2_D14, LC4_D11, LC6_D11";
	LC5_D11 : LORAX2 = "LC3_D11, LC8_D7, LC4_D14, LC6_D11";
	LC8_D11 : LORAX2 = "X, X, LC8_D7, LC4_D14";
	LC8_D9  : LORAX2 = "LC8_D14, OV2C33P38, LC3_D9, LC6_D11";
	LC6_D9  : LORAX2 = "X, LC6_D8, LC6_D7, LC6_D11";
	LC4_D1  : LORAX2 = "X, X, LC6_D14, LC5_D11";
	LC8_D3  : LORAX2 = "X, LC8_D8, LC1_D7, LC3_D7";
	LC8_D5  : LORAX2 = "X, X, X, LC5_D7";
	LC7_D3  : LORAX2 = "X, LC8_D5, LC5_D7, LC7_D14";
	LC4_D3  : LORAX2 = "LC8_D3, LC4_D7, LC7_D3, LC8_D13";
	LC2_D5  : LORAX2 = "LC5_D5, LC6_D5, LC1_D5, LC4_D3";
	LC3_D5  : LORAX2 = "X, LC6_D5, LC1_D5, LC4_D3";
	LC3_D3  : LORAX2 = "LC5_D3, LC4_D3, LC5_D7, LC7_D14";
	LC1_D3  : LORAX2 = "LC4_D7, LC6_D3, LC1_D7, LC4_D3";
	LC2_D3  : LORAX2 = "X, LC1_D7, LC6_D3, LC4_D3";
	LC1_D8  : LORAX2 = "X, LC8_D8, LC3_D7, LC4_D3";
	LC6_D6  : LORAX2 = "OV2C23P48, LC4_D5, LC3_D6, LC4_D1";
	LC3_D6  : LORAX2 = "OV2C23P48, LC2_D5, LC3_D3, LC3_D5";
	LC4_D6  : LORAX2 = "LC2_D6, LC1_D6, LC6_D14, LC3_D5";
	LC7_D6  : LORAX2 = "LC2_D6, LC1_D6, LC5_D11, LC3_D3";
	LC2_D6  : LORAX2 = "X, X, OV2C23P48, LC4_D5";
	LC1_D6  : LORAX2 = "X, X, OV2C23P48, LC2_D5";
	LC1_D13 : LORAX2 = "LC8_D11, LC1_D3, LC8_D6, LC5_D6";
	LC5_D9  : LORAX2 = "LC8_D9, LC2_D3, LC8_D6, LC5_D6";
	LC7_D9  : LORAX2 = "LC6_D9, LC1_D8, LC8_D6, LC5_D6";
	LC5_D8  : LORAX2 = "LC6_D8, LC8_D6, LC3_D8, LC6_D11";
	LC3_D8  : LORAX2 = "X, LC8_D8, LC5_D6, LC4_D3";
	LC4_D9  : LORAX2 = "OV3C29P43, LC5_D6, LC8_D6, LC1_D9";
	LC8_D6  : LORAX2 = "X, OV2C23P48, LC4_D5, LC4_D1";
	LC5_D6  : LORAX2 = "OV2C23P48, LC2_D5, LC3_D3, LC3_D5";
END;